[{"call":{"contents":["switch_vault",[{"contents":[256,"27425729662842533549384738103912928812826002907085570181304491473593544062589"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f395","0x0000000000000000000000000000000000000000000000000000000000006ddc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"32"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f113","0x00000000000000000000000000000000000000000000000000000000000013ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"46073977885328353229090472930673384016985809950276699585441987504118828207092"],"tag":"AbiUInt"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c82f","0x0000000000000000000000000000000000000000000000000000000000000130"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"9998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a869","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"99999999999999999999999998"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0d","0x000000000000000000000000000000000000000000000000000000000000134b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417341"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf69","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81b","0x0000000000000000000000000000000000000000000000000000000000000731"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"54173853816378227919280531668198154707476295171831288133821594797166020502952"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000026","0x000000000000000000000000000000000000000000000000000000000000101e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232c","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"69"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001694f","0x000000000000000000000000000000000000000000000000000000000000d8d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000025","0x00000000000000000000000000000000000000000000000000000000000000fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x0000000000000000000000000000000000000000000000000000000000004158"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"60094379135093528454721035332241984231653421427180984173220915348701986445538"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087fa7","0x0000000000000000000000000000000000000000000000000000000000005d4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"104982269153820127657015181254875630190993525713632267963095759217803079981058"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x00000000000000000000000000000000000000000000000000000000000034ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fe","0x000000000000000000000000000000000000000000000000000000000000dcff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"PERMIT_DEADLINE_XPIRED\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\155\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2e","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"16628247633304530440734208305698106182843418088017458305700294706409049384041"],"tag":"AbiUInt"},{"contents":[256,"9998"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"7237200102586840998906922767078330521653126518191257023207741882793666329328"],"tag":"AbiUInt"},{"contents":[256,"51455913302922379240113899559842265944741672840630081703052166063626317858567"],"tag":"AbiUInt"},{"contents":[256,"65"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e705","0x000000000000000000000000000000000000000000000000000000000000003e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae9","0x000000000000000000000000000000000000000000000000000000000000d8d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"37916355140959125812409036729755115138866983675961051734971425443218162410707"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c2","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"105125306180169062624619375791124643204081508375502283055042265088302328714132"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052401","0x0000000000000000000000000000000000000000000000000000000000006542"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\SI\\248\\169y\\252N/c\\RS\\200I\\187\\139+\\239\\183\\212\\128\\rj\\230\\131\\f\\148\\252\\177\\ACK,\\254lj\\EM\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000772a7","0x0000000000000000000000000000000000000000000000000000000000001367"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"104649846552631165574413471121184877148911010314397978970066049028787051770793"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bf","0x000000000000000000000000000000000000000000000000000000000000dcb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1a","0x000000000000000000000000000000000000000000000000000000000000d9d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000026d8b678f78a3fbd6"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d865","0x000000000000000000000000000000000000000000000000000000000000a273"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"80"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c5","0x00000000000000000000000000000000000000000000000000000000000011ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba6","0x0000000000000000000000000000000000000000000000000000000000001315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"108488072368798807866289869713935563059348162586838286553624265193786334910727"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d1e3","0x00000000000000000000000000000000000000000000000000000000000049af"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002328","0x0000000000000000000000000000000000000000000000000000000000006951"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"31261116642365010426388678790416637532033947904516898036398644875085244523248"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x0000000000000000000000000000000000000000000000000000000000000017"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bae","0x0000000000000000000000000000000000000000000000000000000000007e4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"1532321647"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x0000000000000000000000000000000000000000000000000000000000000001"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"707"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021809","0x0000000000000000000000000000000000000000000000000000000000006a2a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057a20","0x0000000000000000000000000000000000000000000000000000000000004000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639873"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce50","0x0000000000000000000000000000000000000000000000000000000000006ddb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xED1785b65896022A79B55D3EbaFD6Ab7C6560e92","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"10"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002b69d","0x00000000000000000000000000000000000000000000000000000000000011ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"226569457747115388896237170235153353578"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002714","0x0000000000000000000000000000000000000000000000000000000000008054"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ce9a","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"1544342195"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000bffa","0x0000000000000000000000000000000000000000000000000000000000001391"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae2","0x00000000000000000000000000000000000000000000000000000000000007c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"57029144864462192135440088995873041040906361513149252547517764861611399301094"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025f2f","0x00000000000000000000000000000000000000000000000000000000000000fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e378","0x0000000000000000000000000000000000000000000000000000000000009d3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000381","0x0000000000000000000000000000000000000000000000000000000000002320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"63"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0xC082D5F54430e6Cd6Dfc7D409dcE2F2fA9330698","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639850"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000bb2d","0x0000000000000000000000000000000000000000000000000000000000003032"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639884"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553533"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000088","0x0000000000000000000000000000000000000000000000000000000000000e10"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"29727482777889148701341612076227747988103324219454348781396885207147899387408"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59f","0x0000000000000000000000000000000000000000000000000000000000002606"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"24092393177939935471272541416096047268388375509758042980805563063353924593270"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7be","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4f1","0x0000000000000000000000000000000000000000000000000000000000005f41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062170","0x0000000000000000000000000000000000000000000000000000000000000bcf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"126"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb34","0x0000000000000000000000000000000000000000000000000000000000008ecc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffd","0x0000000000000000000000000000000000000000000000000000000000000013"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"584"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000076","0x00000000000000000000000000000000000000000000000000000000000001f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1a","0x000000000000000000000000000000000000000000000000000000000000653d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"64180523347884278938162411999381783562520181307595773549507194345982823659819"],"tag":"AbiUInt"},{"contents":[256,"7861247754311002971272990466056716465341398038713537390101704592729153648264"],"tag":"AbiUInt"},{"contents":[256,"79040642546463706293499758584644389007096809912946581946041040040237424099187"],"tag":"AbiUInt"},{"contents":[256,"235"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006813c","0x0000000000000000000000000000000000000000000000000000000000000130"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"519"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e489","0x0000000000000000000000000000000000000000000000000000000000001380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"53429181435176673679772160738136795134908410528493623401120616499438295569465"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x0000000000000000000000000000000000000000000000000000000000000bd0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac1","0x0000000000000000000000000000000000000000000000000000000000000552"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150pN\\176\\221\\234\\147x\\182b\\165@d\\223tyS{\\138\\192j T\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"v;{S\\230\\195\\242\\SOn\\195\\182\\145p\\193%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"K\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\&3\\SO \"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\207i3\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\160\\&86\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\221\\SUB\\215\\237\\251\\STX8\\209\\188#\\184\\DLERy\\223dH\\149\\NAKz\"","tag":"AbiBytesDynamic"},{"contents":"\"+ \\172\\250:V\\DC4\\DC2\\201\\n\\230\\212W\\189\\251\\143\\218\\STX\\188\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\SOHt\\243\\244{\\SYN\\248\\238\\239\\153\\181\\171*\\224'\\167\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\136f*\\130\\133h\\250\\131\\198\\157\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"K%\\207+\\233\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\176\\198\\143\\159\\218\\201\\134s\\251\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177E\\131<cI\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\CANqY\\136\\210c\\194[Y\\253\\241a\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\141y\\SIS\\236xf\\197a!&\\187\\172`\\156\\133h\\156\\&1U\\233\\231-:M\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177z\\156\\&7\\244*\\212C\\191\\&8\\174)A\\RSf\\144FD\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237va:m,\\253\\153\\220~K\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"YV\\211\\221~\\150\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\224\\200Q\\237B\\135\\229\\139\\238\\&86\\154\\133\\183.\\249\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\178q\\181|\\140\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\";\\\"$\"","tag":"AbiBytesDynamic"},{"contents":"\"Hj\\182\\231\\n\\221\\145b\\192\\156\\183\\253\\249\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"=N \\184<\\144T\\RSv\\226#\\146\\133\\DEL`&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\139\\SOH\\168\\232\\169~\\STX\\162Jb/\\198\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186L\\141\\177\\f\\158\\236J\\137E\\158\\215\\242\\DC2\\253F|\\164\\230\\251\\NUL\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\189LSy\\SOX\\128\\136\\158\\213\\143\\143M^;^\\160YR\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145q\\181\\170Z\\242\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"Xi$\\151%\\242J\\243\\191\\170\\171\\147\\230\\a\\147M$\\SOHTh\\209E\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179w \\231\\218\\134\\203\\188\\199!\\173\\&5 X\\182D\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\255\\155\\224\\168\\148\\179\\ESCwY\\SYN\\224\\253?\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\152\\GS\\NUL\\177\\144\\140'%\\242\\230H\\137\\&1\\170\\245%6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\235\\176\\153\\166\\217\\129I\\f\\169\\v\\f}FY\\186\\247P\\EM\\178>\\DC3):\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\238]n\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r&\\RS*3\\154\\250\\192\\EM[\\190\\161\\183\\&9\\\"ph\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"s\\244\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\SYN\\245:\\SYN\\159{s\\a\\128\\134\\175]*\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"-P\\239P-\\180\\192\\187\\&0\\219\\168\\&44\\SYN\\\">\\184(\\136\\225\\222z7U\\199-\\f\\134\\210\\206\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\134\\nz\\232\\183\\243\\\\U!\\135\\215\\247\\DC1\\234W,\\219r\\156r\\163i(\\221f]\\247\\&136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\185\\206T`\\NAK\\157\\188.\\SUB\\140\\201\\&9\\215R\\SUB\\196\\224$\\180 \\217M\\176`\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\249+@\\171\\243\\170n/\\142\\190HVe\\r\\SIO\\142\\162\\183%u\\208\\207\\184qc\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\DLEo\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM)\\148\\a\\175e\\242Tv\\186\\146\\220\\210N\\144\\169GZ\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"@|\\216b.[\\181\\207\\176v,\\172u\\ETB\\242@\\150\\235\\132\\EOT\\234L\\134\\245)W\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\235(\\157\\200\\RS\\213t` \\221\\197\\164.=\\149\\212\\139\\181\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\140\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"p0\\242\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\232\\178\\154\\189\\t;f\\GS\\229\\&8;\\240\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\b\\155Ok\\211\\219H1\\138\\&6\\197q\\133f\\225B\\146l\\188\\f\\250\\206\\197\\182\\DC2E\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\168\\GS\\135]\\164\\165+\\246rM-\\r\\DLE\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132q\\196\\152\\179\\&2K\\ETB\\a\\175Iv\\213\\ACKy4\\ESC\\238Y\\204Zl\\146\\195\\132\\EOT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"I'W\\US;\\241]2p\\241\\173N2_\\245\\139hD}\\243.h1\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252I\\230\\235\\188\\225\\219c\\238Lj\\DC1\\SI\\DC4\\194\\bB\\151WM\\228ENd\\227\\ESC\\234@,\\GS\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"z{\\156\\238@gW\\147\\SI\\254+*\\209S\\f\\ENQ\\DC1\\148aN)\\ETXA4\\235'\\n\\207 \\197\\185\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nN\\193@\\192\\225\\147\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"kU\\160\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\":4\\SUB\\188\\217\\191\\&2\\199\\EOT\\196#`\\252t@\\178\\247\\NAKW\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163U\\139\\rE\\227\\DC2\\214S\\197\\r\\252P1\\226\\ncz\\ETB\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\200,\\185\\251\\246\\201A\\EM1\\158l\\196\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\216S\\215\\179/6\\US\\ENQ7\\230\\237eSA8\\az'G_f\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\194X\\143\\203\\&4\\152\\179V?\\rW>\\174\\SOHq)\\152\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192tc\\189u\\240\\US\\177#\\210\\205\\247\\137)\\136\\DC1\\150\\189\\&6\\201e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182m|\\144\\158\\235\\fcX\\ENQ+\\205\\223\\tw\\ESC\\NUL\\201kJ\\144\\f;\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\EOT`\\\\}R\\167\\CANL\\223\\159G\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE,\\236\\210\\128\\&6A\\179T)\\205\\140\\221w\\r\\140\\RS\\141\\&1j\\b\\149\\188\\146\\240cK-\\155\\248\\235\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237bS\\USr\\192\\176\\139\\234\\&3\\FS$\\138LB\\165\\211\\176\\184\\ESC\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\176\\165T\\NAK7\\136\\128p\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\181\\&2\\250\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"a\\179\\152\\235\\130\\SOH\\DC1P\\168O\\168w\\198m\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\190\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN,^\\221\\222\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\153\\CAN\\187\\ENQ\\131\\235\\152\\244\\157\\167\\240\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\208\\162#\\ETX\\USg\\DC3s%2\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\CANN\\STX/k\\t2M\\128\\190\\EOT\\183\\SO`ABe\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"#\\225\\176.\\253\\136\\250Z\\159\\193\\aQ\\160\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197OR\\141\\240`\\207\\249\\191\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\154\\SUBkuO\\200\\174_\\181\\144\\128u;\\SYN\\163\\&1X\\162z\\248\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\198\\253)\\ETB\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\212\\DC1\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\175@\\252\\ETX$\\244%u\\vm\\218\\SOH\\223\\174\\SOH!\\220\\178\\CAN\\b\\DC3>\\136R\\188\\168ns\\EOTZ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\167\\237\\227\\184*\\137~OOf\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\159\\DC2\\176\\245\\178L\\198y\\239\\159\\187AK\\ACK\\NUL\\207p\\160\\160\\222\\&9\\221\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\.\\192\\235\\162\\192j\\SO\\232\\225\\244\\231l`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\SI\\170(\\DLEl\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\",5\\215\\133Z\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\v\\198@\\195\\176\\253\\159\\242H\\209\\169AU\\255\\ETX\\243\\SUBm\\153u\\DC4h9I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\222\\231\\240\\&5\\185\\226\\208\\130h\\164\\181\\204\\215\\ENQ\\EOT\\SYN\\DEL\\212\\158ff\\DLE\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\\"\\145\\164\\141g\\216\\217|\\254\\159\\ACK2D\\145\\&3\\245\\250\\131\\176\\156\\149\\158\\f\\\"\\SUB\\189\\EOTz\\t3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\RS\\135\\SYN\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\" \\253u\\156\\211\\224\\238/\\164U\\247\\\\\\198\\222\\185n}\\210\\201\\188z\\246`Ad\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\212\\\"b\\134 \\ACKWe9Gap\\EOT\\139r\\DC4\\246U\\133\\SUBq\\154?\\\\\\179\\213\\233LLH\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\159\\a\\ETX\\146\\DC3\\US\\199\\235\\218\\244J$\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\&2\\NAK\\154GI\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1iS\\DC4\\246e\\155\\229\\178\\243\\226\\236%\\158YX\\ETX\\SYN5]_\\a\\DC1r\\169\\DC3\\182\\187\\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\198&\\SO\\223\\a\\194\\149\\187\\159\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\209\\237p\\EM(\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\168Q\\167u<\\250\\138\\208\\182/\\CAN\\208\\223U\\CANh\\203C\\208',*\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\255\\222\\188rd+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\249\\183\\181L\\132\\181\\&3\\FS\\SOH\\208\\154*M\\222\\226\\NAK\\147?\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"3;wQ\\205\\139\\141\\237\\234\\&9\\198\\GS\\222\\134\\219\\154h\\148\\196j\\ETBx\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\139-o\\199\\251s\\249\\244g\\255\\\\f\\ESCh\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\153\\177\\146Zh\\211|\\237\\FSj\\136~\\159\\174\\&6h\\205\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\247t\\180D\\239$!\\181|\\248#\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\">\\237\\203Y\\249\\243\\RS\\134,\\187\\170\\136\\209\\128#\\FS\\222\\248\\244\\&9\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\228 \\220WI\\208\\218 (\\222\\241\\ACKB\\190\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\215\\ESC\\168\\\"g%\\128\\ACKC\\245\\EM\\b!i[\\207\\236A\\156\\DC2n\\167\\129k\\188\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\212Z\\225\\170v|Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152&\\224\\195\\184\\SUB\\EM\\128\\SOX\\US=\\224\\NULz\\158\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185-[@?D%\\184)\\252$\\133f\\174\\175.\\168zR*\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\252U{\\146z\\175E=\\222\\244\\DEL\\SO\\199H\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159g6,\\173pC\\135\\241\\161\\DC1f\\DC2(\\203\\228\\182\\189\\&4\\149_Z\\145\\172\\166\\DC2\\251\\DC4\\232V\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\r#\\SI\\177H\\251\\130\\&2\\240\\RSM\\165\\SO\\213\\&4\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\200!\\228\\135\\218\\185\\159\\r\\194\\137M\\251Y0\\142\\163\\160\\146\\137\\129&\\n\\146\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\144\\173\\144n\\213\\212\\163\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\223\\&9\\179\\189\\n\\220W\\178|\\160z\\233\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"}j\\233\\132\\186\\190\\138c\\219m\\164\\136\\232\\222j\\161\\t'\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\210<LO?dM\\GS\\r3\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\&0\\186\\v\\135\\182M\\227\\173\"","tag":"AbiBytesDynamic"},{"contents":"\">\\247x\\159\\176\\222\\183P$\\130A\\243\\199'_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225f\\201>\\SUB\\187\\148\\155\\150.\\ff\\233ng\\203@\\US\\225\\151\\185L\\EOT\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129/\\192\\226\\129\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"N\\188i\\SO~\\141\\247P\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231n\\197\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\237\\167@\\\"J\\188\\189\\181Z\\150\\b\\160\\NAK<\\172\\149\\SOH\\GS\\197\\237\\223r\\CAN\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\179\\226m\\222\\147\\ESC\\f\\NAK4!\\149\\240\\187Ps\\152r\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149[\\236\\194t\\nE\\189\\172\\202A\\249\\EOT\\STXD\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\188?7aF\\NUL\\DC4i\\203\\SI\\179\\fD\\US\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"*A\\218F\\244\\243\\169\\233\\&8\\164\\128\\180\\232\\184\\167\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\191\\EOT\\\"\\155\\SI\\147\\156\\144d\\r\\221\\134\\240]\\223n~\\ENQ\\251\\208\\199Z\\166\\227\\202\\164\\164\\245\\ESC\\154\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\173\\&3(\\217\\131\\&7\\155\\167t\\224\\213\\US\\139\\194\\164\\154\\&0ng\\227\\158[\\239-\\135:z\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\135\\&1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@\\STX\\144\\252\\131\\210K\\129\\131\\143zE\\NAK\\231\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK!\\219\\213\\149rD\\179\\174\\&1m\\204lB5\\RS\\226\\236B\\133\\132eC\\GS\\190\\242\\250\\ENQ\\201I$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200x\\\\|\\241\\255\\226\\137Mk\\143\\ETX\\149\\203\\&8b~!E+o\\159j\\195\\STX\\156\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\DC1\\ACK\\EM\\217\\219h\\246\\n\\209d\\SUBl\\226\\139\\212\\&7\\194\\251\\186q\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\131A\\141\\167h\\176|\\200\\172\\169\\166\\180\\252H\\217t\\239\\162\\227\\225\\197W\\169m\\r5 \\ESC\\164\\130\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\135\\ETX\\235\\211\\210\\140\\145?Nt\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\213\\215\\r-\\a\\DEL\\161\\239\\144sg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\CAN\\DC1\\EMa'\\179Zl\\246\\211\\151\\240\\SI\\144\\130w\\f\\252qzk`\"","tag":"AbiBytesDynamic"},{"contents":"\"T\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\197\\205(\\SUB\\245l\\196H\\STX\\\"\\243\\252zc\\148\\217\\181Y\\FS\\a0Iq\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\161\\177\\246C\\166[\\130e\\179\\DEL\\179\\&8\\169\\173\\172\\172p\\213\\143F\\SI\\ACKNH\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\ESC8[\\186\\FS\\180 \\212\\DEL6\\170\\244:\\DEL\\149\\207\\247\\SOH\\ACK\\227\\188\\191`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\&6\\233\\&6\\232\\DC1D\\234\\180\\&9\\205\\US\\v2\\236\\DC1\\DLE2\\ENQ3\\128\\138xQHD\\237\\157\\205\\GSj:\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\133\\EM\\221\\213b=3\\151G\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"rJ\\254\\228\\ETX7\\ESCMA\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\162\\US\\145@L=\\SI\\157E\\230\\252\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155R m\\215t\\DC3\\v\\150oz\\237\\150{\\175\\157U\\231\\230\\182\\253\\183\\&3\\ENQ\\196\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"g`i\\DC4\\137\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144i\\174~\\210\\233_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\\"\\\",\\167\\197\\DC2g\\RS\\237A2\\146\\227\\205C\\147\\184\\149\\247\\\"\\ACK\\182\\244\\240p|t\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"P0m\\174\\173\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\234\\&0\\GSr\\188\\138t\\148\\&9\\170\\SUB'\\224\\n\\159Q:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETXG\\159@/\\141\\220X\\GS\\220{\\205\\245\\221\\132&\\DEL\\210\\&7|\\171\\184\\147\\178\\154P\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\195\\204|@?[\\252\\243W/\\146\\133\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\146\\NUL\\SYN\\236;\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\177\\147\\231C\\206#>\\200e\\159\\ACK\\131\\217\\154GmT.\\199\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS|\\170YPO\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\236@\\240sW\\171\\&67\\192\\148z\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\243\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\135s\\233\\134\\249\\220\\198M<\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"kb/(\\154\\192\\&6_\\t\\225\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\CAN\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\162 \\197y\\199\\\\\\211\\150\\182\\214I\\ESC\\141Ct>?\\202\\NAKw9\\255r\\NUL\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\",\\146\\ETX\\138\\ESC\\132\\173\\165\\211\\167\\DC1P\\255\\178\\171\\248\\251l\\204\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\&4U\\197\\ACKt\\172_\\f\\234\\\"\\RS\\152\\STX\\206b\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250r\\141\\170\\152\\DC2z\\211\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\142\\233``\\206\\152\\241\\130\\DC1\\219\\197\\218\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\168\\243'L\\211\\194\\170\\204\\171\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\fR\\212\\220/\\EM\\131\\185\\US\\245H\\179\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165zXc\\249\\197R\\202m\\251\\220\\EOT\\219\\149,\\203\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\199\\DLE\\143{\\242\\DLE\\129N\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\DC3k\\209\\146\\155\\DC3\\154@\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\175\\&7\\254J\\178\\177d \\183b\\208\\184\\250\\NUL\\193\\166\\196\\154U'p\\137w\\222\\&9\\150\\DC4awO2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\RSZL\\152\\156\\240 \\147,\\193n%PF\\v\\135\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"foDu|\\164\\246\\212\\231\\239\\214\\248\\185J\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\160f\\254\\140\\189\\218\\194\\\"\\CANy\\182Vw\\251\\134\\176\\176g\\a\\148df\\NULD\\147Pp2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\DC2\\bo\\247U\\a\\240\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\181\\133\\210p\\133\\255|\\178S\\240\\130\\233@\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\213!\\194s\\247\\169\\231h\\RS\\177h\\155@\\154\\191\\t\\209\\132\\224g:3\\235\\228\\212\\145}\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\DC1\\226\\247\\247\\128\\&2U\\234\\188\\206ZWz\\143\\247$p\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\175\\191q|\\191\\US'\\205\\228=\\221n\\131Q\\168\\DEL\\205\\147i\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\149\\b\\168\\198\\&8\\241\\232\\156\\ETX\\EOTp\\253&\\137\\128\\200\\247\\242bz\\237|\\213\\181d\\166\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\227\\182I\\EOT\\167\\&7\\236\\RSPK\\NAK\\211\\134\\v+\\ETX\\145\\DLEY \\149\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\132`\\215\\&4\\191\\FS\\252`\\ACK\\156qW\\218\\196\\253L\\222L\\164I^\\221S\\200\\129>J\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\238\\a\\195\\190\\217\\242\\240\\232\\184\\vJ.\\DELX\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\249\\GSxnuUd\\179F\\130\\148?\\t\\203<\\DLEe\\170\\150\\168\\158d\\193.\\131s\\NAK\\219:\\203\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"<v\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\180nZ\\196\\145@\\179\\EMlZh%6\\175\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"PS\\192\\142\\133\\&5F\\185\\ETX\\187\\143gxE\\DLE`=oO\\154\\215@\\215\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\186H3\\SOH \\US\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172J\\162\\&4:\\SUB\\201g\\179w\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\202@\\131gr7\\150\\209\\158v-pg\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\133\\146\\222\\170\\131V\\148\\b*k\\140\\167\\198\\226G\\186\\215\\201\\b\\DC1R\\194B,\\ESC\\166\\185n\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\196\\209\\172\\157\\DC3\\177\\134\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\168\\&0j#\\229{.\\228R\\140_\\CAN \"","tag":"AbiBytesDynamic"},{"contents":"\"#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254}\\188k\\147\\230\\157\\DC31b/\\204\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159?\\153L&\\177\\DC2H\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"3X\\247\\133\\197\\155\\136\\EOT\\234*\\179T\\162\\153\\193\\185\\162\\248\\165\\216g\\SYN\\255\\214K6H\\159!\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\175\\205\\140\\156\\250\\NULq\\CAN\\132C\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"_\\185\\253\\217\\GS\\139\\t\\251\\223\\149h\\196\\138m%\\CAN\\\"\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"E(\\244\\250\\194UV]\\GSCH5\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249E(\\US\\231\\231u\\SI9\\EM\\137A\\160\\168\\ETB\\224\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"$;\\177\\180u\\214v\\132\\&9!O\\198\\233uFh\\250\\222f\\166\\150\\234Q\\210\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\130\\157C\\193,\\158\\190\\130\\231\\167C\\203T\\234I$\\234\\195\\t\\EM\\209\\213\\158]#H\"","tag":"AbiBytesDynamic"},{"contents":"\"+J\\130\\239-\\a(\\DC3\\t\\154\\249\\152\\156\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vLQ\\147J\\136\\153\\DLE\\129)\\f_U\\160C0k\\t\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\230s:\\252\\RS6\\v\\157NlH\\\\\\139\\ENQ\\171\\130\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\209:\\246|\\162t\\166\\142\\157\\\\\\231Fryz\\241\\237\\232\\156\\n\\233\\188C\\215\\213D\\130\\160\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\236\\171\\&0\\ESC\\148W\\233\\132\\&0\\176[.\\180\\145\\aqg\\200\\235\\180o\\206$\\EM\\153M\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\&8\\EOT\\183\\194JH\\205\\&2\\246\\254\\251\\132\\218c\\142\\EOT\\227\\245\\&5`\\180M\\144y\\142\\&3\\200zV\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172,d\\208J\\210Sh\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\244\\246z\\135'\\227xI+\\202\\251\\253\\DC3\\ACK\\DEL{\\178!\\141\\240]\\184\\161\\194\\131\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\";w\\216^\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190@\\161\\&5s)\\131\\240]\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238*\\198Af\\139\\235\\&9\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\218\\SIU\\153\\200\\SO\\156\\239L\\SYN\\210Z=\\212~n\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\220P\\200\\EOT\\\\BJH\\131\\199V1Y\\138G\\252\\237\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"D-\\215c\\191/c\\144\\237/\\148\\205i\\213\\221\\217\\DC1.K\\167J\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\&5\\DEL\\DLEf\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172*\"","tag":"AbiBytesDynamic"},{"contents":"\"|`\\179\\226]\\t\\208]cu\\136p\\DC2\\195\\r\\159s\\151\\170t\\149\\DC2<\\206\\209v\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\139\\ETX\\194\\149\\147\\225# \\132\\195\\146\\248>\\STX\\NUL\\NUL\\173\\229\\248\\216K\\254U\\202\\162\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145J\\DC2\\167\\144\\DLE\\139\\NUL \\139\\228\\221\\172\\f9\\154\\151t\\164r\\217\\208\\212\\236i\\FS\\223;\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\RS\\144\\146\\148+t&}^\\145O\\236\\232\\221(\\142\\SIK\\STX\\250\\215\\186wu\\171\\USa\\192\\\\8\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235B]\\f\\192\\ETX\\143~\\f\\b\\SO\\179U\\132\\135\\176P\\192\\&0\\179\\144F\\151#!G\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\DC2\\138\\DC2\\158Z\\182\\&2\\152\\142\\134f\\245\\145\\179r\\FS\\134\\&4h\\STX\\199s\\223\\155\\143/~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\249\\132\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158r\\207|~=\\150\\208C\\tP\\ACKan\\226\\203l\\232\\DC2r\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\233\\NUL\\162\\SUB^\\ESC\\155H\\160\\SI\\227N\\192\\&8\\207\\228\\&6\\232\\&3\\151\\197Vs\\ESCya\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\191\\233r\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"6\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\183\\239\\213\\213\\f\\211@P\\130\\ACK\\221\\&5\\139\\251\\RS\\130\\f\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\DELPf\\200M\\\"\\190\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137xJ\\177\\EM<\\ESC\\134\\RS\\244\\SI\\175Y\\162f\\203iV\\147\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\181\\170\\231W\\DEL\\224\\\"\\n)\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\232o\\199\\214\\133l\\ENQ+\\148\\157u1\\181\\209\\151s5\\168\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130R\\148\\207p\\152\\233\\174\\187$\\223$\\134\\215\\141\\206\\224=\\a`\\190\\&6\\223\\ETX,\\185\\192\\244\\209{\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\STX\\DC2\\221\\241\\216+p\\158)\\128\\RS\\249T\\n\\\\y3\\245\\194\\DLEH\\148\\173r\\f\\198\\142\\254E\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135x\\r\\201\\a\\RS\\244\\233m\\141&0w\\181V\\DC3\\254O\\208\\150\\188\\240\\FSYf\\141\\154\\138\\147F=\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\243\\247>\\246\\n\\t\\142*7\\204\\128\\130\\f\\242\\SI\\170\\144Z\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\144\\162\\157(\\f\\236\\ACK\\203\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\&6\\252\\230\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\144\\146U5\\238\\162!i\\132_\\SO\\235\\DC2\\239\\DC3\\165\\ACK( !\\245\\194\\145-w\\200*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189O\\250\\138}\\141`\\137\\247\\218d\\225.\\246\\175\\165\\132\\211FH\\164\\&3\\136\\v\\181\\165t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2_H\\200\\172\\236e\\133]\\253b\\DLEE\\224\\&7\\223x\\224\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\253\\aI%M\\169\\178\\226\\EM.\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\134\\255P\\SOH\\156\\DELf0W\\212~\\255\\211\\224\\178\\213@\\136\\165\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\147m\\166\\214\\207\\135r\\185\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\194*\\148^M\\186n\\214\\184_Cy\\v\\238'\\138\\185\\253\\154\\200b \\138\\144\\144\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\166}\\219\\f\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"o%Y\\GS\\139\\SI\\131\\240\\215`-\\132\\\"\\178`\\GS\\181'\\240\\244q\\NUL\\202Q\\145\\143\\176y\\198#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\CANd\\136\\209<\\174\\241\\FS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171Qm\\245\\207e%\\221\\&9\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\237gX\\225\\177\\144\\216\\193\\205*M\\149\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\238\\&5\\195\\141\\229D\\254\\190\\167\\157\\241\\228\\255\\255\\128\\156Ms\\202\\191nO\\152\\206\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\" \\173\\158\\201\\137\\152@\\NUL[f\\165\\SO\\191\\\\'\\134\\129\\177\\131%G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\174\\140\\138\\213\\154)\\153L\\SUB\\DC3\\138\\153\\245\\t\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\195\\129*\\131\\213\\231Em\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\140\\130\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\DC3\\214<\\140k\\209t`\\187\\152\\NUL\\244\\198\\204O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207+\\221\\182%g\\233?\\157\\176\\153\\a\\131\\SIJ\\ng0\\133\\137\\195\\DC2\\130dZI&\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\";\\226\\152\\150\\206jY\\154\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v1\\214\\223#.S\\151~\\219\\DC2\\141D\\238MhX\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\228\\161\\230\\141\\244o\\194\\229a\\136e\\211yR\\130\\174@k\\168\\156\\246\\n\\211$\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234H\\STXO8v\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"W\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\221)G\\215\\STX\\154\\NAK\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\176\\134y\\151\\211\\161\\175\\152\\SO\\DLE\\151\\136{a\\168\\138\\&1d\\DLEO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\182\\255\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\159\\209E]\\DEL<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\DC1\\169\\249\\241A*h\\221\\169\\132\\194,\\EOT\\201z\\166\\EOTR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170f\\SO\\146K\\201\\150\\DLE3Q\\166\\149~Fe\\SO\\170\\136F\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\154\\233\\141\\SI\\189\\202\\ESC\\158\\185C`\\240\\173\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179Q\\230\\186\\184#\\ACKxx#\\202\\170\\140\\142O\\142\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"h<>\\220\\NUL\\200\\225\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"5\\182\\222\\137r\\240\\&1\\134\\217\\SYNVzN\\SUB\\242\\129\\170\\211\\201I3\\RS\\ACKM\\181]\\184\\208}\\255\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209!\\135w\\r\\222\\NAK\\208\\137\\ETX\\211\\228\\247gEf\\r\\161\\CANx\\GS\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\190E$G6m\\195\\217>\\176a$GGu\\183\\158m\\156\\213w\\v1\\230\\216\\141G66\\233\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\CAN\\180L\"","tag":"AbiBytesDynamic"},{"contents":"\"IG\\214Ep\\175\\176B8N\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\160\\a\\237\\147\\ESC\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\235e\\241g\\149\\&9\\EOT#\\ETX\\252\\158\\&9{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\134\\161\\198\\152<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\181\\149.\\174\\177\\166r\\247\\v\\204\\NAK8ab\\220\\STXwPn(\\FS\\165\\175\\ACK#\\168\\251\\227g\\ESC\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\".\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\ESCk\\145\\&2BZ$\\188\\207l2\\t6o\\193\\228\\152\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\SO\\186J\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\145\\238\\232u\\146\\214\\192\\200t\\CANf\\220\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\151\\168[|\\156\\168\\201\\159P)\\144k\\230)hN\\210\\ACK\\186o\\176\\164\\231\\ENQ\\184j%c\\174FJ\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\246\\234Dcd\\184\\131\\&6$\\SIx\\176\\193\\155^\\210-j58\\175\\230\\149\\150\\DLE\\166c\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\r\\200\\197\\231'|\\194\\176\\158\\164\\247+_\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168%aO\\199E\\233\\f\\175\\184\\247\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"n \\a#2h\\a,.0\\b\\250'\\SI\\142XVY\\235o_\\240\\SYN#hYY\"","tag":"AbiBytesDynamic"},{"contents":"\"$\"","tag":"AbiBytesDynamic"},{"contents":"\"++A3\\SOH\\219\\141W|CC0\\n\\191\\227!\\179\\&7|\\221\\202\\v\\239|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253EM\\ACK\\137\\230\\187\\174tu\\245\\179f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\254Zy\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\140\\ETXt\\250\\168\\227\\&8+\\241\\165,\\n\\149\\SUB\\240\\144\\213\\136A\\145A\\250gk.\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Od\\235\\237#\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\SO\\ESC\\206\\239\\169\\ETXt\\228Z>U\\SYNmc\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\234,\\202\\179Gm\\255z\\155}\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\232\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\GSi\\248\\DC2yE\\158\\160W\\150\\GS\\NUL\\216\\134'\\190\\173j<mrgi}\\159\\SO\\155J\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"/S\\128\\246\\EOT\\158\\183\\225f\\201\\&3>\\137\\157\\163\\246k`[?#u4\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245a\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\237\\229\\165\\NUL/%\\214\\195\\149\\182\\160\\162\\\"\\190\\239qe\\168\\202*\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"1xZ\\216,\\241NA\\a\\147\\139A\\154\\204L\\230\\156\\191\\&6v$\\194\\184\\&4\\148ga\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\225U\\165\\188\\133\\198\\227\\230\\136&\\161\\SYN\\229@N\\227\\\"\\n\\SI\\\"\\235\\220\\ESCg\\152!P\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\146Vk\\207\\227\\226\\196\\SO\\145\\236\\140\\239]\\158\\CAN\\191w\\216{AT\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\152\\210\\163_N\\181_\\EOT\\153\\241 8D\\182\\131C\\161\\&7\\DC2\\149\\SI.5&\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\f\\DEL\\153WZL\\134\\176\\146]\\173=\\189k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180L\\RSk\\159I\\EOTe\\178\\129\\DC1\\157IW\\243\\b\\245\\205|\\246\\177\\131\\157\\192\\144\\172d\\199\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\f\\DC3.\\148J_\\EM L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205g\\209\\231\\152\\129\\US\\208?\\129\\220\\RS\\154\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\233\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX[`c\\188\\133\\198\\207\\151\\151 u:I\\226[\\201\\221i\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191/\\RS2\\147\\159\\210%\\149\\154X\\239}\\168\\SO\\186#I\\161\\DC3\\204M\\133\\217R\\DLE\\240\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\197C}5x\\188\\209\\NUL\\186\\173\\128f\\213\\221\\138\\RS\\209\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\&4\\150\\228\\RS\\242\\137l^Fi\\240\\t\\190\\235\\181\\\"y\\RS\\243\\ETXS\\228\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"IC\\162.\\245\\128\\222\\224A\\EM\\249)f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vU\\155j5\\231\\130\\\"\\236\\131\\173\\202\\238\\as-s\\209qQ:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\138\\220P\\255\\SOH\\220\\206/\\216#\\218\\187\\188\\&6\\250\\192\\176\\152\\188M\\137\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216)O\\EM\\137rNU\\246\\DLE&\\180T~\\219\\133{\\167\\151\\146\\150D\\201%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\191|z9\\219\\189}6\\EOT4\\139\\\\,\\185\\250P7\\128'\\232>\\212\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\238a\\162\\208v\\145A\\243K\\159|\\135\\232\\140T\\213\\171\\STX\\NUL=\\160[D\\223\\SOH\\228H\\161\\ETB\\ACKr\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\186\\212\\DC4UK\\189\\139~G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\a\\159>\\168od\\140V\\USc \\189\\159a\\208\\NAKE\\DC3\\136\\251\\DC4\\195I#\\EOT)\\212\\193RH\"","tag":"AbiBytesDynamic"},{"contents":"\",\\128ps\\129\\166\\&4\\134\\131\\&3V\\217\\248\\157\\145\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\229\\EOT\\149\\213k\\STX\\194\\\"\\131\\171\\175\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\252'4\\SYN\\238\\ESCM\\FS\\162\\231\\213:\\181\\147\\165&\\221_s\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\250\\FSN\\231\\204\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\ETB\\137\\197\\162\\168\\190\\228ngD\\158\\233\\215\\RSkw\\158\\232\\220\\169\\228\\GS\\218\\SOHh\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\181\\151\\DC4\\160\\DC3\\162\\&0U\\183z\\185\\163\\242\\166B>\\169\\162\\242\\&6\\252_\\220\\232Z\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"U;\\166>\\130\\a\\198\\\"\\147h\\161;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\&4F5`\\188=\\250\\156\\169\\201K\\158\\165\\144\\172J\\234\\129Y6f|v\"","tag":"AbiBytesDynamic"},{"contents":"\"z~c\\250%\\184\\NAK\\ETB\\169\\226xj\\227\\243H\\SUB\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\191\\235\\242C\\195dX\\DC2\\253\\150d\\245\\186\\223\\ESC\\246\\132\\211AC\\231\\&8\\SUB\\FS\\233j\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB \\169\\GSx\\158d\\220\\134|\\187tl\\151E\\225\\ETB!\\DC4\\245\\254\\198\\EM\\DLE\\152\\RS\\DEL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1548190080"],"tag":"AbiUInt"},{"contents":[256,"284"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689598"],"tag":"AbiUInt"},{"contents":[256,"915"],"tag":"AbiUInt"},{"contents":[256,"36748813002222473599389319307085878568946294150319392623259741654309244301808"],"tag":"AbiUInt"},{"contents":[256,"55456885922616822357521684375594624268641308509770757563666000326864912270487"],"tag":"AbiUInt"},{"contents":[256,"121"],"tag":"AbiUInt"},{"contents":[256,"27778970207806998636898898341328305661412466662667290415759915793976392976145"],"tag":"AbiUInt"},{"contents":[256,"63556673624205171408234457303716380453280882035832736942605639513672075952688"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639683"],"tag":"AbiUInt"},{"contents":[256,"13"],"tag":"AbiUInt"},{"contents":[256,"100281469660616721813014649491170459444873131170831076621864784265149327106049"],"tag":"AbiUInt"},{"contents":[256,"606"],"tag":"AbiUInt"},{"contents":[256,"50883232140675025976059303232919259532710365530430308142803236251772004850013"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"91601069900679834850010439161220612597960785509993018516101486698323187312014"],"tag":"AbiUInt"},{"contents":[256,"927"],"tag":"AbiUInt"},{"contents":[256,"1889835546040277390170889570415469323326816644398717"],"tag":"AbiUInt"},{"contents":[256,"87088401159021017734997141752648857383851949093661792142760319416559903616952"],"tag":"AbiUInt"},{"contents":[256,"91968509109005209631595064768645575427596364998716304812744435597466399646924"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"828464665207160109837083072187"],"tag":"AbiUInt"},{"contents":[256,"29366471357856572670917651162482929158956892395222833935187743199829114040543"],"tag":"AbiUInt"},{"contents":[256,"53056261792380853228629440925537898668441578387076496950107105125312419133503"],"tag":"AbiUInt"},{"contents":[256,"52142780398097088390452218541473554913402823474475553272163723022729685913159"],"tag":"AbiUInt"},{"contents":[256,"33166849651663542968731802404151020462056121273799267119213323186461505141366"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908084"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639038"],"tag":"AbiUInt"},{"contents":[256,"1538972688"],"tag":"AbiUInt"},{"contents":[256,"33171365648142443627061527197921323494241918731973093124513491840564447309402"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639639"],"tag":"AbiUInt"},{"contents":[256,"108531132143970795731611080226271225227225529753068562184065170429524485399937"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"68"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689603"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"7470406160625662757832324832196447917357762900187024562644579275341328899483"],"tag":"AbiUInt"},{"contents":[256,"30437009489302600340300669453957633073790020145715262187538557314966982307577"],"tag":"AbiUInt"},{"contents":[256,"32321899986456529265163817358006894059033449491907554288440045032693570345671"],"tag":"AbiUInt"},{"contents":[256,"107"],"tag":"AbiUInt"},{"contents":[256,"253"],"tag":"AbiUInt"},{"contents":[256,"37535951107666392631916739020198785849765119278992500928451298699283634423836"],"tag":"AbiUInt"},{"contents":[256,"58464088067387899544553487658436162036393163265940984996616369477451614872757"],"tag":"AbiUInt"},{"contents":[256,"82570554966917747233843219492315858852960111804481505316763656579707353197913"],"tag":"AbiUInt"},{"contents":[256,"604800"],"tag":"AbiUInt"},{"contents":[256,"18541216741883280515609384956372416579422643937953473863014509379109870509097"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639851"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035133"],"tag":"AbiUInt"},{"contents":[256,"1530948447"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"68008614916278622462653099698917859391909026898928376639304246714155563685525"],"tag":"AbiUInt"},{"contents":[256,"108595486741051338661744273473443121071964608573996716644300785177032054105622"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211777"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639921"],"tag":"AbiUInt"},{"contents":[256,"1526102423"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"28162514264337593543949546"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"130"],"tag":"AbiUInt"},{"contents":[256,"35656968036345322172616159859523738012525126188655419787691130114838427640667"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"552"],"tag":"AbiUInt"},{"contents":[256,"71529096011909880460657797701736710264700882478618094849934125878274092742489"],"tag":"AbiUInt"},{"contents":[256,"9999"],"tag":"AbiUInt"},{"contents":[256,"82614273693262168571809586803966302653230791304534415181742907631517792632653"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"848"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609600"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553539"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858884"],"tag":"AbiUInt"},{"contents":[256,"62021965665712002449534132756037741622940628375922656440981961757070037025864"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270f","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138b","0x00000000000000000000000000000000000000000000000000000000000020ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"74204770044163506088477803588921522082038128305109849013381405968168934157020"],"tag":"AbiUInt"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000025","0x00000000000000000000000000000000000000000000000000000000000096d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a7","0x000000000000000000000000000000000000000000000000000000000000101b"],"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":["0x000000000000000000000000000000000000000000000000000000000001bf6c","0x0000000000000000000000000000000000000000000000000000000000000079"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063160","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"823"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bc","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"10"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51b","0x000000000000000000000000000000000000000000000000000000000000e344"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"2863649071193839434412965160103248045874768648618723130234877293132929278610"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b3","0x0000000000000000000000000000000000000000000000000000000000001392"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"108965222701879777072070385621703019415181898936641271382134739686933186365829"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead0","0x0000000000000000000000000000000000000000000000000000000000000060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055774","0x0000000000000000000000000000000000000000000000000000000000000590"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"86398"],"tag":"AbiUInt"},{"contents":[256,"63628161353295408668286904521763582213966442072881483217510713200211027947600"],"tag":"AbiUInt"},{"contents":[256,"102280455128364028251872994444829543209707660093706874666335815430516582708077"],"tag":"AbiUInt"},{"contents":[256,"13669018908054142766060419639871344425787604"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072e42","0x000000000000000000000000000000000000000000000000000000000000dcc1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0xC082D5F54430e6Cd6Dfc7D409dcE2F2fA9330698","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x000000000000000000000000000000000000000000000000000000000000d8f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b841","0x000000000000000000000000000000000000000000000000000000000000136b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"92306969833435784742809507055295578846964758944168618501061600908955570979359"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4a","0x0000000000000000000000000000000000000000000000000000000000001388"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"37464180897233054588342408794559589853495508517253485750321881546548723480556"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c247","0x000000000000000000000000000000000000000000000000000000000000058e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"14802208518126272166129227502152450238529808881262480810582394036119637406819"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac1","0x0000000000000000000000000000000000000000000000000000000000000016"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"72952215841361164968836272687353433624563517575214103701820871933209234918177"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff8","0x0000000000000000000000000000000000000000000000000000000000000019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"2000003"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f5","0x0000000000000000000000000000000000000000000000000000000000008c81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":[256,"106"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5b","0x00000000000000000000000000000000000000000000000000000000000000e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"72381866150999241982766543127301143816199813748551686621793325657842790553743"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x0000000000000000000000000000000000000000000000000000000000000061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"90309003583131797467756397748497263040443982907257836835926711594949331216335"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x0000000000000000000000000000000000000000000000000000000000000fb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636337"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e9","0x0000000000000000000000000000000000000000000000000000000000004f75"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858878"],"tag":"AbiUInt"},{"contents":[256,"63143888798389061964540647877372918100061972702386554216607743315051155591421"],"tag":"AbiUInt"},{"contents":[256,"107124956051361307458409602870924888381679803470414124540942027327978753168713"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x000000000000000000000000000000000000000000000000000000000000a51c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066815","0x0000000000000000000000000000000000000000000000000000000000009203"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270d","0x0000000000000000000000000000000000000000000000000000000000000032"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d828","0x000000000000000000000000000000000000000000000000000000000000dcff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"1525713504"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x0000000000000000000000000000000000000000000000000000000000002327"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa0","0x0000000000000000000000000000000000000000000000000000000000000442"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"30"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211774"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b39e","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"1542685341"],"tag":"AbiUInt"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ea76","0x00000000000000000000000000000000000000000000000000000000000039c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052405","0x000000000000000000000000000000000000000000000000000000000000134e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"87589240056617553329961238190857355186663260832898987531803920251112322858409"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021648","0x0000000000000000000000000000000000000000000000000000000000008a05"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"25546225977553363378175889096580805264547388533082268532872"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x000000000000000000000000000000000000000000000000000000000000eb6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071369","0x000000000000000000000000000000000000000000000000000000000000d07f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c2e7","0x0000000000000000000000000000000000000000000000000000000000005721"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005d","0x000000000000000000000000000000000000000000000000000000000000ca40"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c439","0x000000000000000000000000000000000000000000000000000000000000133b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001b","0x0000000000000000000000000000000000000000000000000000000000001392"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb05","0x00000000000000000000000000000000000000000000000000000000000029a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1b","0x0000000000000000000000000000000000000000000000000000000000000fb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]