[{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"108637201656885035258860693100585266367690093620554112053767471587974112185595"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b2da","0x000000000000000000000000000000000000000000000000000000000000137e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"78019385775740508701320115033452776898278645529908910263545657344888591610380"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd8","0x000000000000000000000000000000000000000000000000000000000000000c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"6449341234494124197946904885841390425134638035174163954320510769563350409965"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4a","0x00000000000000000000000000000000000000000000000000000000000095bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4c","0x000000000000000000000000000000000000000000000000000000000000614c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"25097135982231604516815423812354116232959579897604090588698287516144716804301"],"tag":"AbiUInt"},{"contents":[256,"2167593064693803588199882382796193722474532782869727950046127464958627387115"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088495","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"8601615579496435045491448249871029583773591943340397982991845333923220752748"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e9","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec3","0x000000000000000000000000000000000000000000000000000000000000001f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":[128,"18446744073709551618"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b1","0x000000000000000000000000000000000000000000000000000000000000e347"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051231","0x0000000000000000000000000000000000000000000000000000000000002714"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"85220239656814263898367170857981283700812898573945454208059646833956953047408"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015181","0x000000000000000000000000000000000000000000000000000000000000614c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":[256,"44095903274609420517472278033395121504871967910728810062256617035836835261167"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007910f","0x0000000000000000000000000000000000000000000000000000000000009aa5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639035"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c3","0x0000000000000000000000000000000000000000000000000000000000008199"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"55641098930210681019683603654709616967496770401573186847949405266208290049544"],"tag":"AbiUInt"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517e","0x000000000000000000000000000000000000000000000000000000000000b44c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":[256,"99251914791992433674891081370463374017751004533999598460788686738483600698714"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001a","0x0000000000000000000000000000000000000000000000000000000000002608"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037272","0x0000000000000000000000000000000000000000000000000000000000002323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"5857316735695656855327686768084268911946068810481639702042905816018136591381"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb14","0x00000000000000000000000000000000000000000000000000000000000041c8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b721","0x000000000000000000000000000000000000000000000000000000000000c5a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bb","0x0000000000000000000000000000000000000000000000000000000000007840"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4d","0x000000000000000000000000000000000000000000000000000000000000ebb3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3a","0x000000000000000000000000000000000000000000000000000000000000c8e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232a","0x0000000000000000000000000000000000000000000000000000000000000049"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x000000000000000000000000000000000000000000000000000000000000e19d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000064","0x000000000000000000000000000000000000000000000000000000000000134f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e374","0x0000000000000000000000000000000000000000000000000000000000000027"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"35114301735880761930219800231899115207842790748253277613536955264313415486619"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000138bf","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59d","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"1001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002e1a5","0x00000000000000000000000000000000000000000000000000000000000007d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"900"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000120b6","0x000000000000000000000000000000000000000000000000000000000000d8cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"1000000000000000002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6b","0x0000000000000000000000000000000000000000000000000000000000005e0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"24364201136375980281782283738381845181553163538046038922037227996475569275813"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002713","0x0000000000000000000000000000000000000000000000000000000000001f73"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"83770923287174290660885893184967124748636773884050990952370988045655103954954"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003b","0x0000000000000000000000000000000000000000000000000000000000009a9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000046346bd8466b7e4d8"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"1426304958082830803302274909008315001350200332206556"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048365","0x00000000000000000000000000000000000000000000000000000000000066e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"6132063585449901215709445323122778561437132250522926534167787248191613010149"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b333","0x000000000000000000000000000000000000000000000000000000000000c8cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000050","0x000000000000000000000000000000000000000000000000000000000000585c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e18e","0x000000000000000000000000000000000000000000000000000000000000b446"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"87238767001711494769965262019384291709626506534353719797345399802514028091689"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000554ee","0x00000000000000000000000000000000000000000000000000000000000013a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c1a0","0x0000000000000000000000000000000000000000000000000000000000006d48"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000030","0x000000000000000000000000000000000000000000000000000000000000b6a5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"564"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517e","0x00000000000000000000000000000000000000000000000000000000000000e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006af69","0x0000000000000000000000000000000000000000000000000000000000001275"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"93404112042515304537409587817715926616009843961018175840636892643686641026391"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142f0","0x00000000000000000000000000000000000000000000000000000000000091d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"111888566406853345131095555803360746902658189414057334803738921672230066409871"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072ea2","0x000000000000000000000000000000000000000000000000000000000000235a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051251","0x000000000000000000000000000000000000000000000000000000000000e852"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"9"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006123","0x000000000000000000000000000000000000000000000000000000000000c060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003132e","0x000000000000000000000000000000000000000000000000000000000000defe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ca54","0x000000000000000000000000000000000000000000000000000000000000cfae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"99999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000086cff","0x000000000000000000000000000000000000000000000000000000000000db68"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[8,"255"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c643","0x00000000000000000000000000000000000000000000000000000000000095e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"1530179706"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035231","0x0000000000000000000000000000000000000000000000000000000000009542"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"|\\ETB/\\152\\150MF\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219ql\\bq\\SI\\253\\146M\\133\\DEL\\178v90\"","tag":"AbiBytesDynamic"},{"contents":"\"1E\\196\\141\\160\\DC2s\\SO\\136n\\154\\208\\212\\222\\ENQW$G\\197u\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\197\\DLE8W\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN,\\224\\137\\208\\182z\\255G0\\231\\244\\176\\SYN\\200\\&5\\157\\213\\SI2\\212\\189\\201\\164\\ENQ:\\\"\\144\\238\\SOH\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\253\\154\\RS$?\\\"p\\150i\\194\\&6\\STX\\NUL\\242`:\\239\\210^\\148\\235\\162P*\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\131D\\173\\SUB\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\218{\\206\\148ihq\\200\\137\\160\\239\\137\\154c\\206\\236%QA\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151wO\\146\\&4\\SOH^\\STX\\DC3Z\\ETB{\\DC1&V\\DLE\\238\\197y\\166K|\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"/n\\164\\150\\160\\232\\DC2\\EOTFke\\184zqh\\255\\221r\\241\\DC1\\225j\\162e\\DC3\\DC3Z\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\164\\238\\128\\252\\ETX\\152\\SUB\\215b\\165\\193\\198/\\DC1A\\146\\240\\130B_\\189y\\212\\&0\\n\\NULQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\197(2\\172Q\\197\\133`u\\250\\235\\222g\\SOH\\f6\\217@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193f\\DC4\\223\\140\\\"\\193\\199\\194\\204\\FS3\\209\\&5\\SUBU\\ETXK\\DC4\\193\\182p\\ETX\\211c\\154\\135\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\160dN\\212ML\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\ETXg\\DC2Sy\\170\\137\\230\\165M\\ETB3\\167S\\189\\154f\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\228\\213\\CAN\\195\\r\\168%\\\\Q\\SUB\\ETB7\\146\\NUL\\239h\\157\\213\\160t\\188\\DC2\\184\\137\\225\\160\\242X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\190\\232\\182\\208\\130\\250\\252R\\SOH\\CAN\\236w\\230M\\vlY\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ=\\145)\\160\\SI\\252\\186\\243\\144\\n \\219U\\158\\133\\207\\252/\\190eK\\182\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"06\\161\\145\\SYN\\236\\173\\140c\\138\\144zG\\STX\\bm\\SYN\\141\\241\\218\\180T\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164`^_R\\215\\GS\\148\\&0\\159\\180Y!\\SUB\\RSr8,\\FSQ\\169\\255\\160\\149\\EOT>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\186iC6\\160S\\223\\203\\SYN\\171\\&1R\\NAK~\\134D\\204\\141j\\EM\\RS\\165\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236PB\\181U\\222\\244^\\r\\177\\DC3\\t)\\128\\193\\176\\ESC\\174\\240\\224{\\213;I>\\140\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\">\\208\\&0\\173\\205BN\\181\\224\\RS=\\153o\\209\\186W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\240\\144\\132\\205\\bek\\215\\172z\\ESC\\224\\171w\\171.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\220\\219*rW.h\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\241A\\225\\135\\186#\\RS\\165O7T\\161\\DC3\\185zQ\\214PJy<\\212\\217\\134\\152\\200\\143\\230\\v\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193,\\189\\238\\202\\196\\170\\253G\\SO\\bf\\214\\194\\185\\ACK\\134\\181\\200\\225\\215\\177.j*\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\",\\214\\a\\SYN\\RSv\\184.N\\143\\218\\EM\\190\\133/\\US'\\244P\\ACK\\162\\246F\\215\\223\\250s\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\a\\239\\249ou\\176\\231\\SOH\\184\\ACK\\207^\\SI\\209\\&5g\\129s\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"e^\\208\\212\\179\\217\\192%*<]\\136\\SUBm8\\203\\DC4\\238\\201\\133S!^\\SYND\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\219l\\SUB\\218\\202R\\156\\199+\\NAK\\t\\223\\187\\210\\253\\DEL\\165\\164\\236\\247\\165\\204k\\a\\201\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\247\\207d|\\188\\249\\136[\\235<\\150\\165A\\201)\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\218\\246\\174A\\230\\184\\&8NU\\161<D\\155])\\128t\\171\\249\\208\\234\\208\\nL\\b`\\143A\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\185\\232_\\144\\NAK\\134T4x\\193\\165\\251\\195$\\STXf\\f>@OE\\180\\244\\SIC\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\NAK\\217\\157\\167\\196\\DLE\\US\\178\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\194\\168C\\142<\"","tag":"AbiBytesDynamic"},{"contents":"\")\\184T^\\242\\156b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLERfe\\136\\183\\129N\\139B3\\185\\222\\161r\\165\\EM\\236Hi.\\208\\NAK\\ACK\\254\\182\\208\\&3\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCs\\238\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\NUL/\\221\\132\\219PA\\157\\199\\161!\\ETB62*\\210\\161h\\t\\147\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\134\\138\\201Z\\SUBC\\176\\230\\170\\142S\\224\\233\\238\\197\\158\\190\\CAN\\176\\NUL\\SYNy\\145p[\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\ACK_\\248{\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"86\\RS\\245\\217\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228s\\238\\228\\253\\203\\RS\\242\\210_\\223V[\\176\\154\\196\\226\\229\\152\\215\\SOH\\137Y\\229\\214.Wq\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191mu\\SI\\DC3!\\USQ\\204\\241\\195\\180+\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227 \\vP$\\145\\153\\185M\\209\\132\\189\\NAKb\\196\\163\\130\\153\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236R\\194\\b4\\194\\US\\238C\\ETB\\157X\\\\\\154\\r\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"Sw)#(\\174AvC1#\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\192\\253@5\\162\\172\\136\\159\\244\\177o\\165\\216\\195\\a6\\208\\185\\194P\\155\\145\\238\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\139\\178\\161\\249\\195I\\190F^\\ESCTv\\183\\199\\171\\195B\\GS\\196\\171\\144I\\205<\\249Jih\\200?\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\\"\\214\\163?\\238^\\n\\158N\\147O&h\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\235\\137\\231\\SO\\FS\\247;\\217\\174S\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\DC4\\246h\\EM\\152\\239j\\180\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207PH;-\\255\\154r|\\249.\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\a@5\\157g\\139\\174+(!\\193\\234\\140\\150\\163\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\210nW;\\200>\\f\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\a\\190\\194\\192\\&9\\132\\151\\179]\\210\\237'\\216\\EM^\\221\\211\\ETBB\\251=\\139\\235\\r\\226\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH,\\204\\190\\232\\ETX\\209\\STX\\150\\132\\STXV\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\ETXe&\\t\\239\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\164B\\208\\160\\247:\\142\\131\\206\\205\\167d\\206t\\254\\169\\\\\\241\\249\\204\\&1\\CANh\\151\\EM\\ETB \"","tag":"AbiBytesDynamic"},{"contents":"\"\\131Nj7\\240\\248\\146\\236\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"$6I\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\196\\235j\\138^\\214\\164\\229\\169N\\CANH\\227\\FS{\\228h\\216A\\172\\253\\163\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\214\\150S(?}\\172Xb\\245@]|\\131\\249#1m\\199-\"","tag":"AbiBytesDynamic"},{"contents":"\"$IKh\\217N\\213\\EOT\\SOH\\248\\237U\\204\\157\\251n\\a\\204\\181\\227@A\\224Hd:'\\212\\238\\215#2\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"KHEQl\\191\\155\\204!=\\213\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\",s\\188}`q$t\\RS\\190\\NUL3G/\\SYNy\\204\\v#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\130\\195\\157\\194i!\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\162A/\\vmp\\EOTz\\239\\NAKstq,\\SOo\\146\\129&d*\\233\\v{\\198_o\\238\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\DC3\\138\\154\\176\\205\\180\\187\\&5*\\128oS\\136\\198#\\EOTlL\\165\\179Q69R\\DC1\\141S\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"LZ\\f\\218\\166\\253\\156\\229\\USt\\205\\DC3q\\233,91\\198}\\157\\152\\199Kw\\185\\SYN\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\252\\230\\213;x \\239X\\152\\176\\160\\158A,\\178\\192\\147\\214\\229\\238\\164l\\237\\219\\185\\201W\\FSPE\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\209\\&2u\\239\\250\\185\\227k\\208c}\\146\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"Iv\\210\\254\\SOH\\221\\185\\247u=[hMD\\159\\204u6P\\248\\171gry\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ETB\\236\\SOK\\DC3\\SO\\135&\\173)\\182-\\140\\153\\USI<h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETXp<\\220\\DELU\\192\\131hE\\168\\202\\188.\\231\\155]\\161\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"Kf\\186\\250v=*\\134\\DC1\\179\\197\\145\\203A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193{\\174\\228\\144v\\221zG\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\RSm\\DC23\\201\\163\\240H\\220u\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\171\\SYN\\STX\\230\\230*B\\179\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"4dE\\168y\\199\\EOTZVDa\\167L\\175\\215\\217\\223p\\243\\230\\161\\137\\252\\134\\250\\134\\232\\239\\195\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\233O\\140\\136\\221pm\\168\\241\\NAK\\197\\236N\\FS\\142\\242\\128\\&5\\a \\243\\SYNCS\\240kS\\135:\\158(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\131h\\185\\NULVT\\137\\DC2\\199\\nc\\t\\185Y\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\211\\190b\\130[\\STX\\184\\DC3a\\247\\164\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\161\\212k\\194\\ACK\\213Y\\240\\STX\\bT\\193\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r<\\181\\179%o\\181\\253%\\EOT\\139\\136 *\\207\\NAK'Y|\\208\\169\\144?\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\238k\\152\\185\\154A\\129\\144\\254k\\189\\EOT\\153\\147\\194\\250\\195\\GS\\176\\177\\134{\\194\\128\\171\\221\\225\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\&9\\200\\248B\\193I2\\229\\221\\RSe\\215{.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\222\\179m\\142\\ENQQ\\215P\\212o3Z\\143\\ETX\\191\\232\\141F\\235\\r\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\143\\178\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ZR\\156z\\190\\255\\SUB&\\191t\\248\\&9\\195\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"*T\\209\\SYN\\234\\153\\231\\157\\DC3\\162{\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\".p\"","tag":"AbiBytesDynamic"},{"contents":"\"HJ+\\SI\\147\\154r\\219U\\142\\208\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150|\\243(\\214\\219\\132\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\224\\198P\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\bA\\225F<\\152\\216\\147\\196\\183\\179\\243*\\150m^\\132}\\DC4\\RS\\163\\&0\\US\\SO\\254{\\215P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB5\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\144\\240FW\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213,\\SOH`\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"c_\\238\\208\\227\\239\\NUL\\ETB\\198\\DC1/\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\225\\158\\242.A\\190l^\\138\\154\\187\\&2'Q\\243\\165\\221j\\141B\\185\\245\\147\\US.Q=\\173\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"0ka\\147g\\180\\251al\\160\\140C\\148\\230\\238\\CAN\\137\\166\\\\)\\243\\185\\236\\188F\\254\\v\\STX\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\253\\219p\\196\\173\\DC1\\137I\\174\\205\\203\\128y&\\176\\195W$\\239\\ENQ\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\230\\150vDE\\SYNL\\192\\188?\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\209\\194\\228\\242\\200\\179\\181\\DC4a7\\201\\US\\242\\148\\221v}\\SI\\167\\163\\&4\\174\\146\\EOT\\191\\&6W[\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"26\\237\\255q\\ETXx9\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\176n\\217q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\193\\177\\165\\145\\243\\192\\GS\\252\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\250\\161L\\160@,d\\136\\254\\EOT\\144^\\a\\153\\228nze\\139\\131\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\235\\&2\\231\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163Z\\253'_\\251\\240\\136\\253F\\173\\DEL\\250\\225\\SI\\n\\tI\\191Xo\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\246\\150\\CANmr}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183f\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173(\\251\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\DC2\\248\\151\\&5\\248\\a \\200\\DC2\\255,\\187\\EOT\\131[YJ\\CAN\\254\\157\\128A\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\240\\249AXnq\\234;(E\\221\\204k\\157\\175\\NAK\\187&A\"","tag":"AbiBytesDynamic"},{"contents":"\"Id\\SYN\\139\\233\\v\\234#\\\"t\\194\\166\\DC3`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170a1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\208pL\\155\\231\\v0\\165<\\220\\ACKA\\134\\214\\133\\190\\225\\EM\\165WR\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\GST\\129\\223j\\141\\206g\\217\\213\\183g\\152~^\\175\\216\\221\\249\\n&E\\245\\216\\RS\\220\\166\\212\\145{\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\216\\177\\185\\231\\FS\\188\\229z\\206W|\\172\\187L3rT\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\169'\\192\\EOT\\218\\232\\fW\\236\\135\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216oD\\238ygv\\163\\214U\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\161\\136\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\163u\\247\\184\\193^V\\152\\182y\\129XW\\170\\158;_\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\af\\171?3`mr\\203\\EM\\152\\154\\ESC\\245\\n\\247\\198\\232np\\222\\141c\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMr\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\198:9*\\161\\241\\&1\\177\\252\\232\\229\\DLE\\207^\\227\\176d\\202\\151\\222\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174WTL\\176\\138#,\\GSF\\EOT\\\\\\175\\&1\\SUBlGM\\131\\&6\\251\\199>$c=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\140\\146\\v{DA\\v\\213$\\142\\139ab\\a\\197\\235\\132V\\145\\SIqp\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\182\\164\\208j\"","tag":"AbiBytesDynamic"},{"contents":"\"?@\\205?\\208\\194\\&0Cgmhq\\178\\230\\SUB\\131X\\200\\134\\218\\169\\&4\\199\\CAN\\146V\\161\\230\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254a\\DC4@3\\135%]x\\225dn?\\SOH\\174\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\186\\254v\\GS\\238\\173\\189\\&9\\155\\145\\231KV\\244\\220\\&8\\168q\\250\\236\\168>\\140\\198)\\221\\DEL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\170\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\194\\190\\150\\\\\\CAN7II9\\155(\\176\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\158\\135\\164\\196\\230\\242\\165\\235%\\143\\DC2[\\160\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\210G\\ACK\\164\\214I\\170\\&5}-\\236\\178\\250\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157;N\\US\\DC4\\218\\238\\245\\\"h7`\\160Hd5#\\212\\171\\130$\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\ACK\\\"I#L\\231*6UH\\177FM\\NULjW\\148\\173Q\\183\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"+>\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\189-\\\"'\\201b\\185\\207.\\245\\DC4\\215\\129t\\219\\161\\228\\139\\187\\NAK\\245\\225\\246m\\181\\159t\\209\\204\\138\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"k]\\204\\215\\DC4;\\252K\\185n\\r\\169\\131\\153\\GS\\154\\&3\\159!7\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC16O\\STX\\RSBW\\188\\223;\\162\\DC3M\\DLE\\191x\\v\\137\\169\\245\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\133\\CANM^e!&\\137\\159/E\\139\\135\\225\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\f\\DC1+\\149r\\213\\158\\149Y\\150\\ACK\\203\\t\\222\\132\\148\\196\\204\\244\\ESC\\\"C\\DLE]m\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133%b\\196\\136\\231\\181\\229\\f\\245\\DLE7\\233\\150\\138\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\148\\&9\\167\\184\\220\\243\\231\\160A\\255\\242_k\\223:\\190{\\250\\239\\&2\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"Q+<\\224\\r\\174s,\\183\\DLE\\243br?\\211\\n\\131b-\\211\\213\\130\\217\\213\\203vZ\"","tag":"AbiBytesDynamic"},{"contents":"\"|H\\136\\219\\167,\\138\\nX\\ETB\\187\\218\\199\\DEL%%\\211\\144\\&8l\\186\\SI\\182\\175R\\224Q\\140\\241\\223\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\197\\227C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\212\\168q\\251\\SOHl\\245\\NUL\\143S\\STX-K\\181\\227\\171\\255A\\226\\232\\226\\187\\190\\v\\155\\SUB\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\135(\\154g<<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\171/\\133\\188;d\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\206\\146\\128\\169\\220 _\\148&\\226\\165\\220&\\218\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\\\Tl\\188!\\209\\199\\254\\172\\130\\171\\132p\\216\\203\\142Kt0\\190\\t\\158!\\DC3\\179\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX:\\225\\RS\\237#\\139\\177\\238\\DLE\\148\\218l\\180_\\220\\SYN\\GSw\\246\\221\\245V\\129\\129\\174\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\183\\EMN?\\159/\\165\\SUB%\\252\\192)\\EM\\151\\245,\\175\\150\\168$\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\STXK\\156.\\170\\131\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249^DrX\\154\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS{\\184\\178\\164\\176t\\157S\\152%#\"","tag":"AbiBytesDynamic"},{"contents":"\">\\\"\\NAKa\\190\\221\\&4O\\194\\174H(n\\v\\252H;\\128'\\143\\201v,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\231\\211\\151\\180\\a\\149&\\198\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\218\\b\\156\\197\\ACK\\152\\156\\139dKL\\rX\\150y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\170Fv(+\\205B\\239\\SYN\\157\\186\\186\\241\\139\\152\\174\\150\\130\\169\\134\\162\\158ik\\a`\\f\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\254\\ESCN\\218\\196\\160\\150\\186c0\\NUL\\223\\178z^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\160y\\204{\\193'wV\\STX\\177<\\DLE\\EM\\144\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\RS\\189\\SO\\188\\&2\\r\\241\\203\\188\\236\\232\\245\\200\\DC3\\221\\204\\235\\230\\&7YD\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"x(N\\165#\\144\\&2\\191)\\255n\\234\\252\\130\\232\\200\\247\\187\\233u\\249\\255\\192\\255\\255& \\174\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\138\\&2\\200\\142\\206\\153n\\154a0d\\194\\SO\\SUBs\\186p\\167\\201+\\fB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204*\\FSn\\SYNY9\\168ha\\EOT\\157\\185\\171\\176\\n\\EOT\\204w\\243%fp\\191\\DEL\\243\\149\\182\\172?\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\129\\223\\187?+\\239\\213*x\\167\\218\\165d4*\\134\\199\\134\\EOT\\DC2\\SIW\\161\\ENQ%\\210\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\168\\182+\\161\\US\\217\\228>\\RS\\153\\168k\\DC1\\202\\182ak\\DEL\\251\\130\\141\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"=_Z\\SOZo\\241\\241|\\222\\ESCbT\\239st\\210N`#\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"bHI\\136\\237/\\STX\\142\\250\\199\\164\\232\\n\\216s|\\130(\\132l\\205\\NULCY\\228\\170\\219gQ\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151H\\196\\140\\DEL\\187\\&78\\209\\204F9\\DC3#q\\134N\\237\\DLE\\205)(X\\175\\&3\\252\\r)\\147\\219\\NUL\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\179E\\207^\\r\\247\\133\\SUB\\220i6\\154\\&4d/\\138\\DC3\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBAJ\\134\\189P7\\SYN~\\172\\236\\171\\177\\DC4\\177@s\"","tag":"AbiBytesDynamic"},{"contents":"\"xZV9\\240}\\178\\GS\\ENQS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\238\\184@QF\\GS+\\EOT\\DELjT\\DC2n\\246\\155\\b\\201<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\191sL*\\200\\&2\\NAKP\\n\\153\\216\\142\\170u\\211\\213&\\r\\191\\195K\\229\\165\\ETB\\153\\211\\169\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\203\\\\\\186#{\\242\\172{E\\228\\160\\216\\171g\\156\\t \\241\\168M\\157\\172%\\181%\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"nk~\\244\\249K\\253zH\\209\\183\\201\\207\\151\\t\\200\\171hT\\200\\208r\\149H\\194\\227\\168\\132cn\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"^\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\253\\ESC\\r\\146\\169v}\\137\\136\\254i\\ESC\\ESC\\RS\\232\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222<\\140\\135s\\245F\\179\\&1\\239\\STX\\132\\DEL,\\202\\213\\&5\\ETB\\221\\131E\\243_\\SUB\\180\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"zm\\156OO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197iDI\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\nk\\193\\DC3\\228\\251!\\129\\133\\209`\\169;\\197\\179Ol\\FSr\\218\\209\\190\\r\\159Uwj$\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\158]\\200\\&2\\SI\\145\\NAK`4\\254NF^\\172\\ENQ{\\235!P\\131X\\143l\\183f\\NULs\\246\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\194\\186\\246 \\221mHL\\DC1Ju\\174FEh\\217@\\196\\185\\221\\210\\217\\253\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\240O\\t2\\v\\201g\\227\\177\\151\\181\\205c\\SO\\EM}\\156\\&4\\EOTK%>@\\139\\223\\190\\\\3\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\192\\b\\DC1\\130q\\GS\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\231|\\254\\131\\149\\236\\233\\\"}d\\155\\139\\166\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"|L\\229[\\215\\185\\EM\\187&\\171\\USR\\188\\ACK\\149\\218\\190\\173\\251Q#\\DC1fr|\\177\\NAKb\\161\\176{\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\176\\212\\144\\171x\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"%\\187N?\\DC1k\\194_C\\211$\\232\\US\\ETX\\ENQm=\\EM\\172\\141M\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255x\\154RZn!\\224\\201\\a}+\\166w\\231S^\\227<:\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\222\\ACKo\\237\\172\\128\\234\\182\\n\\197\\251\\131\\176\\152\\DC4\\142\\DEL\\231\\183\\163\\177?\\ESC\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\179\\157\\\\\\168\\EM4Zf\\150\\173\\210\\225\\135\\192\\GS\\248\\&1\\205\\133\\&5D\\189z\\SUBH;\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\234\\244\\238[lh#\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\202\\&7\\230\\NULa\\ETBG0`\\253T\\251-\\175\\r\\222\\180\\157<?cY\\DC1tQ\\217\\RS\\DLE\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\248Q\\142\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"K@?A\\217\\240\\192\\201\\188\\bv>\\164\\154~l\\209\\166\\251{\\161 \"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\&6\\203nqIQ\\192F\\228\\147\\150\\197\\136\\238\\234\\FS\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\151B\\146\\&1W=D^r\\240'(\\196Q\\182\\237+\\US\\250w\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"Mf\\204\\141a\\145\\144z\\189D\\244]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\150I\\US\\\"\\163\\SYN\\DLEG\\STX\\129\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\148\\209\\236Edb2\\227\\190\\170\\232]\\238\\141\\250\\SI\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\197\\&8\\SI\\199\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\173\\186\\254\\192\\132.\\148\\CANNwt\\227\\241%}\\151\\245\\156'\\a|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vA.Po\\248\\SYN\\169Q\\156B\\214\\163\\237\\204p\\GS\\184i\\177\\191\\137v\\179\\235\\134)m\\\\Y\\132S\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\207\\174rt\\161r\\SUB\\131\\245z?\\131Ayz\\193mi\\131)h\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\197l\\CAN(\\192\\165)\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131k\\212\\134\\&0\\DLE:\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248td\\253\\196\\ENQ+\\206\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\240\\230\\ESCz4\\ETB`\\EM\\140I\\146\\SI\\235\\252h\\EM\\143\\ACK\\175\\228\\245>\\167\\224\\225\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\154\\231\\132\\167\\224\\EM\\164\\169\\228>\\153W(O,\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\137\\206\\201P@~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\190\\170\\200\\236\\197\\225aVG^\\v\\201\\&5/\\132\\vt\\134\\248\\246Gs\\232\\255:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\199\\164\\&3\\216\\&7m\\207p\\228\\234\\185\\211\\225\\SO\\149\\187\\&5\\172\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\RS\\187]\\214\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\146\\154A)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\248|\\193\\217\\237W-\\RS\\255\\192\\a\\215n+X\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\fvU\\a\\234\\177i\\169Xf)\\194@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\220\\133o\\193\\232GJ\\201,Df\\207\\&23\\b\\DLEB\\197\\DC1\\152+\\237Dl\\225H\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\202\\STX*^*\\201\\140\\b!P\\a\\USe\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192_\\\"\\138\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\152\"","tag":"AbiBytesDynamic"},{"contents":"\")g\\179\\225\\206\\FS\\174\\NUL\\\"\\147\\130\\219\\142\\237\\207\\155\\254#\\171\\129\\138\\136Y\\234\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240q\\242\\130\\175\\130I&\\149.\\210 s\\149\\153\\SO\\ESC\\ENQ\\146<\\202\\aXJ\\US\\ETX\\229~\\173\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\149\\202\\190U\\SOH\\229\\185l,\\NAK\\SI\\213\\199\\148\\217\\139+cn\\200A\\212?\\159\\133<\\186\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\&4\\a\\164m\\198\\228}u\\NAK&oK\\238\\DC2\\155\\178\\157\\231\\215\\232Fq\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\172#/[\\142\\226\\145\\197\\&2\\139\\229\\245\\154\\FS_\\255\\205\\226\\r\\246:\\SYN^\\128\\NAK\\157HJ\\154\\247_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\202\\NUL\\244v4\\148\\199\\147\\137>\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\133@\\134U\\233Ea\\199\\250\\167\\174\\221sW\\237\\216\\141\\\\\\b\\ENQ\\243Y\\ACK\\165\\GS\\149\\165P\\225c\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\143\\198sl\\138\\223\\182\\184\\DC4\\v\\211d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133J\\138\\130^\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198j\\245\\245iT\\243\\137\\158\\r\\249\\225\\150W\\172\\DC3\\158.\\132\\181\\192\\180\\247x\\US%6\\ETX\\196z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249r\\STX\\225|%4\\191\\159\\191Q\\226[\\191\\239;d\\220dS\\197\\168p\\230M\\160\\147X\\168\\224\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\197/v\\241\"","tag":"AbiBytesDynamic"},{"contents":"\" H\\182;\\NAKZ\\ENQ\\FS\\229\\&3B\\138\\vX\\192\\149\\178`\\DELm;\\170\\158h\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\143\\193\\v\\177\\ETBD]\\180|r_\\199\\235\\SI\\223\\254\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\DELGsn}]k]\\235\\195\\DEL\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\133]\\188\\174\\228S\\200t\\255\\230\\249?A#*\\155\\174\\170Z\\EMb\\248\\238\\167\\160\\148\\153>o\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\213g\\225U\\250\\ETB\\ENQ\\217H\\DLE\\142\\177\\&9M<\\\\-F\\\"\\249\\239\\248\\162\\161-\\215\\164\\190\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"cG\\192\\153#\\192l\\209\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEZ]\\215\\240!\\231GhD\\217\\233\\189\\144)\\241\\146\\207\\167\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"970"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"60322472751049054257585930449281770447137561112315068985769063631753652650614"],"tag":"AbiUInt"},{"contents":[256,"499"],"tag":"AbiUInt"},{"contents":[256,"24491104308196984090598808886614290932387063114896117581160557888141321159227"],"tag":"AbiUInt"},{"contents":[256,"10001"],"tag":"AbiUInt"},{"contents":[256,"62608286490561160222160858277879936526800099290820456754724248624572519480499"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"71356682796666182659273610678028849330959452773541046527114058932217102658076"],"tag":"AbiUInt"},{"contents":[256,"3999"],"tag":"AbiUInt"},{"contents":[256,"36034109251233894879471453325806032044573471730398846754172426680224192853704"],"tag":"AbiUInt"},{"contents":[256,"15415806"],"tag":"AbiUInt"},{"contents":[256,"25368212141789685978231895828048354163526827342746112718585044559257588392457"],"tag":"AbiUInt"},{"contents":[256,"1525396918"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639907"],"tag":"AbiUInt"},{"contents":[256,"40030436225824516920463368540867967337316002455403120234403433653934691668191"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"49581686784888823442858924318015140592518692785173205259146475728985986498213"],"tag":"AbiUInt"},{"contents":[256,"15294049"],"tag":"AbiUInt"},{"contents":[256,"92149846383834800050942439115510914046391236465242204306071393315206834328946"],"tag":"AbiUInt"},{"contents":[256,"17386484080647042871581938605963850813603204654731538452144984901124773793789"],"tag":"AbiUInt"},{"contents":[256,"97699766422749618634259183397892633967530785549100248086268188183797693794080"],"tag":"AbiUInt"},{"contents":[256,"1533433583"],"tag":"AbiUInt"},{"contents":[256,"56641781451413327879156070168557603477285155"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"4281368292900951969709112657603969830812131787743333845835011961227155378038"],"tag":"AbiUInt"},{"contents":[256,"9303195650534956626591444452885150388256718733372549195288478383018231705303"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"87027856873596968630994239835223786359"],"tag":"AbiUInt"},{"contents":[256,"1525843691"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628419"],"tag":"AbiUInt"},{"contents":[256,"1532573789"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"61829483812434638848421513641604361665982425066956240091949270697290398762511"],"tag":"AbiUInt"},{"contents":[256,"1534543958"],"tag":"AbiUInt"},{"contents":[256,"13300167144702005679715708719362824922552072253101517856609901577363947500327"],"tag":"AbiUInt"},{"contents":[256,"96826786679276086824343640253026963921998447682616404951884947977166410882965"],"tag":"AbiUInt"},{"contents":[256,"91606509306933629293893247226003843712244125679793007468201341395596736656363"],"tag":"AbiUInt"},{"contents":[256,"104583145047059340175673696535356418099471152968187927608512797859538757406261"],"tag":"AbiUInt"},{"contents":[256,"1532995046"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"55326419960817686608031645471375405028444940380722132817949918488150060982437"],"tag":"AbiUInt"},{"contents":[256,"106850456801359598218206939198445953568048161932696751532851624232490902673079"],"tag":"AbiUInt"},{"contents":[256,"945"],"tag":"AbiUInt"},{"contents":[256,"77827720183308460744307012438968761487308812871184780027577844657150337436312"],"tag":"AbiUInt"},{"contents":[256,"1531192456"],"tag":"AbiUInt"},{"contents":[256,"864248700538476564701638625028734"],"tag":"AbiUInt"},{"contents":[256,"44748259508516845916850244077813665776426176510401854872803598834926213012587"],"tag":"AbiUInt"},{"contents":[256,"33404534844170905101054568311885112918282059990646467437740101373340380716972"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639435"],"tag":"AbiUInt"},{"contents":[256,"1532061529"],"tag":"AbiUInt"},{"contents":[256,"135"],"tag":"AbiUInt"},{"contents":[256,"86399"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211775"],"tag":"AbiUInt"},{"contents":[256,"53732797898261309695948033688972834562469025452991656111369866986127442117875"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"7157035410514076928838352948786529164547825734528556803390764080495969527967"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639037"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"50609877361810028539953855033652048018384728439534457427975532130488825439623"],"tag":"AbiUInt"},{"contents":[256,"47434513375569328133309316628249996830470642032356374025044588134435756813766"],"tag":"AbiUInt"},{"contents":[256,"36309733928492434125134381366308492768178870001271288839"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"46424579611497806356163286618220509509045090468444218400099344266297008215434"],"tag":"AbiUInt"},{"contents":[256,"302"],"tag":"AbiUInt"},{"contents":[256,"102458662958233027954384784747642840698186127998200489254232304978438648765422"],"tag":"AbiUInt"},{"contents":[256,"672"],"tag":"AbiUInt"},{"contents":[256,"1528955205"],"tag":"AbiUInt"},{"contents":[256,"68786729125980009855944578440013557830408872328023942275861679394609415909107"],"tag":"AbiUInt"},{"contents":[256,"17807523084626762532277129683753607894989214438750841590082946187421150846862"],"tag":"AbiUInt"},{"contents":[256,"3999"],"tag":"AbiUInt"},{"contents":[256,"93730225686378748946410610799413776708048532910441974190332710582130489580363"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"76966776142453815696474000364513381266094241738950963218391863730073850641367"],"tag":"AbiUInt"},{"contents":[256,"5764473603814764542675186606477174919770338598444246417856881088917758157927"],"tag":"AbiUInt"},{"contents":[256,"873"],"tag":"AbiUInt"},{"contents":[256,"28270923902795377049925306541217598513555248311297857907971044964162272859389"],"tag":"AbiUInt"},{"contents":[256,"78265072725382049580971032311803814764936452145024368630013082067196198944334"],"tag":"AbiUInt"},{"contents":[256,"1537157104"],"tag":"AbiUInt"},{"contents":[256,"1528433428"],"tag":"AbiUInt"},{"contents":[256,"1395484876644041837645457"],"tag":"AbiUInt"},{"contents":[256,"2247039352605810597384068889031292410694955779987379314770632122179499286499"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639872"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639917"],"tag":"AbiUInt"},{"contents":[256,"1532119670"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609600"],"tag":"AbiUInt"},{"contents":[256,"892"],"tag":"AbiUInt"},{"contents":[256,"112141948949145673374294186626048673840155032949507522885960630552464169126784"],"tag":"AbiUInt"},{"contents":[256,"63622954123820107531297819063005229165104273115620860595025704928826692852404"],"tag":"AbiUInt"},{"contents":[256,"50125068667435828241779169090653633933963794750572688745755363588403853424021"],"tag":"AbiUInt"},{"contents":[256,"704"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"32794853217076500041256576947170927622332503144091415804609769556575671286449"],"tag":"AbiUInt"},{"contents":[256,"1531974667"],"tag":"AbiUInt"},{"contents":[256,"1529467965"],"tag":"AbiUInt"},{"contents":[256,"68741480631515567062178810747095821693766216585755740498871221591537097612359"],"tag":"AbiUInt"},{"contents":[256,"8439911751490186136641051722912945300598711789639015879684511804613"],"tag":"AbiUInt"},{"contents":[256,"604802"],"tag":"AbiUInt"},{"contents":[256,"106367939261135035273634638252106074084308834975533427634238607995069459909770"],"tag":"AbiUInt"},{"contents":[256,"1527487328"],"tag":"AbiUInt"},{"contents":[256,"10001"],"tag":"AbiUInt"},{"contents":[256,"36003083816716150688393335156669507209999233673587851128623017737602261403400"],"tag":"AbiUInt"},{"contents":[256,"245548270000814030094900048011957857752"],"tag":"AbiUInt"},{"contents":[256,"1527277179"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"4"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639915"],"tag":"AbiUInt"},{"contents":[256,"96445827869699731945990899905270698566633615288218718935165556624668764487396"],"tag":"AbiUInt"},{"contents":[256,"81527220604169071841055465878928908732617093110829473111646636295067198970743"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ea86","0x0000000000000000000000000000000000000000000000000000000000009be5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c0ed","0x0000000000000000000000000000000000000000000000000000000000000ab4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":[256,"59582357149250638569417743347487030260144778801074057252567329222666792857772"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004be3e","0x0000000000000000000000000000000000000000000000000000000000003121"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"73393417554105535790291846659596694092806906242209950026435395803383167092517"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000046","0x000000000000000000000000000000000000000000000000000000000000e5a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021e9b","0x0000000000000000000000000000000000000000000000000000000000002322"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"2"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000410d1","0x00000000000000000000000000000000000000000000000000000000000091fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"20"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x00000000000000000000000000000000000000000000000000000000000012b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"95341490705181710533173247589018791185902744022023390884687170241880199023309"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa0","0x0000000000000000000000000000000000000000000000000000000000006148"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"46701430040365555393145880004469421425135966481862509815424875932359593042819"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009fdc","0x000000000000000000000000000000000000000000000000000000000000bf18"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"191"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb30","0x0000000000000000000000000000000000000000000000000000000000000dad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"4026965180058193030465946455148936048527413817359946453062419003656211087276"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002713","0x000000000000000000000000000000000000000000000000000000000000b446"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"5616338370488299766527485107640911869918544679232550432084864449346966096045"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012f","0x000000000000000000000000000000000000000000000000000000000000a2e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"96286736103106302884538238565418576618612282062444219686262229846375062149602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdfa","0x000000000000000000000000000000000000000000000000000000000000be18"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"2000001"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639923"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea18","0x000000000000000000000000000000000000000000000000000000000000db63"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a1d4","0x0000000000000000000000000000000000000000000000000000000000000f82"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"107874721478179696197648265245592571300035488112600278888297283435449570575975"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb22","0x0000000000000000000000000000000000000000000000000000000000000060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"5004454931810724568400796871326105431149206592"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002d6","0x0000000000000000000000000000000000000000000000000000000000000fd2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffb","0x000000000000000000000000000000000000000000000000000000000000295a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"9661584625985161238632062642111493951616673534805133889487885084331225827667"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a515","0x000000000000000000000000000000000000000000000000000000000000874f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639852"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000390","0x0000000000000000000000000000000000000000000000000000000000002869"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"2671811846"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a27b","0x000000000000000000000000000000000000000000000000000000000000d780"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"27"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b66","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004838c","0x0000000000000000000000000000000000000000000000000000000000009698"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a61","0x000000000000000000000000000000000000000000000000000000000000b2fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"604799"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000026ac4","0x0000000000000000000000000000000000000000000000000000000000006666"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d50","0x000000000000000000000000000000000000000000000000000000000000a2f8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x00000000000000000000000000000000000000000000000000000000000074b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":[256,"42102793119686745265296119355030660792900354460105259710967588608712105579492"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000026c11","0x000000000000000000000000000000000000000000000000000000000000d5d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"1530728216"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ca54","0x0000000000000000000000000000000000000000000000000000000000008c95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"12025368480055900642013666772690716791616274061983043426017624848884746614000"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b18c","0x00000000000000000000000000000000000000000000000000000000000023c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065410","0x00000000000000000000000000000000000000000000000000000000000003ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056b3e","0x0000000000000000000000000000000000000000000000000000000000009205"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"10445416482220684268241714313493465770898017756316092921103267575668192798192"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010179","0x000000000000000000000000000000000000000000000000000000000000e7ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":[256,"113691709928403582735367794500736051725670105954434265846074660722594273280307"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000252b","0x0000000000000000000000000000000000000000000000000000000000009929"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1810456342015375200122366124796996379382707977304703008770012459817285217589"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"35667507021061790829223468729078045077462083846961131824011409649213000608681"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b173","0x000000000000000000000000000000000000000000000000000000000000d4bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"252"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac1","0x000000000000000000000000000000000000000000000000000000000000131b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060a7f","0x0000000000000000000000000000000000000000000000000000000000005a07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e8","0x000000000000000000000000000000000000000000000000000000000000ca25"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003dacf","0x00000000000000000000000000000000000000000000000000000000000013a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063145","0x0000000000000000000000000000000000000000000000000000000000005240"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062337"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f62a","0x00000000000000000000000000000000000000000000000000000000000095e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"1528150280"],"tag":"AbiUInt"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6c","0x0000000000000000000000000000000000000000000000000000000000004b99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xED1785b65896022A79B55D3EbaFD6Ab7C6560e92","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x31f02bC1084cb942E4245A15182A6E5bcC606e61","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\198\\253\\&4\\EOT\\171\\211\\GSs\\244LP\\226I{j\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"J\\150\\223\\DC4\\255\\192\\221\\SO^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\237Cr\\234\\150\\137\\193'\\214\\240)n\\168\\214n\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\224\\&35\\GS\\SYN\\174\\r\\251\\164S\\NUL\\140\\248\\239\\182\\152\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\f\\224\\201c\\243\\179\\DELR\\t\\158\\&1eg\\189a\\226]\\231\\128\\207s\\138\\USxO\\153\\173\\249K\\176\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\193<\\185-\\229U\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\220\\242P\\162f\\217s\\220\\241\\ENQ\\164\\213\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\172\\155\\242Dh\\214\\132\\191\\&5\\254\\158\\a<\\244 T\\137(\\223\\151J\\140\\t'\"","tag":"AbiBytesDynamic"},{"contents":"\":W\\192\\&2w&\\181\\206\\141;\\156z\\160\\147\\&3\\241F\\DC3\\229\\249J'H_Y\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\225\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\DC1\\177d`P\\\"\\134\\159\\SI\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"+s\\US\\254\\245\\EOT(\\134\\196\\DEL}\\217\\128\\188\\178B\\181C<\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\223wz\\243\\&1\\248Z\\147\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135TC\\194\\184\\\"-&\\227x\\135\\158\\216\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\191\\171\\130\\\"r\\199\\203\\241\\157F\\255\\149B\\v'/\\154\\162\\n\\250\\169\\209!\\196\\164m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSvG7&\\231\\ESCc\\217\\180\\ETB\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\",\\252}\\174\\219\\162\\207kg\\201\\143h\\164E\\228l\\236\\240\\212\\210(\\137\\252\\150\\DC1\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\251\\168\\203\\NUL\\208\\249\\173y\\154f~\\155\\r\\179\\201\\CAN\\254\\157\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\")`\\245\\167\\199\\206\\231\\245\\137)&4M\\EM\\134L`\\151\\226\\133h\\254\\150\\201\\213c\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\255O%[2N\\GS\\177*\\RS\\v\\143^\\\"xA\\138\\132\\RS?4\\142\\139e\\163#\\216&\\\"\\210\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\213T\\128\\157FX]I\\137\\ESCC{\\241\\165\\216\\&1\\247C\\226\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\241\\211\\195 &\\177\\148\\163\\201\\231\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\197\\226\\191)j.\\242\\215\\129\\220JM\\164\\&0\\157\\169\\ENQ9\\172\\DLE\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\221.\\153\\222D[\\DC3\\199\\201\\143\\196\\214\\FS\\DLE\\146M\\160o\\CAN#9Y\\177\\204\\239\\166\\197\\248\\189\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\137\\157\\206\\192\\130e\\DC1\\205\\247\\241\\149\\US\\\\\\179\\186\\173Gd\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\DC34J\\192\\SONB\\162N\\SI\\169\\140\\163\\nk\"","tag":"AbiBytesDynamic"},{"contents":"\"]#\\235R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\175kt\\172\\133\\207\\175L\\219\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\195e\\170E\\194\\220\\199E(\\188F\\184\\143\\SI\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\186\\NAK\\163\\215[\\140p\\DLEq\\205\\152(\\RS\\235\\245f\\208\\177xS\\243zr\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"As\\247\\139\\163\\SOHB\\206\\246\\239-\\176\\174\\DC2\\222\\234L\\214\\188S\\153\\140\\254\\173b\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\bQ\\220\\148>O\\199\\DEL6I\\153&\\220\\t\\177\\133\\144sW\\178\\144 (f\\243\\200\\239:\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\203h\\ACK\\130\\&8D'\\227\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\184>\\209\\128\\182\\177\\217\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\197\\150\\185U\\157\\fE!D/\\133\\&8-\\195\\155\\207\\201\\153\\245\\234\\146\\209\\246)}\\240==\\211\\183c\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\247r\\rK\\213\\253&C\\214\\&5\\214S\\GS\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196W\\141\\131! \\DEL\\180 \\162\\159\\238\\165\\204[\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"CW[\\204\\DLE\\241{G\\246\\210\\136\\156\\188e3\\243\\217\\251\\DLE^c\\154\\204\\rx\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\241\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"2\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"917"],"tag":"AbiUInt"},{"contents":[256,"105263922327537623306167367887791156142515449601642337613285854619920728391975"],"tag":"AbiUInt"},{"contents":[256,"1525512821"],"tag":"AbiUInt"},{"contents":[256,"20"],"tag":"AbiUInt"},{"contents":[256,"1530456027"],"tag":"AbiUInt"},{"contents":[256,"101359288298398216505258042124983107274182475665536651119287998219519285332231"],"tag":"AbiUInt"},{"contents":[256,"52"],"tag":"AbiUInt"},{"contents":[256,"166"],"tag":"AbiUInt"},{"contents":[256,"3998"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639851"],"tag":"AbiUInt"},{"contents":[256,"84894105721548381372366820716490372099521087115613721434297558998139261356643"],"tag":"AbiUInt"},{"contents":[256,"298499230865180642600256515319654220082"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"107476945163232138178610474280282502358013912846565386027851141686508816753223"],"tag":"AbiUInt"},{"contents":[256,"512863076945103425903783863514656"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"554526698521452134011368485263"],"tag":"AbiUInt"},{"contents":[256,"1529453873"],"tag":"AbiUInt"},{"contents":[256,"113544939682492285508605466288696703733705630886373654027094779393072296795502"],"tag":"AbiUInt"},{"contents":[256,"1530335763"],"tag":"AbiUInt"},{"contents":[256,"604801"],"tag":"AbiUInt"},{"contents":[256,"490"],"tag":"AbiUInt"},{"contents":[256,"40905571583409002059405698608385741957599124779676376483278605213305181226405"],"tag":"AbiUInt"},{"contents":[256,"31195139389605254687480316431126114076820699640320022165862861210416855869121"],"tag":"AbiUInt"},{"contents":[256,"232"],"tag":"AbiUInt"},{"contents":[256,"39063261607949205196689680750376373244253960480561245454181379146095390469128"],"tag":"AbiUInt"},{"contents":[256,"1313373039"],"tag":"AbiUInt"},{"contents":[256,"60228998229343842554116508112779139208518644212300390278802637119599189093108"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507328"],"tag":"AbiUInt"},{"contents":[256,"23"],"tag":"AbiUInt"},{"contents":[256,"95"],"tag":"AbiUInt"},{"contents":[256,"110052423237574835288045945641815313061187163406540318370283725224851612045807"],"tag":"AbiUInt"},{"contents":[256,"1534362941"],"tag":"AbiUInt"},{"contents":[256,"1514110968"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"99665474669830386678384097898737207205018698533756405355782976583471349883514"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088318"],"tag":"AbiUInt"},{"contents":[256,"31158056000949486355429062780442852729317365843876048002562324871365736550214"],"tag":"AbiUInt"},{"contents":[256,"299"],"tag":"AbiUInt"},{"contents":[256,"9001"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638934"],"tag":"AbiUInt"},{"contents":[256,"669"],"tag":"AbiUInt"},{"contents":[256,"29159421820320606131514721386239132065985748291679782378733148751678642795049"],"tag":"AbiUInt"},{"contents":[256,"92271994142706638513336167978442045584238867748386728277722767772613264143801"],"tag":"AbiUInt"},{"contents":[256,"2518028258726267420585841520199877276985412254233486812147448395907666458300"],"tag":"AbiUInt"},{"contents":[256,"1528160349"],"tag":"AbiUInt"},{"contents":[256,"419"],"tag":"AbiUInt"},{"contents":[256,"245548270000814030094900048011957857752"],"tag":"AbiUInt"},{"contents":[256,"99913174622256667114787829088653599937219985698526988949216977334727363338779"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"1527132040"],"tag":"AbiUInt"},{"contents":[256,"103241707926743956671707069094067735233240749497721850418432409381299118077856"],"tag":"AbiUInt"},{"contents":[256,"6588247530674060731257710012726786994694786520970955448493060383459815148454"],"tag":"AbiUInt"},{"contents":[256,"25741683671835737160733468370236806359961970860429902739095956324172551447480"],"tag":"AbiUInt"},{"contents":[256,"190"],"tag":"AbiUInt"},{"contents":[256,"630"],"tag":"AbiUInt"},{"contents":[256,"50479025766046955362940542851708606239802457304686191563783600933939050067478"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"101613120349198399623182155990194624300875929041810501020159219081090229496915"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"89622119126177759513420687654971953138860781343082103450089639776806554634929"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"269058317516"],"tag":"AbiUInt"},{"contents":[256,"669"],"tag":"AbiUInt"},{"contents":[256,"236842656602185535285063096184914249"],"tag":"AbiUInt"},{"contents":[256,"103927464252392092400222896919173302060946730285237622506447623000749834965442"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088322"],"tag":"AbiUInt"},{"contents":[256,"1528433428"],"tag":"AbiUInt"},{"contents":[256,"67"],"tag":"AbiUInt"},{"contents":[256,"90794907005623075801078837209129107393423629164202464889671939368150237018835"],"tag":"AbiUInt"},{"contents":[256,"76606784916267578182612406888337056426429598875733977432264409672942048650420"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"14841238036785059209827834285366171044641552474861841696807705500792458765383"],"tag":"AbiUInt"},{"contents":[256,"54977959789407164357643233415033449657079123132000021268134545249722699582512"],"tag":"AbiUInt"},{"contents":[256,"94951278078123933726302641851346078970220852321244392028979626517448539771566"],"tag":"AbiUInt"},{"contents":[256,"1530909191"],"tag":"AbiUInt"},{"contents":[256,"1531386166"],"tag":"AbiUInt"},{"contents":[256,"85164698631620121840373087819388411945"],"tag":"AbiUInt"},{"contents":[256,"239719723071356159204710107"],"tag":"AbiUInt"},{"contents":[256,"59766695269535839800765152845101105129010425382971156881200071764625514066012"],"tag":"AbiUInt"},{"contents":[256,"1527425861"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"32"],"tag":"AbiUInt"},{"contents":[256,"1529841828"],"tag":"AbiUInt"},{"contents":[256,"55619576248611725069951697821726944709885632531797787594952328548769179968273"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabe","0x000000000000000000000000000000000000000000000000000000000000ca0a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e955","0x000000000000000000000000000000000000000000000000000000000000cff5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"44425366662830414828260842408679648534400280169063111218764235251"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e7","0x000000000000000000000000000000000000000000000000000000000000d8cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000043","0x0000000000000000000000000000000000000000000000000000000000008980"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f2","0x0000000000000000000000000000000000000000000000000000000000004aec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005acf9","0x000000000000000000000000000000000000000000000000000000000000263f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"104"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076b9e","0x000000000000000000000000000000000000000000000000000000000000134a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x432EC9EACCbaf30BE4058F63E729de60E7c54B42","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000095e","0x000000000000000000000000000000000000000000000000000000000000ec35"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"20143533657249216550023971983009648280729695249118114507288400819217596534721"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f95","0x000000000000000000000000000000000000000000000000000000000000c46d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]