[{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[256,"66569942379375840201581859339964193112236895361053951487517941915580588712850"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x000000000000000000000000000000000000000000000000000000000000135c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b6a","0x0000000000000000000000000000000000000000000000000000000000000bcf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c433","0x0000000000000000000000000000000000000000000000000000000000001277"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047da6","0x000000000000000000000000000000000000000000000000000000000000101b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb13","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004661b","0x0000000000000000000000000000000000000000000000000000000000008051"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000049a96","0x00000000000000000000000000000000000000000000000000000000000085e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea46","0x0000000000000000000000000000000000000000000000000000000000000064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"71204568103072293921331273698020364938302369614971915134570713181176740088268"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x0000000000000000000000000000000000000000000000000000000000009206"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"~\\US\\240\\GS\\170\\242\\DC1\\SIw\\178,\\206\\189\\220\\146Wm/\\238\\208\\162\\137\\214\\156(\\223\\DC1\\234\\207\\166T\\199\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088e22","0x000000000000000000000000000000000000000000000000000000000000dcbc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"76744055420797633840696019654748095457618608659782784043281075035725341229002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e704","0x0000000000000000000000000000000000000000000000000000000000000067"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001592a","0x000000000000000000000000000000000000000000000000000000000000018f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9d","0x0000000000000000000000000000000000000000000000000000000000000085"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"111"],"tag":"AbiUInt"},{"contents":[8,"208"],"tag":"AbiUInt"},{"contents":[8,"138"],"tag":"AbiUInt"},{"contents":[8,"162"],"tag":"AbiUInt"},{"contents":[8,"96"],"tag":"AbiUInt"},{"contents":[8,"160"],"tag":"AbiUInt"},{"contents":[8,"138"],"tag":"AbiUInt"},{"contents":[8,"69"],"tag":"AbiUInt"},{"contents":[8,"57"],"tag":"AbiUInt"},{"contents":[8,"58"],"tag":"AbiUInt"},{"contents":[8,"204"],"tag":"AbiUInt"},{"contents":[8,"65"],"tag":"AbiUInt"},{"contents":[8,"89"],"tag":"AbiUInt"},{"contents":[8,"117"],"tag":"AbiUInt"},{"contents":[8,"255"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"196"],"tag":"AbiUInt"},{"contents":[8,"162"],"tag":"AbiUInt"},{"contents":[8,"181"],"tag":"AbiUInt"},{"contents":[8,"137"],"tag":"AbiUInt"},{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"233"],"tag":"AbiUInt"},{"contents":[8,"97"],"tag":"AbiUInt"},{"contents":[8,"4"],"tag":"AbiUInt"},{"contents":[8,"171"],"tag":"AbiUInt"},{"contents":[8,"22"],"tag":"AbiUInt"},{"contents":[8,"37"],"tag":"AbiUInt"},{"contents":[8,"96"],"tag":"AbiUInt"},{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":[8,"98"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81b","0x000000000000000000000000000000000000000000000000000000000000e8bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e953","0x0000000000000000000000000000000000000000000000000000000000009c38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"46903479457377704210564756315312766827810384482403898798435320190622125538277"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045a19","0x0000000000000000000000000000000000000000000000000000000000006842"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628415"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d97a","0x0000000000000000000000000000000000000000000000000000000000000101"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747168"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb36","0x0000000000000000000000000000000000000000000000000000000000000040"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[128,"315858877746044328233090239001698708658"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0e","0x0000000000000000000000000000000000000000000000000000000000000382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe3","0x00000000000000000000000000000000000000000000000000000000000058ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"64601585091271538634006298285338232944707651652481765908506259743850134526969"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f906","0x000000000000000000000000000000000000000000000000000000000000ea4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"56031773780040641279894029809499813854869907512178498209532157739140678355755"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff7","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639841"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f260","0x000000000000000000000000000000000000000000000000000000000000136c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"133"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34e","0x000000000000000000000000000000000000000000000000000000000000824d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x000000000000000000000000000000000000000000000000000000000000b799"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"1526031604"],"tag":"AbiUInt"},{"contents":[256,"112658615659943109716438920991409452127864123728383536770101628805627453605170"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec6","0x000000000000000000000000000000000000000000000000000000000000ca09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"41935849340656193637114773142190301504954963393958757731883741068564672296714"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000475d0","0x000000000000000000000000000000000000000000000000000000000000ec3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"54673305925380964307522542339574686822860002258261350536153976496540606655921"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2e","0x000000000000000000000000000000000000000000000000000000000000000f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000001385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e7","0x0000000000000000000000000000000000000000000000000000000000001457"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636332"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3a","0x000000000000000000000000000000000000000000000000000000000000399a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007759","0x0000000000000000000000000000000000000000000000000000000000006ea6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e374","0x0000000000000000000000000000000000000000000000000000000000009adb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ee1b","0x0000000000000000000000000000000000000000000000000000000000004b96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0xc4B392897650c72335bA2aa590934C807F3B184a","tag":"AbiAddress"},{"contents":[256,"473"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000212f1","0x0000000000000000000000000000000000000000000000000000000000001e8b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"SV\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NULj\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cae0","0x000000000000000000000000000000000000000000000000000000000000defe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"2000001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014675","0x0000000000000000000000000000000000000000000000000000000000006a26"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x000000000000000000000000000000000000000000000000000000000000b0cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"102"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1c","0x00000000000000000000000000000000000000000000000000000000000089b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f1","0x0000000000000000000000000000000000000000000000000000000000004310"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040e26","0x00000000000000000000000000000000000000000000000000000000000036f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507328"],"tag":"AbiUInt"},{"contents":[256,"5840931778371743077036658552172609906013009905926666654228748966164761928946"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039baf","0x000000000000000000000000000000000000000000000000000000000000ea33"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048134","0x0000000000000000000000000000000000000000000000000000000000000011"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639915"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0d","0x000000000000000000000000000000000000000000000000000000000000dcb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639926"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214ca","0x0000000000000000000000000000000000000000000000000000000000009fa8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007cf","0x000000000000000000000000000000000000000000000000000000000000133d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":[256,"102259636764338208436060820802439040852307129337363236465881880060150462182742"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf9","0x000000000000000000000000000000000000000000000000000000000000c063"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[256,"79228162514264337593543950338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4e","0x000000000000000000000000000000000000000000000000000000000000257b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"102363920680018943162333301114865523712397017300782172793505395586501509192487"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039baf","0x0000000000000000000000000000000000000000000000000000000000000bd2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"4370000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062dd8","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae2","0x0000000000000000000000000000000000000000000000000000000000004310"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"64022046221434722240774006650091914175950010783673337876593258102526998349723"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000431d5","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000523ff","0x0000000000000000000000000000000000000000000000000000000000001400"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"49169597959263597499834624254915186422831351524448826340369259156495060069793"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000044e41","0x000000000000000000000000000000000000000000000000000000000000d8d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025bb3","0x0000000000000000000000000000000000000000000000000000000000001383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"9"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f94","0x0000000000000000000000000000000000000000000000000000000000000fb8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892766"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf8","0x000000000000000000000000000000000000000000000000000000000000002e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639681"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"13530141822866727145267608360939050264830549908220349922397552156877442203013"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce54","0x0000000000000000000000000000000000000000000000000000000000001388"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2aa1f1978f5d18D91eB3fc2E6975dC6E85FDefdF","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x2aa1f1978f5d18D91eB3fc2E6975dC6E85FDefdF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"181"],"tag":"AbiUInt"},{"contents":[8,"96"],"tag":"AbiUInt"},{"contents":[8,"224"],"tag":"AbiUInt"},{"contents":[8,"139"],"tag":"AbiUInt"},{"contents":[8,"133"],"tag":"AbiUInt"},{"contents":[8,"104"],"tag":"AbiUInt"},{"contents":[8,"204"],"tag":"AbiUInt"},{"contents":[8,"144"],"tag":"AbiUInt"},{"contents":[8,"48"],"tag":"AbiUInt"},{"contents":[8,"71"],"tag":"AbiUInt"},{"contents":[8,"165"],"tag":"AbiUInt"},{"contents":[8,"50"],"tag":"AbiUInt"},{"contents":[8,"230"],"tag":"AbiUInt"},{"contents":[8,"1"],"tag":"AbiUInt"},{"contents":[8,"15"],"tag":"AbiUInt"},{"contents":[8,"223"],"tag":"AbiUInt"},{"contents":[8,"20"],"tag":"AbiUInt"},{"contents":[8,"167"],"tag":"AbiUInt"},{"contents":[8,"95"],"tag":"AbiUInt"},{"contents":[8,"183"],"tag":"AbiUInt"},{"contents":[8,"82"],"tag":"AbiUInt"},{"contents":[8,"62"],"tag":"AbiUInt"},{"contents":[8,"13"],"tag":"AbiUInt"},{"contents":[8,"191"],"tag":"AbiUInt"},{"contents":[8,"39"],"tag":"AbiUInt"},{"contents":[8,"23"],"tag":"AbiUInt"},{"contents":[8,"36"],"tag":"AbiUInt"},{"contents":[8,"93"],"tag":"AbiUInt"},{"contents":[8,"35"],"tag":"AbiUInt"},{"contents":[8,"226"],"tag":"AbiUInt"},{"contents":[8,"71"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5f","0x0000000000000000000000000000000000000000000000000000000000000e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"10"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000381","0x0000000000000000000000000000000000000000000000000000000000002327"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d0a6","0x0000000000000000000000000000000000000000000000000000000000001317"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ee","0x000000000000000000000000000000000000000000000000000000000000dbb8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"2"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014684","0x000000000000000000000000000000000000000000000000000000000000001e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0f","0x00000000000000000000000000000000000000000000000000000000000013a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":[256,"65"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000287db","0x0000000000000000000000000000000000000000000000000000000000001339"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0xc4B392897650c72335bA2aa590934C807F3B184a","tag":"AbiAddress"},{"contents":[256,"39994102476678035227121716185238068393962768866116705695646514046684239148613"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e701","0x000000000000000000000000000000000000000000000000000000000000ba35"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609601"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d0a6","0x000000000000000000000000000000000000000000000000000000000000037f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"q\\245FGx\\tF2\\233\\129\\129\\134\\185F\\226\\171\\\\M\\147z\\176\\198\\253\\DC4\\CAN|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\";\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233i\\251\\236\\252\\164,\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\205I*V\\180\\200\\t\\DC3=\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\171\\142A\\239\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\232\\&1w\\203\\156\\250\\129t\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"Yw\\255X\\166\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN:*\\167\\&8l9\\DC4g3z\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\204\\189\\203%*\\185\\145\\134\\192\\t\\141L\\203\\GSH\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\233\\242^\\248[\\178\\DC2.\\199\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\230i\\166\\235\\214V\\217w\\165$\\244nF\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ(3\\212T\\241\\be\\172\\CAN\\164\\b\\162\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\132=\\182\\180\\FS?\\ETX\\185hS\\182\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\196\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\133\\NAK:2\\242\\178\\&2b&\\FS\\DC41m\\226\\CAN\\220\\198\\249j\\SI\\229V^\\219O\\DEL\\ETX\\194\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"4*\\180jvJYi\\213\\204)=\\229\\EM\\ESCc\\ETB\\239\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223p.Y\\201h\\243\\212\\t\\a\\227$u_\\STX,\\ne\\FS!\\144\\225\\SUB\\141`\\v>~e\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\189U\\151\\&9\\151\\v\\220q\\f\\177H(\\247\\231\\248\\202\\168\\232\\238\\179.\\155\\254\\206>\\251\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"9x\\155\\171+,\\239\\228\\DLE\\171\\ESCs\\171\\252\\n\\\\z\\t\\157\\&2\\250\\238\\ACK\\DC3\\228Z\\186\\140\\t\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\136\\&0\\138Y\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\230\\189\\129\\166?\\201\\168\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\182\\245]\\197\\164\\186\\DEL\\162\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\234\\204\\253\\254\\&6\\230\\174\\&4\\214+\\219\\238\\184\\168\\248_\\a1d0\\132\\178\\&7\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\154uxjE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\DC1_1M\\218\\184\\240\\180\\251e'D4\\a`\\161\\228\\201\\194\\b\\153\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\230mG\\154\\215\\239\\135\\128_O\\145\\182\\246e0\\215\\218\\149?:\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188_\\b\\237t\\rlK\\226B\\206\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191c\\245\\135\\167\\166\\r$\\162\\GS\\152G\\249\\143\\196\\192\\215\\171\\&7K\\DC1\\132\\147j\\172\\165>\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\196\\224\\&9\\158\\158Q\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255e\\181\\&7Q&\\SO\\139\\\"\\SI\\SO\\\"\\217h\\202F{\\142\\170_7\\ETB3\\136\\227\\210\\228\\188\\239h\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\206\\ETBO@|\\251\\FS\\197\\222\\158\\144ykL\\243G \\206\\DC15\\217\\243\\137\\230\\135\\189Yg\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\248\\153[#\\173^\\DC2\\179\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\198Y\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\164\\b\\128m\\251\\230\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\175\\195\\149KHg\\t\\156\\161\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\178\\146G\\155\\151.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\225\\179\\155V\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\152\\188\\&4\\223bH;\\t\\161\\197\\205\\175T\\194\\214\\197}9\\192\"","tag":"AbiBytesDynamic"},{"contents":"\".\\149\\ACK4\\207H\\239\\\"\\ETBS\\189\\213\\EM\\168>\\214ck\\SI.rM\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\202\\n{b\\242h\\178\\203\\163\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193q\\239 \\175\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\".Gl:\\169\\249\\210\\245\\&9(>\\249U6@p\\DC1X\\213\\n\\214\\159\\f\\223/K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS9\\192\\156nW\\RSI \"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\128\\195\\214\\215u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\132\\t8T\\SOH\\179y\\DEL\\234\\193~<\\248\\130\\145\\143\\145\\136\\ENQTK\\ESC\\165j^\\136\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"KZ8\\210\\154\\EM\\189\\149\\vih\\173\\203^\\DC2\\226\\192\\208\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237V.atm\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\\\\\141\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251z\\253\\143\\199\\226\\245\\202*-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\254{\\143#\\227\\139\\174\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\t\\SUB\\NAKr3\\150\\185\\156\\189$\\SOH3\\251\\244\\239\\132\\219~\\209\\168\\GS\\208\\148\\170#%\\146\\DC24\\SOHE\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\t\\218#\\DC3\\141\\176\\153\\246$\\200}\\167\\193e\\232\\&5\\141\\223q\\185\\231M\\225\\217\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\191\\134\\241_A\\232\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214<+\\133\\n\\149\\185\\190\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"}s\\146\\247\\216m\\245\\SYN!\\254p86^&\\179\\244\\229\\154rK\\147\\214\\142\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161J\\237\\235^GBV\\181\\143\\246\\227\\179\\208r\\SI\\230e@\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182Qy\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\SO\\240\\248\\222n\"","tag":"AbiBytesDynamic"},{"contents":"\">s\\148\\252^\\CAN\\ENQ\\128\\236\\US\\184\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\205\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\164\\249\\181af\\209A\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\&3j\\224@\\182\\181D\\184\\245\\136\\221\\161S\\236!5\\250\\&5\\187m\\135\\br\\183\\STX\\252El\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\")TG7\\162A\\DC2\\159\\154\\133q\\166\\200\\DC43\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\186\\229\\184\\131\\NULH<nc\\198\\134\\231\\&1\\219\\190\\226\\228\\236a\\179B\\216\\171\\146\\200{F\\208+\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\250\\181\\156\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS|\\228\\246\\149\\243~\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\198\\191M\\218l#\\166\\207\\242\\aL\\ACK\\243\\178\\247\\STX\\ETB\\253\\172zW\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\ESCM\\179*\\ETB\\194I\\DC4\\158\\249\\EOT\\ETX \"","tag":"AbiBytesDynamic"},{"contents":"\"<\\170\\208\\143\\228\\DLE\\248P>9\\CAN\\152\\&7q(\\229t\\211H\\204\\n\\188fElu\\237\\227\\208\\156\\225\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\135cP\\236+O\\198\\EOT(^C\\192\\&0\\157\\128\\200\\185\\v\\228k\\179\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\214_\\218\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI1G\\143\\209\\196\\252r\\248\\177\\r\\176\\167\\154z]\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"c|1\\171#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\198\\209\\NUL\\148a\\197|\\GS\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\255h0\\158\\135\\188\\219\\213\\247\\144\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\229\\168\\225\\135\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\206\\223%\\ACKGv\\219\\135v\\SUBJ\\STXc\\EM\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"{TX8\\154\\234\\236x0O\\194\\157\\142\\176!Z\\187\\199\\&7\\165\\245p@\\SYN?\\161B9\\NAK\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\137\\214\\233\\221I\"","tag":"AbiBytesDynamic"},{"contents":"\"H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\128\\157\\239d}o0\\202S\\234\\251y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\232\\170(\\r\\201!\\254\\156\\&0X\\185}.k\\145\\DC3\\197tg\\203\\f\\223\\254\\201\\150\\f%\\170\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\167\\147\\138~\\158V\\SO%\\201\\231\\183J\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\&8E%\\139\\222+B-y\\242\\244\\&1\\DC42\\223N\\169\\237j\\132\\\\\\213\"","tag":"AbiBytesDynamic"},{"contents":"\",\\164\\198\\139\\167\\247\\185\\SI\\233\\244.\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182`\\129RF{~\\DC1\\186-|_\\ENQ\\173\\t\\218m\\RS$\\185Z\\133\\252e\\176\\176\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\tD\\129@(\\DLEI\\144\\240<\\DLE\\173=\\218s9\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\SOH\\ENQfk\\bA\\tKY\\154\\205\\232\\RSP\\199w\\193\\201#\\ETB\\177\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\171\\161\\161\\153\\212\\US\\204\\230\\214^\\a\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\&4\\241\\251R\\155c\\136\\255=\\142\\&6j\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"z(\\210\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131X3\\210}|i^ s\\\"\\214\\141\\145\\ETXa*\\143\\ETX\\214\\171\\145\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\&1[R]\\136\\DC2\\211r\\157\\209\\DC3\\152Y9\\a\\180\\153\\147\\DC4J\\140\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"']#\\184\\221\\185\\RS\\218\\244\\165\\158\\144@\\185\\197\\200\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\\"\\GS\\CAN\\152\\DLE)IJ'\\211\\157L\\SUB\\223\\147\\195\\254\\180Q\\v\\188\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\231\\219j\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191-\\FSm `\\ESC\\CAN \\GSa\\179\\144e\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\160\\145\\ETX\\250\\222|\\168\\&8<\\a\\176\\227r\\185\\220\\209\\238\\175x\\247\\140\\164\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\&5\\n\\183\\246\\228n\\145\\246r\\197A |+\\175\\238\\244>\\199\\186'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\CAN\\237\\141A\\211^3\\242]\\244\\193\\243\\164\\NAK9\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"ji\\157\\129\\243j\\198F\\DC2\\137\\242(\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\USKT\\197=P-\\187\\ETB\\CAN\\\\\\241\\191\\DC3\\222H\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\EOT\\171K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237h'4\\240\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\239\\DC1\\171aH\\242\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\175%c\\171\\&6\\SYNV)x\\v\\183.\\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\154\\168\\159v8\\193\\213)Vc\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\255\\255\\154\\249\\218\\EOT_?\\181\\&35\\165\\164l\"","tag":"AbiBytesDynamic"},{"contents":"\"^0\\168\\172\\&7$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX+\\227,\\RSn\\153\\144\\223\\226\\&5\\177\\ESC\\243\\223\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"t2\\133\\163G\\208`\\217\\136\\DLE6\\SI\\DC3dw\\b\\227\\ENQdB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\\\g\\165\\193\\198\\189z6zf\\148\\219\\238+\\139\\225=hBjc\\NAKdr\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\167Y\\a\\179D\\128;\\SYN\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\162\\252\\184Q\\237\\209\\218\\DC4#R\\169\\139)cmt~\\184\\&4\\DLE\\201~\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO<t\\196p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\213O\\235)\\184\\204w}\\207\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1{\"","tag":"AbiBytesDynamic"},{"contents":"\"7$+\\167\\v\\141G\\212F\\154yJN\\249\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\247\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\145F]\\DC1\\209\\229\\254\\US\\223\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\ENQa\\215\\161\\&2\\252\\200*\\192\\162|1'Z\\\\\\151T\\205EO\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"e/\\194UF\\210\\251\\232V\\179\\152#\\155I\\SYN\\232A\\161\\179S\\176+'cS]\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\219\\ETBN\\151S\\ESC\\238|\\231\\&7\\SYN[\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"Qkewl\\215\\ESC=\\207\\227\\244\\t\\173h\\232\\141eI\\174w\\210\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156+\\177k\\242hR%\\251\\206\\160Hb\\160\\228\\215rm\\f\\194\\173\\131\\210\\183\\152\\226{\\225\\157Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\234r\\221\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\220\\177\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214U\\tz?\\203\\ETB[\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\228\\167?\\235\\179]\\198\\&5\\204\\GS\\SOH\\215&\\254\\219\\164\\STX\\152\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\t\\249+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\252\\215!\\252\\231Z\\175\\232\\ACKKS\\175\\225\\231)\\130GJJ\\241\\224\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\232\\SI-j\\154\\&3\\178V\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\238\\242\\240jE\\175\\rPD\\207r\\197NM\\EOT\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SIt\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\174\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\188\\132\\\"N*\\163W\\STXu\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157KM\\188+0*Q\\DLE0x\\DEL\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\SYND\\213\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\134_!\\\\\\207^\\234\\232\\236F\\232\\148>\\CAN\\200_\\184\\147\\238(\\222\\214}GV\"","tag":"AbiBytesDynamic"},{"contents":"\"O4u*\\217J\\f}\\169\\&0L=\\204\\NAK\\EOT\\v\\b\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\240u\\225\\237\\193\\174\\165\\246l\\144'\\180\\236\\250\\198z\\a\\233\\EM59\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"d\\r\\178\\210\\220\\173\\137\\&9e\\213\\215y\\ax\\232\\NUL1\\236\\EM8F\\GSI\\244u\\\\\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\213)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\RS\\150\\DEL\\207\\&9f\\195zyq,\\152\\245\\&8\\165?\\251\\240\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"E6\\252\\149-\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208l\\170C%aX\\232\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"iv\\144|i\\209o\\EOTW\\v\\167\\b5\\135\\ACK\\138\\172\\176\\130\\RSd\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\EOT\\v1\\189\\158\\133\\241\\210VHB\\133fA\\186`Y\\150\\177GVi\\219:\\ACK>\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205gE\\209\\197g:\\201\\fE\\232\\230\\194\\187\\223\\248\\SYN*\\242\\NUL\\213\\208\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\217r*\\147\\215\\DC2U\\196\\169\\EMO\\226\\212\\DLE\\143,\\n<?\\rw\\214\\&6\\145\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\250\\130\\191T.\\FS\\218\\&7Y\\215\\US^\\194\\159CU\\171J\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\210x\\227\\198$\\215\\164\\137\\211\\210`W\\248\\240\\132\\160}T\\243\\227 9km\\185\\&8>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\155[\\EMUc\\157\\n\\160\\169\\178~g\\210\\137\\226x\\209\\ENQ\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\ACK\\238\\195HV\\\"\\253Y\\168\\137\\ENQ\\221;P\\DC1\\211^7x+Yw\\204\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\159\\ENQqQv\\217*\\NAK\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\v\\DLE\\211O\\245\\254\\&1\\251\\134\\SO\\226\\159#N\\198~f=\\216\\248\\194b\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171+\\GS\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206Od\\253\\202s\\217\\242*D\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\232\\&3\\DC2\\243\\v\\173\\&4\\249\\255p\\140s\\212e>\\138qkp\\139\\vm\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CANx\\207\\230\\178\\158\\157v\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\173\\NULC\\253n\\152\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\180z\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"$E\\208\\ETX\\131\\SOH\\217\\145\\EM^\\201\\235\\184\\188\\219\\226\\224\\143\\DC4(\\240\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176E\\216\\240\\190\\239\\189\\r#K\\155#\\189\\CAN\\208\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\219\\168\\\"]*zC|\\\"\\233\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223hB\\233\\186\\211f1?\\219\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176<)\\188\\155\\234\\n\\164\\188F\\138\\156}\\208\\171\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\195\\ETX\\172\\DLE\\DC4\\199\\232\\130\\133\\181]\\189.\\189 \\170w\\ESC\\FS(\\v]7\\140\\185Hm\\220\\173,\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\ACK6\\241mq\\187+\\136\\&23\\153\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"A5\\212\\253\\183\\ENQ\\187\\253\\133\\t\\\\\\212P\\165\\245\\246\\138V\\212\\&4\\180\\204\\194n1q\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\160\\235\\152\\225\\b\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\132\\166\\216~,\\248\\219\\178\\&7S\\212\\&8\\r\\138\\216?\\238Dm\\193\\DC4\\147Xw\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\189\\192\\181<+\\130t\\225\\219\\162L\\231P\\ETX\\196/\\217\\185\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\189\\255\\208\\n;\\160@,ld8\\brp\\228\\129\\ACK{\\249\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\247\\&9\\172\\220\\DLE\\168nb\\158\\250\\DC3\\180q\\132\\254\\STX \\227\"","tag":"AbiBytesDynamic"},{"contents":"\"Dh|\"","tag":"AbiBytesDynamic"},{"contents":"\"WR!\\177\\204ho\\144/0\\213\\169YYr\\243r~$@\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\208j\\140~\\rv\\211\\173\\155\\SYNP\\232\\187B\\DC4]\\DC3;\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\220uh\\NAKO\\212\\SYN\\173\\US7u\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\")\\237\\190[}\\219MN8\\a\\227\\250>%\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\">\\217\\169\\143L\\207\\162\\212\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKI4\\225\\n\\159\\NAKe\\182\\176>~\\166\\154\\RS\\149\\SYN$m\\159\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\245\\233\\160\\NUL\\227\\134\\186\\DC1\\252\\187\\NUL\\236\\169\\205\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"G\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\202XyT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170h3\\222\\218{\\177x\\199\\&5\\232\\238\\242\\NUL*\\177\\179\\&3\\144y\\199d\\190\\177I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\ESC\\136\\148u\\156g\\207Qj\\136.\\190\\ETB'\\DC1~\\135\\130i\\t\\ENQ\\DC2\\204\\197\\214\\138\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t\\200\\193Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\160B\\231\\188?k\\203L<\\ENQ\\v\\ENQ\\203\\202;PZ\\166\\189$\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\241?\\255\\249\\158\\186\\141\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"0\\154\\160\\SO+\\EMp=\\a\\174\\213#\\250\\133\\132\\147\\&1x\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2(OS\\170(\\214\\218M\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\143\\230P]\\245\\161u\\DC3\\227\\229\\211\\191\\152\\201\\&7\\148UL\\131YC\\EM\\209,al\\150\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\225 \\220r\\233}7:Kc\\199\\ESCm\\207\\133F\\244\\&3\\167\\188^Z\\SIaD\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\SOH\\193\\133\\222\\DC1\\199\\EOT\\248\\238\\225\\US'?\\185\\165\\165%\\234\\173\\&6-\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\207k\\SOg.6\\230S?\\251\\172 b\\215 \\v\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\148\\219\\195D\\199\\250\\220=\\168\\&6\\v\\\"\\138\\202\\NAKo@T\\153\\238\\EOT\\192\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\159\\157w\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\211\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"a&:w\\238\\172 \\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133r\\168Nt\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2<\\242\\156\\185\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\SYN\\152\\147sI=\\171\\US\\134\\180{\\143I\\243I\\237v+\\223og\\b+h\\196'\\GS\\242\\131\\232\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\174a\\DC1\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"HTj\\248`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\203\\246s\\158E\\192\\&8J\\144\\206\\EOT\\148+S#woC\\ENQ\\255#'\\222o\\n*b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\182\\184\\192\\242\\150\\231H\\206\\176\\201\\249\\190}U VK~\\152h\\246u]\\248HQzt\\ACK\\a\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"Ah\\185\\209V\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\DEL\\154\\ETXu!\\217\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225!\\n\\NAK\\181Tst\\SO\\205\\165\\bK\\249\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\131\\255f\\DELh\\178\\248^\\164@\\134+n\\165Z\\142\\215`\\CANc9TQ\\157\\GSZ\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208<\\156u\\190Y\\151t\\\"\\143\\155\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\153\\236\\186\\223\\137C\\143y\\202\\&2Z\\ETX\\174\\NUL\\EMd\\241\\251w\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\203\\227t\\239\\238\\201\\DC2x\\143\\241\\ETX\\154\\177\\208\\171Te\\239\\SO\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\163\\135zQ\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205)/DI~\\160\\183\\224\\145p\\158 n/t\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\183\\STX\\DC1\\230P#A\\243\\&3Ir/\\161 bg\\140\\204\\ETB\\177aL\\150w\\DEL\\176r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\163\\159\\228\\187E\\177\\153\\206\\163>\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\EM\\245\\175\\237k\\247T\\157@\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\197\\168.\\187uK\\136Y\\156\\141\\227\\STX\\DLE^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEJqm\\246\\252\\253L\\209\\167\\US\\146\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\128N\\215\\131\\192#E\\160\\181\\204\\225C\\132\\142\\243\\130m\\EOT\\164\\134A\\158U\\146\\200\\ESC+\\192\\248\\183\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246!\\SYN/\\229\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218&9\\DC4\\144\\157\\NAK\\171\\EOT\\145\\194\\SOH\\185!\\NAK\\154\\191S\\140\\245\\CAN;\\156\\189\\238REL\\167\\220*\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\RS\\SYN\\196$f\\159\\CAN\\DC2\\172\\&3\\129\\ENQa\\140\\222\\173\\191\\209\\&9\\ENQ\\ACK\\246XO98\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\243\\163w\\148\\138\\160p8\\161m\\245\\212\\144^\\247\\166\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"50601188529613326484827668"],"tag":"AbiUInt"},{"contents":[256,"70236484990348102745248946923447788802948903438059013378815726359032643886197"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636338"],"tag":"AbiUInt"},{"contents":[256,"100085451398567908745157623035223701746490782760268509815777904869440590362566"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639922"],"tag":"AbiUInt"},{"contents":[256,"78703418136393902228765091057977631594329352202931276988428419962732799463564"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551612"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"101510077454680703297560560297823132441134773618729113837042917660001509810808"],"tag":"AbiUInt"},{"contents":[256,"15306568930133573208205001808888575758"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035139"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"82064657923454483065360017530384023017860621055722813960769262853518664885754"],"tag":"AbiUInt"},{"contents":[256,"66495415865058179689726442024795053949832054519016942207183029871461918671620"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639904"],"tag":"AbiUInt"},{"contents":[256,"81470281839718659797763263773043069"],"tag":"AbiUInt"},{"contents":[256,"102030920950687237006841895095488798140150938947247006040640375491496674811148"],"tag":"AbiUInt"},{"contents":[256,"857833134634766028683873911999505229900646900669871"],"tag":"AbiUInt"},{"contents":[256,"61756483291007096943335454349705705614470242650544525620846279520373556916613"],"tag":"AbiUInt"},{"contents":[256,"30375410464238990437628686399082591503761414528360860334672591026856867374531"],"tag":"AbiUInt"},{"contents":[256,"3600"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"111"],"tag":"AbiUInt"},{"contents":[256,"64613469584313146126715731639798749788817504868575690879164267320921299336701"],"tag":"AbiUInt"},{"contents":[256,"64613469584313146126715731639798749788817504868575690879164267320921299336701"],"tag":"AbiUInt"},{"contents":[256,"64613469584313146126715731639798749788817504868575690879164267320921299336701"],"tag":"AbiUInt"},{"contents":[256,"64613469584313146126715731639798749788817504868575690879164267320921299336701"],"tag":"AbiUInt"},{"contents":[256,"64613469584313146126715731639798749788817504868575690879164267320921299336701"],"tag":"AbiUInt"},{"contents":[256,"64613469584313146126715731639798749788817504868575690879164267320921299336701"],"tag":"AbiUInt"},{"contents":[256,"64613469584313146126715731639798749788817504868575690879164267320921299336701"],"tag":"AbiUInt"},{"contents":[256,"64613469584313146126715731639798749788817504868575690879164267320921299336701"],"tag":"AbiUInt"},{"contents":[256,"64613469584313146126715731639798749788817504868575690879164267320921299336701"],"tag":"AbiUInt"},{"contents":[256,"64613469584313146126715731639798749788817504868575690879164267320921299336701"],"tag":"AbiUInt"},{"contents":[256,"64613469584313146126715731639798749788817504868575690879164267320921299336701"],"tag":"AbiUInt"},{"contents":[256,"64613469584313146126715731639798749788817504868575690879164267320921299336701"],"tag":"AbiUInt"},{"contents":[256,"20606122895397571270172437487952805393059194964141190873759514029676196174654"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553539"],"tag":"AbiUInt"},{"contents":[256,"1528170673"],"tag":"AbiUInt"},{"contents":[256,"244808237024298180251669853003313162887736370631808002523301935052"],"tag":"AbiUInt"},{"contents":[256,"831"],"tag":"AbiUInt"},{"contents":[256,"3752093741996577295476599660800768198820760474846388208656746269251553451737"],"tag":"AbiUInt"},{"contents":[256,"25531787429206832824735829"],"tag":"AbiUInt"},{"contents":[256,"64"],"tag":"AbiUInt"},{"contents":[256,"68473201733428076698493214260020741529158207959598095944269387717517034400314"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639843"],"tag":"AbiUInt"},{"contents":[256,"83"],"tag":"AbiUInt"},{"contents":[256,"66900725087499559147452702302464474286111893563801837748122041556891129519719"],"tag":"AbiUInt"},{"contents":[256,"4422110943913546157504794266225156048399028649495146412456869442522955541676"],"tag":"AbiUInt"},{"contents":[256,"77556652804255191480181778728906662158494507611458616500459042764697286658284"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639815"],"tag":"AbiUInt"},{"contents":[256,"115600595246552243563276109393803118775546085533355959499917452245359084059824"],"tag":"AbiUInt"},{"contents":[256,"98271618101465019064221926788891729952310970629490650320044903261223523446504"],"tag":"AbiUInt"},{"contents":[256,"1526293217"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"79126897140312898070330370749647864824126487026732881546706199159044564461580"],"tag":"AbiUInt"},{"contents":[256,"114453735990716400660530594627965185728030958168403732575619600733752002128016"],"tag":"AbiUInt"},{"contents":[256,"604801"],"tag":"AbiUInt"},{"contents":[256,"2125749635354476135564824469942152449300632571101986807210049854286490335363"],"tag":"AbiUInt"},{"contents":[256,"115060043638540839689492328673502376312751247677754080097580599160702720254445"],"tag":"AbiUInt"},{"contents":[256,"25531787429206832825340625"],"tag":"AbiUInt"},{"contents":[256,"102764964268875258187991142119303670928736060982825261601380408775932378603858"],"tag":"AbiUInt"},{"contents":[256,"83225035077331414718498252443423077337392512774135692342261280566910173518773"],"tag":"AbiUInt"},{"contents":[256,"438"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"48260925697219992381324546961148566219989047593687557033259175050677891149141"],"tag":"AbiUInt"},{"contents":[256,"276"],"tag":"AbiUInt"},{"contents":[256,"49300181731747172177188165520247188881407636897637288582089625974291351573817"],"tag":"AbiUInt"},{"contents":[256,"890"],"tag":"AbiUInt"},{"contents":[256,"1998"],"tag":"AbiUInt"},{"contents":[256,"1526852639"],"tag":"AbiUInt"},{"contents":[256,"25531787429206832825335626"],"tag":"AbiUInt"},{"contents":[256,"90"],"tag":"AbiUInt"},{"contents":[256,"607"],"tag":"AbiUInt"},{"contents":[256,"997"],"tag":"AbiUInt"},{"contents":[256,"35887064466239093495337946528810458599933760627668855784017497009798428328391"],"tag":"AbiUInt"},{"contents":[256,"88816436011660440357821690331079321647404690084280551797834682274912511944966"],"tag":"AbiUInt"},{"contents":[256,"70962166540298281833230174446799958169841657095363680147942109284629767293841"],"tag":"AbiUInt"},{"contents":[256,"29274168834740288758066696918824854944016736679893411577163204211959274688774"],"tag":"AbiUInt"},{"contents":[256,"10682851220986658440035246979282756352477191769626241317287044419637629374989"],"tag":"AbiUInt"},{"contents":[256,"104394820418593955675165760574595366976478943221960620541680211921353938342838"],"tag":"AbiUInt"},{"contents":[256,"229"],"tag":"AbiUInt"},{"contents":[256,"79469954709818928772599484391019381086879975568763424600351976640900454738809"],"tag":"AbiUInt"},{"contents":[256,"111025288630031404471146266031321213715736843249922025683714459710786466959693"],"tag":"AbiUInt"},{"contents":[256,"38214130880839369810640022002458228715435832204618059230737908149981477874013"],"tag":"AbiUInt"},{"contents":[256,"32214365423144585172341460921834367249978689260706039069820344163619996751489"],"tag":"AbiUInt"},{"contents":[256,"88790578388320569308377369510563314344366816456871610336266703249167955106204"],"tag":"AbiUInt"},{"contents":[256,"70593109765350946485508897670097593601557727589308603209164063873170037791400"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"111929839705859395355215499301772001826759972754905157438668014203489084007575"],"tag":"AbiUInt"},{"contents":[256,"164"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731855"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639939"],"tag":"AbiUInt"},{"contents":[256,"462"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"},{"contents":[256,"525"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132607"],"tag":"AbiUInt"},{"contents":[256,"86990907999195696365292321934203555643298122031512377986685029893921620019667"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689603"],"tag":"AbiUInt"},{"contents":[256,"28244011204942949283017114368240767855822493683136569169763527708532296796317"],"tag":"AbiUInt"},{"contents":[256,"66147104784817581047773948526321152673913077668914473945377706075263357741001"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639898"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551616"],"tag":"AbiUInt"},{"contents":[256,"8848859238560102002664234929836422867272106711539716314566247"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132608"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689597"],"tag":"AbiUInt"},{"contents":[256,"4840890654243102157529974340163301565231164542089099044893288746822624302023"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747170"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf1","0x0000000000000000000000000000000000000000000000000000000000005f79"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639815"],"tag":"AbiUInt"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084277","0x0000000000000000000000000000000000000000000000000000000000009aa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fc","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"109609997176654406326531519821538829786070325809059828700286720522653822640049"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea47","0x000000000000000000000000000000000000000000000000000000000000012d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000eb","0x0000000000000000000000000000000000000000000000000000000000001360"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047bac","0x0000000000000000000000000000000000000000000000000000000000000100"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"315858877746044328233090239001698708658"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6d","0x000000000000000000000000000000000000000000000000000000000000bb87"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"1528809076"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004694f","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"20505504256416430401763012484450810015462998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b1","0x00000000000000000000000000000000000000000000000000000000000095e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d1","0x0000000000000000000000000000000000000000000000000000000000001339"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011522"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039ac2","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\137\\228\\228\\251\\162z\\225\\216!\\198I\\245\\a]\\249\\ETB\\203\\&5&\\189\\243q|\\154\\255\\193\\182y\\152D\\130\\159\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe8","0x000000000000000000000000000000000000000000000000000000000000c107"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"81339414155045159010527209612954752242260023036381671451933505451128917777265"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81f","0x00000000000000000000000000000000000000000000000000000000000084a6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"309485009821345068724781057"],"tag":"AbiUInt"},{"contents":[256,"95268171613981217978613888276534420333042800119148998521268880969464144114911"],"tag":"AbiUInt"},{"contents":[256,"14554348717150293492914626072816113960245764644694519164031982898608952745058"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e378","0x0000000000000000000000000000000000000000000000000000000000007fff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017aeb","0x000000000000000000000000000000000000000000000000000000000000000a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639884"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f99","0x0000000000000000000000000000000000000000000000000000000000001351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000001959c30071a50cb73"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x000000000000000000000000000000000000000000000000000000000000101c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084eb9","0x0000000000000000000000000000000000000000000000000000000000002329"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"39383115963506331289234895726322401222300135495825691213463477265714858931232"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005408b","0x00000000000000000000000000000000000000000000000000000000000095b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x0000000000000000000000000000000000000000000000000000000000003fd8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0f","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"112510254704470905471604427991550193646206389167395854913992984925961666434335"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c4","0x000000000000000000000000000000000000000000000000000000000000d445"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"76287563345306351354037469448586293317872782421025052876506867904332170954839"],"tag":"AbiUInt"},{"contents":[256,"51759736896328881377038626674848060038622097115519335986063634467878058422820"],"tag":"AbiUInt"},{"contents":[256,"1533245793"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb24","0x00000000000000000000000000000000000000000000000000000000000013a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000741cb","0x0000000000000000000000000000000000000000000000000000000000007e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"54039364183857686105243670942505642376011151158400319175639045516631393274611"],"tag":"AbiUInt"},{"contents":[256,"6050862586639974781085003026562390646272666331097773853307561910575491027441"],"tag":"AbiUInt"},{"contents":[256,"10429130171853519521608629805325568492902865321374899130470049464618979070216"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046c99","0x0000000000000000000000000000000000000000000000000000000000001352"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"38"],"tag":"AbiUInt"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4c","0x000000000000000000000000000000000000000000000000000000000000653f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"84"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59d","0x0000000000000000000000000000000000000000000000000000000000009e94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1527305047"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024b01","0x0000000000000000000000000000000000000000000000000000000000000f9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010978","0x0000000000000000000000000000000000000000000000000000000000002363"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d464","0x000000000000000000000000000000000000000000000000000000000000a475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[8,"28"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000743bb","0x000000000000000000000000000000000000000000000000000000000000003f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea49","0x000000000000000000000000000000000000000000000000000000000000135f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce55","0x000000000000000000000000000000000000000000000000000000000000129e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]