[{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"42847419041261382319883668279662797938047822891161597843091067846593180800136"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"100589813109639701576789638881469842226517050704350909031313266889099161253689"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030206","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"38"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf8","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x000000000000000000000000000000000000000000000000000000000000012e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"8"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce52","0x000000000000000000000000000000000000000000000000000000000000dcbf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052404","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"55"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d53","0x0000000000000000000000000000000000000000000000000000000000000085"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"3"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001162e","0x0000000000000000000000000000000000000000000000000000000000000fba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"4999"],"tag":"AbiUInt"},{"contents":[256,"1999998"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1b","0x000000000000000000000000000000000000000000000000000000000000824d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"92836576043633886746154448748687533189097603601785897836694414078528015325651"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dbaa","0x000000000000000000000000000000000000000000000000000000000000affc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"9536925167318951622838992743323915742604782408789948368077872313459800461403"],"tag":"AbiUInt"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039baf","0x0000000000000000000000000000000000000000000000000000000000001e94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000068","0x0000000000000000000000000000000000000000000000000000000000008b47"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"235"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae0","0x00000000000000000000000000000000000000000000000000000000000001f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"59428179460660838145151455347877911167656596806494349613876739080206800680682"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f113","0x000000000000000000000000000000000000000000000000000000000000d38b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"57"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1a","0x000000000000000000000000000000000000000000000000000000000000b446"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000033","0x0000000000000000000000000000000000000000000000000000000000000402"],"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,"5001"],"tag":"AbiUInt"},{"contents":[256,"5001"],"tag":"AbiUInt"},{"contents":[256,"5001"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"89476271847638434257785081607839920107625441357996670515103738885021284130419"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"95842370976143548842563192888706739280793914068832012460528688979815837019124"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055779","0x0000000000000000000000000000000000000000000000000000000000000010"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689599"],"tag":"AbiUInt"},{"contents":[256,"334"],"tag":"AbiUInt"},{"contents":[256,"13740655849887068786793610865369187186041957989000725319462312680243525030919"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb32","0x00000000000000000000000000000000000000000000000000000000000068b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000382","0x000000000000000000000000000000000000000000000000000000000000d8d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"68"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"104496143381065143253376702899312917786743217642126832683658433117514643506292"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084277","0x0000000000000000000000000000000000000000000000000000000000001273"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81f","0x0000000000000000000000000000000000000000000000000000000000001553"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"49855170714908701217595480782490200136499828839658711084605357677817509134934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000130","0x0000000000000000000000000000000000000000000000000000000000000380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"102865148483351459834637953155893877963353497578550598711500462181000604465399"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea19","0x0000000000000000000000000000000000000000000000000000000000002714"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4d","0x000000000000000000000000000000000000000000000000000000000000a4f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"49293949823248212396671417964299023518368795973394820455239569200465537345836"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007057","0x0000000000000000000000000000000000000000000000000000000000000e14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"29083831533784818225479637265569300259562715482710213296179560227457470336175"],"tag":"AbiUInt"},{"contents":[256,"87011866212956717896307941096806279079866296273946353101028358418331195660312"],"tag":"AbiUInt"},{"contents":[256,"53061443129278759934012884249358301837229095240887420230162723476091708229338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000381","0x0000000000000000000000000000000000000000000000000000000000000592"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1b","0x00000000000000000000000000000000000000000000000000000000000085e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":[256,"41904623092818546991543917079988699839813092716644545140945392231199997219380"],"tag":"AbiUInt"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":[256,"97729297707228254659138595433952351348080458698027716298321225972753134574112"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba5","0x000000000000000000000000000000000000000000000000000000000000ec38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"74190800051997421707176726276468761372486521494729089756361609757371918620569"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e9","0x000000000000000000000000000000000000000000000000000000000000653c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fd","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e11","0x0000000000000000000000000000000000000000000000000000000000009203"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"42672277093505647735677766186769565372456439416044174100704191708063909575664"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd35","0x0000000000000000000000000000000000000000000000000000000000005d4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1b","0x000000000000000000000000000000000000000000000000000000000000137e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"64438768608717104294696366158373362759176858871120754157279618191684890831712"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2a","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1d","0x0000000000000000000000000000000000000000000000000000000000002321"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000067","0x000000000000000000000000000000000000000000000000000000000000d55b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"29352944286535617902489840820930676104297576932722854982742594822428078191552"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000053","0x0000000000000000000000000000000000000000000000000000000000009e97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b1fa","0x0000000000000000000000000000000000000000000000000000000000008198"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087402","0x000000000000000000000000000000000000000000000000000000000000008a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000eb","0x000000000000000000000000000000000000000000000000000000000000058e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"18446744073709551614"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e761","0x0000000000000000000000000000000000000000000000000000000000000086"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3a","0x0000000000000000000000000000000000000000000000000000000000000004"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"toAdsress_outOfBoundd\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052401","0x0000000000000000000000000000000000000000000000000000000000008ec9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":[256,"99776561457200585584598391289305025218409177870359642915603803845935611834459"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c3","0x0000000000000000000000000000000000000000000000000000000000000067"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"5834052962893261795331400084372102627481381717585031366417"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001b","0x0000000000000000000000000000000000000000000000000000000000006148"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132610"],"tag":"AbiUInt"},{"contents":[256,"1524785991"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bda","0x00000000000000000000000000000000000000000000000000000000000001f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"20"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a0f1","0x000000000000000000000000000000000000000000000000000000000000133f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0e","0x0000000000000000000000000000000000000000000000000000000000001333"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":[128,"241301100218084411097525349134809300051"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf9","0x000000000000000000000000000000000000000000000000000000000000d8ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639829"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000016","0x0000000000000000000000000000000000000000000000000000000000000fb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"3202965727452560331884116425069061528223403"],"tag":"AbiUInt"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0c","0x00000000000000000000000000000000000000000000000000000000000041ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"150"],"tag":"AbiUInt"},{"contents":[8,"128"],"tag":"AbiUInt"},{"contents":[8,"39"],"tag":"AbiUInt"},{"contents":[8,"230"],"tag":"AbiUInt"},{"contents":[8,"8"],"tag":"AbiUInt"},{"contents":[8,"84"],"tag":"AbiUInt"},{"contents":[8,"105"],"tag":"AbiUInt"},{"contents":[8,"6"],"tag":"AbiUInt"},{"contents":[8,"96"],"tag":"AbiUInt"},{"contents":[8,"249"],"tag":"AbiUInt"},{"contents":[8,"70"],"tag":"AbiUInt"},{"contents":[8,"124"],"tag":"AbiUInt"},{"contents":[8,"130"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"20"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000804a4","0x000000000000000000000000000000000000000000000000000000000000131a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"67"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000069","0x0000000000000000000000000000000000000000000000000000000000001329"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x0000000000000000000000000000000000000000000000000000000000001371"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055778","0x000000000000000000000000000000000000000000000000000000000000d8f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa1","0x0000000000000000000000000000000000000000000000000000000000006b0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639831"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b6a","0x0000000000000000000000000000000000000000000000000000000000000e13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"44416790274509394206306499039729401181615967109906571955861316335787662284010"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000007115"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"255"],"tag":"AbiUInt"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"98081028227663118953579269590766319511748439173284959666426896980022384198210"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000035","0x000000000000000000000000000000000000000000000000000000000000b44b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222595"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000085","0x0000000000000000000000000000000000000000000000000000000000000009"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064ad5","0x0000000000000000000000000000000000000000000000000000000000006dde"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001388","0x0000000000000000000000000000000000000000000000000000000000000100"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"49"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x0000000000000000000000000000000000000000000000000000000000009572"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"59944218"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a2ce","0x000000000000000000000000000000000000000000000000000000000000058f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb0","0x00000000000000000000000000000000000000000000000000000000000003ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"86953875245790718840358896989071870670784123977476507467377930436715026855200"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004a","0x0000000000000000000000000000000000000000000000000000000000009e7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001386","0x000000000000000000000000000000000000000000000000000000000000d8d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0eb","0x0000000000000000000000000000000000000000000000000000000000001c31"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e955","0x0000000000000000000000000000000000000000000000000000000000007281"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"12276706631297155"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002f","0x000000000000000000000000000000000000000000000000000000000000d8cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"109737709912979244585852841705734764601334698513660989916233858685978774464985"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037272","0x0000000000000000000000000000000000000000000000000000000000003ed9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084275","0x000000000000000000000000000000000000000000000000000000000000dcbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010978","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000601c0","0x0000000000000000000000000000000000000000000000000000000000000064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000002e81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"5878623614256507594275124645717695763639139257454428161"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006fdb9","0x00000000000000000000000000000000000000000000000000000000000003fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"2x\\221i\\FS\\fF\\190R\\241\\&3\\202\\218\\244i$\\DC2:\\b[\\137\\&9UI8r\\180ZB\\149RO\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\CAN\\236d\\b2\\220\\162\\&8\\ACK\\233\\&0X\\160\\172\\202Yp+\\241\\226(\\249v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\180s\\217c{\\173\\190P\\242b\\199?\\SUB\\174\\NAKi?\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"`H\\214y\\132> \\207\\174<\\165WKw\\180\\156\\157\\NAK\\137\\161\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\176o\\168\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\207g\\184N\\209\\v\\234U<7\\149\\170Ws\\188\\217`\\252m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131:\\167\\241\\175K\\170\\180X\\182\\197\\144\\188\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\208+\\232#z\\226\\201\\DC3\\187\\137\\234\\ETB\\244\\131\\141\\183\\209\\&7\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\SO\\n\\184Lp\\245\\188\\151\\205\\229\\213'>)\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\148\\&2\\188\\DC4a%\\230$\\FS\\DC2\\DC2\\215t<+\\189\\161\\129\\176>\\150\\201\\t\\ETXd\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\DLEp\\212\\174\\159\\197\\145 \"","tag":"AbiBytesDynamic"},{"contents":"\"\\129X\\169\\a\\139\\130k\\219\\&4\\153\\SYN\\DC1H\\SI+\\DLE\\175\\&7.f\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\239p\\185C=\\145\\ETX\\147\\248)\\133\\191\\215y\\146\\201\\\\s\\129\\170\\DC2\\231\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\fI\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\206\\SO\\SI\\165y\\200\\&4\\GS}\\145\\222\\SI\\ENQ\\237)\\135\\169nW\\138\\\\|1$\\180%\\SYN\\130\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176e\\190\\248\\SOH7\\173\\183\\250\\150\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\148\\181\\203<\\USM$\\DC1\\250\\GS\\142\\ETXD\\188\\&0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"[\\DEL\\131\\173\\175\\139\\237\\128I\\ETB\\212\\153FL\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145b\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"7C\\RSX\\152T\\220\\EM\\206\\224\\178\\244n\\206p\\RSc\\ENQ\\NAK\\233 gqz\"","tag":"AbiBytesDynamic"},{"contents":"\"=4a\\245\\143w\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\217\\143\\156%L\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"05\\235\\133o\\233\\&3>\\160)<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\192\\EOT\\247%\"","tag":"AbiBytesDynamic"},{"contents":"\"*6\\242\\194=^\\186\\ESC\\158\\205\\160\\216$\\206vO*\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!Ig\\203\\f\\139\\ETB\\210\\&6-M\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\156W\\151\\216\\202\\223\\&3\\197?\\ETB\\168\\156\\f}c\\242\\165\\159\\t\\232H\\167|\\192W\\211,?+sU\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\138\\a\\146mhX4\\196\\177K\\RS\\144ns\\142\\n\\EOTzA\\165`\\167k\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\216;b|\\176\\SOHNE\\227\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\218\\152\\226\\208\\206W\\239\\180\\140\\247\\192+\\CAN.k\\249\\151\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2@\\134;R\\223\\237\\&1\\181\\216q\\SO\\201,t&\\141\\132\\212\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\181\\249\\DLE\\164N\\146\\163\\161w\\148\\150\\SUB\\195\\252\\212\\226p\\ENQa!)@\\173\\183\\220\\GS\\227\\245P\\242\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"f/\"","tag":"AbiBytesDynamic"},{"contents":"\"cii\\242s\\236\\SOS\\152\\238\\183\\156\\214\\165\\236N\\154l\\253\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\163\\204\\145z\\164\\CAN\\f}@c\\134I\\228\\SUB<Q\\140k\\141\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\232\\ENQ\\147\\137\\174\\232ih\\EOT\\168\\146\\207\\207\\DC4`\\v\\130fv\\245\\221/\\138\\162.\\140\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"/o@\\fM#fj!\\242\\DC4\\246p\\SOH\\DLE\\222\\234:a\\r\\180\\176[\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"G|\\236d\\242\\209Wc\\242C\\USU#\\STX3cp\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\145\\149\\191>\\239\\255\\ETBN\\253\\EOT<\\r\\173\\&1B\\FS\\243\\198>\\145\\211!\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154{Eh\\STX\\195EUP\\159\\194\\195(\\193\\DC1\\248\\134\\168\\EOT\\137y\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\168\\230,y\\t\\n\\190P\\226\\150w\\187_\\a\\181^0\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249Ew\\t\\173z\\ENQ\\218N\\166w\\197j\\245\\192\\155f\\a\\236\\223\\ETX\\206\\t\\167\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\")\\132\\174\\147^\\ETX\\214\\145\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144U\"","tag":"AbiBytesDynamic"},{"contents":"\"B$\\233~\\144\\204#\\219T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\157\\152\\193\\214\\170j\\145\\215\\221\\&3Y6!H2H\\186MXyX\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\155\\161\\\\\\145\\180\\153\\180/\\226H%f\\163\\214\\240\\EM\\168\\246\\220v\\DC1\\146\\219\\244\\r\\a\\183\\195\\231\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\rP\\199w\\146\\128\\137\\247\\148\\GS\\213\\&5\\GS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\133\\a8O\\181!X\\192\\&8_d\\245\\199\\180\\DC11\\243\\&2e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\235L\\153\\ENQ\\160\\223Ur\\SOHx\\246\\244\\182\\rR\\171r\\214\\249Q\\139@X\\205\\&9I\\195\\DC2\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\&2\\232\\245D\\201\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"]N\\182\\223\\243\\172\\a\\163f\\150m\\217T%3>\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\140\\157G\\155\\231\\188j\\160^\\n\\206\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241Q!v`\\233p\\214\\194\\162\\172\\245<\\DC2\\154,\\GSY\\147\\230\\DC2\\197\\197\\200p\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"hD\\133w\\228\\194 \\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164s\\217F\\225\\251V\\200\\223!\\255\\167A\\151\\182\\161\\DC1Pk\\190\\211\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254`\\157\\&2_\\182\\&4#y,\\USg\\t\\224x(\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"J=\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\137\\f\\151\\RS<\\161\\172+\\176\\227b\\200\\178\\&2\\139\\241\\SUB\\195<I\\207\\216\\192N\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\151\\161\\235~z\\204/t$\\161\\a\\FS\\192\\&4\\175\\171\\177?\\171\\184\\169\\&2_\\220\\174\\216N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\DC2\\235?\\GS\\\"i\\227\\188\\STX2\"","tag":"AbiBytesDynamic"},{"contents":"\"{Dw\\\"]l,\\196\\213\\238\\162_\\206\\244\\230\\212S\\160\\RSQ\\240\\246\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\209!\\144\\f\\187/\\244\\SOH\\139\\154\\210\\170\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"c\"","tag":"AbiBytesDynamic"},{"contents":"\"#o\\249\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\239\\233\\SYN.J<\\200\\185\\DC4OU2\\170\\222\\DC2\\t\\172\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213`\\209$=\\DLE\\157v\\254\\t;\\DEL/!|\\GS\\SOHc\\182\\231\\\"le\\167o\\178w\\138\\165\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"z\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\133\\ESC\\158*\\167\\ACK\\163\\246\\164\\149\\141\\ETX\\NUL\\175\\163\\253U\\143X\\DC4\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"ozB\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174zG\\176\\155\\FSv\\200\\153\\203d\\176\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\158\\175X{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212v\\217\\209l!eS}\\ESC\\147\\169~V\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\&6T\\193j\\168\\180K\\134\\EMq\\134\\233v\\DC4\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163k\\134(\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\253\\176^K\\138\\&4\\207\\136\\164,$\\179\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\236\\179\\170\\250\\ETX\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\165\\242\\b\\ETB\\221\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\138Rh\\189\\162:\\NAKp\\144\\178;\\147@D3[E]\\ESC4\\166.\\130\\242\\167s\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\215\\132\\239\\176\\232\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195<\\DC3\\193\\246\\149b]\\187\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128S{\\128\\149\\ACKFOd\\DLEo\\242\\SOH\\161\\206\\CANr\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\226p\\f]k\\145\\192 \\154zv\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\GS\\149\\131\\158\\188\\238\\182P\\\\#\\160\\227\\151\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"s;\\SI.\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238B6\\244\\201\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"dl\\f\\226\\242\\226\\192\\183M\\169W\\ACK\\250\\238|\\128]\\US\\199:\\228\\&1_\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\192sU\\ETBP\\255\\178\\r\\180M\\SYN\\220\\253\\GSD\\DLE9a\\208\\DC1\\234v\\252\\247Z\\221\\228\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\137\\185\\166\\156\\NULsY\\\"s\\193A\\145\\206\\ESCo*\\DC4\\DC1\\219#\\244\\&0e=\\216\\ENQ\\179\\&4\\181\\DC3+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\b\\220\\&1\\199\\171\\218\\217\\241\\212\\FSy\\220v'\\219k\\RS\\146\\226\\143j\\f%\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178l\\143,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\&1\\NUL}3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176<Ll=\\142\\&6`\\253\\211\\226/\\147\\229>{\\254\\196\\f\\194R\\196\\132g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\207\\&1\\143\\163\\170\\173u1\\255\\r\\ts@\\\\\\n4o\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\204n\\235\\192\\159\\148x\\154\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\177\\DEL1\\130\\NAK\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242HG3\\149\\244\\137\\171\\237\\250A0\\212\\226\\223\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"3 \\236  }}\\f\\247\\166Sr\\241\\SO\\SI\\132\\NULV+F)Hi\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\EMb\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\132\\244\\174\\246\\175k\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DLE]\\228\\GS\\no\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\145\\231>hs9\\155\\&5\\147\\244\\175\\177\\150j|\\181q\\n\\250\\202\\ACK\\145O\\191\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\253\\172R\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\235{\\211\\205G}\\202Sa\\224\\SO\\236\\149\\209\\218\\&4\\135.s\\150\\&6o*>z\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\129H)\\DEL\\226\\172\\203\\180\\169\\248=\\239\\&8\\241\\136\\215P\\205\\199\\195\\230\\STX_\\166\\164Hn\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\&3aq@\\249e=#!\\140+\\RS?\\223\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\193\\228d\\252tG\\213\\149\\250\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\224e\\133\\177\\&9&)\\133\\NAKT\\221\\135\\SI\\GSUs!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\187d`!x\\130\\149\\206\\142x\\EMN\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\222Y\\244F.\\SUB\\\\:\\216\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\&3\\SI\\171\\192\\194\\197\\184A\\131\\178z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\169=\\213\\209\\203=\\ETB\\142\\DC1L\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\243\\199\\133\\205o\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\131\\166\\227\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192zJ\\178B7\\\\*VW\\249\\SUB\\\\?m\\148\\141\\211\\DELz\\193\\130<\\181}\\252W\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\179\\&6\\255\\192\\150\\188\\EOT\\221\\189GD\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\198x\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"H}\\STX\\DC2\\155WR\\199lw\\197\\146q\\187\\192\\\\\\201\\182\\SO\\\\\\164\\201Jw\\162x\\226\\138-\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\&3!\\176\\217\\171\\216\\157z\\SOH\\ETXU\\253\\DC4\\171\\177\\205E\\169\\224\\SOHMd\\ru`\\DLE\\134\\215\\SO\\167S\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\159\\139\\173\\210BYs\\219m\\165q\\221}\\185p\\144\\212\\204t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\147\\241\\146\\ENQ\\211\\138#\\246,%\\247\\165l\\a9j\\DLE\\188\\SUB=\\232\\158\\244\\&85\\SOl\\239\\v\\169\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ay\\210\\SO\\134\\ETB\\SYN\\171\\133+\\201\\&4\\224\\207)'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\148\\151\\212\\&6{\\148\\153\\146e\\228EI\\ESCt\\143?\\201\\&1\\162l\\189C\\SUB\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"t.\\251'\\SI\\163\\183\\r:\\217S\\143\\170\\SO!zu\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\181\\148\\141T\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\SOH\\213\\ESC\\ETB\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\184\\&6h\\243\\222\\DC4\\EOT\\173D3\\240PP\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\222\\216\\ETBC\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\240\\&3\\204\\235\\193\\129k\\187\\155\\169_\\195\\225a\\181\\&6\\160U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\183\\206s\\251#\\171\\144\\ESC/\\247\\ESC\\231\\216'o\\193Q=b\\ETX\\GS\\151\\228X<Xg\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\\"\\147\\246\\240\\171\\215cM\\177\\US\\240\\164}K\\n\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151k\\nV\\237\\217\\168\\155a\\RS\\168\\FS4\\201\\239\\191\\SOH\\148e\\132\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\213$\\159<\\128\\DC1\\195\\159\\207\\DLE\\222JF2JTw\\167\\138\\\\\\224)9\\130\\168\\175\\140D\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\219\\177\\212\\212\\170-\\206\\192\\ACK\\247<d(\\201\\162\\181M\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\213F\\NULJq2p\\225\\DEL\\EOT\\213i\\240hg\\144\\&6=.\\ENQQ/\\168l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190H\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208R\\182\\157\\135\\DEL\\166\\238\\248\\141p\\164\\ETX\\139\\180bO\\147Z|\\b\\204\\232@\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\187\\219J\\t\\234\\204\\tX\\178e\\203\\150\\168?\\EOT*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\221\\STX\\210\\220\\249\\&0'\\DEL\\171&Y\\STX\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\133\\aY\\US\\222\\v`^\\195\\225/\\216\\182\\190 3:0H\\ESC\\ESC\\EMV\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\226\\216\\152|,\\128\\f~R\\194\\163\\v\\241\\157\\185\\DC3\\143\\158\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"e^c\\196\\SYNW\\SOH\\199\\175>\\175(\\163\\239V\\195\\171\\145\\220|\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\\"I\\160\\252r\\158:%cG4\\128\\220*\\131\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\DC1\\199\\143\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\244T\\SI\\fH\\170\\233\\&5M\\209\\251\\&6\\128\\253\\194\\166I\\136\\SOE\\181}\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHp\\255\\229V(?A\\187d\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\227 \\184\\EM\\149\\&4G\\178\\&3'\\234:*|\\b\\145\\&3\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\138{w\\NAK\\196\\131[q\\224~\\SI\\229\\201\\174\\220Y\\RS&T<\\SI\\179\\207\\189<?%\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\SOb\"","tag":"AbiBytesDynamic"},{"contents":"\"m5\\201\\212\\EOTLM\\184\\139^\\232\\224\\b\\179\\170\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\v(\\133\\185\\&7)\\225]\\188\\FS\\182\\174&\\160\\245\\194*\\t\\217j\\195\\225\\134\\EOTf\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\174x\\197N\\CAN\\SYN\\f\\207(d\\RS\\208|\\220\\228%\\240\\&2\\253#0\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\178\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\Zf\\138\\246\\205\\157:Iv\\NUL\\EM\\t\\218{0\\224b\\a\\201\\205\\t\\SUB\\206#@\\246\\227\\231\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"m}\\163\\149I]\\160\\&5)\\141ipv\\245\\156\\&9Aw\\191\\158\\&9\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200!U\\ETBU\\202\\192\\182\\t\\ETX=\\253\\ACK\\214\\231/\\229v\\163\\190\\&8dp\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\">\\203\\186\\aI\\227\\167\\173\\241><\\235\\206\\USK\\242\\134Y\\177\\175\\172\\SOH\\180\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\130\\163\\239\\238\\208\\234H\\146GJ\\142\\177\\240i\\169O{\\221\\224LD\\152 \\157\\239\\US\\239<-\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\DLE\\141\\169y\\EOT\\188{\\130h`\\179\\232\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\196\\224\\209\\160!\\139\\221\\170\\242\\155z\\198\\243\\134\\213\\250\\STXm\\193\\207\\233~\\SYN\\DC4\\t\\146\\DC34\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\b\\143s\\146\\236\\205\\170\\249\\169\\ETX\\ENQ1\\201t\\SO\\NAK\\175\\161\\146@$\\ETX4!f\\253\\255e\\245)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\241\\&4\\SUBg\\156\\DC2\\146\\\"\\143=U\\153\\133\\188\\193\\CAN\\175z\\248e]\\147C(\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137Y\\242D_\\157\\219\\216\\250\\&9*&\\181\\186\\186\\162\\174\\228\\236i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\206\\252\\ETX!\\153NI\\155f\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\208\\178\\184H3\\146\\157\\DC2\\222z\\239\\254\\232}\\237KrZCp\\153\\177\\216XH\\158\\157\\157\\148>\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\179|G\\EM\\142>\\SYN\\173\\162\\237\\CANv5n\\203\\168\\&5\\224\\&5\\161qw\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\239\\175\\187m\\158\\208\\195\\162\\&1Ap\\226*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\&1\\163#\\173\\SI\\227\\137\\CAN'O\\204}\\213\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"'P*rYM\\227\\217Ta\\238\\223\\&8\\t{&\\177\\187\\SI\\164\\155T\\248U\\\"Eh\\252O\\SUB\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167O\\199b\\207w\\172;\\\"3\\201d\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\161\\215;\\214F\\v\\169\\177\\177\\143e)1A4\\187\\163\\tl>\\236\\SYN\\215Q\\236\\SO\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\249\\230)\\195\\200\\169h.\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\197\\217\\194\\232\\252\\194\\131\\ACK\\155\\233\\176\\249n\\248\\227^\\208\\162\\172\\&1ye\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\223\\208\\217c\\224@G\\196\\187\\232\\147\\143N'#z\\NUL\\FS\\201y\\SOc\\161\\142\\157\\179\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\128\\164\\196\\203\\189\\153\\250\\&7\\210\\138g@\\DC1(\\220;I\\ACKr\\250\\164\\220O~G\\DC4\\225\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"vh!m\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\214\\239ok\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1v\\236_\\142\\248l\\253a\\193\\162\\230\\239\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\STXS\\175\\128x\\148Ey~\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\CAN\\241\\&9\\226\\240\\129a\\206\\201[\\NAKe\\147\\234@a\\DC4\\250-\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"81"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"102888655817358127808216825111247105221296743136708887526757402742808510027862"],"tag":"AbiUInt"},{"contents":[256,"39853197384584365578875722224105207010425668577318263416559522881652011348954"],"tag":"AbiUInt"},{"contents":[256,"1530"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"57316848946927720092178317562323259214570284466289519750345855156936019037743"],"tag":"AbiUInt"},{"contents":[256,"255864604288097982835906846365219878104961"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639883"],"tag":"AbiUInt"},{"contents":[256,"101622079810499000335995380046457732982579822690764299395055314474246499107729"],"tag":"AbiUInt"},{"contents":[256,"5002"],"tag":"AbiUInt"},{"contents":[256,"301194945045055620885614574023253586067113590"],"tag":"AbiUInt"},{"contents":[256,"78527096503221809021248949927581517820835900933899347938171632064425185746447"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609602"],"tag":"AbiUInt"},{"contents":[256,"119"],"tag":"AbiUInt"},{"contents":[256,"20"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6617100685509188481010246262802379998624011416978597585643347954550444142614"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638936"],"tag":"AbiUInt"},{"contents":[256,"1095042874530108669286756245261965696377874645831744854274320007621791606646"],"tag":"AbiUInt"},{"contents":[256,"63526262304224995972697340702107837091223784910781059099273393250900647928346"],"tag":"AbiUInt"},{"contents":[256,"68047445560583014563014145521151756787890946252442733622604364384876038486250"],"tag":"AbiUInt"},{"contents":[256,"109571012451721700954978846818982586652608691868599643148320907494114198567644"],"tag":"AbiUInt"},{"contents":[256,"66001123282538110581846630708980105500509758040061736201395914702554128011993"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634937"],"tag":"AbiUInt"},{"contents":[256,"53470566613484374598030525310316406767630306175368295395389611854564522785821"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628416"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639802"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577601"],"tag":"AbiUInt"},{"contents":[256,"51391109214004965514029840465460488459331341056523260581496629168270682989895"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"14"],"tag":"AbiUInt"},{"contents":[256,"88657140313002949670161768237034763369656222369426451898551174626874524922165"],"tag":"AbiUInt"},{"contents":[256,"111565817458912405265491660942986029730463281692504810626312270827718313187103"],"tag":"AbiUInt"},{"contents":[256,"69089985997607050228136943303414986270192818969196648152275863880068630540929"],"tag":"AbiUInt"},{"contents":[256,"112325018375137858359730880888880077814311699113616676876106457507884113173566"],"tag":"AbiUInt"},{"contents":[256,"43420621421438425763330654901718092266795943599286212440529159895861363943619"],"tag":"AbiUInt"},{"contents":[256,"1525719411"],"tag":"AbiUInt"},{"contents":[256,"24328345989287549256947925669437795545996543455398662848403358712365020639752"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000000000000000000000000000000000000000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"48127076765598040695155562223705324227148435600685105646323104797666914610071"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088323"],"tag":"AbiUInt"},{"contents":[256,"35431150491067759194274966921117157191028104185842884297910361711708817670374"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035139"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222594"],"tag":"AbiUInt"},{"contents":[256,"9595642939996977937119496928366324966290222233422021855586103108036335214061"],"tag":"AbiUInt"},{"contents":[256,"111341369843634285784610225677960820142480501781862494019580634600184923094945"],"tag":"AbiUInt"},{"contents":[256,"62229581051681929193381765702895055690812460243226461821827777399855223673469"],"tag":"AbiUInt"},{"contents":[256,"1532594472"],"tag":"AbiUInt"},{"contents":[256,"76943344170328723235450605464221761578750791043575615433224098634316620058289"],"tag":"AbiUInt"},{"contents":[256,"39987129121590973744428897872705992995973418512063828185575346631940060622325"],"tag":"AbiUInt"},{"contents":[256,"22047266003542098744647443620954628201880195618498618171788677632033121321441"],"tag":"AbiUInt"},{"contents":[256,"51130779063785882568040719196670395123320000514211536790446617023814887108521"],"tag":"AbiUInt"},{"contents":[256,"5003"],"tag":"AbiUInt"},{"contents":[256,"1172565027266408462329797435350719493925244552619225099"],"tag":"AbiUInt"},{"contents":[256,"35042954412307604802186568266063665082043960613546762725281836828194227547826"],"tag":"AbiUInt"},{"contents":[256,"111839029650975738068692870364740707149877450308825911476084919848412127220944"],"tag":"AbiUInt"},{"contents":[256,"60970229260855092407160083299711955414348247302093175340338400281108357605583"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639926"],"tag":"AbiUInt"},{"contents":[256,"56846357105957464215000551469188241431466011589168396919962774831517573627011"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011520"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689598"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609597"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030333"],"tag":"AbiUInt"},{"contents":[256,"18818515399813885720016335126263014339865088225986818818546098975914005405562"],"tag":"AbiUInt"},{"contents":[256,"75512707573779537502161898677173339077035061283332186109173181359211003444403"],"tag":"AbiUInt"},{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639936"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639937"],"tag":"AbiUInt"},{"contents":[256,"27321485368303661701318850145519056800059836234080766168853356437854596411151"],"tag":"AbiUInt"},{"contents":[256,"23987970359552611376978106771875180632192474583425861519913030496092141207060"],"tag":"AbiUInt"},{"contents":[256,"98"],"tag":"AbiUInt"},{"contents":[256,"51"],"tag":"AbiUInt"},{"contents":[256,"1313373041"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"51820634408818631622243782121186915319493862517026911690301767952274348434241"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266892"],"tag":"AbiUInt"},{"contents":[256,"106613175979553037088790177787093229783273575331492067292518054655223635267980"],"tag":"AbiUInt"},{"contents":[256,"39877960050813593279956233816324416112862385005731655944921050908117864525175"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639706"],"tag":"AbiUInt"},{"contents":[256,"757434423233180595185064308785061028828"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132607"],"tag":"AbiUInt"},{"contents":[256,"78672590849810933002142471506322608741335312009560133718284428265919361817823"],"tag":"AbiUInt"},{"contents":[256,"106818586121259387700616053988882844919801561213005160159574787354288987309004"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f965","0x0000000000000000000000000000000000000000000000000000000000000030"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"15029868350188257433801439910314669800677190412225556"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea46","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bb","0x0000000000000000000000000000000000000000000000000000000000003a9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"208507474463256470882033992019910479188"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089cdf","0x000000000000000000000000000000000000000000000000000000000000dcc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000017","0x000000000000000000000000000000000000000000000000000000000000d9da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"4461577499771037405731684314110518734453670515567041051199023010320168324827"],"tag":"AbiUInt"},{"contents":[256,"26459904263874927219353944216588411317786805396790760312597730113339714336782"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5c","0x000000000000000000000000000000000000000000000000000000000000134d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb05","0x000000000000000000000000000000000000000000000000000000000000df05"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"1529831550"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2d","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266895"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e950","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639855"],"tag":"AbiUInt"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030427","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001a","0x00000000000000000000000000000000000000000000000000000000000007cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007169b","0x0000000000000000000000000000000000000000000000000000000000008892"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2b","0x0000000000000000000000000000000000000000000000000000000000000218"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f19","0x0000000000000000000000000000000000000000000000000000000000000018"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"1048947601355180323587146666985330418599439341605142293013363836302798817583"],"tag":"AbiUInt"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bce","0x000000000000000000000000000000000000000000000000000000000000129e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacf","0x000000000000000000000000000000000000000000000000000000000000d619"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"472260498517428093450829853099908086"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008345","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"27444188168257182396435968186009581125837809501588880054738215936116464356963"],"tag":"AbiUInt"},{"contents":[256,"94470936358760434394847050222908333829680032393070401481817399225805452840401"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000007","0x0000000000000000000000000000000000000000000000000000000000009184"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":[256,"72446105100703893973508890164478226219816547374083543108635455451744169838894"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab50","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"103"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060a62","0x000000000000000000000000000000000000000000000000000000000000a936"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fc","0x0000000000000000000000000000000000000000000000000000000000001388"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011518"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34f","0x000000000000000000000000000000000000000000000000000000000000a56c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]