[{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"111562790388083274122284929289153470692055788448032009310126571826287328720965"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb32","0x00000000000000000000000000000000000000000000000000000000000001f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"9619719405635587310507289952766971419637392414904548866331300967971311"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb04","0x0000000000000000000000000000000000000000000000000000000000002326"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062337"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e4","0x000000000000000000000000000000000000000000000000000000000000e293"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"30141872686217479010693560728749595830656360881497820098157850535104959060471"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3f","0x00000000000000000000000000000000000000000000000000000000000003e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":[128,"146287105457202317666994673628368781788"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000576ad","0x000000000000000000000000000000000000000000000000000000000000135b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084276","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517d","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb20","0x000000000000000000000000000000000000000000000000000000000000001c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"29"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000033","0x0000000000000000000000000000000000000000000000000000000000001370"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000086","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x00000000000000000000000000000000000000000000000000000000000035d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"37"],"tag":"AbiUInt"},{"contents":[256,"72177917124063203595525839238244016787562443683975143790224497834581266207418"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085b27","0x0000000000000000000000000000000000000000000000000000000000009aa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"100293045255225771986615967154564533254593387357014971307815516664328067940684"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb48","0x0000000000000000000000000000000000000000000000000000000000004b96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"132"],"tag":"AbiUInt"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011518"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007b","0x0000000000000000000000000000000000000000000000000000000000007e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"43614748300580564192461557816131496875201533662389364058521458614049165504864"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e37a","0x000000000000000000000000000000000000000000000000000000000000dda8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0f","0x000000000000000000000000000000000000000000000000000000000000b556"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"103322357794879275946113165651015354876523422073967866219282459454172579730904"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f96","0x000000000000000000000000000000000000000000000000000000000000ea96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000045","0x000000000000000000000000000000000000000000000000000000000000002f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":[8,"153"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bda","0x000000000000000000000000000000000000000000000000000000000000139c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"13446688552704526085905840042910072981578496741614353876149280770987818864087"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe3","0x0000000000000000000000000000000000000000000000000000000000009203"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"130992233745439825245539"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f98","0x0000000000000000000000000000000000000000000000000000000000006de1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077911","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3d","0x0000000000000000000000000000000000000000000000000000000000000044"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000065","0x000000000000000000000000000000000000000000000000000000000000dcb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043b10","0x0000000000000000000000000000000000000000000000000000000000008eca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc12","0x0000000000000000000000000000000000000000000000000000000000000033"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x0000000000000000000000000000000000000000000000000000000000007660"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"5326847110056302828591434797454286121899375856656350038529466983873400682795"],"tag":"AbiUInt"},{"contents":[256,"247988514236366511545292263555733499774456308169277654413933253885743925363"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"57092915811412700093674739490307723611194508806493660049459525375979729388783"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211775"],"tag":"AbiUInt"},{"contents":[256,"88475882687107721664846408869323775706647947315820134016672076105240943748463"],"tag":"AbiUInt"},{"contents":[256,"13033434844836275736526621390878647736243653378225301111148882877415021530728"],"tag":"AbiUInt"},{"contents":[256,"85322780317616919765896491918029704316349426216980110983067628412430272279543"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"},{"contents":[256,"1313373038"],"tag":"AbiUInt"},{"contents":[256,"61504430903464375684021586423804562957983365268578057103373367013696195018434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858884"],"tag":"AbiUInt"},{"contents":[256,"74117156562489969874984556387546143178027001679981212222897771129128612545931"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000001"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507325"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689597"],"tag":"AbiUInt"},{"contents":[256,"86915519735401052708922529897720323922794758010848096701492757921378460442577"],"tag":"AbiUInt"},{"contents":[256,"62516552559156751816229582051840285612683209925447542062729831288576733549492"],"tag":"AbiUInt"},{"contents":[256,"28565636049865036744053782440049933701102985810570661064772418678426678375625"],"tag":"AbiUInt"},{"contents":[256,"84366654990083895916526974745422264234058145223483103378754089734271642871082"],"tag":"AbiUInt"},{"contents":[256,"76281670760550441118343854991352050075722085800275471889283889427443800019778"],"tag":"AbiUInt"},{"contents":[256,"60720360220678837927113987589136673378585736112230397560853056963714038067407"],"tag":"AbiUInt"},{"contents":[256,"21215409046603451092366095996979674325949514961659224565115999692664790879117"],"tag":"AbiUInt"},{"contents":[256,"2000002"],"tag":"AbiUInt"},{"contents":[256,"84881323691440382976139615797805440746235899271546452180186219986963296666717"],"tag":"AbiUInt"},{"contents":[256,"87544300288093062120859307921274478929232902462642243918108323826848658581796"],"tag":"AbiUInt"},{"contents":[256,"460311870308093054116607539322904159529580735289966303299"],"tag":"AbiUInt"},{"contents":[256,"37087184266107560098908331842469060432087588261433689"],"tag":"AbiUInt"},{"contents":[256,"392"],"tag":"AbiUInt"},{"contents":[256,"117"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639898"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639866"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"11680223299395458517971732330381976936249373522320542235662633136569414101781"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb24","0x000000000000000000000000000000000000000000000000000000000000ebcc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000004f13dfbe729c5085"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fd","0x00000000000000000000000000000000000000000000000000000000000043f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"249"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000026","0x000000000000000000000000000000000000000000000000000000000000131a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"34880322722838927838699043950934994335899798593811607958367192638535814218903"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a61","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"2001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb29","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638933"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac0","0x00000000000000000000000000000000000000000000000000000000000000fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x432EC9EACCbaf30BE4058F63E729de60E7c54B42","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x31f02bC1084cb942E4245A15182A6E5bcC606e61","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f2","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"3308973673168727141888192610171533349217015373259"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaea","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d575","0x000000000000000000000000000000000000000000000000000000000000dcc1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731850"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81d","0x0000000000000000000000000000000000000000000000000000000000001391"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"2080454934553250379837901698744794327082329768288523355160220145493950899579"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c8","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"17949246575788734995"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d2","0x000000000000000000000000000000000000000000000000000000000000136d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d828","0x00000000000000000000000000000000000000000000000000000000000000e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"30175505012085390644318701977146734790661448823654692454747163126181758802798"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fc","0x0000000000000000000000000000000000000000000000000000000000002c55"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c027","0x00000000000000000000000000000000000000000000000000000000000035d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb14","0x0000000000000000000000000000000000000000000000000000000000002710"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\r\\175w!\\133\\159+<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\207\\181YS\\147\\251\\DEL\\205\\FS\\140H\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\208\\179e\\200q\\177f*M,H|\\178\\187\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"EL\\ESC\\157[\\135\\STX\\210\\170\\255\\248\\235\\230\\211\\211^\\175`\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\232\\135\\190\\137+i\\ENQ\\244\\209\\&4!e\\\"*\\183\\231\\227\\245\\&7{\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\240i\\194Z\\174.\\RSL\\129J\\246\\170<\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\250\\219\\231\\183\\212=\\151\\211\\ACK\\158\\167\\248\\CANP\\236\\178/l4\\232\\186I\\189\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\250\\250G\\170w,\\224isr\\200M\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\161P\\DLE3\\214$&Yy5\\163T q\\DLE\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"kT\\237\\200\\DC3\\215Q\\137\\254K\\251\\US\\132+\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\161\\183O\\147\\231i?\\NUL\\NUL\\137_\\169i _\\NAKLVT\\198\\GS\\232\\STX\\215%\\196\\170Q\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163)\\138\\211\\129[\\221\\&1\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227Gd_\\161J\\182\\209&\\250\\f,\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"TK\\230\\ESC@\\DC2\\232\\250\\198WX\\166BAG\\186hMO^\\DC1\\vP\\CAN\\178\\NUL\\182z\\SUBD\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\135\\&3\\186\\169\\216\\179\\192\\219\\DLEX\\144\\&1/\\129\\161\\171\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219=\\ENQ\\182TimZ\\160\\187\\EOT\\224\\233\\162\\ETXC\\202\\254\\147\\177\\209\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX|\\200\\225\\151P\\216B\\252\\239\\148\\SOH\\198 \\141\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB_\\181[\\RS\\133\\236\\191\\190\\193[\\a\\216\\201\\DC1;\\ETB\\179\\173\\129U\\213\\&8\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\DC2o\\161\\176=\\DC2\\204\\150\\RS\\162\\&1\\242h>r\\181\\168z&\\185\\159t\\133\\DC3\\145\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219=\\ENQ\\182TimZ\\160\\187\\EOT\\224\\233\\162\\ETXC\\202\\254\\147\\177\\209\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX|\\200\\225\\151P\\216B\\252\\239\\148\\SOH\\198 \\141\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB_\\181[\\RS\\133\\236\\191\\190\\193[\\a\\216\\201\\DC1;\\ETB\\179\\173\\129U\\213\\&8\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\DC2o\\161\\176=\\DC2\\204\\150\\RS\\162\\&1\\242h>r\\181\\168z&\\185\\159t\\133\\DC3\\145\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219=\\ENQ\\182TimZ\\160\\187\\EOT\\224\\233\\162\\ETXC\\202\\254\\147\\177\\209\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX|\\200\\225\\151P\\216B\\252\\239\\148\\SOH\\198 \\141\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB_\\181[\\RS\\133\\236\\191\\190\\193[\\a\\216\\201\\DC1;\\ETB\\179\\173\\129U\\213\\&8\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\DC2o\\161\\176=\\DC2\\204\\150\\RS\\162\\&1\\242h>r\\181\\168z&\\185\\159t\\133\\DC3\\145\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219=\\ENQ\\182TimZ\\160\\187\\EOT\\224\\233\\162\\ETXC\\202\\254\\147\\177\\209\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX|\\200\\225\\151P\\216B\\252\\239\\148\\SOH\\198 \\141\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB_\\181[\\RS\\133\\236\\191\\190\\193[\\a\\216\\201\\DC1;\\ETB\\179\\173\\129U\\213\\&8\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\DC2o\\161\\176=\\DC2\\204\\150\\RS\\162\\&1\\242h>r\\181\\168z&\\185\\159t\\133\\DC3\\145\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\&9\\173\\239\\197\\168\\178\\229\\USVX\\130\\&6\\164\\172\\173I\\162\\141\\197\\207\\248w\\130\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"kOG\\251\\179\\250\\&8\\\\0\\re\\163\\225\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"y%+&,k\"","tag":"AbiBytesDynamic"},{"contents":"\"!Ij\\149JVg\\223\\247R\\162[,7a\\FSf+\\232\\254\\251\\225\\165\\253\\&79p%\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\158\\RS\\224\\227\\174v\\SUBk\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225Eq\\229\\161\\ETB\\DC2\\180YC\\RSJ\\250\\156,\\190\\156;\\146Z\\247\\139\\139\\189h\\198\\209\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155vA\\146-mWW\\194~\\184\\&9\\211\\135C\\\\\\141#\\rY\\167)y\"","tag":"AbiBytesDynamic"},{"contents":"\"Yf\\228H\\222q2$\\206\\137x\"","tag":"AbiBytesDynamic"},{"contents":"\"lTAZ\\219\\204C\\230@n\\138'hp\\179|\\167\\224\\142\\248\\175\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\144\\FS\\163F\\209\\171\\139\\&1\\143c\\173\\253d\\201Q\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\166\\207p\\210\\180\\138;\\138\\255Eb\\GS\\255\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\ENQl\\241\\235\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\216\\199\\175\\DLE\\209M\\a\\178\\217\\r\\206\\ft%\\ESC\\DC2\\201\\240F\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\184\\143\\221\\165\\171\\&4G\\244\\NAK\\160\\196\\SI\\191\\141\\160\\SYNt0L\\fL\\199\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\248'\\135\\219\\166\\CAN\\149\\193\\DLE\\234zR\\227L\\173\\130\\138\\237.\\t\\229D\\173\\204\\b\\EOT\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225G\\202\\242[\\243\\SUB\\222r\\144\\141\\SOH\\243\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\STX\\171Y\\DC1\\182\\FS\\254#\\133UJ\\237\\210d!M\\196\\242\\251\\236\\135\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\233i\\SUByw\\SOH;\\178\\177=\\217\\240u3~jzu\\FS\\ESC\\159\\212\\ESC/\\DEL\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"v-2\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"(]\\251\\159\\DC1\\158\\167\\154n\\160\\DC3i\\138\\bU\\162Q\\196\\251$\\129?\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\199\\ETX4\\215\\130G\\216\\\\\\SI\\135\\249\\132Wr\\212~\\139\\204A\\135o\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\215ne\\143\\199m\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154F\\157}#\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\201\\161\\245\\&8@\\ESC\\155?\\t\\199\\163c\\203Zs\\DEL\\131o\\140\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\221\\237\\225y$x\\223zl\\DC3\\136\\152s\\244t\\209\\SOH\\NAK\\181\\212\\208\\237\\242}\\140\\\"\\194\\181([\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\143\\&3TLY\\235\\209\\208\\178\\164iL\\174\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\&4\\209\\136\\212\\247v\\193=\\DC1\\\",\\ETB\\246:Nb\\181k\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\138\\184$\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\239\\215Q\\214\\208\\172\\186\\&7\\188\\218!]F0\\206\\215\\242@u0\\DLED&b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\218=Ud\\229\\EOTV\\\"\\234R\\137^\\CAN\\203\\132\\190\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"^\"","tag":"AbiBytesDynamic"},{"contents":"\"|Qq\\152\\n^\\137\\246\\148\\DC2\\227\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"7G\\169Um\\172v\\133\\DLE\\SO\\NUL9C\\239B.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\151\\224=\\255\\207I\\165\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\";\\DLEr\\189T\\226E`\\149\\176\\137\\243c\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"R\\165+\\SYNE\\DC4\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\249}\\174\\218\\128\\143\\164o\\201y\\154]\\221\\ENQXp\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202c\\158c\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\">\\224\\CAN\\200\\ETXY\\226\\186)\\155\\t|\\176\\193D\\173:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233Q\\155q\\237t9\\214MUMO\\157\\153k\\131\\224rXh\\219\\232\\220+\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219BH\\161\\166\\r\\153\\244&\\249\\255\\240\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\134\\162\\FS\\138\\NUL=X\\254,\"","tag":"AbiBytesDynamic"},{"contents":"\"*c\\186b\\234v\\205\\NAK]X\\173\\&6\\198{\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\203\\177\\162\\233\\205o\\201\\240\\a<I\\162\\146\\167\\195\\&8J\\CANc\\197\\199\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\";\\213\\r\\248\\165\\173\\f\\SOH\\151'\\163\\EM\\DC1\\b\\t&aL2\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\172F\\SYN\\139U\\203o\\141\\&2\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOj\\RS7,\\229\\225\\170\\&2\\171yZ\\US\\FS\\141\\ETXu\\183D\\128\\RSQ\\250Wj\\DLE7\\177\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\133\\ACKv\\190ERJ\\134M2\\132\\142\\183\\210Y8\\SI'j\\216\\190\\\"z7\\173\\254}\\241\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\168\\188\\&3\\168\\163,\\234yY5\\193\\&7\\239\\n\\231\\155\\SYNZ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170%~\\196\\a1\\NAK\\\"\\250\\219\\175\\&2Y\\157r\\214\\207\\254\\159\\225\\SYN\\141\\ACK\\157s=Y\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\181\\209v\\210<0\\243\\224\\164\\243\\197%pu\\250\\DC3{9\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\131Q\\a\\132\\ENQ\\214\\222\\222\\NAK\\141\\157\\NULb\\204\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181;}\\141%@\\RS\\r\\195\\129K\\ETB\\228\\176Y\\r\\144\\190\\187\\182\\158\\139\\194X\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165C\\218\\SO9\\156<S\\139(\\152\\164\\207\\168\\226\\ETB\\198\\DLE\\ACK\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\NUL{\\195\\t\\EOT\\157\\203\\207\\160\\188X\\230\\SUB\\187$\\SO\\208\\220\\231s\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\&4\\219\\DLE\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202H@$\\162\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\159\\DELrH\\RS)\\SI\\240\\191\\167\\243\\211^\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"L>\\146\\NAK\\199\\r\\236\\EM\\222\\159\\179]\\SOHDf^p\\183\\217x\\NAK\\190G\\NUL \\167y\\DC3\\161\\244\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\135\\173\\DC2@\\RSX\\219\\STX\\201L\\237\\r\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\248\\217\\230\\ETXE\\DC2\\205B~.\\250\\222\\155W\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\155\\219`\\n]9\\SIu\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\214\\234\\128/\\132\\208\\174\\245-.\\238Ug\\193\\157\\DC3\\r\\150\\229\\175\\177\\175z\\139\\STX*\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145-\\218)\\221\\193`G\\184\\&95\\156\\131\\160e\\251ux\\199\\172\\200\\143\\221\\248k\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\":\\238[4\\207N\\SI\\179yhA\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237g\\255\\223G\\197;Q\\251\\SI!8\\162\\NUL]7\\226\\136\\n\\169r\\DC3+\\220>m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\179\\166\\144\\233\\144\\213\\218\\SO\\177,\\248z\\253uk#\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\SOH\\SYNK\\216'\\216N\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\a+J\\DC1H\\133\\EMCxE\\\\\\144\\255\\DC4J\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\227X\\187\\DLE8\\ACK\\202\\215E\\213\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\211QH\\219g\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\199\\192\\173\\DC2~\\216\\ETB\\243\\157\\&97\\177\\202?\\154\\v7e\\240\\158\\195\\238\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN;h/\\202\\130\\154Z\\USRn\\161\\n\\149\\248\\128H\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242i\\171\\240\\162ws\\135\\223:*1\\129$\\DEL\\tTE9y\\202\\ESCn\"","tag":"AbiBytesDynamic"},{"contents":"\"Oy\\222QD{\\174\\137\\205\\141\\SUBQ&\\200,s\\DLE\\154\\f\\163\\133\\r}=\\249X'4+\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\168\\221\\246B\\146\\238V\\237\\252\\USaZ\\209\\r\\165\\170\\195|\\CAN\\236DWn!\\204&\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\a\\223\\162<IzE\\198\\139\\&5a\\196\\SI\\154j\\134\\245\\162\\&8\\b\\255\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\174x\\195\\160g\\184\\&88\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\CAN8\\181\\&0f\\130^\\237\\165\\168^Z\\193\\244U\\181\\a\\138\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\159\\250\\226?\\138%\\EOT\\229\\140\\169\\152\\f79\\190R\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"%?\\SYN\\182`\\224\\238m\\195\\132\\166\\219\\236\\254\\210W \\164\\191\\249\\188\\240\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\151\\202\\167\\229\\NUL >H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\rP\\190\\189\\226V\\142\\252d\\240\\128\\243\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"=U\\170;}\\254o\\243\\231o\\191\\202\\ACK`Tz\\177\\177\\213\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"N\"","tag":"AbiBytesDynamic"},{"contents":"\"P)\\128@\\DC1\\209I\\162\\EM\\v\\241\\182}\\213\\ACK\\235k\\ACK\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"iW0L\\180\\\\\\ACK\\130\\138a\\150t{\\223\\233\\191h\\201\\t)\\NAK\\203#\\191\\\\\\158\\130E\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\250$\\192\\163mQ( \"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\211\\200Z\\225\\179$\\205\\DELt\\ACK\\t\\150w}\\140\\148\\181c\\240\\218\\DC1\\201$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\143\\192\\230\\&5J\\132\\205\\182}\\222\\235Z\\240#\\156\\SOH\\233\\176+&\\214\\&8z2\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"njl\\184\\v\\248\\152[\\229]\\139\\154\\252\\226\\231\\252\\v\\144]\\136\\166)\\NUL\\179\\180\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254VU2U`\\154\\198\\SYN\\205<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\219\\241^\\231\\157[)\\183 \\188x.\\222nH\\225\\159\\tI\\CAN\\162ba\\204\\SOb6\\CANR^b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\172T)\\227\\233\\245\\157\\165\\225\\&45\\186\\225\\221\\SUB>\\170\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\b\\241\\222\\152\\133\\167\\STX\\SUB\\165\\132\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187]\\139X\\236\\DELj\\179\\145EB\\SOHJ\\240\\&8\\rO:\\198\\180\\164|\\bd\\202\\204\\240\\209q\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\254\\243%\\143\\174s\\128(I\\241\\193S\\159\\248\\v\\DLE\\CAN\\184\\132T\\137\\167$\\149)\\153\\145\\172\\132\\179\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"vW\\171\\&7\\242\\190(w\\167&\\SYN\\171\\208?\\182\\153K\\232\\192\\159]\\205\\152\\254\\fB\\179\\&1\\ACK\\130\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\189\\171\\\"ZpON\\130z\\136\\n\\STX\\241\\169\\243\\v\\191\\DC2Wm\\213=\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\234\\205\\143$K<[z\\DC2NX\\178\\137\\t\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\191a\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\203\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\201\\SO\\131\\252\\DC1\\230\\239Q_\\150\\DC1ke\\177\\STXf\\CAN\\153\\205\\186\\ETBw\\220\\&4\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\144\\202\\199\\201n\\ETB\\164\\ETB\\130\\221\\162\\190\\255\\ACK\\245\\150\\156MK.\\134\\193\\144\\EM]P\\212\\EOT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBF\\199Cby[\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\153\\DC1\\210\\185\\229\\191\\&5\\DC1=\\214\\246\\135\\229-\\130\\193\\220F\\191teDB\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"A&?\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139l\\144G\\146\\SI\\\\\\133\\192\\&45V7@*\\245\\179\\GS'\\USJ\\254\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"F>rdB\\240\\251\\190\\202e{\\an\\RS\\131\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\216V\\ETXg\\220\\n\\185\\205\\DELU\\DC1<\\194\\133\\&8\\157\\152\\240+\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\n@L\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\165\\138\\166\\US\\178\\NUL?w\\178n\\\\\\204\\232\\ENQ5\\237\\ENQ\\RSU\\128\\&4+\\207\\240\\252\\SO\\243\\130AB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\167:\\230\\246\\DC3\\159\\fs\\244{\\159\\163\\154\\218Vws\\161W\\192\\192\\203\\228\\SI\\229@T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167L\\NULg{\\146<\\211\\rF\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\168h\\189Q\\213*@O\\186\\150\\213\\166\\DEL`r-o\\245\\218\\153E\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"#! \\247\\175y\\FS\\194\\249/\\215<]\\f\\238\\219\\t\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\175\\NAKU\\168\\232f(c\\193Q\\179p\\DC3\\ETX\\128o\\215\\NAK\\190\\241t+\"","tag":"AbiBytesDynamic"},{"contents":"\"K3\\137:[\\243\\138]\\156\\156\\175?\\188\\238\\SYN|\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\155rdl\\134\\US\\246\\237\\236\\224\\175\\132\\b\\241\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\ETB}.,?\\253\\DC3\\237\\246\\161\\162W\\a=pL\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\223\\ETX+ \\213\\206\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\199\\245T\\DC2\\135\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164|\\EM\\a.\\GSm\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\175\\226A\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\EOT\\184GY\\252\\174p\\249\\201\\fy\\172\\166%\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\196\\148\\183\\nIh\\225\\SO\\206^yya\\192\\140\\138\\169\\156\\232\\229\\228\\129\\t\\217\\244 V\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\&6\\207n\\144|Ws\\211\\132B\\167\\244\\DC2\\159\\154_0Y\\206\\239\\235\\198\\147\\167+\\166\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\CAN\\ETX\\213\\160\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\253\\142\\253mC[|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240'\\147\\206\\234\\196[{\\161f\\187\\189\\f\\152\\146vz\\220L2\\223\\191I/(\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\DLE\\ETX\\222\\226\\t\\237-\\174\\236\\188G0\\183\\\\D\\SYN\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\150\\DC19*pg:\\n\\234\\NUL_\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\ETX5\\ESCwi\\215u\\176\\144\\NAK\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\129\\246W\\156$\\135\\NAK\\184\\167pS\\169\\249\\153\\\\\\149\\246\\228\\153.+\\150E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\ETX\\133}$\\245s\\223xd\\199\\US\\244\\162W\\236dE\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146C{\\\"\\187\\DC4\\218\\DLE\\ACK\\\"\\167\\199\\171\\NUL\\186+#y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\201\\155\\245\\228\\138\\136K\\DC1t\\255\\&0\\184\\NAKx5\\204!\\aS\\144}\\215_M\\EOT\\t\\253yX\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETXl7\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\179\\191\\SI*\\130\\138ePk\\132D\\NAK\\b3\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142& \"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\&0\\\\Pr\\DC41T)i\\248\\&1\\196K\\154\\SUB\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\249\\229\\\"dR0t\\248\\r\\248\\223Y\\206:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\172\\160\\&0&J\\178'f\\225l5[\\\\\\NUL\\167\\v\\143?\\208\\220\\255\\227\\131\\143]ZmF\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCs\\160h\\FS\\EOT\\153\\STX\\196'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197b6G8u\\170z\\244\\210\\223\\130z\\131\\137X\\221\\\"5\\159\\253\\&8\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"-@)~U\\t\\251a\\f%'u\\224\\148B\\134\\GS\\203\\175\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\176\\ACK\\148\\196%\\209:\\145\\231\\139I\\237'\\v\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"=z\\192\\190\\DC3\\131S7\\216\\146\\229\\t\\239\\249/\\217f\\150\\186\\139\\&6\\152\\NUL%\\198TGX\\233\\EOT\\180\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\SI\\USZ\\DLEl\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223p\\216\\152\\133\\252\\170\\207\\135u\\161\\248\\223\\181Q\\161?q\\151\\160\\195\\135\\205[\\138\\SYN?q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\129P\\148\\248TX-)\\DC3\\236\\208\\&9\\220\\187\\236\\129\\171\\147\\&2\\160\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237$P\\fZ|5\\144&\\210\\EMn\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\153=\\DC15{\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\NAK\\158\\131\\171:\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\241\\238\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\180\\166\\NAK\\210vc\\216\\168Bh\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\SUB,q\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169|\\143\\DC29\\SO,W\\SOH=\\\\\\SUB\\NUL\\170\\147\\\\\\216\\132\\244\\DLE\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\196n\\142`\\248\\129[B\\136\\187-\\233\\CAN\\198\\179\\157`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\204\\252\\254B\\242\\206\\148\\173U\\142\\174G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255@\\187[u\\134\\250Y\\fg\\167\\235\\153\\198\\181\\183\\216\\224\\155\\&2\\NAK\\238\\206U\\163\\216\\DLE\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150r\\199\\b&Y\\r+\\210%'\\133z\\184\\231L\\182\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134F\\196\\226w\\RS\\128Vo1W\\192$5ph\\133^\\198k\\243y%\\201\\180\\177\\DC3T\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"~N\\153'&\\254\\253\\ETX5J'\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\at\\163l\\RS\\173\\209]\\244\\ETB= \\\\\\242x8J\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\235\\135Lq\\217\\141\\209\\167\\ETB\\184\\SOH\\NAK\\194\\182\\140\\156B\\t}m\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\207\\ETX\\DC1^n\\192\\130X\\135\\188\\v|\\223H\\175*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\133$\\136\\NUL\\171\\251\\204\\140\\179E\\232hL\\235\\214C&\\155\\248\\245\\249\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\215\\&3\\222\\212\\136\\FS\\DLE\\SUBFS\\154\\214DA\\254)\\131]S\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208.\\243\\no\\238\\186s\\250\\&1\\212\\212j\\175\\tr\\244\\128(\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\194|pD\\182\\225\\236@\\166\\205\\159a{\\185\\145v\\180\\235x\\218\\206\\153\\226*\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\217\\236P\\158\\231\\207y\\149I]\\128,\\193H\\227\\183Q)\\134\\190\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"-`\\179\\169\\174\\t\\205\\200S\\149\\177\\174T\\137\\251\\134HAM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\155\\155\\153\\\\\\246\\219M\\FS\\DEL}\\150\\EMZ\\145%YI\\244p\\255\\DEL\\186\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\EM\\DLE\\DC4o\\181\\242\\250\\132\\140|m%>w\\FSgH\\177\\174\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\141\\ETX\\242\\206\\144\\232\\132\\DLEpg\\190\\\\M]\\179\\241\\148\\v^\\173\\202VG\\193\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\DC2\\170r\\141\\234_/\\142\\&1\\213U\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\171\\244\\175\\128e\\US\\193D\\161\\170&#\\179#\\148fn\\201\\165L\\DC1\\192;\\217*\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\198 /\\DLE\\171P\\ETB\\SO3\\241\\185\\135\\182\\158\\t\\249\\253\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USC<\\144\\222j\\\"4\\184\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"$1\\EOT\\DC3R\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\235\\192P\\ETX\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"](\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\145K\\147\\232\\132\\221\\DC2\\168\\235\\176\\r\\DC2\\210\\244S\\174\\&2\\190@\\135\\SYN\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\&7W\\196\\249QyW\\209\\208\\171\\DC4\\137\\234\\n\\SYN\\179\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\EMC\\159OvXg\\DC1\\206i\\187\\248$\\130\\167\\235\\SO\\SOH\\158\\209\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211c\\169k\\DLE\\128(\\SYN\\CANA_\\150\\&7\\GS\\196\\STXs\\214\\ACK\\183\\DLE\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\215\\198\\RS\\150\\234\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"65185735022548332849116505898604360350034679088317418230600002401582231336093"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"336458093280490897"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639923"],"tag":"AbiUInt"},{"contents":[256,"122"],"tag":"AbiUInt"},{"contents":[256,"109510576616348820339456267090292400823947351021720940473874232848856299637581"],"tag":"AbiUInt"},{"contents":[256,"10201850009286276027889424946968291"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639924"],"tag":"AbiUInt"},{"contents":[256,"21586532821211812896752200371959811542829405685438855030210583765971000364590"],"tag":"AbiUInt"},{"contents":[256,"98648778953723034815019805616017804242867028941549777504283729972592707060767"],"tag":"AbiUInt"},{"contents":[256,"200"],"tag":"AbiUInt"},{"contents":[256,"16582685463232226328999501007490602834589546229714407345835476593425309655972"],"tag":"AbiUInt"},{"contents":[256,"86665786162053822376588426487311913251733280102956026439007055057613894792475"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"106769949280408081366123514110893521140791251751942977265851341154806555272707"],"tag":"AbiUInt"},{"contents":[256,"1536355760"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635936"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639679"],"tag":"AbiUInt"},{"contents":[256,"83796099197194365442377678794256435776879123914512982463713414091806668506440"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"13143825748028637723895857928062026974795986598479850228718427452936311989708"],"tag":"AbiUInt"},{"contents":[256,"43747984137689688562224319290219072427228397035574878164603765924084159577773"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639637"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639037"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"663"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"6375892309812371079649682014257478534105355140839696601671"],"tag":"AbiUInt"},{"contents":[256,"6011690717522338330850920549024430458345008354640638052524326728678537657485"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639798"],"tag":"AbiUInt"},{"contents":[256,"111278950159064765164683711049120140434484554830097853428452384142483516955680"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"3205830337556833916386475"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"91611815740198085631945209827666469331402786207603376383875360447233402340429"],"tag":"AbiUInt"},{"contents":[256,"105120910536781685169546690311531087552490042413550611038312991601329928241310"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"71022718043010964780160057122869301013419606262127865141063599298812432005489"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628417"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639928"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000003"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035134"],"tag":"AbiUInt"},{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":[256,"16497656018223564145044655630948804407660540679274392839144581054966796577812"],"tag":"AbiUInt"},{"contents":[256,"86043126926871556324268369573600674991915314294540231464476549436666301964829"],"tag":"AbiUInt"},{"contents":[256,"66858514100269900685090101568663420028991999985194712383306022664156290253759"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639705"],"tag":"AbiUInt"},{"contents":[256,"81"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"100082584974806158979975234332987727663576034904929262242152960334122051460244"],"tag":"AbiUInt"},{"contents":[256,"100082584974806158979975234332987727663576034904929262242152960334122051460244"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222590"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781054"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0f","0x00000000000000000000000000000000000000000000000000000000000034f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fc","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1313373043"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000307c6","0x0000000000000000000000000000000000000000000000000000000000000001"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"33"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005a","0x000000000000000000000000000000000000000000000000000000000000e344"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"4370000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000068","0x0000000000000000000000000000000000000000000000000000000000005ca6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639633"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b20c","0x000000000000000000000000000000000000000000000000000000000000003e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"20615294881898171182882939400359769364116936120424351012732396978084274815512"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5c","0x00000000000000000000000000000000000000000000000000000000000007c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0f","0x000000000000000000000000000000000000000000000000000000000000d867"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c438","0x000000000000000000000000000000000000000000000000000000000000d38b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"100000000000000000000000002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d56f","0x000000000000000000000000000000000000000000000000000000000000134b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"Invalid percentage\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf0","0x000000000000000000000000000000000000000000000000000000000000d3bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"47160051373771750174866439299623743421080348031766862381555140108819450412366"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf3","0x0000000000000000000000000000000000000000000000000000000000000fa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb38","0x0000000000000000000000000000000000000000000000000000000000009e99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59e","0x0000000000000000000000000000000000000000000000000000000000001021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"46087115548546735458222112171596335320845952946669607640857988185117299586466"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000005","0x00000000000000000000000000000000000000000000000000000000000011ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"851933834"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacf","0x0000000000000000000000000000000000000000000000000000000000007e4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d93c","0x0000000000000000000000000000000000000000000000000000000000000fa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd33","0x0000000000000000000000000000000000000000000000000000000000000007"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"792"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037758","0x0000000000000000000000000000000000000000000000000000000000008192"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"77"],"tag":"AbiUInt"},{"contents":[8,"119"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e43e","0x0000000000000000000000000000000000000000000000000000000000001c9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb01","0x0000000000000000000000000000000000000000000000000000000000004ffa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"51323381207499630311271255784207237110088445977173915054398077752259520675600"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039baf","0x000000000000000000000000000000000000000000000000000000000000116e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000047","0x00000000000000000000000000000000000000000000000000000000000035d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x0000000000000000000000000000000000000000000000000000000000001d99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"67933569334286537565948882912749678588966180348805735743495962510434719419222"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdc","0x000000000000000000000000000000000000000000000000000000000000003e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a9fc","0x0000000000000000000000000000000000000000000000000000000000009aa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"28010390917611519653477727558594824580229037149266143652152607759474702440548"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x0000000000000000000000000000000000000000000000000000000000006a26"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c8","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\160\\FSf\\233I\\236\\247\\161q}\\161\\EM\\v\\148\\145\\DLE:\\NUL\\192u_\\245\\162\\164\\207B1\\ACKd\\165q\\181\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000068","0x00000000000000000000000000000000000000000000000000000000000007ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055778","0x000000000000000000000000000000000000000000000000000000000000a294"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"3447585029548311024"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd34","0x0000000000000000000000000000000000000000000000000000000000008192"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":[256,"85"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012b","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"53389651051457243013280009223456267070746251159717986673533190487351502829626"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdc","0x00000000000000000000000000000000000000000000000000000000000003e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"117"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639815"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce50","0x000000000000000000000000000000000000000000000000000000000000005e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"106122015988079810196722225706932347209732563214503091179664887276008176790155"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008b","0x000000000000000000000000000000000000000000000000000000000000a475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x00000000000000000000000000000000000000000000000000000000000087f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"50"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553535"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000016d1d","0x000000000000000000000000000000000000000000000000000000000000006b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"65887329022048473040421151375452067301726819296488226630640926107171530008770"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb12","0x0000000000000000000000000000000000000000000000000000000000005c65"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"56586594692939520804024630256240154797748563434571477463642309106923563924338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000102","0x000000000000000000000000000000000000000000000000000000000000116e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"15245374216703145163222426646378758346885902801632187737310861672247138358072"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x000000000000000000000000000000000000000000000000000000000000185a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfc","0x0000000000000000000000000000000000000000000000000000000000003f7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":[256,"27644792327161013826281525747975387945958732704971525953357807287552045516213"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052401","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"5374090325573290905736515917292442911759895387182421741460047952572804890"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000067","0x000000000000000000000000000000000000000000000000000000000000012a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"111088607987218041321533442272302032129681432619085317502722054397610337694880"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000038","0x0000000000000000000000000000000000000000000000000000000000003f81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001389","0x000000000000000000000000000000000000000000000000000000000000ec35"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639036"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f36","0x000000000000000000000000000000000000000000000000000000000000d619"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a9","0x000000000000000000000000000000000000000000000000000000000000134c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"101843189792129435532359637769155558755376653752806006995807778283872293204381"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe5","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":[256,"4136151499529019280994082044711580183229999360693743030349049541304207570300"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006feb8","0x0000000000000000000000000000000000000000000000000000000000001356"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"15871476711070423783831464860411300616030545498645186989362071130554838825704"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017c60","0x000000000000000000000000000000000000000000000000000000000000000f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"21207843329387533880697588643246912540326338684476499074273512736058644065331"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e374","0x00000000000000000000000000000000000000000000000000000000000013ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"67369395973126912041484676453744445758322523148686293761301501630412277189968"],"tag":"AbiUInt"},{"contents":[256,"104"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"69"],"tag":"AbiUInt"},{"contents":[256,"8699982885024124025906178340559892288268562740375469386307957326348784998939"],"tag":"AbiUInt"},{"contents":[256,"8699982885024124025906178340559892288268562740375469386307957326348784998939"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7e","0x00000000000000000000000000000000000000000000000000000000000087f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211776"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bd","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"14005258627701559402505005512602874949011246195280901994576226817222465427453"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb37","0x0000000000000000000000000000000000000000000000000000000000000067"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"123"],"tag":"AbiUInt"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e953","0x000000000000000000000000000000000000000000000000000000000000bc3f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005f","0x00000000000000000000000000000000000000000000000000000000000095e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]