[{"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_depositStake",[{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":[256,"100000001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b933","0x00000000000000000000000000000000000000000000000000000000000000e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb40","0x000000000000000000000000000000000000000000000000000000000000012c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"64"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb34","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"3598"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067e09","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6a","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"639573334001796735982358153901621606593074750181732578757136035638035206657"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4c","0x0000000000000000000000000000000000000000000000000000000000005ca8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030335"],"tag":"AbiUInt"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x000000000000000000000000000000000000000000000000000000000000138b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"\"!!! canary assssertiiiiiiion\"","tag":"AbiString"},{"contents":"\"\\222\\200\\173t\\168Ad\\ETX~\\166\\RS-\\f\\DC1V\\192gddddddddddddddddddd\\USdd\\152# \\ETX~\\137\"","tag":"AbiString"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"472260498517428093450829853099908080"],"tag":"AbiUInt"},{"contents":[256,"57460672635560693581045860650668159403807332710570074490592542293559667124138"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"100000000"],"tag":"AbiUInt"},{"contents":[256,"94"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c4","0x00000000000000000000000000000000000000000000000000000000000012ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"104"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea48","0x0000000000000000000000000000000000000000000000000000000000000003"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"5293930275516543466032333983860626310799979907300136979"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb07","0x0000000000000000000000000000000000000000000000000000000000005635"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"10677990140646172225546883343465875026933740465700481142927806084236279676651"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3b","0x0000000000000000000000000000000000000000000000000000000000001359"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639878"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e705","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011519"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x0000000000000000000000000000000000000000000000000000000000005daa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"13527874357503868624565227179021851346733143981645600432189009460071796106477"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eade","0x000000000000000000000000000000000000000000000000000000000000147c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"34775244436697991374876065822465759917407340754342730773250704888400413864066"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000dbd2","0x0000000000000000000000000000000000000000000000000000000000008ec6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"158772339422923207556023745"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a519","0x0000000000000000000000000000000000000000000000000000000000001272"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfb","0x0000000000000000000000000000000000000000000000000000000000000401"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4b","0x000000000000000000000000000000000000000000000000000000000000794d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"101336843464480263297451928681353016181867072944422450242811735641016683998843"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f96","0x0000000000000000000000000000000000000000000000000000000000009714"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007affd","0x0000000000000000000000000000000000000000000000000000000000000fa1"],"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":["0x0000000000000000000000000000000000000000000000000000000000011d4f","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"761"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003f","0x0000000000000000000000000000000000000000000000000000000000000086"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"1527111479"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034573","0x000000000000000000000000000000000000000000000000000000000000d9d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":[256,"110239740857601509028400372977906160149750007840584362670834034289664258630909"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000067","0x0000000000000000000000000000000000000000000000000000000000008334"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x0000000000000000000000000000000000000000000000000000000000009201"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"173"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1524785992"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007cd","0x0000000000000000000000000000000000000000000000000000000000001270"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ad","0x000000000000000000000000000000000000000000000000000000000000133f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":[256,"4002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000054","0x000000000000000000000000000000000000000000000000000000000000c060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"111326235901882690537177220993447640271942132883441054352934406900385404827667"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x0000000000000000000000000000000000000000000000000000000000002328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec4","0x0000000000000000000000000000000000000000000000000000000000000007"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d51","0x00000000000000000000000000000000000000000000000000000000000009c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"604800"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004beb3","0x0000000000000000000000000000000000000000000000000000000000006ddc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"104861116854189584449779493696398018881666195027365881755662124461895523807838"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517e","0x0000000000000000000000000000000000000000000000000000000000000034"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e1","0x000000000000000000000000000000000000000000000000000000000000000f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"109738416482906563248473320110397410717828218978392964371112039773142759594873"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000381","0x000000000000000000000000000000000000000000000000000000000000001d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553535"],"tag":"AbiUInt"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014b25","0x0000000000000000000000000000000000000000000000000000000000002321"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59b","0x000000000000000000000000000000000000000000000000000000000000594b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c436","0x0000000000000000000000000000000000000000000000000000000000009aa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"33252184593136449680034559585821048497449530068784513657464968700957016442733"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007825f","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":[256,"42923120718290776910443603912989328745625094671105474415775088961192706676090"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e03f","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"474"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x000000000000000000000000000000000000000000000000000000000000dcc0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"38"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000081f7","0x0000000000000000000000000000000000000000000000000000000000002931"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"91935990545712904527246141220285348444303375288747822082091929623154599924839"],"tag":"AbiUInt"},{"contents":[256,"72947968318916959146218301523369214191037743575758628008456978356379122943367"],"tag":"AbiUInt"},{"contents":[256,"93537294457141251718776615757137756730533341209318113963930197639341905958798"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce53","0x000000000000000000000000000000000000000000000000000000000000697e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e7","0x000000000000000000000000000000000000000000000000000000000000134c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[256,"87568851564060855375724838609368216989162656843080038782525874248383729880929"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"42208818540486666120912242159429933897868118873618676518189596707711628343151"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012d","0x00000000000000000000000000000000000000000000000000000000000007d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637939"],"tag":"AbiUInt"},{"contents":[256,"63757486416966264095650922655381539016217493455466491696548295797899006885713"],"tag":"AbiUInt"},{"contents":[256,"3999"],"tag":"AbiUInt"},{"contents":[256,"24099274214277812637319725484974424935578261455880952606378670522406493814631"],"tag":"AbiUInt"},{"contents":[256,"53617345131364689369453294677702261048339555377502615376550686490881628593445"],"tag":"AbiUInt"},{"contents":[256,"1208578257930255443237677707701663740260609090755548081822848944412139043422"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211774"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635939"],"tag":"AbiUInt"},{"contents":[256,"1529091215"],"tag":"AbiUInt"},{"contents":[256,"46318572526676011603883314115503322367363435868463235427441656835255629398092"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731851"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639840"],"tag":"AbiUInt"},{"contents":[256,"69575326145883991817494290771131897107301521959477473438740327802869428716077"],"tag":"AbiUInt"},{"contents":[256,"60825260092386247174847365382916842253739661800972191523483261938288133172554"],"tag":"AbiUInt"},{"contents":[256,"999999999999999999"],"tag":"AbiUInt"},{"contents":[256,"96045655718035849360828719414020355998771020096697110471191448529992276843851"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639898"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266892"],"tag":"AbiUInt"},{"contents":[256,"27548070250678287164758499003493864526637127316201077347010822887477802400174"],"tag":"AbiUInt"},{"contents":[256,"72684193431367367627896916737886407215625165677235046082052029841097005412107"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577602"],"tag":"AbiUInt"},{"contents":[256,"56585935617918698157975155961731292851188512618048160184785959843204813544904"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639634"],"tag":"AbiUInt"},{"contents":[256,"1532244675"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"104"],"tag":"AbiUInt"},{"contents":[256,"93775104606033170440088633313877059025920474663498038521341348258296164297441"],"tag":"AbiUInt"},{"contents":[256,"1002"],"tag":"AbiUInt"},{"contents":[256,"3968089569942291946371542266020359468783256335102251675281058038737144290557"],"tag":"AbiUInt"},{"contents":[256,"109494787320017971174525387819912386077759943733463760888601996613087130647468"],"tag":"AbiUInt"},{"contents":[256,"32080954130401015834001327423886212347345989604395221933860419157143321393854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1177095911958705215125930302875470105001947351130631926951411943872372829971"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211775"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000032","0x00000000000000000000000000000000000000000000000000000000000011ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000052edd10ec41275465"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9f","0x0000000000000000000000000000000000000000000000000000000000009aa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001051","0x0000000000000000000000000000000000000000000000000000000000000e14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"67"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ae4e","0x00000000000000000000000000000000000000000000000000000000000095e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021a3e","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025aaf","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb47","0x0000000000000000000000000000000000000000000000000000000000001272"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"57493505774029480048274123808186349967533839433599234953339082562228010712522"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055776","0x0000000000000000000000000000000000000000000000000000000000001d3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"23795907926231986234868070063673775156814309099797145246468827149768771067304"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x000000000000000000000000000000000000000000000000000000000000d619"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000006a","0x0000000000000000000000000000000000000000000000000000000000006ddc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]