[{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639638"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5f","0x000000000000000000000000000000000000000000000000000000000000568e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"63463913302649596094223908914177319556923917882522615861383663055561449565327"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001386","0x00000000000000000000000000000000000000000000000000000000000000e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"75735050330227319473773732477161721564472277197702893006474927969813939255125"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x00000000000000000000000000000000000000000000000000000000000000e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"Error(string)\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf4","0x00000000000000000000000000000000000000000000000000000000000089b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000101","0x000000000000000000000000000000000000000000000000000000000000e346"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59a","0x0000000000000000000000000000000000000000000000000000000000000d68"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d53","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"89553666196767481823250752979290537787390077170106727953308308104595800691331"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950335"],"tag":"AbiUInt"},{"contents":[256,"15"],"tag":"AbiUInt"},{"contents":[256,"46"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875df","0x0000000000000000000000000000000000000000000000000000000000007a00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"38259890473429402687269483714376901249401242571112852463810224773687714900455"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000020346","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bda","0x0000000000000000000000000000000000000000000000000000000000004b96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"540734978228963597669026549339369972503755175984433896218434301453377004520"],"tag":"AbiUInt"},{"contents":[256,"109165931830066498293688606308176237076308720747180049596666498304451996102902"],"tag":"AbiUInt"},{"contents":[256,"2000"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"64664910376347112190647364229366964600982023948377751294134597881101891417026"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628416"],"tag":"AbiUInt"},{"contents":[256,"93338764980235063046698235350058547769488105203810199310285046538697796972354"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb14","0x0000000000000000000000000000000000000000000000000000000000000086"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2b","0x0000000000000000000000000000000000000000000000000000000000007d93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf69","0x000000000000000000000000000000000000000000000000000000000000260b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"76019678095185701426082594866822225484026805569938718428992026461192905923347"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000329b9","0x000000000000000000000000000000000000000000000000000000000000bea3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f4","0x0000000000000000000000000000000000000000000000000000000000002321"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c5","0x0000000000000000000000000000000000000000000000000000000000000231"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"62248271515709547082393923336416861311741642234026261159928333364539027746647"],"tag":"AbiUInt"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731855"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae4","0x0000000000000000000000000000000000000000000000000000000000000380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037735","0x000000000000000000000000000000000000000000000000000000000000134f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"68"],"tag":"AbiUInt"},{"contents":[8,"22"],"tag":"AbiUInt"},{"contents":[8,"39"],"tag":"AbiUInt"},{"contents":[8,"31"],"tag":"AbiUInt"},{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[8,"119"],"tag":"AbiUInt"},{"contents":[8,"155"],"tag":"AbiUInt"},{"contents":[8,"36"],"tag":"AbiUInt"},{"contents":[8,"88"],"tag":"AbiUInt"},{"contents":[8,"69"],"tag":"AbiUInt"},{"contents":[8,"86"],"tag":"AbiUInt"},{"contents":[8,"89"],"tag":"AbiUInt"},{"contents":[8,"39"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[8,"208"],"tag":"AbiUInt"},{"contents":[8,"8"],"tag":"AbiUInt"},{"contents":[8,"200"],"tag":"AbiUInt"},{"contents":[8,"87"],"tag":"AbiUInt"},{"contents":[8,"224"],"tag":"AbiUInt"},{"contents":[8,"55"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f4","0x0000000000000000000000000000000000000000000000000000000000001395"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"}\\145\\175\\169RT\\250\\255\\147\\198\\178\\181\\221v\\206#\\191\\171\\219\\172+\\DC4\\205F\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224N:\\NULR\\t\\SUBiE\\202\\RS6\\166\\224\\&8\\155\\215\\242\\204\\250\\182\\v\\232\\DELj\\t\\231\\229\\138[;y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\148T\\148\\148\\147+\\ENQv`\\140\\250\\192\\159\\134\\214\\155\\200pdPx\\214\\SO\\199N.\\128\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\177K\\240\\SI\\NUL+e\\211l\\172\\175\\184^n\\252\\140 7\\151\\240j/y3\\NUL\\251\\&62\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\230\\v\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\228\\185\\SYN/g|\\236\\206\\205D\\219\\SI\\\"d\\195,\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173V\\ETX\\187\\145L5\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\174C\\139\\161\\164O.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\ETX\\DC2_ \"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\201\\&3\\203PX\\132\\236\\196\\183\\169)|C\\208I\\SOH\\SO\\181\\129\\209\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\",s\\168^Ts\\ESC(\\162\\DEL-k\\216\\&8i#u\\202\\218\\SOHD\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"|3we\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\ENQ\\231Q\\154\\241\\195\\230\\b9\\154\\NULK\\180\\174\\&3\\ENQh\\161c\\180\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"x\\144\\176\\160CJ1ul\\184\\172\\190XN=\\200\\170]\\251ZO\\251\\rHS\\253]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\ETX\\144\\246^~\\142\\US\\v\\175\\SI\\193\\207Bq\\206\\238\\205Ic\\235\\163\\230\\205\\144\\141+\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\239aO\\165\\206\\219\\183\\&1\\\"\\147\\142\\SYN\\137\\192\\DC4\\254\\171\\v~\\167H\\152xk\\183\\172!\\202j\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252c8\\DC4\\FSb\\201\\SUB@\\253\\129\\132\\253[\\DC4\\152X\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151Z\\145\\SI\\138\\220p\\140\\163\\212\\186\\139o\\143\\202\\FSF\\EOT\\\\\\DC1\\230\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\229\\247?\\194\\236\\245\\177\\&8z\\146\\179d]\\233>\\170/\\173yb\\167\\138f\\188\\NULB\\250@\\207u\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206_\\190S:\\136\\234a\\173@wl\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\137s\\246J\\151\\NAK\\242\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145H\\185\\244k\\210\\154\\DEL\\148\\US\\172;\\243\\253\\r\\130\\160\\227\\154\\198\\199\\235l\\EM\\235\\226\\&66=\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\198X\\254s\\252\\DC4g\\255\\DC47\\r3\\194\\251hQ\\214\\243\\148\\217\\143\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\139,\\ETB4\\204/n\\203vW\\222\\176\\134\\174\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"I}\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\250*\\166\\\\\\NUL\\136'>X\\239\\176\\184\\STX\\134\\251\\169\\252\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"^>\\162\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\219\\199\\146P\\154n\\222e0\\\"\\168\\b\\ETX\\206\\213\\169\\199\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\DC4\\171\\234ze\\150p\\178\\DC1\\164\\198\\175#U\\GS\\EOT\\187\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\210j\\150P6\\244\\247|\\185\\129\\173\\NULfC\\145T\\170\\202\\211Kg\\USw}W\\174\\193$\\159}\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\142\\214\\234\\236\\233\\201\\179\\151\\NUL\\229\\238\\t\\SUB\\CAN\\188M\\174\\234f[\\t\\130D\\251s6\\168\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEm\\150\\254\\217\\134\\188\\220\\178:\\164\\249\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\150<\\SOH\\174\\EOT|EG/\\136}|\\141\\142K\\228\\223\\233\\167\\155\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158=\\\\Z\\US\\185\\DEL\\146\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\221\\&0N\\133\\FSA\\FS0\\136\\ESC\\DEL\\202~\\SYN\\STXYiSMI\\r\\DC1\\200\\r\\206NF\\ESC7\\207\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\182\\b\\138-G\\219\\f\\217h\\EOT\\DEL\\ACKg\\SO[\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\150\\NAK\\223*\\RS\\ENQd\\145\\197\\CAN!b\\166j+p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB5\\179\\DEL\\158@\\154\\DELY\\216P\\245S\\170O}\\132C\\ETB\\151l\\239ui\\222e\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242=Z\\154\\185\\182\\205\\226\\&2\\237;WX\\183zHrK\\EM\\211\\SI\\DLE\\SUB7\\209\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\244\\140\\137H\\ENQ\\201:\\135\\142\\193\\DC3@&\\190,\\209\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\&6&,\\213\\ESC\\177\\225\\SYN\\187\\211\\171\\249\\248\\ENQu\\200\\221\\166\\249O\\147\\FS\\232\\142\\213'\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\218P\\159MW\\155\\220w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\b#\\240\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\200sd\\226:\\198<|H\\STX\\DC4\\218\\196\\196\\217NCj\\v\\181\\ETB\\165\\EOT\\236\\NULo/t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199,\\181\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\">0\\205\\FS\\148Ar\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237E\\ESC\\144\\207\\237\\SI\\192r\\150e\\203E\\153\\DC2\\246\\197\\NAKU\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207~\\182\\214\\238KR\\156[\\SOH\\132rs\\223\\156\\150\\130\\DELI\\221\\250\\220\\216\\128,Z\\182\\165\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\252\\144\\b\\NAK/\\211\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"w}3j\\DC1C\\140_\\150\\SOM\\US\\179\\206\\n\\234|\\t\\233\\ETX}\"","tag":"AbiBytesDynamic"},{"contents":"\"/2\\199~\\SYN~\\235\\DC19\\250\\191c\\242\\157\\234\\249m\\235W\\204\\249d\\174\\169S\\181w\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\182\\134y\\146\\154\\t\\235\\DC4X\\147p\\192\\234\\133\\fT\\180\\&5\\SYN\\154s\\136\\132t \"","tag":"AbiBytesDynamic"},{"contents":"\"?\\ESC\\DC2X\\236r\\158\\220\\134U(#\\DEL)\\252l\\224c~\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"_R/w\\153\\&5\\SI\\a\\ESC\\170\\SYN\\168\\233.}Ym\\248\\160\\135\\\\Z\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\SYN\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205_k[@\\FS\\203A\\217\\179\\227wZE\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"O*/\\DC3\\187\\GS\\208b\\205\\145\\ACK\\t\\251X\\180\\161\\235\\&5\\240\\&8\\188\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\200)\\130\\252F\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151Y\\135\\218\\&1l!JR\\234\\128\\DC1\\ESC\\217(\\220\\227\\178:\\135\\SI\\203M:\\190\\203a%B\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"' \\155\\152\\NULZ\\FS\\ESC\\135\\213\\129\\151\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\167\\160\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\")\\208\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"O:\\246x\\156\\161\\245|\\164\\a\\192Li\\223\\161\\STX\\144t\\220\\198\\210\\ESC\\140\\240\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\210L\\233\\235Z\\SI\\193\\130\\129C\\182M\\228F\\206\\&6\\232\\234X\\fF\\187\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247!\\ACK\\209o\\168'\\132\\245Z\\SO\\191\\170\\226!\\192\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\216t\\252\\220\\148\\US\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\143J\\236\\139+\\180Z@\\130$\\178\\218G\\192\\ESC\\160\\SOH\\147\\223d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215O\\249*\\130\\178\\239\\130\\239Z\\NUL{\\197\\\"\\ENQ\\DC3\\DC3\\183Q\\240Q\\137$\\231\\147\\&6\\174\\&6\\235\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\165\\166!J\\196\\f\\134\\214M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\165\\191h\\180K\\ACK\\185\\189\\166c\\247\\221\\131&\\236\\174\\214\\188\\f\\200U(\\192\\224\\217\\134eo\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\SOH\\247\\202\\228X\\179c\\131u\\252\\169\\179\\141\\220\\219(\\163\\212U\\RS\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\r\\fj\\206\\159l\\172h5\\135\\EM\\220\\180\\240\\209\\204\\140(B\\f'\\246{\\248\\155\\171\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\174\\183gr\\159An\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\241\\233\\131\\156CP\\200\\248\\DC4\\185\\169g\\222cB\\193a\\171\\179\\161&\\142MG\\NAK\\154\\199_\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\131;\"","tag":"AbiBytesDynamic"},{"contents":"\"2O\\206\\168\\195\\&7\\176\\b\\241\\165\\131\\242\\155z\\n\\182-1]R\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\" &V\\212|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\240\\224F\\200\\173\\178\\NAK\\162\\SUB\\236\\160K\\DC1\\146i\\167@\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187G\\a\\178\\155(eui=,\\234\\160C\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167A\\235\\NAKWw\\199\\137(\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\171\\&3f/\\ESC\\227\\&7\\212 \\233\\154h\\b%\\151\\128QF\\249\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\185\\DLE\\229\\239\\EOT\\142v2L#\\130\\249\\198\\150\\&1\\199\\ENQ\\191\\167\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233:\\245\\227a%\\194B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154)]\\DC2\\165\\223\\160<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221N\\190+\\153\\236\\134\\187\\200\\177:[g\\v\\157\\180\\a\\245\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\131\\t\\170\\173>\\164\\233\\156\\135g\\226\\158F\\161.XEF\\251\\210\\253\\t8\\143\\DC4\\b\\FS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\v\\192g\\170\\&7\\166\\138\\188d\\213h\\185\\178F\\SYN\\SI\\226\\185c\\250\\212\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\SIn\\247ZFf\\177|\\168*a\\166\\255\\220\\&2\\138\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196(^\\198\\176y&2\\128l1e,\\180\\210\\223S\\177\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\220\\130\\183\\&20\\161\\201\\224\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\171\\SIs\\235+\\174\\185\\ENQl\\144\\210\\154piD\\177\\176^\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\229\\ETXn\\NAK6\\226\\DC2\\216\\196\\243\\168\\250\\251W^0<\\245\\137\\161^\\bu\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\228\\243\\253\\136t\\CAN\\190\\NAKP\\216\\US\\152ra*}\\209HVz\\SI\\242\\246\\STX\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\239(\\214/\\165\\EOTt\\197y\\161[\\255*\\DC3\\134\\241k\\232\\176\\187\\&0\\240>q+O\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"No\\ETX\\r?\\140\\207\\249^/\\191\\180sj;\\157\\168\\DC2\\187]c\\210\\179\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\132aT6lR!\\241s[\\255\\146e\\FS\\\\\\251\\RS\\135A\\222\\148\\141\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"oIo$\\232\\130\\196\\DEL\\167Fhjt\\SOG1\\171\\136\\189g\\t\\210\\168\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180yo:\\b\\DC1:LH}\\STX\\147\\a+{\\240\\&3\\151\\161_\\207\\216O\\190{\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\219\\149Yei7\\236\\&1C\\t\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\";\\NAKjj\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\226ij\\235Bg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\200\\172AF\\219\\144pbR\\247\\b\\a\\141\\158Q'(\\201\\ESC\\184\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\SI0\\170sS\\236\\172\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\\"\\190oFu\\157\\199\\233\\222\\204lh@$\\251\\233}\\250^\\t4\\195`p\\195&\\141\\220\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\208p|\\148\\228y\\236\\154 \\146M\\153g\\160Gk\\fm\\161\\128S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138#Q\\184a\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"[[\\209\\&7)i\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\177\\156\\145\\243\\251(\\v\\182g\\194pT\\129a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\253&\\174\\146\\&1\\229\\198\\245\\181,j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\137@G\\204\\249-3.\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\192\\138\\170\\184\\161'\\STX3o\\SUB\\155\\DC4\\239kD\\159\\154\\206%~&\\158\\133x\\ACK\\DELAX\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\188N6\\157\\SYN\\137\\146|\\249\\220\\DLE\\175\\244n\\184\\241k\\182M`88V\\SOH\\\"\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\155\\NAK\\228F\\200LS1:\\f\\175\\208\\224\\244\\211\\234\\171\\166z\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\":\\210i\\159\\151D\\\"\\ESC\\225\\162\\231\\174\\&8\\239N\\169\\199\\168\\243\\207\\EOTA\\187h\\EOT\\174\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\235\\SI0<\\175\\179\\DELc\\RS\\139cl\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\189u#\\250hG\\a\\182\\&5\\251/\\131\\249\\231\\ESC\\STXD\\204\\252Yt\\211\\NAKM\\ENQ\\US\\182\\183K\\191\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\USm\\159-t\\247\\167\\GSI\\254l(~\\NAK\\161\\232o\\148\\&1\\198\\ESC\\227\\NUL\\177\\148\\142\\153\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMS\\197\\t/\\199\\213l\\235=\\206l\\SOm;\\226\\196\\246\\168\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\235\\202aR\\f\\194p^\\US$pk\\SIA\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"~K\\190\\170;x\\STX\\149\\178_\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220.pX<\\ENQ\\245\\t\\222|\\230\\ESC\\221\\134\\203z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139 \\169\\226s_\\135\\207\\255\\231\\173\\152\\193~\\224\\222x\\DC3\\DC2k#\\204m&#/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\ACK\\144\\SYN\\207\\221\\250\\150\\US\\\\\\DC4D\\235\\215\\208\\&8L\\214\\227\\189\\219N\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"c\\194\\161\\210w\\211kIk\\152\\EOTy\\204m\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\ACK\\SIO\\171\\209\\198T\\DC1\\247~,\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168o\\SOH\\187Ta\\165-[\\DC4x0\\SYNI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\DC2\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\218\\156\\215X6-\\253\\130\\STX\\205\\176mN\\161h\\147\\251J$Z\\181}\\247\\&6\\131\\191\\188\\FS\\162v\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US]\"","tag":"AbiBytesDynamic"},{"contents":"\"clY\\190\\v\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"ahD\\DC4\\158\\144\\193)D\\143cc\\222\\158\\160\\136\\176&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\146\\&9\\213;\\185\\r\\245\\144\\253\\228*\\b\\235\\NAKpQ\\179\\206\\225\\210#\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\NAKb\\160a\\DLE\\138\\EM\\253\\128\\ENQ\\188\\&7:}\\141\\234\\194\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"JZ8\\136N\\230\\b\\172-\\219\\184\\186<\\222\\DLE\\\\Pi\\161\\183\\&5-<\\ENQ\\219e\\193\\DLE/\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"K\\130\\129c\\196\\232W\\246\\200O-\\218&Hl\\158kdi'!B\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\197C\\252\\202\\229\\144\\219\\151m\\212\\142,\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\195X~LY\\252lD(\\NUL\\198\\EOTj\\DC2\\NUL\\177\\228\\212`9\\\\\\218\\&7f\\222\\139\\206n\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176A\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\211\\\\\\192\\150H\\252\\220\\242EA\\t\\245\\SO\\168X\\151I\\r\\152a\\204\\166e\\162$?\\182\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH9\\190\\197\\165\\235\\152\\ACK\\GS\\142T\\216\\224\\134jI\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\245\\188D\\142~\\SI\\213\\150\\DEL=\\201\\176\\248\\FSw\\173\\223#j\\DEL\\243\\241&\\167\\249#c}-\\SO2\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Yu\\ETB?\\189\\195:\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\DC1S\\\"\\151\\175<\\DC43)J#(n\\129\\209\\&5\\189\\189\\147\\233n\\169Ij\\160\\161C\\166F\"","tag":"AbiBytesDynamic"},{"contents":"\"tc\\237kp\\b\\213\\fj\\208`N\\\"\\247\\SUBD\\221\\216\\135\\&8`\\SUB\\140\\247\\199h\\a\\229\\188\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\199\\229\\141;+\\n\\137O\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\212\\235\\153\\152\\220\\US\\225\\166\\DEL\\186\\254\\218)\\NULp\\196M\\RS'\\164\\216\\140T\\233~\\152\\t\\223`y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"/.\\RS\\230\\234\\144\\201\\186\\DC2\\218\\f^49\\228\\130\\237%\\253#I\\190_Zp\\151B\\198\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"'bu\\143\\144\\250\\SOH)X]\\DC3K)63A\\STX\\164\\202\\188\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\161\\rW\\243\\184\\DC1\\149\\175:\\STX\\\"\\ETX\\NAK\\235oQ\\STX\\198\\218\\EOTQ\\184\\181\\tVQ\\154N0\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\141\\215!}\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\184\\221\\197W\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\DEL\\173\\216\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\194\\170]\\DLEu\\EM\\167\\FS\\EOT1m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\231 ~\\173Em\\199\\172\\DC1\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\218\\142\\173\\128\\186\\DC3i\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\212|\\220\\211\\208f\\250\\148\\133\\251\\201\\&1\\EMp\\167\\190\\141\\235=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t%\\243\\162\\132\\195H\\249\\ESCw\\250\\129\\174 \\134\\181|I\\246!\\203\\193\\149\\213\\253\\161`k\\222\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\".5\\180!&\\205V\\GS\\148\\226o\\241\\172\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\233\\219\\&0\\\\\\DC3@p\\132}8 S(\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\SOH\\225Q\\te\\209\\154_\\251\\173V+\\DC2\\215\\170\\172\\232\\ENQ?\\166nD\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\f\\172\\136[\\249\\NAK\\239\\245\\202\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\&0<3%\\222e\\237\\221\\&1 P\\167\\&1\\246&\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"Z*\\132f\\197\\174%H\\SIU\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\128)\\136\\241\\192\\191\\USgTA<\\143\\RS\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"5d\\166\\242\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\221\\170\\GS\\199T\\185\\152\\144\\196\\188Z\\235\\227\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\ETB\\ENQ\\240^\\248\\192(\\190\\ETX\\255a\\130f~\\RSb\\CAN\\166*h\\RS\\173\\aAw@\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\t\\GSJ\\167t\\SOH\\237\\129\\DC1\\r\\EM\\167D\\177\\DLE\\EM)*\\245QC\\152\\254\\132\\SI&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184u\\251\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\145r\\DC1\\248\\198\\147\\&4\\ENQ\\167\\179\\ETX\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\223v\\140\\227\\ENQ\\188\\184\\219\\aw9\\154\\242v6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\r8\\184\\\\\\255>?3\\238'\\235\\178K\\222U,\\170\\&4h\\169\\167\\134\\DC2\\185\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\166\\205\\223qd\\250=\\132\\211\\221\\147\\198a{\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\169\\FS\\r\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC15\\b}\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"S{\\214\\\"\\182\\246\\218k\\254\\252\\202L\\217\\b\\SYN\\213\\250\\SO\\144Z+g\\220\\DLE\\187\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\179K~\\226\\182L\\n\\200\\221J\\229\\DC2\\t\\247\\STX/\\177[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\162\\213\\159\\&5\\170\\197i*\\205uzX\\f\\NAK\\181:v1\\221Ng\\NUL\\178\\198%\\195\\215uu\"","tag":"AbiBytesDynamic"},{"contents":"\"2D_\\130G\\145\\NUL\\243\\US\\141\\178\\162\\225\\192\\196\\ETX\\244\\t\\248`)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"20942012565337194328922177483282761326876114173524800123732466460296960725681"],"tag":"AbiUInt"},{"contents":[256,"64413400570365521184982345634619740498411535198699694409701472995679581757839"],"tag":"AbiUInt"},{"contents":[256,"13160306615952141979115845661505565426166286119538758429630940819464712193556"],"tag":"AbiUInt"},{"contents":[256,"13160306615952141979115845661505565426166286119538758429630940819464712193556"],"tag":"AbiUInt"},{"contents":[256,"13160306615952141979115845661505565426166286119538758429630940819464712193556"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731851"],"tag":"AbiUInt"},{"contents":[256,"139"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639939"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"47967328728895513578143532034099888523481454587511236283275932552326238928472"],"tag":"AbiUInt"},{"contents":[256,"83505035943050156173785575658765289042713932603962751294076655277115029671567"],"tag":"AbiUInt"},{"contents":[256,"302"],"tag":"AbiUInt"},{"contents":[256,"130"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639939"],"tag":"AbiUInt"},{"contents":[256,"90227010007914137913088425727503868971602544150067544538395235422957407357010"],"tag":"AbiUInt"},{"contents":[256,"93438368995291930181095938945820821037806920318095735873687512001524224366570"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639937"],"tag":"AbiUInt"},{"contents":[256,"93963595197804786051632556994975471579712352348684509947794671156074222361388"],"tag":"AbiUInt"},{"contents":[256,"3146137251383510082452735290930035716753365893375193583445833928067797952992"],"tag":"AbiUInt"},{"contents":[256,"582"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222590"],"tag":"AbiUInt"},{"contents":[256,"1999999"],"tag":"AbiUInt"},{"contents":[256,"96011531712322379417000889272287554912549164821983649396190729597914298795170"],"tag":"AbiUInt"},{"contents":[256,"924"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551612"],"tag":"AbiUInt"},{"contents":[256,"84"],"tag":"AbiUInt"},{"contents":[256,"42975385590513446185562017608782128950661425899838086666495176547115240598096"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639683"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"7"],"tag":"AbiUInt"},{"contents":[256,"65266993403443767620052946923948810997899978494483662454454704075939424417950"],"tag":"AbiUInt"},{"contents":[256,"32598110290238920024386570272634537056329905315683520102614273027672215385685"],"tag":"AbiUInt"},{"contents":[256,"97760373162737962759793534082455547779443917153207016504382160004043227545320"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"79099381254062124362631193904711580705837652297857659089607924267766169105277"],"tag":"AbiUInt"},{"contents":[256,"79099381254062124362631193904711580705837652297857659089607924267766169105277"],"tag":"AbiUInt"},{"contents":[256,"79099381254062124362631193904711580705837652297857659089607924267766169105277"],"tag":"AbiUInt"},{"contents":[256,"79099381254062124362631193904711580705837652297857659089607924267766169105277"],"tag":"AbiUInt"},{"contents":[256,"79099381254062124362631193904711580705837652297857659089607924267766169105277"],"tag":"AbiUInt"},{"contents":[256,"79099381254062124362631193904711580705837652297857659089607924267766169105277"],"tag":"AbiUInt"},{"contents":[256,"79099381254062124362631193904711580705837652297857659089607924267766169105277"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636332"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950338"],"tag":"AbiUInt"},{"contents":[256,"70450121649011270458310984455823560465378097132417917143652091016325902404408"],"tag":"AbiUInt"},{"contents":[256,"334"],"tag":"AbiUInt"},{"contents":[256,"81246128884303613609744617695218623002922268328381445392822884232555819323882"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639939"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"49883585543044083200406784172506254194598725419089436961817960839869004036743"],"tag":"AbiUInt"},{"contents":[256,"16686587932710270815006418070336456885835155759806735196311126950968601749181"],"tag":"AbiUInt"},{"contents":[256,"10001"],"tag":"AbiUInt"},{"contents":[256,"94007916599461872290432239235802325731595044781075530756355396895234561490317"],"tag":"AbiUInt"},{"contents":[256,"280"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639837"],"tag":"AbiUInt"},{"contents":[256,"79764882173759012855528016758088054996783097557259427299708116128290683024363"],"tag":"AbiUInt"},{"contents":[256,"16510708869361034227497641033503578696918383809430314604716039505307626339378"],"tag":"AbiUInt"},{"contents":[256,"59591586339333977955219645374435898287084986790744812400928166562507202726087"],"tag":"AbiUInt"},{"contents":[256,"63779811514983998622035026687782313927848096240171502584325715566115497183306"],"tag":"AbiUInt"},{"contents":[256,"1097829354975916558433570594324352543062156508501786359591452227089341000912"],"tag":"AbiUInt"},{"contents":[256,"97856548830970099643922041448096685172852048534983153325560978622348494135792"],"tag":"AbiUInt"},{"contents":[256,"109455732214677887393489293649393110564966170136676647605890901744472243698839"],"tag":"AbiUInt"},{"contents":[256,"10476197291047153377519663500533774576694065015414417042036044464979751347162"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"7535207688964313770952605804520639844923625427615363481924890575885820791214"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"47879433597090475070486785536624346796684597975548481372559531974377953916794"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":[256,"92408303780010922705423234845293705137377244749568507366662996356857346625997"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892765"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011521"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011521"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011521"],"tag":"AbiUInt"},{"contents":[256,"106593370455485058734053679592712149099056879413559535556805167167638168446395"],"tag":"AbiUInt"},{"contents":[256,"27241116355000563526442127563087164608500682461679856982976339081175297545151"],"tag":"AbiUInt"},{"contents":[256,"86260135046595207018722702987914559113255492786518027024687656744680013691650"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639899"],"tag":"AbiUInt"},{"contents":[256,"57342380644277305119733499447506658770384529350630551965936376379436386542765"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689599"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211779"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639929"],"tag":"AbiUInt"},{"contents":[256,"25002726360263450832876223140911555027651581114429475204149144655324092804806"],"tag":"AbiUInt"},{"contents":[256,"74219087697540013036649112243187437239385947073160829278727160890329475982574"],"tag":"AbiUInt"},{"contents":[256,"67248844191986023562740868186680106594"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"73700411825968246072211441340204851458101176809632838224191771518338242572890"],"tag":"AbiUInt"},{"contents":[256,"81086783073568822748430551283902261833862000814521520771984465186107015135165"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892771"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e846","0x00000000000000000000000000000000000000000000000000000000000048b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0f","0x0000000000000000000000000000000000000000000000000000000000001342"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"294"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639439"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6f","0x00000000000000000000000000000000000000000000000000000000000063cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eace","0x0000000000000000000000000000000000000000000000000000000000006540"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[128,"9448580090157507523333710532280361338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084277","0x000000000000000000000000000000000000000000000000000000000000134c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4d","0x00000000000000000000000000000000000000000000000000000000000085e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630935"],"tag":"AbiUInt"},{"contents":[256,"86402"],"tag":"AbiUInt"},{"contents":[256,"50400156503345382989670650716625358029198222157469994885248314016346727888178"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"111446462255691896412210832487878038057715845050065197369957298554252817677477"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639633"],"tag":"AbiUInt"},{"contents":[256,"100890660991240409228548953483121173914413377678540968027813159569744489759074"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1d","0x0000000000000000000000000000000000000000000000000000000000009d6d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639906"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb20","0x0000000000000000000000000000000000000000000000000000000000004dae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"150747042438931343794511608290"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef49","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007ce","0x0000000000000000000000000000000000000000000000000000000000006a29"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a517","0x000000000000000000000000000000000000000000000000000000000000d619"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"8998"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e702","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"\"\\178N\\187\\&3\\ENQ\\US\\203M\\ACK\\146\\194S\\149\\NAKGe\\240z\\182\"","tag":"AbiString"},{"contents":"\"ERC7540-1: convertToAssets(totalSup)lyp == totalAssets failed\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639913"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030335"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"19696546630230800710819561602549547791121640989211410318130587016431344877"],"tag":"AbiUInt"},{"contents":[256,"98115788798249576545394891238558448064002546466728722783810506944670970632811"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006180a","0x0000000000000000000000000000000000000000000000000000000000007e50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd37","0x0000000000000000000000000000000000000000000000000000000000000fb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"107446897203588946355484656042883099324530911675080792786240199394226526606979"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0e","0x00000000000000000000000000000000000000000000000000000000000095df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e353","0x00000000000000000000000000000000000000000000000000000000000085eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":[256,"115678082533656169957663193886765823475047345757615216689303715044004977827499"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000073869","0x000000000000000000000000000000000000000000000000000000000000135a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c7","0x000000000000000000000000000000000000000000000000000000000000ec37"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000924f7","0x000000000000000000000000000000000000000000000000000000000000449b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea60","0x0000000000000000000000000000000000000000000000000000000000001340"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":[256,"12700310226690175855022647989064817010092625733730932682234324490019650026514"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3d","0x00000000000000000000000000000000000000000000000000000000000085e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"103059124267116781808172311053689401006827252870477111765635335314437871395168"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028ef2","0x000000000000000000000000000000000000000000000000000000000000cb45"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222593"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e352","0x00000000000000000000000000000000000000000000000000000000000012a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005e","0x00000000000000000000000000000000000000000000000000000000000007c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"13"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f113","0x000000000000000000000000000000000000000000000000000000000000619b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015180","0x0000000000000000000000000000000000000000000000000000000000000463"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"49826487831764251884151016379811179761035526719036574229526097243790785773193"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a516","0x0000000000000000000000000000000000000000000000000000000000008ec7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"28"],"tag":"AbiUInt"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006fbed","0x000000000000000000000000000000000000000000000000000000000000c7ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"6448405575075747420304072656664610521043770924806749491439841748339505533875"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270d","0x0000000000000000000000000000000000000000000000000000000000001390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5c","0x0000000000000000000000000000000000000000000000000000000000001357"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"92857902166630234046180158575784032843666078566274358352735119372254450211522"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b3","0x00000000000000000000000000000000000000000000000000000000000069fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"69556103125399154481241986133188528050435371825434347287827839550362412897135"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a61","0x0000000000000000000000000000000000000000000000000000000000000018"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"111772027777758089539737343597384143418295694314281420838601351285113420235562"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc12","0x00000000000000000000000000000000000000000000000000000000000056b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd9","0x000000000000000000000000000000000000000000000000000000000000755a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\">\\138(\\216kPFu_\\165`\\170\\205\\219\\162\\192\\EM\\212L\\237\\158\\US,{s#\\223P\\136\\164&-\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb16","0x00000000000000000000000000000000000000000000000000000000000013a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000088","0x000000000000000000000000000000000000000000000000000000000000139e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"Invalid yield source type\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e10","0x0000000000000000000000000000000000000000000000000000000000001381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"53402133642472834952093525044120192462161764752392382593397554262774274610061"],"tag":"AbiUInt"},{"contents":[256,"19"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e7","0x000000000000000000000000000000000000000000000000000000000000136c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"67"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138b","0x00000000000000000000000000000000000000000000000000000000000012b9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"19021049144839859925055336192749765359676232341415166676006216648886367806438"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb44","0x000000000000000000000000000000000000000000000000000000000000ebcc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"28338736585830169234686274795258914376531546559630865461130498454982868846542"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bc","0x000000000000000000000000000000000000000000000000000000000000ea96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"96668171366127795022471699341249442274095688209818765360038865392485092449572"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75c","0x000000000000000000000000000000000000000000000000000000000000b556"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"696761072873820164423790654563359783190857104292796840737276669626430668288"],"tag":"AbiUInt"},{"contents":[256,"32635866589832741746493583979080701802272861744714820493463556071055655928898"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639897"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000024","0x0000000000000000000000000000000000000000000000000000000000000013"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135aa","0x0000000000000000000000000000000000000000000000000000000000009201"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x000000000000000000000000000000000000000000000000000000000000135a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000022","0x000000000000000000000000000000000000000000000000000000000000b44c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"37146075412824813436016647913276136404387433962219185933391540179695802072018"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb04","0x0000000000000000000000000000000000000000000000000000000000001339"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"58096378184773778382860695204625300578972294683871754715303866200103415945359"],"tag":"AbiUInt"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060d24","0x0000000000000000000000000000000000000000000000000000000000000101"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000840bb","0x0000000000000000000000000000000000000000000000000000000000000129"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639898"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000102","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"227318756353451418593271587188631801746677807890271749"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055775","0x00000000000000000000000000000000000000000000000000000000000000ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f94","0x0000000000000000000000000000000000000000000000000000000000001c9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"118"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e7","0x0000000000000000000000000000000000000000000000000000000000005091"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062b8f","0x0000000000000000000000000000000000000000000000000000000000006ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000051","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639904"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062e05","0x00000000000000000000000000000000000000000000000000000000000013ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"93"],"tag":"AbiUInt"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"72743556664711393730277830401225895947917500751961025972551052201400089552073"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000088","0x0000000000000000000000000000000000000000000000000000000000004b96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731856"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000069","0x00000000000000000000000000000000000000000000000000000000000000e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0a","0x0000000000000000000000000000000000000000000000000000000000000100"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"92101115934600003158970150966060848092748649595839462467517489763292715722360"],"tag":"AbiUInt"},{"contents":[256,"97637912005959063467544461320703321765799548676784598722357784032857643826739"],"tag":"AbiUInt"},{"contents":[256,"28343936506383079424721487493775368975873672790606449208774816044035045835735"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e351","0x000000000000000000000000000000000000000000000000000000000000012c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037272","0x00000000000000000000000000000000000000000000000000000000000012ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"95632923059421975223504879673664679361812250446197490022036044729466526684163"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x0000000000000000000000000000000000000000000000000000000000001336"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"78715109221118605313980931220668319715633342544948506222677730865910736489714"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002de11","0x0000000000000000000000000000000000000000000000000000000000003f7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"9999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c434","0x00000000000000000000000000000000000000000000000000000000000009d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"70514633707660777219402596177850278280027596933942308023444313124426416755871"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507329"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c5","0x000000000000000000000000000000000000000000000000000000000000b556"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"85170145152178101489820515932864859233562591707739791898230272452346152776502"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f19","0x0000000000000000000000000000000000000000000000000000000000000590"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":[256,"1529916754"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a61","0x0000000000000000000000000000000000000000000000000000000000005c65"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000043","0x000000000000000000000000000000000000000000000000000000000000231e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002326","0x000000000000000000000000000000000000000000000000000000000000a296"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[8,"25"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e701","0x000000000000000000000000000000000000000000000000000000000000dcbf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e761","0x0000000000000000000000000000000000000000000000000000000000000591"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051251","0x0000000000000000000000000000000000000000000000000000000000006a2b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"108364610731933325037050373029130489600510422588777059095354022400000991386162"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead0","0x000000000000000000000000000000000000000000000000000000000000cfae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":[256,"54"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa1","0x000000000000000000000000000000000000000000000000000000000000116e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba9","0x0000000000000000000000000000000000000000000000000000000000000400"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":[256,"26156024073039954078766463490065452761215318905110554681826701307851202545633"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ffff","0x00000000000000000000000000000000000000000000000000000000000013a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"101717996578805748314551135368243836268315355337539411549905051408123230015650"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a317","0x0000000000000000000000000000000000000000000000000000000000001325"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"107879500694915853208896505817940813660212393230006258963625227967591448818285"],"tag":"AbiUInt"},{"contents":[256,"283199440098368685148389334914986299168372375382270888084498334101029420276"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bda","0x000000000000000000000000000000000000000000000000000000000000a663"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"146287105457202317666994673628368781788"],"tag":"AbiUInt"},{"contents":[256,"5704110952127194772939009081181016162931622338028463557755841212742040537356"],"tag":"AbiUInt"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffb","0x000000000000000000000000000000000000000000000000000000000000006b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]