[{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427b","0x000000000000000000000000000000000000000000000000000000000000137a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892768"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bc","0x000000000000000000000000000000000000000000000000000000000000a3a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"254"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd8","0x00000000000000000000000000000000000000000000000000000000000011a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"79000516118737397112062514896785292232538416527067674332093094943932761128775"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080504","0x0000000000000000000000000000000000000000000000000000000000000009"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"57061718236862825464320475471839315421537285397773649273837001279366812885944"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639935"],"tag":"AbiUInt"},{"contents":[256,"8206904999421303776143753722751877645104834568428736596238726518962979588063"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2e","0x0000000000000000000000000000000000000000000000000000000000001394"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0xA5F7762196b39AF204F93E5658536D6138de46B7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065373","0x000000000000000000000000000000000000000000000000000000000000003a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000022","0x000000000000000000000000000000000000000000000000000000000000c5b2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"45976544714018870153636810643817500544247163404721934956857819141251689921132"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000433c2","0x000000000000000000000000000000000000000000000000000000000000dcb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c8","0x000000000000000000000000000000000000000000000000000000000000139c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"361903971746127872772631850296948365935613173669"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000771dc","0x000000000000000000000000000000000000000000000000000000000000138e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"100"],"tag":"AbiUInt"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":[256,"90736116013670909727141311246320953872446436009629762472199513280478728953441"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f4","0x0000000000000000000000000000000000000000000000000000000000001320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae5","0x0000000000000000000000000000000000000000000000000000000000001366"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003778a","0x0000000000000000000000000000000000000000000000000000000000008eca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"66463656367275761431956338110154607949859414538493754746085800292623059072125"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000055","0x00000000000000000000000000000000000000000000000000000000000032a5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001594f","0x0000000000000000000000000000000000000000000000000000000000000019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"4998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000486a1","0x00000000000000000000000000000000000000000000000000000000000048ed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"92559726184271609885026328543582766395621342567930708537095834568541970225724"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008b979","0x0000000000000000000000000000000000000000000000000000000000003f30"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"77587391612140836095072485361465792608013903087178256588759517935457427199510"],"tag":"AbiUInt"},{"contents":[256,"13087107962034140428675076695320752185161930734835138809394336644887481062567"],"tag":"AbiUInt"},{"contents":[256,"230"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"81122395914745527182286201016159143965043636709681696002330293361649827834399"],"tag":"AbiUInt"},{"contents":[256,"40772819437774438394977734723824869764659343281997131312865577712371974276909"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639851"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"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":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"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":false,"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":false,"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":["0x000000000000000000000000000000000000000000000000000000000003256a","0x00000000000000000000000000000000000000000000000000000000000000e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000000129e2ef1b8044c91"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639866"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006cb7e","0x0000000000000000000000000000000000000000000000000000000000001abe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"29300069322204642174035816855869174156426441234940411684723423139944224923609"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065410","0x000000000000000000000000000000000000000000000000000000000000737d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004a55","0x000000000000000000000000000000000000000000000000000000000000641f"],"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,"1526893423"],"tag":"AbiUInt"},{"contents":[256,"111589984042532016123855307264160313676160872806378904702875958135486095793290"],"tag":"AbiUInt"},{"contents":[256,"92216714375310001394056371469581894973710460206643811801045336104559221903969"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1528598008"],"tag":"AbiUInt"},{"contents":[256,"53705645751702277778153929531356505079458009245301593863700867151890264727012"],"tag":"AbiUInt"},{"contents":[256,"13933576742446553588871808154350672720621007405155848553021638123276171290236"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd8","0x00000000000000000000000000000000000000000000000000000000000003b1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"18"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bd91","0x0000000000000000000000000000000000000000000000000000000000007115"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1527564369"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea4a","0x000000000000000000000000000000000000000000000000000000000000260a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005408b","0x000000000000000000000000000000000000000000000000000000000000b1a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"18"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0f","0x000000000000000000000000000000000000000000000000000000000000d4e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"1527976983"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb14","0x000000000000000000000000000000000000000000000000000000000000026c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaea","0x0000000000000000000000000000000000000000000000000000000000000024"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"24532919982397233902573716216864159509690636611604295124810636634104234108911"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce52","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"107476052793722893900155916360698809207885144113856127909736607400509265587415"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e4","0x0000000000000000000000000000000000000000000000000000000000000013"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"113123252254039233325426022653830670668948793875156849269672737178586315976208"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000014","0x00000000000000000000000000000000000000000000000000000000000095e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0xED1785b65896022A79B55D3EbaFD6Ab7C6560e92","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81b","0x000000000000000000000000000000000000000000000000000000000000000d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f393","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"36263548515691870311865569829825624889890467564022302216826434600210787565859"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c7","0x000000000000000000000000000000000000000000000000000000000000231e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"86400"],"tag":"AbiUInt"},{"contents":[256,"104243832166658356893083914227137070221481699750780962848722304819251877737191"],"tag":"AbiUInt"},{"contents":[256,"48048988757229062163607701254923389876011507558085476279134755009333361024346"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1530631943"],"tag":"AbiUInt"},{"contents":[256,"999999999999999998"],"tag":"AbiUInt"},{"contents":[256,"641333955012385317689133856"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000003"],"tag":"AbiUInt"},{"contents":[256,"17841143153935531818751848008074617331737584578986937150636749511860316767320"],"tag":"AbiUInt"},{"contents":[256,"1528734037"],"tag":"AbiUInt"},{"contents":[256,"21108869501363454208733990590113276715274824594434386540634376006079064752335"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"86935467447514867502608957886969191942559138274054022825233188003514327836672"],"tag":"AbiUInt"},{"contents":[256,"1527834842"],"tag":"AbiUInt"},{"contents":[256,"27185362559824790001215485180273463250941119"],"tag":"AbiUInt"},{"contents":[256,"425"],"tag":"AbiUInt"},{"contents":[256,"1526642738"],"tag":"AbiUInt"},{"contents":[256,"777"],"tag":"AbiUInt"},{"contents":[256,"31725341386402445156257954886144271668094059392985629837854369843933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"},{"contents":[256,"744"],"tag":"AbiUInt"},{"contents":[256,"1530979133"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636334"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211773"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892768"],"tag":"AbiUInt"},{"contents":[256,"87049041520455636217301636338415594578759910178254573975436530961856626450147"],"tag":"AbiUInt"},{"contents":[256,"4503964938266793522793986041502"],"tag":"AbiUInt"},{"contents":[256,"60771236057"],"tag":"AbiUInt"},{"contents":[256,"56701482217678182294738808527021533491985927039593287830675186538948011094019"],"tag":"AbiUInt"},{"contents":[256,"16324833100681661831704452856837266549224864239875667502608857009508975190907"],"tag":"AbiUInt"},{"contents":[256,"104254716283483086268690134447930141529037078415994931174270457336139094296034"],"tag":"AbiUInt"},{"contents":[256,"15145908023084005372433441211933043411137653282448052"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908086"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"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":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"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":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":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaea","0x000000000000000000000000000000000000000000000000000000000000d63c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000036b09323b3bb58e4b"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000278dd","0x000000000000000000000000000000000000000000000000000000000000e977"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639841"],"tag":"AbiUInt"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000012","0x000000000000000000000000000000000000000000000000000000000000e6cc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"17"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4f1","0x000000000000000000000000000000000000000000000000000000000000129f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ead6","0x000000000000000000000000000000000000000000000000000000000000305d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bf","0x0000000000000000000000000000000000000000000000000000000000005c71"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"1313373042"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000885b8","0x000000000000000000000000000000000000000000000000000000000000ec35"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"134"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003ac05","0x0000000000000000000000000000000000000000000000000000000000001f43"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"17619001800255262119560342174011924552838521870591581735554632889297358846241"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069d11","0x000000000000000000000000000000000000000000000000000000000000012d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"15"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c0","0x0000000000000000000000000000000000000000000000000000000000000086"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"1527976983"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004c48","0x000000000000000000000000000000000000000000000000000000000000dcb8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd38","0x00000000000000000000000000000000000000000000000000000000000035d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"72892603561747017670616688620715433350274763584101987073459167208611576053642"],"tag":"AbiUInt"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000384","0x0000000000000000000000000000000000000000000000000000000000001360"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"911"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb47","0x0000000000000000000000000000000000000000000000000000000000006434"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"88456248301301410808163914169805375715201414307285837909046270906055553153079"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb19","0x000000000000000000000000000000000000000000000000000000000000d6d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"1537937910"],"tag":"AbiUInt"},{"contents":[256,"9855868975706185341631698209336833064415120937145652572583428623444281768911"],"tag":"AbiUInt"},{"contents":[256,"60498897635083920811692572633937473764376996777956118157411023324047716739022"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c433","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006688","0x000000000000000000000000000000000000000000000000000000000000b016"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":[256,"987"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006eca3","0x000000000000000000000000000000000000000000000000000000000000936e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"36"],"tag":"AbiUInt"},{"contents":[256,"19536074395967514042881305265914433466952590406759733922656019945851466322842"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007ce","0x000000000000000000000000000000000000000000000000000000000000116e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"1531123476"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000036b74","0x000000000000000000000000000000000000000000000000000000000000e9df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":[256,"55006225359722508437765179280521918652334085431713549281475612520900964557778"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006bbf6","0x000000000000000000000000000000000000000000000000000000000000c065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507329"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003150f","0x0000000000000000000000000000000000000000000000000000000000008d8d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004d0e","0x00000000000000000000000000000000000000000000000000000000000012a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009975","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[8,"62"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052be8","0x0000000000000000000000000000000000000000000000000000000000001271"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"3714872885257661965377164757542241864786514466109029540368609356645175756588"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000067","0x00000000000000000000000000000000000000000000000000000000000001cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005757b","0x0000000000000000000000000000000000000000000000000000000000008287"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bd0","0x000000000000000000000000000000000000000000000000000000000000d8f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000047","0x000000000000000000000000000000000000000000000000000000000000134b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x000000000000000000000000000000000000000000000000000000000000b391"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001e856","0x0000000000000000000000000000000000000000000000000000000000001355"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164b","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"35367887601858327965020952908442078888796740949275113461786607708098816984189"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f961","0x0000000000000000000000000000000000000000000000000000000000004b96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"1526263242"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec6","0x0000000000000000000000000000000000000000000000000000000000009ac8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59e","0x000000000000000000000000000000000000000000000000000000000000a296"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a60","0x0000000000000000000000000000000000000000000000000000000000009654"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"1535488043"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087168","0x000000000000000000000000000000000000000000000000000000000000567d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047bb6","0x000000000000000000000000000000000000000000000000000000000000ab4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"4EgT\\DC1\\252\\195\\172\\160\\168IO\\DC3\\208\\231)b\\129\\138\\227\\ETB_=\\150(\\236\\197\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\";\\DC1\\164\\144\\248\\GS\\205}9\\139\\&9\\208k3A\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\251\\252\\247\\224\\147\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX>o\\v\\154\\239\\248\\CANEm\\246\\225uk\\231\\&4R\\138b&\\239\\140\\167%'\\166\\238\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\239N,\\235\\167\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\185[\\191\\US\\186\\236Z\\189qR\\STX\\151d\\144\\235\\162\\244n\\ETB\\162\\180\\148\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\239\\207.\\215}3\\156@\\f\\196(6\\FS>\\193\\244\\217\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\135\\248~\\181=\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\187\\163\\214\\ETB\\169\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\231$\\164\\208M\\148\\243\\DC4\\202\\215G\\215\\147\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\b\\255\\157\\185\\146\\ESC\\STX\\204\\224R\\169%D\\233\\RSfM%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147Q\\253.\\170X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137do\\138t\\190h\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\EM\\181+F\\185<}J\\133\\235r\\192\\236x\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"E\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"BV%C^7j\\250\\176\\155\\252\\131\\198\\149Y\\CAN.\\157\\253A\\DC2\\SOG\\165\\152\\224\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\224\\200\\222knbS\\236\\ENQ+\\145-\\132\\176R\\FS\\247\\135d{h\\235\\228\\158\\194g\\ESC\\223\\ACK\\165\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\138\\EMj\\179\\171\\\"\\a-M\\220\\186\\192\\\\\\244\\US@\\163\\185\\157N\\151\\&3>4\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152v;h\\EM8\\244\\246\\232\\183\\140\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"*_\\245\\ETX\\200%H\\SOHV\\GS\\209i\\161\\ACK\\232\\160\\151\\161\\183:}mH\\129\\164\\134~\\DC2\\234e\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\SUBq\\139\\236Y\\ESC\\229\\233\\253\\167\\DC1E\\SUBN`\\190K\\189v\\255\\149`\\255\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\250\\145n\\254\\139\\181\\DC2\\SIn%\\t\\203\\216\\128;\\179\\ENQ#\\227\\187\\159\\155g\\156\\222I\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\146\\139\\152>\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\183\\DC42$\\159\\139\\SUB\\241\\SIp\\198\\&1J\\144\\CAN\\230X\\225\\SYN\\131\\207S\\154\\154\\\"\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246{\\171'.\\137\\213\\202\\183=m*N\\164\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\202\\236+\\241>s\\255\\150M\\139\\\"\\165\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\NUL\\166\\148\\172r(\\139\\&3\\ETX6\\144\\USm\\b\\EOT\\136\\216\\217\\RSm\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\fK\\228\\148v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152S`\\DC2\\209\\238\\181\\NULk\\144?}\\ENQ\\139\\STX\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"wYS\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\154\\\\|V\\EOT1\\128\\152K\\135iZ4\\153o\\DEL\\242X\\175\\147ze\\FS.J8\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\239\\207Bl|\\217\\228\\231\\167\\211Q\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139j\\159:U\\ESC(\\189N\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\182f\\201\\234\\236b {9[\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\RS\\226\\166T\\141\\222\\168\\149\\\"\\138A\\206\\220\\&8\\r9\\133e\\133\\216\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150;\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\185j`G\\249DgKzk\\ESC59F\\238\\156t\\\\W\\185\\SUB\\224\\195\\227Nn\\209\\188AS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\161(Cf\\253F\\FS\\197\\167\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136k.\\252(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\147\\198\\202\\136\\ESC\\174\\&4\\178sY\\137\\245\\SOH\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\162<x'\\208\\CAN\\241o\\210\\238o\\v\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\177\\168Te\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\205~\\231\\243\\DC3cs\\150\\205\\SOH\\238\\208\\254^1r\\172\\&4P\\a\\174\\196\\166\\188\\209\\204\\166\\244d\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\255\\238\\133\\214 \"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\CAN\\144#\\EOT\\229c\\139\\194\\r\\r\\rXt\\154\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\146\\193\\217\\ACK\\133\\148\\GS\\221\\\"\\NUL\\217\\148\\&6\\231\\173\\219qd.\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\165\\220\\234\\200\\ACK8\\187\\&1\\230\\NAK\\EMF\\250_\\243g\\181%\\SI\\b\\137\\SITW\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\STX\\180\\NUL\\206\\228\\242\\180K\\215\\215n\\245\\158C\\a\\182\\134\\135\\150\\155\\187\\247\\v.\\145\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\141{\\182X\\177\\200\\144\\201Q\\229\\180\\215\\254\\174\\ETX\\138\\175\\197\"","tag":"AbiBytesDynamic"},{"contents":"\";\\227u\\136U\\250$\\193\\&5\\225{\\250\\&7\\ACKa\\172\\&0 \\194\\220\\231\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\ACK\\172\\132O\\187{\\145m\\131\\139\\FS\\211\\199\\SO\\148\\210\\US\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\194r\\210E\\237f\\DC1%\\247\\195\\135?\\199\\174\\193'\\214/O\\185zx\\174\\233h\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\\\\\177W\\189Z\\178RG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161=o\\130\\250F|\\197i:4^\\EOT-\\SOx\\178\\202t\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"x@\\DC1\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\&2\\232\\DC4\\SUB\\185\\252\\215E/V\\140\\171\\184\\SO\\169\\212\\236\\165;\\217\\DC3\\150\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ^s\\SYN\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\&9IW\\152\\148\\SI\\225~\\n\\148|_\\134\\148\\144+\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\130\\168\\DC2\\242O\\238\\129\\f7\\244\\164\\235\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\GS9`8D,_\\140\\206\\165\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\155\\ETB\\255{\\RS\\ETX\\222}v\\205{\\aH\\138\\230Aq\\182\\158\\160\\FSS\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\233\\DC1\\145G\\189\\165.\\165\\158\\210\\b`\\159}J\\207\\DEL\\183\\&1*\\173\\&1\\228\\233\\ETX\\248\\190\\191\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\221\\146\\b\\227<P}\\131eC\\t\\233\\188\\194\\161G\\fz\\175fK&\\193\\192\\240\\230\\216F\\ETXl\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\":Qe_\\217W\\ACK\\215tf\\204v4\\245m\\255P\\144\\149h\\155)\\185\\187\\DC3\\DC1\\159\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\DC13`h\\187\\129\\&6&\\133Yh_\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOL\\214(\\154\\242v&\"","tag":"AbiBytesDynamic"},{"contents":"\"Eb \\a\\v\\147\\USy\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\137\\RS\\DC4\\207\\165\\156$\\143\\205\\a\\201\\169\\193k\\GSH\\DLEm\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\143\\198\\233\\248\\142\\175\\DC2\\DC2\\238\\239r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\204\\225\\218\\204\\EM \\\"\\173e\\237\\214\\255\\192>\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217J2\\b\\200\\166\\&5\\216\\136}\\217\\237\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216$FG\\176H\\255\\&2\\SOF\\225\\132\\139Y\\140\\SYN+\\206_\\237\\130R\\134\\EM\\246%\\t@n\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"o#\\139\\141\\167D(6\\245\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\236\\205L\\NAK\\229\\201F\\199P\\160\\159\\192\\202\\137\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213'oLA1l\\176\\236\\205)\\161\\155t\\179\\DLEt\\212\\193\\&1&S\\GS\\160L\\223\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"i:\\216\\201\\255\\162R$\\205\\175\\196\\163\\209\\224M\\NAK\\214}\\162&\\190\\209:6\\239~g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\RS\\150\\231g\\243u\\133\\159o\\217\\228\\153\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"?R5\\152\\135\\SYN8\\203[.\\n\\190`^$\\151\\135F\\236\\DC2\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\DC1No\\196\\246\\196\\144\\vH\\223\\234\\US\\232\\141\\213\\189\\155+w,\\DEL\\170/\\151\\199\\194\\172\\255i\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\129R\\\\\\DC3\\ETB\\251\\154\\DEL\\175\\186\\DEL\\232\\209\\252T \\n\\191\\198\\139\\177=\\251\\231\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\220\\STX\\139M\\225\\168\\204\\194\\221\\136Y\\142\\&2\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI%\\147\\223\\128\"","tag":"AbiBytesDynamic"},{"contents":"\" J!\\NUL-\\226\\168S\\163:gC\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\&6\\252\\211\\131+\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f'*\\166H\\CAN@9Zc\\190\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\202\\181~\\191W%A\\137X>s\\SO5\\186\\175\\&4\\172\\188\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160<\\252\\ACKy\\144_\\168\\a\\SYN\\ESC\\132\\187HC\\DC2\\222y\\243{\\245\\&4t\\235\\165<\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\189\\147\\r\\193\\186P\\211y\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130(p\\246\\145<\\\"\\177\\DLEb\\248JJ4\\226\\160}m\\254!\\145\\FS,\\245\\DC1\\148\\216X \\ESC5^\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\RS6\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152O\\128\\131\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\170\\144fz\\247\\DC2\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\166\\248\\DLE\\204M\\203\\188\\RS\\136\\156\\251u\\146\\169\\EOT(\\214\\&4M\\202\\164\\ETX\\172\\DC4\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"'$\\136\\225\\219?\\161\\230\\224ADC\\214.MN+\\DC3Yh\\235\\224\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"pd\\200\\191\\209ziO\\225\\231\\143k \\250\\231\\161\\212J\\162\\NAK\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\165\\149\\174\\DC4H\\131\\253\\132\\221 9\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\v\\240\\161\\149\\223\\&6\\176d\\207^bgDm\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148x\\150\\n\\ENQJ\\148\\190\\&8\\192\\f\\238K[h@\\218\\137\\v!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\201S;\\198\\EOT\\200\\a\\161\\160M\\237\\154\\211=\\194W\\SYN\\247\\&2$n6\\t\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\139i\\135\\185\\137\\&6\\184W_\\f%\\230\\207zk\\250\\\\\\252\\SUB[\\202\\250\\141\\247\\212\\170s\\ESC\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187ux\\164\\140\\205\\176\\150\\129\\212\\194\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137|\\SOH\\133\\157\\b\\SYNf\\223\\133\\222\\DC4&\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\216\\ETXY*Y8:x\\247\\132\\171iM\\226\\SOt]\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190dk\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"Iu\\131\\237\\131\\&8<&\\204I\\181\\SI8\\144q:\\141)u\\a\\a9e\\227\\210\\207\\140Y\\157\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Z\\254\\177\\184\\&7BL\\181j\\n\\222\\198q\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\ACK?\\138\\170\\v\\146\\&7)\\179\\210\\251*\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\156(2\\207\\136\\&9.\\245bw\\134\\163\\232-F\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227~\\208[li\\242\\r7\\205\\232\\191\\238\\DC4\\RS\\ACK(\\138J\\ETB\\STX\\211\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\197\\135\\212\\NUL\\134\\249\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\ENQ/\\136\\167\\237\\173\\217\\ETB\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"J9\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\203\\228G\\158\\182\\131uwj\\v,\\DC1\\156W\\171\\179\\224\\157tA\\220\\FS\\161'\\134\\189i\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\225d\\169\\203\\STX\\217\\253\\232\\205\\248\\ENQ\\160\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\azM28\\147P\\214\\\"\\238TM\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"[lF[\\233\\195\\170\\246\\132'\\161I\\GSC\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\\\\\235\\&0\\211\\181\\254\\244\\231\\137\\&2\\254\\220\\178`s]\\am\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\213X?\\135\\vN\\231\\213\\175\\236\\173\\r\\238\\223E\\200\\215\\148\\174>\\154$H\\167\\DEL1D\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\214\\133\\246\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217BU\\193\\160\\DC4\\228\\207\\222\\208\\&4wEm\\197\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM>\\157O+\\191\\255(sa\\211\\226\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220a\\215\\138,\\188J\\186\\134\\176\\177\\252&\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\ETXtJFO)\\STX\\ETB\\213\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"f[\\234\\214\\170cf\\186\\200vh\\199\\&6Z\\208\\229\\159\\167\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"7\"","tag":"AbiBytesDynamic"},{"contents":"\"rs\\182\\196\\197n\\199\\\\@\\199F\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\198\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239Q\\128\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\172\\216\\&2\\159{t\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\ETB+$\\206\\148\\167\\137\\205\\176B\\NUL*\\250\\206\\154\\&8\\RS%\\201\\US\\142;\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"Kj\\215HF\\235\\&1rtLD\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"@?\\DEL\\194\\157mN4\\209\\175\\219$\\151\\161\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"AxK\\253\\201&\\194\\150\\156\\&9\\223\\194\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\164\\NAK\\157\\143\\233\\203\\DC1D\\231\\169\\175\\205\\152\\154y?\\203[\\159\\ETB\\160W\\137\\206!\\165\\253\\CAN\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\255h7r7\\NUL3\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\197\\197\\150l\\DC1\\141\\161?\\149~p\\233\\170\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"e/\\172\\169\\162\\236\\252\\189\\133\\144\\149ux\\181\\227\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\233)\\DC3\\136\\NULC4\\197\\198<\\SYN)\\162\"","tag":"AbiBytesDynamic"},{"contents":"\";\\USr\\203\\202\\169c\\EM\\235K.p\\221\\233I1\\238*\\137\\222\\f\\191>\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204M\\166\\US\\205\\NUL\\FS\\245\\&5\\224R\\232,\"","tag":"AbiBytesDynamic"},{"contents":"\"xA\\248\\&9?udR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\182o\\\"\\215\\198\\159\\240(M7\\231\\250\\140\\203\\228\\132g\\223[\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\248z\\129\\GS%H\\183\\142Qt\\163\\186\\NUL\\192RB\\196\\162\\NULF~\\164\\194\\154\\146@\\149H\\134\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"*k\\171\\SYN^G\\187G\\237b\\212EP\\213=\\ETBm\\161\\197\\219\\222C\\233\\158\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\167\\f\\r+\\217\\130\\131`;\\168`\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\220\\ESCm\\171\\STX\\144\\208y}\\149\\173+\\227G\\169){\\254\\252^ov\\224\\186\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\&6+.$\\171\\141\\f\\198L;\\182\\&7\\216%\\225\\&9\\FSmO\\FS\\DC4[\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\151\\229\\160\\153\\242\\US\\170\\157\\STX\\234f\\147\\169\\DC4I\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\163ml>\\t~\\198\\212Cx\\197tI\\180\\v8\\252U_\\255\\235\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\9\\174 2^F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\195h\\SYN?\\197r$\\SOH\\221\\224\\205l\\250\\CANR\\204\\216\\129\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\155$[\\227\\226vJ\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\153\\144 -*\\250'\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\181/\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156]\\137%\\170 \\231x\\GS|\\214s&\\149AR\\181\\145uom\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"Df\\227rT\\254\\156q\\158\\199\\169\\221P^\\STX\\SO>\\SUBw\\226&`\\EOT\\189\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT6Wz!\\201{\\253\\187')\\FS\\197f\\SYN=2\\fG\\v\\DC4Nl\\231wh\\ENQ\\189\\164\\173\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\194`\\217R\\164\\155V\\249\\&8&\\226\\191\\194h\\EOTx\\254~{V\\128\\&8\\131\\a\\b\\203\\143\\148\\178\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\179\\&5s]\\196B\\199o\\162\\v\\200\\247Wf\\168\\186\\254\\168(\\187\\152$\\218t\\252\\SYN9\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\164`M~\\205\\239_\\t;9'\\222z8\\251-\\SUBr\\141\\180\\240\\SOZ\\198>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\145\\SOH\\233\\&2h\\203\\212\\173\\152C\\243\\189\\135\\n1wdFDE\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129a\\196\\&7\\225\\171\\173\\&2\\150\\229X\\NUL\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216\\\\\\157\\255s\\163\\151\\163\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"gM\\GSR\\SUBYPLNd\\170\\235\\213jiu\\252B9\\236\\ESC!cA\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\GS\\SUB\\181\\225\\176\\146W\\156s\\SOH\\168T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\170\\137\\159.\\227\\182\\168\\ACK\\247\\229;U\\220^\\ESCCU\"","tag":"AbiBytesDynamic"},{"contents":"\"iF\\152\\160\\136\\n5\\235\\200\\&5\\179\\220{\\171H\\151Q\\161\\187\\156\\176M\\221\\215\\NAKwY\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\214|a\\214!f\\234\\194\\170\\202G\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"-*\\255\\139\\160\\231\\143\\n\\154F)\\251\\167\\&8\\248lZ\\210\\237\\DC2m\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144]Q\\166cs\\193$S\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\241\\207H\\ESC\\ETXXI\\147\\SYN\\DC1\\245\\210\\209:d\\158\\205',\\174\\253J\\156y\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\252\\244\\204\\230}\\214\\219\\196\\190s\\147dr\\178)\\222\\197\\170\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\232\\\";\\188\\GS\\178\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213r}\\193\\179\\162\\SOH\\FS\\157\\177\\DC1\\SI\\DC3\\195\\ETB+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\208\\201D\\200\\194\\250\\186\\234;\\175\\202\\243\\DC1\\144\\181\\211\\EOT\\229\\202\\211\\182\\222F\\215S\\189b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163:2\\222y\\221\\206\\b#k\\189-\\237\\139\\221Q\\180\\242\\199=\\EM\\ENQ\\225\\200\\218@Gx\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\237\\220kD\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\185;\\250\\210zq\\240\\160\\239-@\\222\\v`\\251\\128\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\176\\a\\129\\187\\178\\184$^Z\\255\\158}z'm\\225h\\196\\193\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"V<\\DC4\\176\\ETBBo\\177V&P\\150\\DEL\\225\\143\\EOT\\195;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US7\\166w\\147\\234f]\\152\\&4\\188\\238\\221#\\DLE\\187\\SI\\221D\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\145\\&2&\\NAK\\215\\164z\\DEL\\209\\CAN\\180\\238\\234\\CANj\\224\\216\\141\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\208;\\177\\233\\210\\170u\\130>\\142\\ESC\\148p\\SOH\\STX\\NAK\\DC4\\167\\209\\155\\168\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\&1J%\\164*\\219\\STX\\198i\\SOH\\157\\175\\DC1\\EOT7~\\180\\&4\\170;\\162\\213\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"x>\\DLE)\\DC4n\\139\\\\7'\\135\\FS\\219,\\226B1\\238zH\\251\\167\\201\\194\\&5\\DC4\\STX\\159\\SI\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\156\\187V\\166cL\\201\\ETX\\242\\219\\150\\225\\ESC\\223\\202(\\223\\212m@u\\202\\176A\\165\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\150\\171cm&\\204\\&1\\249\\202\\204\\242\\216\\198C\\182Y\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\b^\\132X\\133\\157>\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\174u<\\\"\\134\\145\\SOH\\155\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"e`\\144\\230\\142\\250\\182\\244\\180\\235\\SID~\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\200\\201\\&5\\201CJ \\215\\207\\218\\158=\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\226r\\174\\234R\\250\\196\\DLEX\\240\\154r\\176\\&7\\171Q\\208\\234NZ\\203\\210t\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\166G\\DEL\\227\\&3\\ETB\\202A\\DC1\\DEL#\\147C\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\249\\142\\135'\\214\\220\\247\\146\\151o\\RSr+\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\138\\174fkc\\202Z\\141\\EOT\\231\\141\\207@\\DC4\\254\\171\\233\\187\\213\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\251\\224\\155\\ESC\\158\\219+\\186\\170\\212\\252S\\156}\\134{\\SUB\\207\\&5{\\NUL\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"i\\244\\160\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\149?vt\\DEL\\SUB\\154t\\239\\&1\\240\\209\\227\\232B\\230b\\131a\\197\\DC1\\140;\\166\\231\\&4\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\185\\207\\n\\237\\246\\233\\250\\255\\138sc\\181/NE\\ACK\\DEL\\225\\170\\242\\135\\253\\187#H\\170[\\176y\\\"\\169\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\250\\248\\221\\128\\ETX\\187\\158\\155\\214\\157\\226\\242\\150\\232\\rx\\160^T)\\205$\\ETXa\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\216\\228\\224\\&6\\146\\aG\\ESCx\\\"o\\155\\239\\f\\171L\\224#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\165K4\\250\\SUB\\197\\DC2>v\\DC1\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v;J\\227 |\\132\\230\\179'\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\198kYm\\EM\\DC1s\\254\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\215\\219u*\\145\\bW\\221\\146\\b\\172\\217\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\ENQ\\v\\128-\\140\\150\\174\\213j\\222\\199\\241&b\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\&6;\\136\\223K\\200b\\236\\r\\197\\\"\\155S\\141\\\\\\217\\206\\ENQ\\169\\135\\136m^\\141\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTF\\218\\170\\246%Grab\\206\\137\\158D\\160\\&3y\\162\\249o\\167\\252J\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\144r$\\\"\\nl\\129N\\137G.\"","tag":"AbiBytesDynamic"},{"contents":"\":\\146zR\\ENQh\\155\\217\\254\\SOH\\a\\254\\252\\199\\&6\\250\\150\\223\\207Sw\\242\\210K\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\164kc\\n\\EM0\\189\\206\\220V\\137~d\\207):V\\168\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\204x\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\rBI\\223 \\180i\\241\\CAN\\146\\253\\254\\&8\\228\\200\\254hT\\DC4L&\\179\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"36684855037202249113937600805550352300121513529449255630824050905075161869807"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639836"],"tag":"AbiUInt"},{"contents":[256,"31667939809425558925949635095507508068581103211182515375248184091495762446013"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"68524355653611369460214299067104499634738664383730421911270168045096602187736"],"tag":"AbiUInt"},{"contents":[256,"158305609728626701079389037170053804693"],"tag":"AbiUInt"},{"contents":[256,"53824432075288039497322488478027981083651576525398289242606964490681575827095"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551615"],"tag":"AbiUInt"},{"contents":[256,"1532158337"],"tag":"AbiUInt"},{"contents":[256,"20706313950770379893092121483437909394584857714906280401237757137505394949860"],"tag":"AbiUInt"},{"contents":[256,"70826167503829559806748161169506307452596335959276355211624051387611841170699"],"tag":"AbiUInt"},{"contents":[256,"1527694457"],"tag":"AbiUInt"},{"contents":[256,"91082063805722524691641037501280296630775870900935506980307821342219898488986"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858884"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908080"],"tag":"AbiUInt"},{"contents":[256,"54884326494301120324313975134004997750137545601549483358252806691312176337825"],"tag":"AbiUInt"},{"contents":[256,"15979390233537919409112377213432478521565265314839142606484579277850000198990"],"tag":"AbiUInt"},{"contents":[256,"47738660646856798369319078495703316137599174012438855390655280040019646411375"],"tag":"AbiUInt"},{"contents":[256,"47738660646856798369319078495703316137599174012438855390655280040019646411375"],"tag":"AbiUInt"},{"contents":[256,"47738660646856798369319078495703316137599174012438855390655280040019646411375"],"tag":"AbiUInt"},{"contents":[256,"47738660646856798369319078495703316137599174012438855390655280040019646411375"],"tag":"AbiUInt"},{"contents":[256,"47738660646856798369319078495703316137599174012438855390655280040019646411375"],"tag":"AbiUInt"},{"contents":[256,"47738660646856798369319078495703316137599174012438855390655280040019646411375"],"tag":"AbiUInt"},{"contents":[256,"47738660646856798369319078495703316137599174012438855390655280040019646411375"],"tag":"AbiUInt"},{"contents":[256,"47738660646856798369319078495703316137599174012438855390655280040019646411375"],"tag":"AbiUInt"},{"contents":[256,"47738660646856798369319078495703316137599174012438855390655280040019646411375"],"tag":"AbiUInt"},{"contents":[256,"115062533426408213205561918876443406340649228035572798589812325108709984627627"],"tag":"AbiUInt"},{"contents":[256,"66479774725026557327971733491008885961720744703775895618263762208147011575095"],"tag":"AbiUInt"},{"contents":[256,"1536641861"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639439"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"378"],"tag":"AbiUInt"},{"contents":[256,"19902740411981465449017438268514972326703265301233435038831296969381237142981"],"tag":"AbiUInt"},{"contents":[256,"17756721040764066326381509059887216888192134039792000740900398759286182011150"],"tag":"AbiUInt"},{"contents":[256,"1528147914"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1529449871"],"tag":"AbiUInt"},{"contents":[256,"41905799385309686828804376042183074324934742009312987732111470094429191860194"],"tag":"AbiUInt"},{"contents":[256,"1389927737786074160084505628574136080977207165029914424582408313025618"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639831"],"tag":"AbiUInt"},{"contents":[256,"20106541646798954231372546452849017466707605553908638130244039051287611237082"],"tag":"AbiUInt"},{"contents":[256,"63817700478148929339837190497546835935306168095469696485146614527591183535389"],"tag":"AbiUInt"},{"contents":[256,"60406380247451377805162528729464569950761148660330627106236045490454536413258"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639919"],"tag":"AbiUInt"},{"contents":[256,"2696024676276845057240800926602410730918974966"],"tag":"AbiUInt"},{"contents":[256,"105511861605987278903053167049440896638745156712278740282409713379140994008073"],"tag":"AbiUInt"},{"contents":[256,"51591337846986838401428396974763925970003463671456740023957583622555355333624"],"tag":"AbiUInt"},{"contents":[256,"24764964574246082566768906466165201586822778628850364405224473753850719470296"],"tag":"AbiUInt"},{"contents":[256,"5004"],"tag":"AbiUInt"},{"contents":[256,"3449837241530014310973028350148206602463269179109871619780089019826278471868"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fa","0x0000000000000000000000000000000000000000000000000000000000005806"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000861f7","0x000000000000000000000000000000000000000000000000000000000000e343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"1527288091"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003e60","0x0000000000000000000000000000000000000000000000000000000000008ec7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"113712350799200203520922818533506137957355085443965203837423964535997926138091"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6e","0x0000000000000000000000000000000000000000000000000000000000009e98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"},{"contents":[256,"83314130921912673328012690695716363075762080333880528565196302668803480357366"],"tag":"AbiUInt"},{"contents":[256,"4126698136517705791811992409601901634337569516410641395469389322568355987594"],"tag":"AbiUInt"},{"contents":[256,"8274891034485849252184738696663579215337293503333783318521672462791635890875"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f5ec","0x000000000000000000000000000000000000000000000000000000000000a56c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0xED1785b65896022A79B55D3EbaFD6Ab7C6560e92","tag":"AbiAddress"},{"contents":[256,"75"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4e","0x0000000000000000000000000000000000000000000000000000000000000fba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"36987363172284557221194759109712963871638795692521251789866026701803109679611"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc10","0x0000000000000000000000000000000000000000000000000000000000004759"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080571","0x00000000000000000000000000000000000000000000000000000000000080be"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef40","0x0000000000000000000000000000000000000000000000000000000000000e2d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"98849523401030957654683462529727944194772599230607048519457022535790268247369"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014c4e","0x0000000000000000000000000000000000000000000000000000000000005ef7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005becb","0x00000000000000000000000000000000000000000000000000000000000029e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"610"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000e","0x000000000000000000000000000000000000000000000000000000000000d832"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"70"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000155f7","0x00000000000000000000000000000000000000000000000000000000000017f9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"136"],"tag":"AbiUInt"},{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"},{"contents":[256,"87238427743596491347279339164241020310963482970417509082136217072510682752710"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd35","0x000000000000000000000000000000000000000000000000000000000000007a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577597"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063160","0x0000000000000000000000000000000000000000000000000000000000001393"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639915"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f6","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e8","0x0000000000000000000000000000000000000000000000000000000000007e4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"8913673492191629900135250983575196983767522317908997440620870968426115244992"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000069dc","0x000000000000000000000000000000000000000000000000000000000000b0cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639936"],"tag":"AbiUInt"},{"contents":[256,"93990627918104819577103274932986051733261682576265700910019431996488159348664"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062338"],"tag":"AbiUInt"},{"contents":[256,"67728007461716083657327801279528994227772052347004489643399864465030118723327"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004ae5","0x000000000000000000000000000000000000000000000000000000000000af50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"100766633852448684310735446550806144250922556778015575121955263544356693539628"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x0000000000000000000000000000000000000000000000000000000000007fff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002dcd1","0x000000000000000000000000000000000000000000000000000000000000139e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"23"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59c","0x0000000000000000000000000000000000000000000000000000000000000011"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"95660864886976729900278380917596714071003295824633029649001585224602806915444"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x0000000000000000000000000000000000000000000000000000000000005d4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000006b","0x000000000000000000000000000000000000000000000000000000000000b439"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"330"],"tag":"AbiUInt"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000003","0x000000000000000000000000000000000000000000000000000000000000e111"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"262"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3a","0x000000000000000000000000000000000000000000000000000000000000037e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":[256,"1529175249"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007ce","0x0000000000000000000000000000000000000000000000000000000000005806"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"UP\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3f","0x000000000000000000000000000000000000000000000000000000000000913d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]