[{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000c","0x00000000000000000000000000000000000000000000000000000000000001f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\234G7\\rQ\\RSZgyW\\162(\\190$~\\219v!:m\\DEL\\196K\\ETB\\169\\223XnG\\180\\173\\217\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x0000000000000000000000000000000000000000000000000000000000005d4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"1004"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007bc24","0x000000000000000000000000000000000000000000000000000000000000004e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb07","0x0000000000000000000000000000000000000000000000000000000000002714"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"48"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270d","0x0000000000000000000000000000000000000000000000000000000000000101"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"70305797809211320597985772599819856361036017441512790636484981107615662200136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba7","0x000000000000000000000000000000000000000000000000000000000000ec3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689597"],"tag":"AbiUInt"},{"contents":[256,"4377389894579080457507261124291402562954562975853236334969154822718383728945"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a40c","0x00000000000000000000000000000000000000000000000000000000000069fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"39241835999653794475283370905598770176868021022643227380168182912280419650511"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002328","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"33683171845793679693885694144940960889405548652420401003478248577446217252778"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb04","0x000000000000000000000000000000000000000000000000000000000000b31c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"23178208081518729761225148383789739948950177962711974641418225324158792394291"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2e","0x0000000000000000000000000000000000000000000000000000000000009201"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c0","0x00000000000000000000000000000000000000000000000000000000000011ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd39","0x0000000000000000000000000000000000000000000000000000000000000bce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e9","0x0000000000000000000000000000000000000000000000000000000000001c9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"5393954849019714027074732063332057757428188248313140996564770196895839478594"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000085","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000006b","0x0000000000000000000000000000000000000000000000000000000000001367"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007f","0x0000000000000000000000000000000000000000000000000000000000000007"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb48","0x0000000000000000000000000000000000000000000000000000000000002e81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639815"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59b","0x0000000000000000000000000000000000000000000000000000000000000045"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"59"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639869"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x0000000000000000000000000000000000000000000000000000000000000078"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"63954538279961277674821485940722713909948257430673514517403458506054085590080"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007f","0x000000000000000000000000000000000000000000000000000000000000037f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"48326568312154927812406127266528753846044629611551757111313745707909509449789"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001a","0x0000000000000000000000000000000000000000000000000000000000000047"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"22100364706999476317130612643145142627901630000175325838624999001434491690204"],"tag":"AbiUInt"},{"contents":[256,"224"],"tag":"AbiUInt"},{"contents":[256,"96594234620862711451531535174271359409305842093470562419204647782567764641698"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"30416395704101941674806110800585359388855116345386324891796288994953936390136"],"tag":"AbiUInt"},{"contents":[256,"164"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577602"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e4","0x0000000000000000000000000000000000000000000000000000000000001361"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222590"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3d","0x0000000000000000000000000000000000000000000000000000000000000016"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"21558147355034437"],"tag":"AbiUInt"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae5","0x000000000000000000000000000000000000000000000000000000000000270e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"33892013371797526894939058657161398958396795984277522040144740567449490447727"],"tag":"AbiUInt"},{"contents":[256,"1000"],"tag":"AbiUInt"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4a","0x000000000000000000000000000000000000000000000000000000000000614c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"88838723108739046927614934982552977001310968810906164960212514492780744459091"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb08","0x0000000000000000000000000000000000000000000000000000000000004b96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a0f1","0x000000000000000000000000000000000000000000000000000000000000dbca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"7063997877708647267102529166963143025379366711639597793914773449593104538141"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057ca8","0x00000000000000000000000000000000000000000000000000000000000000e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"55502522743718621052862357519963217226417471387980052143398343068446399850246"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae2","0x0000000000000000000000000000000000000000000000000000000000001359"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb0","0x000000000000000000000000000000000000000000000000000000000000007b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"37323909560089247024323095380149045134448934992546537395170501917538234844546"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d464","0x000000000000000000000000000000000000000000000000000000000000012a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a516","0x0000000000000000000000000000000000000000000000000000000000001021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"102618337985737725794734591806197071068741384942896440510794991826924515292160"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000056","0x0000000000000000000000000000000000000000000000000000000000007630"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"*\\240NY\\216v\\194\\175\\189M9TU+^\\198\\213'\\208\\215l\\DC1\\236\\135\\149\\157)\\148\\150L\\193L\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000051","0x00000000000000000000000000000000000000000000000000000000000095df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041a2","0x000000000000000000000000000000000000000000000000000000000000012a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"40338661482776391120540343959217905499827251095306414622077205781792914337245"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x00000000000000000000000000000000000000000000000000000000000000e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000044","0x0000000000000000000000000000000000000000000000000000000000000009"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002710","0x00000000000000000000000000000000000000000000000000000000000073e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"AVRAGE_PROVIDER\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL[\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbff","0x000000000000000000000000000000000000000000000000000000000000135b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"634"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000013","0x000000000000000000000000000000000000000000000000000000000000e17c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"98271625262568651980860336860389377708205081645389920711310718985519609117800"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x000000000000000000000000000000000000000000000000000000000000614c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"90378013721388427900009126089166271270575806647451932211918134666956226159348"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639852"],"tag":"AbiUInt"},{"contents":[256,"16295493072699530179565945742535807106861162566085723196719937688862663497373"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1543874316"],"tag":"AbiUInt"},{"contents":[256,"772"],"tag":"AbiUInt"},{"contents":[256,"52161351378175217043351846928792091323914273634536424504372172549645605796304"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007f","0x0000000000000000000000000000000000000000000000000000000000001ec1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f99","0x0000000000000000000000000000000000000000000000000000000000000590"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"84858696270600158744426289326626306748773767178454501340374902166870347108106"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x000000000000000000000000000000000000000000000000000000000000e323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x0000000000000000000000000000000000000000000000000000000000008190"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"19"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x000000000000000000000000000000000000000000000000000000000000012f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"26"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3a","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":[256,"1949002001046662689354737442546497259261225366784674609332625436980916281110"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ad","0x000000000000000000000000000000000000000000000000000000000000232b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"106700674399859885682994133663924306778939476783997821883470581479589528231181"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4b","0x00000000000000000000000000000000000000000000000000000000000009cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"4370001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000576ad","0x000000000000000000000000000000000000000000000000000000000000dcb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004724d","0x00000000000000000000000000000000000000000000000000000000000087a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"253"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x000000000000000000000000000000000000000000000000000000000000614b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"98885913039229404378267363893384448735976748518830243268063298545858376981648"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164a","0x000000000000000000000000000000000000000000000000000000000000a91f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb26","0x000000000000000000000000000000000000000000000000000000000000c065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629936"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"31320802998428966949712832937397996941051246592024025571772862940599552124141"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x00000000000000000000000000000000000000000000000000000000000009c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":[256,"75974687625245314024088066293341306733567474405135963283455989805543677422634"],"tag":"AbiUInt"},{"contents":[256,"101098960055777959143915543382654944810276981747884057172217585653307579779669"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bd0","0x00000000000000000000000000000000000000000000000000000000000000ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417343"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5d","0x000000000000000000000000000000000000000000000000000000000000c7a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea18","0x000000000000000000000000000000000000000000000000000000000000ca0b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000920cf","0x0000000000000000000000000000000000000000000000000000000000000552"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a517","0x0000000000000000000000000000000000000000000000000000000000001350"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd8","0x000000000000000000000000000000000000000000000000000000000000137b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"56437590005792850838123853650399534910880569892959546249859765084595334953252"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006309","0x000000000000000000000000000000000000000000000000000000000000c783"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232a","0x0000000000000000000000000000000000000000000000000000000000000017"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"88905575842793959326055351721603223074382173484494706881200022797405702501530"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000038","0x0000000000000000000000000000000000000000000000000000000000006ad7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c97c","0x000000000000000000000000000000000000000000000000000000000000007a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609597"],"tag":"AbiUInt"},{"contents":[256,"110125239562066954915126370994628316580309530838630889873694351994829063063969"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000100","0x0000000000000000000000000000000000000000000000000000000000004ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"37"],"tag":"AbiUInt"},{"contents":[256,"25531787429206832825340627"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003c431","0x000000000000000000000000000000000000000000000000000000000000139d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdfa","0x00000000000000000000000000000000000000000000000000000000000069ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"48117580895765498960649001497380713015528600896992274594661659638168962809855"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e954","0x0000000000000000000000000000000000000000000000000000000000008ec8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"28391552785969620404296899900101564759498876780088205959148921330760692607255"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070bb6","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x0000000000000000000000000000000000000000000000000000000000000005"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"10920632917495546785566031913506117413522472137476688144677306305606098637455"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012c","0x0000000000000000000000000000000000000000000000000000000000001274"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"10816612421664196416614218791168990859298998978348272831823825885736868924725"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050d5e","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000189e3","0x0000000000000000000000000000000000000000000000000000000000000591"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"84536888017337635502353192336247261230632704508464098042029567146764912161398"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c434","0x000000000000000000000000000000000000000000000000000000000000037f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GQq1o'}\\ETBWz\\GS\\242\\183\\STX\\173\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\169V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\234\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\206Q\\131\\176|\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\DC1DI\\146\\202\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"qV\\158I\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"<A\\DC3\\147\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\248|z\\224*=t\\137fV\\204n\\158B\\198\\214\\152R\\ETX\\223b\\131\\176\\RS\\230\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\228\\197\\253\\133\\133\\237\\185\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"4f!\\250\\&0\\191\\136\\&3\\191w\\193\\212(\\167\\CAN\\199ba\\179\\142\\235/\\181\\248\\NUL\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244}\\129Fy>Q\\199\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168&\\191\\242A\\214\\150\\&4G\\136y\\ESC\\162\\SYN\\163$\\185\\246~\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\t\\155\\191\\143\\254\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"Jfu\\nOfa<\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240#*6S\\231^\\215N\\172!\\244|se3:\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"@dK\\247\\SUB\\192\\DLE\\f7,\\163P\\167\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\162(\\147\\128s]\\236\\156m\\216q\\139\\160Z\\ACK$\\nI\\212\\130\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\254M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163+\\160\\137UA\\DC4b\\199\\236\\&31\\217\\183\\240?\\234\\198\\158io\\181g\\151Wk,1\\154\\134\\239\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\140\\&2\\206Y\\213L\\182y\\155A;\\163q\\149]\\164KE+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"n\\175yw\\149{\\164\\DC1\\178E&\\238\\205g6o\\155@g\\188\\195:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\NULy^\\167(\\SYN\\200|\\223\\142\\230\\229N\\NAK\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\206\\250\\132\\ff\\172*\\236\\163\\171\\216\\US'\\ESC\\253m\\167\\227\\230\\SI\\189\\&5v\\141#\\149'\\171\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\189\\252 R\\252\\133\\247\\160\\188)\\144\\229\\RS\\183\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\156\\DC3+S'\\154\\SUB?AN\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"0>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\rzF\\246\\142\\204'1\\224\\191$\\201\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149hBhi\\249\\178\\v\\STX\\DC4\\189%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB_\\254\\&8\\240\\&1\\154\\SOH\\146b~\\202\\177\\133\\f4\\195;\\171\\188\\254\\193\\183[\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252n\\218\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\207\\128#=\\183$\\197^\\188\\245\\199fd\\172h\\222\\196\\185Be\\214\\243h&b,\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\DC4Z\\207\\226]\\189\\250,\\182,\\223\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231J|\\244\\130\\144%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185Qc\\DC4\\240ZH\\213^\\157\\\".\\222\\187\\144HGirZ\\179\\221\\164\\235Q<\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\186\\&1{\\137\\214\\207~z\\t\\222\\145\\198\\200\\245\\217\\\\0\\nF\\DC4;\\235L\\US\\152N\\208\\DC1 \\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233$Pj\\168\\166f\\NAKU\\233\\ETXL\\157\\231Y\"","tag":"AbiBytesDynamic"},{"contents":"\"r\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\SO1+~\\US\\SUB)\\n._4\\240s\\187q\\NAK\\135\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\182\\205\\185\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\\\8\\NAK\\207[\\130hlxl=T\\186\\&2t(z\\249\\\\w\\150\\160\\DC1{\\221E\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\198\\149\\186\\217\\DC4a\\217\\243\\253\\183\\251\\DC1e\\GS\\151\\198\\221\\DC1*\\160h`\\160j\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"#i \\GS0\\n\\197k\\179\\v\\156\\249\\NAK\\188\\DC2q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\138\\216Y\\EM\\254\\&0\\192\\129\\177S\\211'Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\160v\\EM\\RS\\177\\146U\\138\\vH\\199*\\245\\242\\244\\f'\\215J\\198\\253\\218\\159\\rP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\200\\248N\\STX\\r\\241M7T\\237\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162#;\\230>y\\168\\211'\\172\\&1}\\187\\199=zF\\246\\213j\\\"\\178\\226\\160*\\242\\b\\146\\f\\229\\DC3\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\DC4\\r\\248\\206\\182wQ\\239\\163\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\NAK?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222x\\144\\163\\&90\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\171~\\183\\213/&\\EOT\\\"\\150)\\144\\136\\252\\160\\134\\254\\SI<\\176|\\236\\179=\\248\\240c\\159\\210\\201(\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\ETX\\184\\ESC\\155\\150\\DC1\\250\\&7y\\219\\252-v\\ESC\\205\\182\\251s\\229\\185\\136\\STXZ\\213\\DEL\\213\\237\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\180\\221M\\146z\\182\\&3\\237B\\233Z0$\\CANr\\154\\168+|\"","tag":"AbiBytesDynamic"},{"contents":"\"Ia\\225>!\\202\\166\\168\\191;{\\236y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135'c(\\246S\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203b\\208\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\145\\236\\224ay\\204}\\174g*\\234!\\135\\228\\177\\n\\226\\138)dr>\\218\\248\"","tag":"AbiBytesDynamic"},{"contents":"\",\\232\\232\\205\\254\\228M\\200\\212\\243\\142(\\153\\233R\\FS\\244\\CAN%\\151e\\144\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"~\\202j\\144\\250\\216\\USO\\SOH3, \\179\\250\\220\\173J\\252,]\\DC2v\\RSw\\182\\219\\131\\240\\218dM~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\129\\242\\168\\&1\\231b\\a\\240\\230\\164\\n6\\214\\161\\204\\245\"","tag":"AbiBytesDynamic"},{"contents":"\",\\172\\146\\174\\&2*'c\\138\\184;r\\131O\\178a\\246\\221\\SYN\\171i\\249\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\171.\\142\\EM\\171\\214\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\210\\173K\\168\\&0\\211\\195\\140\\209\\&20\\182\\242A\\178\\152!D\\171\\204\\249\\137X\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204T\\150\\147\\US\\170\\185\\131~\\DC3\\DC1\\202 $|\\178V\\STX\\229Mwb\\234Z\\135\\NAK\\ACK\\203\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\228\\170Z\\143d\\GSZ\\189\\rh\\226\\177\\&0s\\\\\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141Q\\149!x|\\242\\184&\\SYNLn`)\\176fD8\\244\\&9R8<P\\152\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\225-\\SOH\\DC3\\231\\CAN\\201jr*s\\196K\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249V1\\251X\\186~\\160f\\153.\\230})\\141jD\\230{\"","tag":"AbiBytesDynamic"},{"contents":"\"==W\\137Z\\b\\ESC\\NUL\\233H\\147\\231L\\149\\202*-\\a\\EOT\\176CW\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\214\\173\\156\\202\\&6\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\180)Qf\\\"\\155\\DC3\\te\\221\\250]\\144\\211\\175\\245X\\SO\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157h\\244\\244\\&3L!\\f&\\DC1\\194\\173\\ti\\\\\\240\\&4\\173\\245\\\"B\\172\\218\\221\\130\\166\\192\\DLE\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"f&\\246\\223e\\192\\198#u,&\\143\\196\\192\\196\\173\\&6\\165\\185\\234\\\\\\213\\SO\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\139\\FSU&\\245\\231\\132\\253!$\\ETX\\196+\\202\\253:\\150\\197\\221b&F\\192\\255\\170\\207\\220c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\242\\247\\204\\205\\253\\250Z)\\nkp\\211\\132\\220\\195k\\b&\\170^I\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\137\\191\\188\\221~=$\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\212w\\149\\175rv\\226\\129\\221!N\\170\\211\\240\\178\\150G\\180P\\ETB\\FS\\236'D\\SI)\\131\\251\\228\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\166!j:\\158\\149l\\198\\132\\&1\\\"\\204Q\\199\\242\\226b\\234\\t\\234\\155\\130\\160\\222\\&57\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\156\\230\\n\\ayy=\\146\\173\\143r\\240@\\144\\DLE6\\184\\241\\144*\\bQ\\250\\NUL\\253<|\\ACK\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156V\\233\\220\\\\\\156\\&8\\250\\192\\204\\211t\\180\\184\\SOH\\208\\146\\139e\\STXh*\\184Y`\\SO\\237\\&1-\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\205\\184G\\132\\DC2\\251\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\237p\\166\\178\\SOHT\\197\\171*\\ENQ\\RS\\\"\\132\\241\\226P\\206\\248\\168\\250\\205H\\163\\\\\\166\\142A\\201L\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\248i\\136\\250\\243QE\\250\\208s\\v\\ETB\\SYN\\245\\204\\SO\\199\"","tag":"AbiBytesDynamic"},{"contents":"\":Q\\147 \\151C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240gn\\203_\\ACK)\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\176V\\171\\&6\\151\\171\\&8S'\\n\\153\\147\\205]\\198\\191\\t\\RSu\\219pY>\\235\\246\\163m\\133\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"`w\\DEL\\148\\133zA\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\129(*\\201g\\161\\135\\DC2\\207\\180\\222\\169\\197~\\225\\184c\\239E\\182r\\197\\234\\132\\188\\168\\218\\SUB\\154\\183\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"la\\193\\DC4D\\216\\213U\\218!\\154\\\\rg\\151\\&6\\202A\\243g\\169\\&5)}\\214\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183x\\173\\181\\150\\DEL\\136u\\175MC5\\239\\156\\175\\ACK\\144\\n3D#qIx\\136?\\239u\\149W\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\183\\175\\194\\134\\206\\129 \\163\\241\\DC3\\162\\232\\253\\226\\STX\\216\\225\\204\\152`<L\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"s{\\166\\138\\&0a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\177\\237lM\\251y\\RSE\\214\\&3\\194\\GS\\133\\203\\190YYo\\208L\\209\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164:\\135\\224j\\203\\175\\178\\242i\\202\\190\\185g\\158\\255\\234\\176\\241\\165\\209x\\160\\GSb\\220\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\162\\144\\ESCKe\\SIz\\221\\173\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\245[\\188\\202Ds\\200\\ETB\\CAN\\ETB_\\149\\222A\\248\\206\\173\\128\\163-\\136Hb\\141\"","tag":"AbiBytesDynamic"},{"contents":"\" r\\247\\130\\214\\168\\169q\\228\\153\\173\\177!h\\253\\155\\149\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246r\\232I}\\172\\NAK\\ACKD\\193W\\221\\140\\156\\224\\176\\240\\GS\\132_\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206i\\NAK\\155,\\242I:[m\\219\\188\\246I\\166\\152\\254js4]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\DC4.\\139\\176H\\242\\NAK\\234\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\217|\\159$N\\SO\\181#-\\220\\DC2\\250^x\\165B\\DC3\\162@\\194\\&2\\155p\\169\\179\\SO\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\133O\\137\\t\\164\\221\\&3\\DLEuK\\217\\236#\\174I\\175\\237\\234\\176\\131\\148\\249<Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\249iee\\DELG\\207\\217'\\ESCp\\128\\210N\\ENQ\\255B\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"n]\\CAN\\133\\216@\\231\\181\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\GS\\198U\\166\\DC4\\EM\\184H+\\246\\ESC\\170\\163\\165\\238%3~\\244\\210(\\180\\255 B!\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\SOK\\159\\ACK\\ACK\\217\\197\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"bX\\237\\205\\253\\CANYvO\\211\\216wi#ex\\218\\SOHi\\NUL\\177\\ENQ:A\\237\\200q3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"dG\\\"\\139w\\SOHd\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158)\\176\\245\\150\\SUB\\207i\\b\\232\\&5\\199\\174\\&5\\150G\\DLE\\237\\196\\150\\245\\129\\132\\219Gu\\255|\\DLE\\205\\188\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\":\\131\\207\\ACK\\SYN\\n\\228\\176\\ENQ\\193R~\\128\\154\\170\\137\\235P\\v\\194\\DC1K\\179\\249\\219f\\192'\\DC3\\192{v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\208\\129m\\131\\234\\242\\&0q\\139h\\248\\CAN]j\\244F\\205\\129j\\DC1^6\\n/\\170 \\250\\148\\203-\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"9P\\223S\\207\\175\\RS\\251\\242\\a\\198 3\\188\\242\\229\\EOT9\\210\\241Cd\\218s\\162I\\227[\\184\\164f\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\227\\197\\222\\SO\\169\\206_&\\129\\tA\\209\\167\\153j\\r>\\211\\a\\172@\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN#\\SOH6\\138\\181\\221=\\157vD\\205\\DC1\\220\\210p*!\\vnh&X\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\ESC\\n\\147sc\\178\\194\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\246\\156\\217\\172\\160(&s\\146?\\175\\246mzt,h\\227\\&0\\214\\187\\208\\176\\251\\&4\\130\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\247\\241a\\143\\150h\\ETX\\n\\140\\f\\246\\176\\SI\\148\\172\\240\\142\\231\\254\\250\\&2\\SI\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"J\\150\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\250\\196g>C\\186[\\ESC\\131\\218\\FSU\\NUL\\214X\\244\\149\\SI\\155\\EOT\\164m\\209\\ETB\\198\\SOH\\157Ub\\175\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\133}\\219\\EOT\\168\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\187\\179\\146\\200C!\\DC1'fcK\\161'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\\"\\199E\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\181\\192X\\FSF@ \\t\\168\\196T~\\200\\191\\144\\219r\\191\\213\\a\\165'\\247N\\231X\\166\\254\\&4\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\194\\143\\199>\\nG\\174\\211\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\198\\242\\159V*\\154\\204\\147F\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"W+V\\153\\232\\212\\DC3\\227\\128[\\EOT\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\137\\242(\\186\\135\\189\\ETB\\210\\185in\\160\\161\\EM\\222\\163=\\183\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209~\\246\\173\\235A\\142/a\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\140\\192F\\255m\\171\\231\\249]:\\205U[\\151n\\NUL\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\196\\162\\168\\183\\135q\\129\\SOHv,\\202\\247\\155+\\213\\252De#k\\SYN\\248\\DC1^W\\165\\220\\239\\DC1\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253.\\141m\\183\\205\\DEL\\159\\246\\162\\t\\US\\215O\\239\\GSv\\135r\\160^\\163\\DLE\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\f\\242\\192\\128\\144K\\185$\\240u\\r\\174\\147\\142\\223\\161\\209}UdL\\243N}\\151\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\228\\149\\ESC\\166\\212zrN\\221\\b\\187\\136;\\222@s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\252t\\205\\207F\\218\\244\\192\\190\\199\\196\\209\\216TZ\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\213\\165Ls\\SUB\\243:\\207\\209\\174\\SYN\\134\\&9k%G\\165\\135\\DC4\\ETB\\DC3H#\\b\\244zw\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\201\\225\\226\\227e\\FS\\130\\240m\\165\\225x\\172S\\242\\172\\ETBz*\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\138\\r\\EOT\\189T@\\147]\\177\\218\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\141\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"I{\\210\\245\\193\\206\\242Z\\246\\201\\199\\251\\162\\187\\CANp\\SOH\\175V\\234\\195B\\169\\222\\&1j\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"-&\\213s\\247C\\239/GK\\STX\\214\\179^F\\208\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\186\\138/1\\211\\&2\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222_d\\209\\218\\131Qp\\233\\200\\187\\ACK\\238\\ESC\\130\\219=6\\245@a\\197\\162,o\\158\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"lHs1Q\\162\\164\\231>nS\\SI\\190\\131\\129\\193\\196\\142\\169\\tho\\EM\\213`\\233\\152\\142\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\v$\\181\\rJ\\a\\a\\212v\\ETX\\212*\\EOT\\SYN\\v\\232]?\\224k\\207\\227%\\200\\219F\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\";\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\242;\\FS\\GS\\170\\196\\&0\\v\\251\\196\\144\\GS\\231>\\176\\215\\199\\213U\\141\\228\\182k\\194\\162a\\171|\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\192J\\237\\179\\182\\229\\US\\141a_<X\\208V0\\242\\152\\tz\\a6A\\SUB\\178-]\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\185\\143cMQ,9G\\\\\\160i\\211C>\\a\\t\\252\\163\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\EOT)c\\ACK\\195\\162\\fw\\183-\\204Y\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\223\\\"\\248\\SOH\\227\\164\\191=\\189B\\169\\173\\181\\167\\aK\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"N7g\\192\\227\\164\\FS\\168r\\168`4\\211\\147\\&1\\195\\219\\211o\\188j\\ACK\\GS;\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225x\\185\\184\\188H\\186J\\223\\US\\204\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\6`Q\\216\\247}\\168\\211\\US\\219h\\131 x\\ACK\\183\\234\\143\\ENQ\\191\\155I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\162\\167j\\151$\\240\\134\\133\\183@\\SYN\\n\\195\\201\\190\\&4\\185u\\226\\147\\&2s\\190m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SYN\\227N\\247\\156U2\\143\\251\\187y\\131\\173\\242\\144\\RS\\DC3\\ESC\\ESC1 b\\ACK\\n+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\":\\151\\219\\194\\237?\\SO\\188e\\192\\USr\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"]jg\\178\\251\\STX\\138\\EOT\\234\\220 \\168>?\\193\\ENQ\\162\\242r\\206\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\141,\\151\\210\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130z\\210\\ETB\\138\\209/O\\129\\156\\164[g\\CANe'\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\246-\\252(\\221\\GS;\\134K\\ENQPW\\174\\202M\\181\\159(\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\179\\229\\DLEZ\\SO3li[2\\204|\\185\\236\\187\\214\\228\\197$K\\231c\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\155G\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\150^\\217\\171\\174\\205<\\243\\225 \\216\\&9\\205\\SUB\\206\\223Rd\\137\\134\\156b\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\165\\138!\\191+\\252\\SIX\\CANRQ\\223\\164\\168\\bV\\253\\ETX\\255|k\\131sO\\247\\ACK\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"A(\\255/up\\251\\249\\r\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"d \\STX\\248\\223M\\152\\199#\\133\\nv_'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156f\\191\\252\\236\\NUL\\229X\\252Lu\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\DEL\\202\\171\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\n\\a\\167-\\205\\251<W\\175S\\216\\US\\137{\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\177\\176\\153\\128\\190\\203U\\226\\191^\\244&5\\189\\192\\142\\185\\191\\STX\\229{#\\\"o\\210\\182\\SYN<.\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\151\\183'\\132$\\199\\160/\\158-B\\243\\202e\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\217,;\\167\\&2\\156H\\r\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\ESCBr\\228n>\\141\\245#\\DLEq\\225V\\DLEl\\237gN\\r\\140\\141\\129HE\\146\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"M%\\209\\154\\169\\SOH\\211u\\168z\\205\\182\\&0\\166\\186X\\232\\201\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"E6\\NAK\\179\\169I-\\190\\255g\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\176\\250\\226\\152\\147U\\255gcw4\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCo\\241\\249r't\\218F5}b\\165Gc\\ENQRGc\\154\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\194A\\231\\SIXh\\253ITQR?Y\\STX\\213\\209q\\225\\163\\ACK\\131\\205'\\255\\136\\t\\186\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\155\\180(\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\238\\&3A\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\n\\186\\237\\252!\\216\\157\\144'\\184\\t\\DLE\\ESC\\216[\\250\\234\\220\\180z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\233\\v\\218\\152\\158\\&4\\240\\224Q/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232`\\CAN2\\DC2\\DC1\\170%\\SYN\\b;Q\\131\\152\\142\\243\\144\\DLEZ\\SO\\156A\\202\\136m\\ETB=\\142\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\241ja{v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\179\\156\\DLE\\235t\\DEL\\235\\242:\\129\\179\\132\\222\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"L{\\128*s\\167\\221\\r\\254\\ACKT\\DC3\\193\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\SO\\FS\\ACK\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\",>\\229\\167\\ACK\\r\\148\\129\\181\\132\\213\\US\\143,\\STX\\fi\\173\\227\\&7\\136\\EOT2\\172\\151Q\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223T\\235\\172z\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\204\\SOHZ1\\149TG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\194u\\252\\159\\US%\\183\\NAK\\167\\159'}H-\\152\\SYN\\165*s\\132\\254$\\248\\240\\DEL0\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\149\\193\\214\\129\\EOT\\181\\249~\\223\\136\\212\\187aS\\178\\157a0\\SUBm\\188(|\\f\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162R\\210\\243\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\" C\\214\\234\\146\\218\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148(\\150\\251\\226\\FS\\232Q\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200u u\\135\\208`\\151j\\US\\210E6\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"pQ\\EOT\\237\\r\\204\\134AtR\\167\\&3\\195T@>\\f~\\138\\248\\204\\USW\\r#e\\208\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\a\\194\\&7${\\198\\133]b\\176\\181\\183io\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\US\\211\\190_\\210\\221\\SI$l\\204|[\\132w\\234\\163\\EOT*QF\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\223.\\DLE\\188\\ENQ\\200\\145\\212P\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\EM\\225\\249\\231o\\219\\156\\\"I\\201\\aW\\248\\249\\219\\234#\\221\\160\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[256,"1543864544"],"tag":"AbiUInt"},{"contents":[256,"32003158148050987519296121892870155744815333200805541981816244854465670403101"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639830"],"tag":"AbiUInt"},{"contents":[256,"63830554169607716959177759288385529985226079488470306186378477891472027582768"],"tag":"AbiUInt"},{"contents":[256,"39570974743018382124655341935432885760428991948027345416599066177687606077482"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1525105280"],"tag":"AbiUInt"},{"contents":[256,"103470038394129585087055131280375115269161770239145690784077954895548300344973"],"tag":"AbiUInt"},{"contents":[256,"92700543407782795500852442333699086410160318635741664667093466136550867094244"],"tag":"AbiUInt"},{"contents":[256,"91214404740913927578429139866345689378956692386041399418526523839002761816991"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030334"],"tag":"AbiUInt"},{"contents":[256,"5913602203467806124515573914786781702267943030893313022932995629519255506402"],"tag":"AbiUInt"},{"contents":[256,"967"],"tag":"AbiUInt"},{"contents":[256,"114867430975341784853384365067507869989674016381233164727582169974404136794586"],"tag":"AbiUInt"},{"contents":[256,"70119048776895693950572481109123634981814838438164762066821126483095183249464"],"tag":"AbiUInt"},{"contents":[256,"85706893069773210033341975976202468669028695069121150584431937484218111864384"],"tag":"AbiUInt"},{"contents":[256,"9947256469969434656805698066466437175001357916528761494754692845903027355823"],"tag":"AbiUInt"},{"contents":[256,"54126955332679743168550113979690535354782824256624218721260718362882707489961"],"tag":"AbiUInt"},{"contents":[256,"1313373038"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011517"],"tag":"AbiUInt"},{"contents":[256,"22"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639918"],"tag":"AbiUInt"},{"contents":[256,"17502383244961318787430619055235007054316827659817265619948044184490903124139"],"tag":"AbiUInt"},{"contents":[256,"106158586330189522932649545985847267338204477779588904716587080032578499171868"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639850"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1539401859"],"tag":"AbiUInt"},{"contents":[256,"94078625383462055154741778299955851924740343078548458536237746166381282542247"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088323"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"},{"contents":[256,"1542138847"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950333"],"tag":"AbiUInt"},{"contents":[256,"46567125313491476615514694347163472607764299747974128518569453191219344827914"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639862"],"tag":"AbiUInt"},{"contents":[256,"104893880550408256032767898942483424136195718700642433427665649729623974629227"],"tag":"AbiUInt"},{"contents":[256,"102"],"tag":"AbiUInt"},{"contents":[256,"73151020585446870455764473118708364836912390459372731088357056077628990195475"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609597"],"tag":"AbiUInt"},{"contents":[256,"42007280528062854356941194879995804210278888369799973808757856469104260402126"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062334"],"tag":"AbiUInt"},{"contents":[256,"7293376879352788169806737821014045885585469695109023279213403733989509596044"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"88090282826188504792147646916008548396487419916608053997153251140310100851298"],"tag":"AbiUInt"},{"contents":[256,"63736439163944298096885901909241185023998031878457505570877792518454533421848"],"tag":"AbiUInt"},{"contents":[256,"95347079531798098540117296335211117659092412320172820798025685043818042855069"],"tag":"AbiUInt"},{"contents":[256,"12640346586246346315760276455302514902222374269327864612"],"tag":"AbiUInt"},{"contents":[256,"112894997280221464458433405736922023967604747858056840837633626959207307899171"],"tag":"AbiUInt"},{"contents":[256,"76570458172478889225664032242863617966964520575079613271324705988089582253114"],"tag":"AbiUInt"},{"contents":[256,"4001"],"tag":"AbiUInt"},{"contents":[256,"47"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636336"],"tag":"AbiUInt"},{"contents":[256,"66060999190773177571660456226853578258565442346584241638007245386067442612879"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"3603"],"tag":"AbiUInt"},{"contents":[256,"584"],"tag":"AbiUInt"},{"contents":[256,"501"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892765"],"tag":"AbiUInt"},{"contents":[256,"51519699414857728341793159035386564844192850351441365277982806752922349959519"],"tag":"AbiUInt"},{"contents":[256,"66681738236671271278313354526321780640740234017230497273093949928252777538326"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639921"],"tag":"AbiUInt"},{"contents":[256,"25496241517826181999179867472914011571204528894770040756130773802826884710966"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"315398898591363594415"],"tag":"AbiUInt"},{"contents":[256,"22412698432274364625417404729652290884410421233251915258011067704606328363436"],"tag":"AbiUInt"},{"contents":[256,"1525533145"],"tag":"AbiUInt"},{"contents":[256,"54458559242762861712794312063149093821506713609149837428522232128224507288422"],"tag":"AbiUInt"},{"contents":[256,"50452424027125830458418623775108742751035641686876615082483115111734446581923"],"tag":"AbiUInt"},{"contents":[256,"22587239332373990574026927254564828342991571334383393813018480783305358032697"],"tag":"AbiUInt"},{"contents":[256,"45258245936652610497571243022701694009659870765312736491303706114429481861727"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639703"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"746"],"tag":"AbiUInt"},{"contents":[256,"87970265134557130290158428150667938702141339615942499306938303330319917063596"],"tag":"AbiUInt"},{"contents":[256,"100000002"],"tag":"AbiUInt"},{"contents":[256,"77997033385015277534861335237415982409560105218884345616411330649322257331105"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636333"],"tag":"AbiUInt"},{"contents":[256,"90296355267064298686960684083920830156760568088210916901350063691502574762746"],"tag":"AbiUInt"},{"contents":[256,"6781557395385271011314815065138900331597925946642310868790903848042532699824"],"tag":"AbiUInt"},{"contents":[256,"67995492655503827003855399349752014077377928741301305309484803033348680596811"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639841"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035133"],"tag":"AbiUInt"},{"contents":[256,"135"],"tag":"AbiUInt"},{"contents":[256,"91586977864193937260136379982999376613844939328095342838065305915724368231904"],"tag":"AbiUInt"},{"contents":[256,"1533528716"],"tag":"AbiUInt"},{"contents":[256,"1535648182"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427a","0x0000000000000000000000000000000000000000000000000000000000006df0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639633"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065679","0x0000000000000000000000000000000000000000000000000000000000002a07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046b47","0x0000000000000000000000000000000000000000000000000000000000007e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000f","0x0000000000000000000000000000000000000000000000000000000000001358"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"102975728876952386539216623140520352622901506203546448713772711975422551559043"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028e2a","0x000000000000000000000000000000000000000000000000000000000000003e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"114180195043810995678491185348292000557219867413808688977918231198937268177232"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004694f","0x0000000000000000000000000000000000000000000000000000000000001399"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004724d","0x0000000000000000000000000000000000000000000000000000000000002e32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"83847510179929588458996504222928396809181440756623490725768126944870434800024"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211776"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb37","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75f","0x0000000000000000000000000000000000000000000000000000000000002710"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"76103755968317513279950767678707106500314098864287331418164397275086763017357"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf4","0x00000000000000000000000000000000000000000000000000000000000013ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf7","0x0000000000000000000000000000000000000000000000000000000000001276"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2c","0x0000000000000000000000000000000000000000000000000000000000001327"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"235"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4f1","0x00000000000000000000000000000000000000000000000000000000000013ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"69110481146907894287256906447506801577040872869379142676637783971820804701026"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000088","0x000000000000000000000000000000000000000000000000000000000000ac59"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d2","0x00000000000000000000000000000000000000000000000000000000000027b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e11","0x000000000000000000000000000000000000000000000000000000000000131b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"104456866676072718080754345683953931145757776414457068236240193524008628218051"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006119c","0x0000000000000000000000000000000000000000000000000000000000004f13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"72093197975928267001694739862452626573716660866209195729495482659761134007519"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000005088","0x00000000000000000000000000000000000000000000000000000000000000eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"2000003"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead1","0x00000000000000000000000000000000000000000000000000000000000091f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000068","0x000000000000000000000000000000000000000000000000000000000000138b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"3017393061"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064ad5","0x0000000000000000000000000000000000000000000000000000000000001384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001f","0x0000000000000000000000000000000000000000000000000000000000008198"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034b0b","0x0000000000000000000000000000000000000000000000000000000000001361"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bd0","0x0000000000000000000000000000000000000000000000000000000000009aa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]