[{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015182","0x00000000000000000000000000000000000000000000000000000000000003e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"70251604940769865123106029328107434303120097521571672364552251762273935089496"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ee","0x000000000000000000000000000000000000000000000000000000000000ec39"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"15512149740268247591945961175943326941534602349067457938203910801957235104212"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f19","0x0000000000000000000000000000000000000000000000000000000000001359"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"1530478269"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1a","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"54"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077224","0x00000000000000000000000000000000000000000000000000000000000051f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"40244994621742583741573711706033819341109917816461498592247630507876565101067"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac1","0x0000000000000000000000000000000000000000000000000000000000003a1a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"523"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e376","0x000000000000000000000000000000000000000000000000000000000000d853"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000210a6","0x000000000000000000000000000000000000000000000000000000000000005f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\DC3\\135*F\\204]\\227s{E\\DC2\\140\\202\\145\\149@eo\\b\\ETX \\SOO\\n[\\ETX\\DC4\\248\\144\\RS\\FS\\ENQ\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x000000000000000000000000000000000000000000000000000000000000d29e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"78578611339501484535915877392678539883825340402973925553438476359645034255528"],"tag":"AbiUInt"},{"contents":[256,"99999999"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfa","0x000000000000000000000000000000000000000000000000000000000000116e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"48"],"tag":"AbiUInt"},{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":[8,"209"],"tag":"AbiUInt"},{"contents":[8,"160"],"tag":"AbiUInt"},{"contents":[8,"63"],"tag":"AbiUInt"},{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":[8,"108"],"tag":"AbiUInt"},{"contents":[8,"101"],"tag":"AbiUInt"},{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[8,"146"],"tag":"AbiUInt"},{"contents":[8,"55"],"tag":"AbiUInt"},{"contents":[8,"38"],"tag":"AbiUInt"},{"contents":[8,"36"],"tag":"AbiUInt"},{"contents":[8,"19"],"tag":"AbiUInt"},{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"17"],"tag":"AbiUInt"},{"contents":[8,"240"],"tag":"AbiUInt"},{"contents":[8,"23"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000059670","0x00000000000000000000000000000000000000000000000000000000000031ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"90715537739896552607404689267151989189203190139274254857101757655851868662331"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000827d3","0x0000000000000000000000000000000000000000000000000000000000004ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021d6b","0x00000000000000000000000000000000000000000000000000000000000011a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270f","0x000000000000000000000000000000000000000000000000000000000000b545"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"146130978218824212561154945098638659222"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f467","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639639"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x0000000000000000000000000000000000000000000000000000000000005b4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"1525473719"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f4","0x0000000000000000000000000000000000000000000000000000000000000440"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002bd0d","0x0000000000000000000000000000000000000000000000000000000000000039"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"18758833488970076327123102110561541823796035989570137764980570880353817679580"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e9ea","0x000000000000000000000000000000000000000000000000000000000000614d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066c64","0x0000000000000000000000000000000000000000000000000000000000006bba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062768","0x0000000000000000000000000000000000000000000000000000000000007e50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"\"\\189J>B\\245\\182DG\\171l\\142\\232\\EM/\\152\\233\\193\\193\\193\\193\\193\\193\\193\\193\\193\\193\\193\\193\\193\\193\\243\\146\\SI\\187\\218\\EOT\"","tag":"AbiString"},{"contents":"\"\\206\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xE194aA6b80fFd71989dd196c7f84fa624b8d7D5d","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"252199669310842706759964449332254509533"],"tag":"AbiUInt"},{"contents":[256,"102463878088996110742979546536979572994651381280081551108042957098276031913988"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"99"],"tag":"AbiUInt"},{"contents":[256,"15304047"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000057","0x0000000000000000000000000000000000000000000000000000000000006a00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c5ed","0x0000000000000000000000000000000000000000000000000000000000000045"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"46380771796773369896566141212759433805266112284576928376700599415876260528583"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000078047","0x000000000000000000000000000000000000000000000000000000000000b2b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"93819064709461343477123521329470818336866348229831115519640040999071625202575"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb31","0x0000000000000000000000000000000000000000000000000000000000001392"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf5","0x00000000000000000000000000000000000000000000000000000000000000fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"244"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011ab2","0x000000000000000000000000000000000000000000000000000000000000058c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":[256,"5017309019880357197651193418918224931825879790820376118445108196423150476541"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdb","0x000000000000000000000000000000000000000000000000000000000000002e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"66840027050763688476350882026535723823124189478139173157188118514928630031156"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea4b","0x00000000000000000000000000000000000000000000000000000000000003fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"59091419486200315111042709020048462118652841606428386630373947073551502305598"],"tag":"AbiUInt"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c6","0x000000000000000000000000000000000000000000000000000000000000684f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639437"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042b29","0x0000000000000000000000000000000000000000000000000000000000003a9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ae10","0x00000000000000000000000000000000000000000000000000000000000018b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea61","0x0000000000000000000000000000000000000000000000000000000000000182"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015182","0x00000000000000000000000000000000000000000000000000000000000003fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"29"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae2","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"8589731665682860159546428777244542819278"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007ce","0x000000000000000000000000000000000000000000000000000000000000d9c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x3450a15Dc9cbDD5C0e28cC22474D88AD7e2695A3","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":[8,"162"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052e92","0x000000000000000000000000000000000000000000000000000000000000a5cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"89742674317322670684076983867927271607316731623332974228856828676897303786422"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000045","0x00000000000000000000000000000000000000000000000000000000000047f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"15984918071635576090226394033705937827261332650878971046838846957527233562006"],"tag":"AbiUInt"},{"contents":[256,"45218512865729983871345804508166044683134438830932966817926031197234781091441"],"tag":"AbiUInt"},{"contents":[256,"25864704571666710258579348031010551814765260789783521979190180005628660765081"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639855"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"1531165103"],"tag":"AbiUInt"},{"contents":[256,"49097298346839848125221408058477528719797778705661291958280622233599390468661"],"tag":"AbiUInt"},{"contents":[256,"101864368265995605591148184464995947814163513554707942222066839217732958576853"],"tag":"AbiUInt"},{"contents":[256,"433"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"84482725178886688047770715168947022878673243025985955936150676251690782651340"],"tag":"AbiUInt"},{"contents":[256,"1"],"tag":"AbiUInt"},{"contents":[256,"83"],"tag":"AbiUInt"},{"contents":[256,"1530404619"],"tag":"AbiUInt"},{"contents":[256,"44228816043126647463750486261595443723593150926440031544834660377158858715071"],"tag":"AbiUInt"},{"contents":[256,"30461689312768508998047070482734783506701357499674509161176121722823500832468"],"tag":"AbiUInt"},{"contents":[256,"74478906341950057100344239802218349146803687178390583054715640573907180289693"],"tag":"AbiUInt"},{"contents":[256,"1526251406"],"tag":"AbiUInt"},{"contents":[256,"46202126412503068966301575654753695247688275109703054949023314322081224243334"],"tag":"AbiUInt"},{"contents":[256,"16"],"tag":"AbiUInt"},{"contents":[256,"52622629446527203747993025354203326803786494028339649668014848305015111363321"],"tag":"AbiUInt"},{"contents":[256,"91706889682459475096699554176881467274339645885943048618204002917947422064243"],"tag":"AbiUInt"},{"contents":[256,"1537743744"],"tag":"AbiUInt"},{"contents":[256,"43633100244896190044151321585425254443637456596471528757870977771138447380576"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"25115768379560676593148193725978457524924974775766347830465565047306522689561"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629936"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"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":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x0000000000000000000000000000000000000000000000000000000000000038"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000532493089807c128"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"34286752230537015185375070063194169771879115211686284280909652527380911791168"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b3","0x0000000000000000000000000000000000000000000000000000000000005ea5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"13129188287469991474037512270525758275558815908251811693288194519344379636444"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000521a0","0x00000000000000000000000000000000000000000000000000000000000015d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000db76","0x000000000000000000000000000000000000000000000000000000000000135d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb0","0x0000000000000000000000000000000000000000000000000000000000000054"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639927"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005408b","0x00000000000000000000000000000000000000000000000000000000000000e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507329"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe6","0x0000000000000000000000000000000000000000000000000000000000009bb3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9f","0x0000000000000000000000000000000000000000000000000000000000005b6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022fda","0x000000000000000000000000000000000000000000000000000000000000007f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000002e38f4954ea4496e9"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"51152416439062222502744496278567542087497031654112909967492194741195301240437"],"tag":"AbiUInt"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":[256,"1529404146"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b5fd","0x00000000000000000000000000000000000000000000000000000000000000f9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"108291965616853850430628987514098049969312556732392153260262617426154608637766"],"tag":"AbiUInt"},{"contents":[256,"86490422447387272189136941780993302410466906449780408600026108335887500298916"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f98b","0x000000000000000000000000000000000000000000000000000000000000eb58"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639632"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015c70","0x0000000000000000000000000000000000000000000000000000000000009e9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e703","0x0000000000000000000000000000000000000000000000000000000000000387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056a26","0x0000000000000000000000000000000000000000000000000000000000002714"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065410","0x000000000000000000000000000000000000000000000000000000000000138a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"108"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a9f7","0x0000000000000000000000000000000000000000000000000000000000001355"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"15491455659773"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1527790684"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003028f","0x000000000000000000000000000000000000000000000000000000000000b448"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048c44","0x00000000000000000000000000000000000000000000000000000000000012bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ca26","0x0000000000000000000000000000000000000000000000000000000000001298"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"88882720776993320302920375777422661813631361435597280068665310304224902029958"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507325"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"2000"],"tag":"AbiUInt"},{"contents":[256,"545008160783431110637945460"],"tag":"AbiUInt"},{"contents":[256,"71810948735469315131159199008775878054536098693177862070366763230317903959085"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639836"],"tag":"AbiUInt"},{"contents":[256,"1016600578558946315777246822071407536666102987209429753655350898890260343864"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"3102151257116731130522299698903125459634839019943343191721610953300074487575"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639033"],"tag":"AbiUInt"},{"contents":[256,"116618949056116388962697748571472079954"],"tag":"AbiUInt"},{"contents":[256,"25627880080060930985533106198997023029253134178357299069828483783713030067416"],"tag":"AbiUInt"},{"contents":[256,"65"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"50"],"tag":"AbiUInt"},{"contents":[256,"106322696255466699559283428430139674937560498466527451153027772275908819451088"],"tag":"AbiUInt"},{"contents":[256,"86066993572436751811637531867462394474203681233450205013201033415654202491517"],"tag":"AbiUInt"},{"contents":[256,"37448630108375706226195854542077674738504843944662892246179867578199879345365"],"tag":"AbiUInt"},{"contents":[256,"86171060001016432903983952210915506668051864084138311886752092986840369800341"],"tag":"AbiUInt"},{"contents":[256,"6087146323366423821328241720824907475900320871547622451616525767733564194905"],"tag":"AbiUInt"},{"contents":[256,"99999999"],"tag":"AbiUInt"},{"contents":[256,"21"],"tag":"AbiUInt"},{"contents":[256,"999999999999999998"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"34"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630934"],"tag":"AbiUInt"},{"contents":[256,"784"],"tag":"AbiUInt"},{"contents":[256,"7500508776740318685539900439537429549394511085991205176083593247412267617648"],"tag":"AbiUInt"},{"contents":[256,"4651301600188976442373089168134626811759035468045792964932413988990017988522"],"tag":"AbiUInt"},{"contents":[256,"5686614782141363122324270075251250480653162937809428836500442279746668260056"],"tag":"AbiUInt"},{"contents":[256,"1527483986"],"tag":"AbiUInt"},{"contents":[256,"74141286286559381764014844580939777026860380909011999804131306777915093218953"],"tag":"AbiUInt"},{"contents":[256,"1529325907"],"tag":"AbiUInt"},{"contents":[256,"1533348516"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"756"],"tag":"AbiUInt"},{"contents":[256,"41151192872237081598060918558453642662000475572623523439547589292656214998314"],"tag":"AbiUInt"},{"contents":[256,"38542508612412210118914860677551555813269140093708306578452003511641723957105"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000129","0x000000000000000000000000000000000000000000000000000000000000a57b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000000000000005b858331"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"230043218641135555041600557209032144362"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066c64","0x0000000000000000000000000000000000000000000000000000000000006a0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb05","0x0000000000000000000000000000000000000000000000000000000000000284"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[8,"96"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb40","0x0000000000000000000000000000000000000000000000000000000000000078"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e2","0x000000000000000000000000000000000000000000000000000000000000e224"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e9","0x00000000000000000000000000000000000000000000000000000000000009de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"18446744073709551612"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017200","0x0000000000000000000000000000000000000000000000000000000000000031"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\158X\\236-\\252#\\190zf]\\161j\\t\\159\\249Y\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\162\\ACK<\\US\\202\\201CI\\158\\157\\189B\\137\\221\\231\\224\\235\\213wv\\DC4\\ETX\\185cYi\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\159\\181\\&1\\165\\159|]D\\134n\\149\\&1\\241\\US\\t\\239c\\238\\165\\216\\222\\SYNF\\DEL\\255\\DC2M\\150\\213F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229upl\\RSd(Cf\\139\\203^\\207\"","tag":"AbiBytesDynamic"},{"contents":"\",<.]\\171\\201E\\EM\\203\\226\\195D]\\141X\\192X\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\189\\208F\\ACK\\EM\\ACK\\220}\\219\\&1\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171t\\242\\145\\211p\\246Q,\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"9E\\163p\\203l\\209\\NUL^\\233\\154\\220\\218vjr\\145\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\fK\\148[c\\228\\NUL\\150kYJ\\247z\\183\\195\\160PBo\\USx\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\&4\\SI\\204anW\\246\\185wVo\\213\\t\\177\\168*\\206\\229\\FS\\141\\186\\\"$\\NUL*\\b\\239W6\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"v\\DC3\\223\\242\\236\\179\\FS~\\131\\135\\SUB\\193\\188/\\138j\\165\\US\\176\\143W\\ETBZ\\203\\218\\151M\\130\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\188\\SI\\190=\\166\\140\\159\\250:\\160\\199\\134iQis\\162\\140]\\136\\DEL\\142m\\155\\173\\224A\\225\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\157\\139D\\128\\177j\\247\\196\\182z\\DELk\\197\\NULI\\212'y\\183\\134XVN\\198\\135u\\252\\163\\249d\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\129\\153\\228r\\217r\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\147\\228W\\191\\209W~~\\SOH\\ESC\\\"[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\146\\175V\\209\\DC3\\163^\\US\\132\\130G-\\171O\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161R\\246\\158H~\\SYNu\\139\\142\\189\\171\\150Ht\\133\\182\\163\\172 \\212,\\234dj\\228\\230\\171\\179\\206\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\135}{6\\180\\DLEJ3\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\EOTD\\249\\DEL\\210\\218\\228\\210\\228\\250\\236\\166\\134S\\GS\\154\\249\\&5\\253I\\130\\DEL\\n\\ACK-'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178x\\185\\139\\133\\143\\176c>+\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBW4a\\ESC\\231\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145V\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\NAK=Hf\\144\\136\\167{%B\\DC2\\255|\\137\\188\\142w<W\\DC4}\\149\\\\\\196\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\EM:F3\\197\\212\\152\\188\\EM)Lkc\\140N\\183\\149\\f\\SUB\\128\\184\\156\\171\\SYN\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194 x\\138|\\146u\\241\\224\\136|\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"]LZ/\\174]\\163\\168\\ENQ\\192`+l\\189\\&4\\ETX\\156\\157\\CAN\\252\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\161\\231\\240\\222\\177\\223aLn?\\191\\241\\193\\182\\SUB\\ENQ\\250\\n:\\152\\232\\185\\144$\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170H\\242v\\234\\228Ju6\\147\\218\\242\\EOT\\163\\156\\212f\\207\\132\\178\\153\\159\\179!\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"40\\191\\212\\243\\132)d~\\DLE\\DC1\\217\\179\\136\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"}-\\187H{n\\216\\231?\\222\\232:\\232J\\131t\\248\\n\\133E\\218\\233\\147\\144\\130\\229s\\160\\&6\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\SI\\244D\\ETX\\f\\201iZ\\235\\139\\166\\173\\155k\\EOT\\227^H\\193\\a\\243\\251\\148\\166\\202\\229\\161p\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\NAK\\174\\230p\\131=\\249\\EM\\STX\\142\\212\\204w\\176\\&0\\180F\\174\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\195\\198\\&5e\\160\\152j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166~<\\236\\170\\171\\222\\147\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\";8\\CAN3sL\\225[BzN\\144\\247\\161\\DC2\\237B\\SYN'm\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\219;\\236\\227\\&4\\253\\145\\SYN\\183\\&4L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\238\\137\\ENQ{\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131U\\196\\168\\172\\206\\233\\175\\130&\\171\\179\\217\\206)H\\143\\187\\163x\\190\\225\\NUL\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\DC2\\191\\205\\197W\\153\\ENQ\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244'\\139\\&2\\ESCW\\155\\211)\\NUL.T\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"eV>\\230\\217\\224\\161u\\226J\\158W\\135\\ESC\\188\\145\\169\\RS\\213\\161\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\SIe\\239P(\\196 \\173e\\192\\212r\\141\\b\\149\\172\\128\\212\\194\\249m\\DC2\\\"5\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\163\\197\\191/\\140k\\202\\&5\\191\\181\\194\\189Q1tW{\\249\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\226q.\\195\\131G>-\\193\\\\\\213\\148\\175\\228\\220\\212\\241\\147\\137\\154l\\EM\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\";\\242\\241\\230$\\144\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\252\\211l\\DC1>%C\\194\\178\\176H2\\238e\\235~\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\219\\129C.\\181\\197:\\ENQ`\\DC3\\SI\\172K\\216\\165\\b\\ESC\\197\\230nx\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\210\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"W:7\\\"\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\197\\177bfT_n\\228\\239\\131gD\\rq\\155\\&5\\223\\138\\220\\197\\154[\\185|G\\221\\211#\\DC3\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1531870912"],"tag":"AbiUInt"},{"contents":[256,"64448068657213538906200669867552448147416097784238562056967005320289291733054"],"tag":"AbiUInt"},{"contents":[256,"76208467771651699839137225441305018799967353252948030627688265523537209078492"],"tag":"AbiUInt"},{"contents":[256,"931"],"tag":"AbiUInt"},{"contents":[256,"26846408593123515616989889546535811705298581227196258020338914266930143483576"],"tag":"AbiUInt"},{"contents":[256,"62129783015831561861679778702308919425550269246801233255000164652120345653893"],"tag":"AbiUInt"},{"contents":[256,"2038288212488486810362503891064445599183402572067054761286495271355518454496"],"tag":"AbiUInt"},{"contents":[256,"26749934839798071544746034504437453000382913235934283265551644194179798569095"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062337"],"tag":"AbiUInt"},{"contents":[256,"1710062729666647939479037567730"],"tag":"AbiUInt"},{"contents":[256,"8476838111619416606643664213121217224828556848061150924398423870216761639254"],"tag":"AbiUInt"},{"contents":[256,"680"],"tag":"AbiUInt"},{"contents":[256,"37445045745918548458461428270101071360392272729463314963755685130276585195752"],"tag":"AbiUInt"},{"contents":[256,"102983622219951966686968227608826811883882200645137258569108778297623098126449"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"75862599460454326622872399630179312347625473576125076470388173406800649645038"],"tag":"AbiUInt"},{"contents":[256,"905"],"tag":"AbiUInt"},{"contents":[256,"107232283336714068872665752076652178130215723572372079484939703231138147915432"],"tag":"AbiUInt"},{"contents":[256,"190"],"tag":"AbiUInt"},{"contents":[256,"73158636342229382961906061473300572909600772572867139887185665363871394792781"],"tag":"AbiUInt"},{"contents":[256,"1527215931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"58692847087301389338276401696119888083489260162902214082647170459880723577012"],"tag":"AbiUInt"},{"contents":[256,"52559205614187231244519615841390531203616434832383226396407669302402779269867"],"tag":"AbiUInt"},{"contents":[256,"6584427002534712550650413503940473464808655898802417786312064728300760441004"],"tag":"AbiUInt"},{"contents":[256,"108177904671435187312734489726680979351843108220361572639408778261043016807019"],"tag":"AbiUInt"},{"contents":[256,"93177655852353837711720468268237078988266411825011726392869688994779316216498"],"tag":"AbiUInt"},{"contents":[256,"55954497971627696173717098830610492788544317387069084598087828754714297769326"],"tag":"AbiUInt"},{"contents":[256,"37095946267119060757347697960621680605051343555563359759217147395899016777782"],"tag":"AbiUInt"},{"contents":[256,"10880809072860077314663125228215318133638372276313107878215268497318504256621"],"tag":"AbiUInt"},{"contents":[256,"88095453345647786619602919820229363584747659791103831706509658159153544484797"],"tag":"AbiUInt"},{"contents":[256,"1534223066"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088318"],"tag":"AbiUInt"},{"contents":[256,"46881589616214438375447537338333885848989777331119719901555337250084951100927"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"59256728161520146377962743669001692781225777301626841354085032736848715227593"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628414"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"62932122631298402952377932345478568334471824250997364584535428486482618946893"],"tag":"AbiUInt"},{"contents":[256,"15991271067487668965972835111098288220273369988476023975132105362388569100305"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630932"],"tag":"AbiUInt"},{"contents":[256,"226040053423865215090865759920534149705"],"tag":"AbiUInt"},{"contents":[256,"15459771892942886031162363483317793760390269135242977800106818264729565739992"],"tag":"AbiUInt"},{"contents":[256,"42252437585763283046662830456566629651966389602271084693930229837479359836478"],"tag":"AbiUInt"},{"contents":[256,"21113370435379544187325827093660789568792830182290244870313695303770893781001"],"tag":"AbiUInt"},{"contents":[256,"37204535373610575558672577897782146690067490904525921129619298129458889639525"],"tag":"AbiUInt"},{"contents":[256,"1536685909"],"tag":"AbiUInt"},{"contents":[256,"41453388756049156441540743341438887240919112639279148176042668549746794629154"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639637"],"tag":"AbiUInt"},{"contents":[256,"1531165103"],"tag":"AbiUInt"},{"contents":[256,"23758212500210274506187063436589971901861090364361116079032253597074320624391"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1526876504"],"tag":"AbiUInt"},{"contents":[256,"451"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"17739441450497640215620278527731708266928531018085463030697026235291017989056"],"tag":"AbiUInt"},{"contents":[256,"47"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"500"],"tag":"AbiUInt"},{"contents":[256,"78837204387156940340961459010494043500226009301394359585486175710365565349435"],"tag":"AbiUInt"},{"contents":[256,"1529708304"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639897"],"tag":"AbiUInt"},{"contents":[256,"549372124380372225594932353425522484529748083"],"tag":"AbiUInt"},{"contents":[256,"36399394079000196033228065476876712188815584041891527103353620809298782145311"],"tag":"AbiUInt"},{"contents":[256,"56746445416062417477524497647632224000887254412697870353413311029560500912863"],"tag":"AbiUInt"},{"contents":[256,"14"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"5002941427402527368717226939332032438184665830165885715119949948509394151683"],"tag":"AbiUInt"},{"contents":[256,"15200523165562002222171637335218751258836093702885031170167066581258805017660"],"tag":"AbiUInt"},{"contents":[256,"1530933888"],"tag":"AbiUInt"},{"contents":[256,"35807055212184115617258974937036455874970025897712876274474113301583434657064"],"tag":"AbiUInt"},{"contents":[256,"59"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"227"],"tag":"AbiUInt"},{"contents":[256,"7680781173300213629504883929171639230260801177315200604570143377239337060895"],"tag":"AbiUInt"},{"contents":[256,"121"],"tag":"AbiUInt"},{"contents":[256,"566"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1526092392"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639909"],"tag":"AbiUInt"},{"contents":[256,"15"],"tag":"AbiUInt"},{"contents":[256,"20127584871022966947837279254608239164180457941852728921320490053489282659089"],"tag":"AbiUInt"},{"contents":[256,"59091121097883727044619213719882455629701928056733477345645221446456199104298"],"tag":"AbiUInt"},{"contents":[256,"193"],"tag":"AbiUInt"},{"contents":[256,"460"],"tag":"AbiUInt"},{"contents":[256,"460"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132605"],"tag":"AbiUInt"},{"contents":[256,"77946332815590010667316258731549082303561239240389493664967162969801969255981"],"tag":"AbiUInt"},{"contents":[256,"65102505295214490944232692719958353480494413511541129671428828997901496321559"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639033"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"94708434600345284334997164412236432050748862992960787712312071023931602128158"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1529166241"],"tag":"AbiUInt"},{"contents":[256,"78"],"tag":"AbiUInt"},{"contents":[256,"79404235409932511753031368769946775786062133265365499885358372316819275048015"],"tag":"AbiUInt"},{"contents":[256,"95957153341826629501349790805855646449602069345263297019576746500351798048971"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"166"],"tag":"AbiUInt"},{"contents":[256,"78974320965392761522002859367289066694654803696470717366184929460246933155222"],"tag":"AbiUInt"},{"contents":[256,"1532045023"],"tag":"AbiUInt"},{"contents":[256,"1526479325"],"tag":"AbiUInt"},{"contents":[256,"2727728417872768515213546775237228015014146851176612"],"tag":"AbiUInt"},{"contents":[256,"526"],"tag":"AbiUInt"},{"contents":[256,"48283288709062593985218909132733643537918252321786403548329030253532288802571"],"tag":"AbiUInt"},{"contents":[256,"44263764216965913683658738930325915887854742115210774687938785022931686744921"],"tag":"AbiUInt"},{"contents":[256,"57"],"tag":"AbiUInt"},{"contents":[256,"100557539228509646145382794214088074033035977607791526800034113269863137036573"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077224","0x00000000000000000000000000000000000000000000000000000000000026a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639815"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004a55","0x000000000000000000000000000000000000000000000000000000000000dcc0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639437"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81d","0x0000000000000000000000000000000000000000000000000000000000005dbc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"75891132645979329404918053821638480125383417514122201548569539552748884637019"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000079c8f","0x000000000000000000000000000000000000000000000000000000000000032c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b2","0x0000000000000000000000000000000000000000000000000000000000000016"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"56630433443388067911341566988003048487855944895814748515412471288313585969764"],"tag":"AbiUInt"},{"contents":[256,"8982124920537352996506687662969530330879852217182895878797260395506564669406"],"tag":"AbiUInt"},{"contents":[256,"27494856818204436524939017927225693043726485005826152606764695082313260681935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010978","0x0000000000000000000000000000000000000000000000000000000000009204"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"100000000000000000000000001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae2","0x000000000000000000000000000000000000000000000000000000000000ac47"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"516"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000009","0x0000000000000000000000000000000000000000000000000000000000004e8e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"1528740478"],"tag":"AbiUInt"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000386","0x0000000000000000000000000000000000000000000000000000000000002c55"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"23360384169129556663014662928242593349388404860482059694881373536612774060835"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072d07","0x0000000000000000000000000000000000000000000000000000000000001362"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb17","0x0000000000000000000000000000000000000000000000000000000000001274"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"188"],"tag":"AbiUInt"},{"contents":[8,"95"],"tag":"AbiUInt"},{"contents":[8,"144"],"tag":"AbiUInt"},{"contents":[8,"199"],"tag":"AbiUInt"},{"contents":[8,"164"],"tag":"AbiUInt"},{"contents":[8,"139"],"tag":"AbiUInt"},{"contents":[8,"48"],"tag":"AbiUInt"},{"contents":[8,"118"],"tag":"AbiUInt"},{"contents":[8,"39"],"tag":"AbiUInt"},{"contents":[8,"10"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[8,"17"],"tag":"AbiUInt"},{"contents":[8,"35"],"tag":"AbiUInt"},{"contents":[8,"77"],"tag":"AbiUInt"},{"contents":[8,"175"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7be","0x000000000000000000000000000000000000000000000000000000000000001c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007ce","0x0000000000000000000000000000000000000000000000000000000000000049"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"78776624236607233446135452230400551673815568434534761018729817824562074342183"],"tag":"AbiUInt"},{"contents":[256,"53011163107502558508302062247030953425927005433900480699301639366167183146269"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006214a","0x0000000000000000000000000000000000000000000000000000000000005855"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"73481344620387731289736535200073950873114425958814655406623995604900897988813"],"tag":"AbiUInt"},{"contents":[256,"66440831423862005084255048267763531485583345431797062650162153762350582385081"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014c4f","0x000000000000000000000000000000000000000000000000000000000000c28a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030339"],"tag":"AbiUInt"},{"contents":[256,"29174617692112721861504727407033902964219091835264558668016480847283929851008"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005941f","0x000000000000000000000000000000000000000000000000000000000000b5cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"5841457090636864298741203108208058502343473650279152015852809326153037810"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d500","0x000000000000000000000000000000000000000000000000000000000000cfae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e9","0x000000000000000000000000000000000000000000000000000000000000684f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"76199050062201755043174310704033196129834595845390051427617390545026466187626"],"tag":"AbiUInt"},{"contents":[256,"12978538559897874903412992495073023649480597980770423135944937313016902915409"],"tag":"AbiUInt"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a517","0x000000000000000000000000000000000000000000000000000000000000b33e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b2de","0x00000000000000000000000000000000000000000000000000000000000095e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"82"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a519","0x000000000000000000000000000000000000000000000000000000000000444a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007da49","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"107023958008356609319994741602244053077039468879324520606586550695115629589381"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb32","0x0000000000000000000000000000000000000000000000000000000000007a82"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069463","0x0000000000000000000000000000000000000000000000000000000000002a10"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd39","0x0000000000000000000000000000000000000000000000000000000000000284"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060397","0x0000000000000000000000000000000000000000000000000000000000006541"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"40124701732012638126150086269999506904623286528301042325798920715011213076144"],"tag":"AbiUInt"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214ca","0x0000000000000000000000000000000000000000000000000000000000007e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"81718384783894970907618291369925800067554779375867774688949438916265293160448"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055777","0x00000000000000000000000000000000000000000000000000000000000003a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"2001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000485db","0x0000000000000000000000000000000000000000000000000000000000009bb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x1Bb038fb54BfcBFA3814cE47cA5618cBA47dCdeF","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\132\\NAK\\207\\ETX\\244\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\ACKByR\\135-\\129(\\144\\195\\172a\\151\\231\\225\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\228\\219K\\ETB\\208\\196I\\186\\199\\DC3\\CAN1$F\\214\\201o\\181\\244\\DC1\\133b\"","tag":"AbiBytesDynamic"},{"contents":"\"SB2\\162\\191\\US),\\RSO\\150x'3\\STX\\CAN\\161!\\178S\\153+\"","tag":"AbiBytesDynamic"},{"contents":"\"lM;\\220Ju\\195\\230\\ETX\\NAK\\174+$\\250e\\139z\\142:\\195,\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\SUB\\254!$,(\\252\\130\\193\\136\\STX\\187\\238v\\DC2R]\\146\\&0\\FS\\NUL\\171\\238\\190^\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\246\\204m\\144O\\173=\\GS\\\\]\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\FSw\\238\\243?\\199\\242{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\140\\150\\201\\157@\\FS\\\"uF\\223\\&5pI\\194\\182\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\205\\191\\SUB2\\b\\205\\EMm\\149\\DC2m7\\aa\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\183\\&0\\251\\230k\\STX\\157\\229\\EMW\\129\\ahY{\\253\\SOH=\\152\\254\\&7\\242\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241V\\211\\243\\&3\\196X\\180\\171\\177\\202\\&8\\220#\\t\\ENQF\\176\\209\\129\\136\\162\\215\\210z\\196_,@\\156\\207\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\199\\RSWQ6\\184w/\\DC3\\241\\146\\GS\\228\\v\\196\\217\\145\\191>\\195\\130}\\154\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\182\\134h\\DEL\\175\\253\\132>U\\143\\129\\211\\133\\&9\\174\\197\\161\\t1\\130\\ETB\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"@@\\SYN\\221L]D\\200\\135c8\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\US\\t\\230\\175\\248=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186c\\188r\\133X\\167\\r\\185e\\141X\\ETX\\234\\152\\191d\\252Y\\218l\\170\\&4f\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\213j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\n\\189-\\159\\216\\149^g\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@\\165\\DC1J\\141\\241\\161\\138\\203\\189@\\243t\\201\\161\\253\\248W\\166oU\\207\\131]\\156\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\184\\198u\\188\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STXx\\149\\163\\146\\SYNOI\\233\\229a8x\\157mG#\\221[\\206\\166\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\218~\\247\\SOH\\SOH`\\192\\167\\212\\144\\176\\130\\130\\128\\247\\&9\\149\\193\\&5\\v,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\SOHJ\\238&\\FS@\\242\\138\\161\\240Xp\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\rg\\188\\145\\172\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162vGcx,\\186]\\240\\129\\&8\\140\\253\\234\\212VplK\\229~\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\183\\DC1\\132\\183\\214\\206\\163n\\EM\\249Kl\\130J\\SYN\\177;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELm \\163\\184Z\\218b+\\146T\\226O\\US\\216s\\214\\223\\140dL\\212\\188\\230\\&0\\143I]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172s\\182Z%-E\\216\\EM\\a3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\222\\ENQP\\n8\\245\\SI\\220gbj9y[\\168\\167X\\151\\147\\218^\\138\\143#\\218\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\214\\DC3\\254`T(\\187f\\206\\STX\\139\\150@\\\"\\220\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\161\\233\\161|\\237\\143\\161\\208T\\224\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\217\\151\\186\\192\\DC2\\234\\DC1\\195&\\205\\DLE\\238\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138;\\136\\235\\250\\226\\249\\DC3\\225\\181I\\177e$10+\\196#\\241+\\DC1\\DLE\\240/\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\176\\176-\\a\\231\\236p4\\186\\173\\209>\\165cW!\\171\\173\\171k\\215N-8CH\\183FA\\tF\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\145\\223\\215\\145\\216\\&6\\US\\220Z\\138\\202\\253\\165b<?\\191\\190\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"*v\\233\\ETB\\SOY\\251\\SO\\ETX\\SOH\\132\\236R\\ENQ;y\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"3KU\\211\\187\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\\"\\219\\SYN\\197\\DC1T\\SIz\\130\\192/\\ETXC\\f0\\t\\180\\&7\\157lT\\SO\\185\\DC4\\ESC\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\189\\ab\\175\\228\\\"\\142\\182\\236\\SOH\\SYN\\242B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\US\\SO\\US\\159/\\GSm~\\184\\196\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\\"+5\\207\\210\\ENQ\\164\\134\\236-.xh\\193\\213\\150\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\180\\ESC\\190\\229\\&2\\235\\244v,S\\n\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148&Z\\242(A\\131_J\\215\\153\\&5i{\\204v\\229\\NUL\\133 9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBe\\130\\146\\&0\\128\\216\\&0\\163\\&9\\CAN\\SUB\\183\\205\\225U\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\162;\\131WL\\171\\185\\160ve\\214\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\144\\202\\212\\174\\202\\222\\EM\\170\\156\\&3\\253\\181s\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\140\\154\\228\\220<\\ETXD\\167\\ENQo\\v\\173JR\\234\\221dQ\\r\\143s\\173(\\168D \\234\\SUB\\228\\a\"","tag":"AbiBytesDynamic"},{"contents":"\";R\\SOHt\\247\\164\\221\\204\\152\\SI=!~4\\DC1\\EOT\\195\\218\\219\\ESCHs\\203\\187\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"x}\\189K\\244\\213\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\166\\224p\\169\\198Y\\241\\USJd]55R#\\179\\211F\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\141\\&5B\\242T\\249\\128\\144\\188\\SO\\r\\137\\181)\\157y\\252\\205\\a\\253\\137\\195\\156v5\\226\\177\\&4$\\211;\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\151~\\US\\128+\\231?\\223\\&8\\241\\141\\200N\\183&N\\141\\243e0\\244\\NAK\\179u\\SOr\\227\\136^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\154\\186\\220\\247\\183R\\STXqT\\v`\\238k\\252\\193\\244\\178\\&9\\148\\&8\\222\\154\\243\\f\\209\\212 \"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232wE\\246\\SIT\\236T[r\\151b_U\\246{i\\255\\237\\188\\206\\134\\164z\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\NUL\\201\\234\\194n\\b\\NUL5\\249\\DC17\\\\\\SUB\\ACK:\\154\\159\\195)w\\235\\184\\240\\243\\\"\\FS\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"ta%\\235\\238\\SOH\\222\\230\\&34\\203~\\246\\178\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246I9\\192\\167\\ACK0\\EM\\RS\\229o\\236\\150\\189\\140\\151\\222T>i0\\231t\\222\\211\\148N\\219\\v3\\148C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196PgW}\\207\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192W\\165\\&0\\v'\\226\\&8\\164w\\DEL\\EOT\\223/\\232I\\SOpX\\244t\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\NUL:\\200\\237\\DEL\\196\\150s\\246M\\231^\\234\\137q\\138\\220L\\189\\221_\\t*O\\DC1$\\t\\195&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\tX\\r\\155u\\197\\169\\163\\150\\\\\\GS\\EM\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163#\\251\\179\\DC4\\169Yb\\t5\\131\\165\\138)\\211\\DC1\\242L/\\SI\\223\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\173~zY:\\237;C\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230pz\\208\\n\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\222\\217\\239(\\216\\219B\\192\\b\\223\\176\\220\\217\\219\\188\\172&\\235\\&6J\\199`\\187\\DC1\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"hG\\216\\186\\189S\\169\\206[G\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\234\\231\\190\\242Q\\153\\151/\\144!\\242\\DC4o%\\nn\\SO\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\ESC\\194\\250}+\\v\\160\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\208<\\238\\189\\ACK(\\208>\\138\\168\\145_W\\204\\215\\233\\129\\134\\139SdR\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\152\\234fzJ\\179|\\157kU\\234\\227\\166\\208\\175#\\153\\222\\189\\201\\193\\211\\177\\205bZN\\155\\CAN\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\228\\206\\159\\170+\\203bO \\230\\186z\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\190h\\232x\\248\\173CE!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\248\\128\\166`pKe\\166\\161\\v\\215\\163\\241!dE\\tS\\222\\137\\198\\242\\196C\\ro\\231\\160\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\189r\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\DC3\\ESCU\\193\\218\\162\\234\\205w\\166\\209\\159\\221\\SUB\\137\\240/E1 \"","tag":"AbiBytesDynamic"},{"contents":"\"$\\195X\\172\\210S4\\170\\NUL\\229\\214\\132'\\227\\255>\\174\\EM\\163\\&4\\182\\DLE\\254\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\144#[\\220]\\212O\\r\\172\\211PA<\\201\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t*Y \\243a\\137\\231\\135\\r\\NAK\\174,{\\DEL\\206\\222\\162j\\142C\\ACK\\254)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\\\x\\147\\229\\212s\\224\\SO'\\171\\v\\239N\\145F\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\147\\129\\DC3\\252\\253\\246^\\209\\&9~\\b\\154$\\128\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"wp&o/\\213\\176\\138zb\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\189\\147\\aH1~\\SOH\\GS\\246\\172\\158\\f\\185\\248\\184\\247\\240\\136\\b\\168\\246\\239\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\195\\182N\\200\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\a\\153m\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\135\\ETX\\n\\177\\223\\177\\NUL\\195\\SUB\\GS*I[\\250\\161c\\144\\ETXx\\173\\146\\216g\\207\\DC4\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"4q\\214\\SOH\\208j\\145\\NUL\\233:\\226\\143*\\r\\225\\243*\\DEL\\254\\182\\137V\\128\\199d-\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136(\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\173w\\167X\\161\\159\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\171\\202\\223&\\192\\201\\135\\248\\153\\149_\\GS\\250\\184\\158\\222u\\204\\143\\241\\206\\161\\245\\213\\227\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\250S\\RS\\ESC\\158\\250lO\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\150v\\179\\141\\211\\243\\153\\163\\166\\137\\DC2(\\EM\\EOTf=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212+\\214\\198\\219\\ENQ\\230\\251\\148m\\252\\&4\\FS\\233y\\157C\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC1\\214a\\238\\130\\ACK6hs\\179\\210{\\164\\r\\206pDpa\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140:]\\ACK\\226\\252\\EOTG\\150\\DC3\\139Z\\175z\\164\\ESC\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203H\\132}\\169\\182\\176\\174\\188Q\\DC3\\135\\DC3\\t\\GS\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213s\\135B8\\228&C~7\\DC1\\229\\168J\"","tag":"AbiBytesDynamic"},{"contents":"\"L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\155\\SO\\220<]\\FS\\\"\\150\\219,\\253\\\"*\\ESCC`\\239\\EM\\134\\218\\215\\136\\SUBW\\180m\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH0\\b\\154\\154R\\SO&\\162\\237:@b\\218\\153\\245z'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\222\\252\\160\\241\\154\\183\\160&7\\169\\137e\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\DC4\\151j\\DLE\\210gK\\138\\144*\\184x\\159\\175\\CAN\\NAKI\\210\\r\\133]\\149\\a\\202w\\237&\\171\\198.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX[\\238P\\227\\189\\140\\148\\255\\212*f\\214\\NAK\\193+\\168\\139\\&4\\130\\184\\228J\\255\\208<\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\228C\\201\\138s\\217\\163\\n\\130\\227\\163K\\219\\ENQI\\GS\\\\\\177\\ETX\\FS\\f\\134c\\158\\r\\180\\199\\248U\"","tag":"AbiBytesDynamic"},{"contents":"\"Hn\\134\\RS\\148\\&1/\\255\\153f\\FS\\168\\224\\218\\n[\\220\\141\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\249E\\165\\207\\CAN\\b\\208M#\\132\\255\\178A>\\246\\220\\&3\\163\\FS\\174\\193\\&2\\183@\\172\\192\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\SO\\169\\224\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\ENQ\\NAKr\\253\\US\\186U\\nj\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\SOH)k\\ESC\\130g\\143\\STX\\151o\\179m\\t\\FSg\\191\\DEL\\182\\213`2\\143\\254\\184\\174\\193\\ENQ\\186\\156^\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\DEL\\202\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\218\\243j\\175<\\219S\\SIUL\\vP\\DC4\\131D\\211\\196\\152^Mh\"","tag":"AbiBytesDynamic"},{"contents":"\"q4\\RS\\149\\188Fdn\\245Gs\\DLE\\SUB1\\tH_\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\238\\179\\198\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\ENQH\\210g\\f\\n\\175\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232^\\bi\\205\\&8P!\\188\\r\\224Z\\ETXi\\t\\EOT\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177e\\138\\181\\EOTk\\ETB\\ACK7\\181y\\196=\\169,V\\r\\138_QyKD}\\173\\212N{\\220\\138u\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\154\\254\\234\\CAN\\254\\236\\\\\\DELNy\\180r\\176\\NULL.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\224\\146\\DC1\\220\\212\\252b0\\160&\\253=\\\\\\238j5\\208\\SUBa.\\223W\\150`\\RS\\a$\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"<\\SUBz\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\200\\238\\239\\245Jl>\\206\\251_k~\\238\\157\\153\\206\\145\\177^\\168\\141E\\187K\\202\\245\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\&6\\151<h\\220N0zX\\134g\\SOc\\246q,\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"8d\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\ETB\\158\\159w[\\176p{G\\129\\143\\166\\188\\226\\&5T\\202J\\243\\220}w\\230*B\\252\\229s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEI\\196$\\ETBH\\129\\NULW\\224\\175g\\DC3\\143\\171\\208H\\137zS\\252\\175&;\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154T\\130\\DC3V\\145:v]g\\162\\203/\\157s\\131\\198z\\235\\&9XM\\132\\182\\190\\EM\\SI|\\135*\\216\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"'n4z\\DC1:\\r\\254v\\189\\f,x\\185_\\160z\\175\\143N\\226\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\234\\251c\\247\\147_\\217L\\249\\221\\151\\145\\143\\219\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\152\\167\\ETBj\\162\\146v\\226\\FS\\228\\150\\170m0\\196z\\SUBU^\\DC3(+\\204\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\EOT\\142\\204\\221\\CAN\\203\\234\\227F\\248\\n\\197\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\216\\207\\STX\\155\\241\\\"P\\205\\150\\STXF\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\143 \\CAN\\185\\131\\133\\137\\230W\\138[W\\236cJ\\151\\SO\\213\\SO\\181m-\"","tag":"AbiBytesDynamic"},{"contents":"\"C~\\181\\DELX,\\129Y\\141l\\\\\\196\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\180v\\214\\200\\159>\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\157\\ETX;\\197\\SUBq\\193\\199\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\202M\\150\\251%\\137\\216=8\\191\\248\\228\\DC2v\\157\\233\\170\\184\\161\\242\\129\\172\\251f\\\"U\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\188Q%-Jt\\200\\170\\&8\\DC4%\\v\\240\\\\\\131rO\\144\\n6~\\158\\a\\201\\130w\\169\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\191\\\\AJ\\220\\212c\\193n\\200\\172\\222eS\\239P\\205\\241\\n\\224Y\\187\\210\\205\\160\\133\\ETX\\133I\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\213\\DC4\\239\\a\\227~\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"2cg2\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\140O\\DELA`\\250\\&9\\207:\\179\\133E\\152|\\252!\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\SUB\\141\\158\\184\\136(\\171G\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\209g\\GS\\141n\\150\\140g%\\143\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\138\\EOT\\255\\243O\\141\\157\\231\\226\\231\\252<\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226+\\173'\\RS\\194\\202*\\194\\235\\157\\255\\219_\\255\\218\\248\\144zo?x\\156\\217\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\191\\245\\190\\235\\191\\238\\164\\GS\\142??\\217\\197\\184\\186P]\\198\\134\\199\\192\\207\\237cn5\\252\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\b\\162\\153\\EM[\\248]\\221\\243\\254N~|+Z\\156\\140\\151+\\144\\205~*A\\161\\170I\\156X\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\159\\SOH8y\\228'\\144p\\178T\\227\\203g|\\255\\r[\\238\\225\\224\\179\\149\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\217\\189\\163\\DC2\\182\\158\\221\\201b[\\235\\207\\231\\DC1\\152\\185\\193\\206o\\249<U\\b\\252\\224Q\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1\\157\\\\8\\DEL:\\b\\164V\\233+\\229\\255'\\244>\\214=\\247\\229\\SI\\DLE$\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\246\\t\\DC1\\135j\\n\\DC4$\\ACK\\224\\243\\252\\r\\195\\139\\&3\\182\\ETB\\SOHV'u$\\180\\247\\168\\168\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"ZdA\\249\\\"\\237/l\\128\\221\\180\\247=\\NUL\\181O\\209\\144H+\\182\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"Am\\146e\\232\\162\\&2\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\233C\\225\\206\\198\\244\\\"\\SIs\\189\\185\\177\\233C\\175F\\153\\225\\216?\\182\\138\\179&\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\246am\\203\\182\\198\\240#\\144;\\247p\\155\\160\\205\\ACKIx\\171}\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\225C\\245\\173\\217\\225\\155R5\\GS:R\\254+\\141\\131\\202p\\236'C\\182\\f\\150\\SOHc\\216$-n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173$c\\234\\STXN\\144\\144\\168u\\253\\183\\RS\\253\\SI\\203N\\252\\197\\180\\185\\214\\200ao\\ESC\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\153\\DC4\\166\\222\\205'v\\199G(\\150b\\DC2\\149\\187\\&3\\vs\\DLEm\\b\\214`\\245r\\235\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\&3c>\\180\\201\\130\\134> \\ENQ\\CANn\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\169\\201\\143\\FS\\197N\\214G\\216yS)\\158\\253\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\":6\\220\\172z\\246\\162L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n=\\198\\169L\\b\\163G\\215\\161\\231W}\\224\\185\\195\\DC1\\ENQ]\\183\\141<>\\221\\248\\202\\GS\\239Y)%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\222 \\213\\SOH\\183\\227\\249\\CANP\\159XfD\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\f\\139\\141{\\153\\242c\\ESC\\137\\ACK?)\\209\\132\\181\\222\\234\\&2^<\\160)\\253\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170 \\\\f\\154\\&9\\238\\200q\\181\\215#7\\184\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\233^\\142\\&56\\255\\ACK\\SO\\148$\\211\\162\\173\\250 \\165\\234\\204\\149\\\"L-/\\215\\229\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241eR\\138(s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\195\\141Y\\131o\\175\\185\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\";\\131])\\142\\196\\\\0!\\157\\147\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\240\\223}\\176eE\\249\\230}/\\202\\246\\251\\RS\\245\\163\\SYNr\\182\\250\\&1M\\213\\159\\229\\n\\149\\244V\\154\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\a\\255m\\149\\245\\201t\\188\\244\\196}-\\166\\242=L\\ACKd\\DC3G\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\234@\\207>J\\196\\223\\172d\\202O\\146\\ETX@\\211\\171\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\246q/\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211gfAzi\\221\\201\\205Mw\\239\\165\\154\\\"\\214\\199\\229\\182\\174\\150N\\207\\155F_A\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185&\\aU\\152\\EM\\149B\\152[\\221\\ACK+\\214\\RS\\f}]i\\b]\\NAK\\193=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\241\\166\\183\\214\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\199\\&3;3\\239q\\193\\203]\\195\\234\\132\\171\\DC2\\STX\\170\\EM8\\v\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205,\\\\\\ESC\\190\\207\\224\\136Y\\n'\\138\\193l#[>\\156A\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\216\\155\\225\\EOT1\\SYN6\\128Y\\184\\137k\\217\\236\\bV\\210\\DC4U9\\171c\\248\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\FS\\195\\173<\\SOH\\152?`\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\130b\\195n\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"nC\\STX\\245)\\151\\130\\210c\\174\\193\\139Y\\b\\208\\&4\\243\\187\\227\\&4\\ESC\\231\\233p*\\202r\\159\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\US\\NAKT\\249\\162[@\\133\\183\\218\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n&\\237KR\\194\\203\\205\\128\\n\\132\\216\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\DC1\\v\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\243\\150\\237v\\203\\245P\\175\\174mr\\NUL\\151\\221\\207\\239\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\227M&w\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\FStw\\DC2\\129\\f\\200\\\\\\165\\rm\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\155(\\185\\160\\SYN\\138\\181\\250p\\204\\143s\\181 \\DEL\\v\\137\\155\\199\\ENQ\\DC2\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\214\\\"\\b\\DEL\\EM\\146~\\199AvU\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\NUL\\FS\\155\\130OzR\\150\\241D8\\184d&\\165\\243\\154\\172eI\\t~\\STX\\NAK\\145\\193\\235\\241\\146(n\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"5;\\174\\142;\\132\\159:\\228\\246\\FS/\\196\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\137\\173\\255\\141\\211\\185z,rxn\\191\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176_\\142\\131\\ETB\\US\\176\\226<\\246H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165M\\253\\204\\204cX\\RS\\128\\158?\\132#\\ETB~9X\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\DELZ\\225p\\159\\179\\206sb\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\163\\247\\151\\137\\199\\ETBva\\137\\174\\202\\221h3R\\131:\\DC4\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\224\\&3\\228\\250\\160R\\SOjp\\195\\DC4\\t\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"WcG\\223\\236\\189\\229\\SI\\129\\\"w\\248\\NAK\\227\\SO\\220\\132\\\"d\\181\\132\\SUBJg\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\a\\239\\136\\253VQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\175%\\222\\132?\\SOH$9*\\128.\\DC2N\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193=/\\192\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\DC3^\\166\\244(\\244\\186\\RSnr\\150\\195%D\\141\\249\\216\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\150}+Ah\\176\\193\\249\\195D\\196y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH#|\\209\\170\\134\\235S\\US\\161i7\\SO\\200\\182\\145\\DLE\\228a~\\151\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\184~\\201\\229l\\f\\DEL2\\201\\193\\US\\142G\\138\\151\\DC2'\\237\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\198%>\\168\\SOH\\216,^\\251}M \\b\\187\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\")\\133\\209\\248\\ETX\\145M\\170R\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\138\\165\\255p\\129\\STXu\\182\\191=\\154\\219\\151\\NAK\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\173\\188\\161Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\166\\167\\175\\157\\EOT\\128tg\\130\\168m\\235\\ACKc~\\159\\202\\183\\167\\148\\STXY\\161vE\\205\\135\\233\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\".oU\\DC4\\DC3\\147\\200\\179Z\\240Y\\148\\248\\141\\202\\132S%\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\209t\\244:\\r\\194?xG\\191\\\"R\\EOTn\\EM\\225\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vhmrE}K\\STX`\\138]?P\\169\\222\\185\\&6\\az\\143?\\EM\\139!\\235\\DC2\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"y:\\SI\\238M\\197\\213\\ETX\\170G\\188\\247\\196\\240c^0\\188n\\236\\ACK\\184d\\227\\191\\149h\\203\\129><\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\186\\177\\153\\174\\196J\\181\\184!\\\"\\140c@4t\\245\\196\\237!\\208\\&1A\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\229\\175\\DLE}\\137H\\nO\\131\\242[7V\\217h\\GS\\165\\237\\212\\189\\158\\216k\\DC4\\159\\160\\174/\\230\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"7f+0\\tY_\\237DiY\\147K\\180J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\")\\134d\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\211C\\GS\\159\\SOH\\176\\246#\\130\\247\\164-\\233\\134\\DC11\\177L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\149\\&0\\200\\222\\167xj\\GS\\153\\254*Kv0\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\207}\\147\\186<\\225\\USp\\134H\\242\\STXZ\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"V1\\SYNQ`s\\131_\\187\\243\\195\\172oR\\EOT\\DEL1\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\STX\\US\\186U\\186\\GS\\173\\DC4\\155x\\138\\DC4\\143\\177\\222|rO\\130\\249\\145\\FS[\"","tag":"AbiBytesDynamic"},{"contents":"\"o/\\186\\129\\STX\\178\\147,\\143\\168hj\\237k\\NAK\\142M$\\254W!\\150\\191\\213P\\251\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\218\\207\\187\\217\\n\\180?\\\\}\\237\\134(\\ESC\\173\\235\\224\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\153\\177ni>\\193\\\\5\\176\\232s\\227H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\GSp?\\DC3\\EM\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159@Ka\\162\\188\\175\\&6\\171\\&1]\\206\\209.G\\144\\192.\\DC4\\166]I'N\\160a\\149\\&1$e\\225\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\180N\\182\\171g\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\173#\\131H\\ENQ\\161|\\174\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\RS\\171\\146\\219\\f\\169\\253W\\215L#\\226\\180()\\v \\245\\131\\206Q\\EMP\\bWYs\\152\\&3a\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\228\\154^\\145\\250\\188\\DC1aZ./\\170\\&1\\154?\\235\\138\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\&3V\\217f\\235[\\197\\146\\202;\\184K\\205r\\245\\ETB\\SO\\178I\\149\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"ZS\\151\\230\\197\\242\\234\\244X\\r\\151\\129O_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172n\\ACK\\SO\\249=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\GS3\\133\\143`\\213\\221\\135\\184\\GSj\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\r\\245\\132lB\\162?\\140\\CANFK%(\\232\\245\\&5\\142\\197\\EOT\\207\\159\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\v\\156\\ENQ\\228\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"4.v\\250\\236\\226\\160\\215\\130Q\\\"Av\\248{)\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\173\\211\\162\\DLE\\149\\DC2\\174\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"_\\138/\\129\\246\\DLE\\231\\153V%r\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"/Q\\232\\SUBj`\\159\\206\\202$\"","tag":"AbiBytesDynamic"},{"contents":"\"x9\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\b\\129\\&8~>I\\ACKF\\151I`\\196J\\213\\179\\212I\\FS\\227z\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\202\\131\\150\\147\\176*l\\253\\251\\217\\217\\130;k!\\129\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\&9\\252\\ENQ\\202YJ\\r\\179\\239l\\DC1q\\ESC\\144\\164\\a\\239U\\188\\144\\219\\fM\\ESC`\\254\\176K\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"=D\\197I\\STX\\NAKX+\\191\\169\\206(\\205\\SI\\176\\&7~{E\\236\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"0Y\\180e\\169h\\166\\201\\&3\\198\\247\\b\\\"=$\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"~@\\180&\\229\\170\\185\\SIo\\183-\\169u\\224\\215v\\166\\&8\\r*A\\129\\152.\\174\\249\\&9\\162\\181\\ESC^\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"Xz\\152\\&8\\144P\"","tag":"AbiBytesDynamic"},{"contents":"\"1t\\144m|1\\181\\239\\140\\195\\SYN\\DC3\\128\\156\\US#\\134<\\242_r(\\146F\"","tag":"AbiBytesDynamic"},{"contents":"\"_P\\221\\224\\155\\DC2\\ENQ\\211\\fl\\ENQ\\ESC\\175\\219[\\199;E\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\179]\\\\B\\nPk>\\197\\182\\145\\&4\\228\\181\\159F\\DC3k\\163\\175$\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"34382104013214878887955802769705894547458261221324734352979959233900259917680"],"tag":"AbiUInt"},{"contents":[256,"604801"],"tag":"AbiUInt"},{"contents":[256,"766439103922992615265861745349225977263113787746246406"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062337"],"tag":"AbiUInt"},{"contents":[256,"97476526290417651711680510002948168093"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639819"],"tag":"AbiUInt"},{"contents":[256,"3385397388338505762211260344004423618640871029599088609659803059015651502076"],"tag":"AbiUInt"},{"contents":[256,"63116790836470391068860636488473964760027306089264993375977478019485730560831"],"tag":"AbiUInt"},{"contents":[256,"82563712338115617762872874064307335417513749071014384253555502137766497080771"],"tag":"AbiUInt"},{"contents":[256,"100000003"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"17796505118702262677557074476327966512081621252286470552323584373053957686588"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639923"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639921"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639916"],"tag":"AbiUInt"},{"contents":[256,"46288332100617602431735737376159928544870429859818515086326180918327646599854"],"tag":"AbiUInt"},{"contents":[256,"61075344253535460314974141244000629688754942027095224808040593548720921870636"],"tag":"AbiUInt"},{"contents":[256,"1534845064"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011522"],"tag":"AbiUInt"},{"contents":[256,"72168818504321928534565710144836148447867542413275272217720736539369926210522"],"tag":"AbiUInt"},{"contents":[256,"4193745440601884958772845941022139576264375037863619793595954369543700077866"],"tag":"AbiUInt"},{"contents":[256,"109159360350162693247749879338578354458849967054097362279905379981332834583185"],"tag":"AbiUInt"},{"contents":[256,"36829781032312172212009881631902723933292725432751869860983637437159703189999"],"tag":"AbiUInt"},{"contents":[256,"101530842945696112057585198120148568165491062661718503192492760712214717670081"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858879"],"tag":"AbiUInt"},{"contents":[256,"15298781"],"tag":"AbiUInt"},{"contents":[256,"61717870669031072170113337266669486563615186085834508252623360875195692057382"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"75375069920679953872737252472345122463221571724858131663138472325324497260496"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639922"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639922"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639922"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639922"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000003"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"67302801711537061415255874125375315873052179362211111472235595213789448781097"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"60243634735521844426125930944363317939868310061262802266226518695557487549220"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639870"],"tag":"AbiUInt"},{"contents":[256,"109616407847912059993870421033092931522029806032843760699398711427395608298800"],"tag":"AbiUInt"},{"contents":[256,"9608343645990433394324162424859745078959859103596387383841569290820680939509"],"tag":"AbiUInt"},{"contents":[256,"1530773341"],"tag":"AbiUInt"},{"contents":[256,"29963721060524016884381572637116591342107428315487357939832387624634887138038"],"tag":"AbiUInt"},{"contents":[256,"29963721060524016884381572637116591342107428315487357939832387624634887138038"],"tag":"AbiUInt"},{"contents":[256,"29963721060524016884381572637116591342107428315487357939832387624634887138038"],"tag":"AbiUInt"},{"contents":[256,"29963721060524016884381572637116591342107428315487357939832387624634887138038"],"tag":"AbiUInt"},{"contents":[256,"29963721060524016884381572637116591342107428315487357939832387624634887138038"],"tag":"AbiUInt"},{"contents":[256,"29963721060524016884381572637116591342107428315487357939832387624634887138038"],"tag":"AbiUInt"},{"contents":[256,"29963721060524016884381572637116591342107428315487357939832387624634887138038"],"tag":"AbiUInt"},{"contents":[256,"29963721060524016884381572637116591342107428315487357939832387624634887138038"],"tag":"AbiUInt"},{"contents":[256,"29963721060524016884381572637116591342107428315487357939832387624634887138038"],"tag":"AbiUInt"},{"contents":[256,"1528435373"],"tag":"AbiUInt"},{"contents":[256,"55650274967431950005541862084386614766139656659276079890690481324245822156272"],"tag":"AbiUInt"},{"contents":[256,"8990322112787086144879347984944402608800422372072469502428422974245224152111"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"83973883268127370109745398740427373480535400729408743960999752700578180627317"],"tag":"AbiUInt"},{"contents":[256,"63287326627143510171711686564043921228781517663442253801020899783484283596021"],"tag":"AbiUInt"},{"contents":[256,"40632374240210546239678373969870049918618108338919933260909439762620699225764"],"tag":"AbiUInt"},{"contents":[256,"13935805265840946421772836558312973638054004646407213979019002559109701059078"],"tag":"AbiUInt"},{"contents":[256,"41873946872669934042697725415925026542709187298530851801430761043955545873412"],"tag":"AbiUInt"},{"contents":[256,"111160747805268534640473459955615198857729006523341913112002127627592358438813"],"tag":"AbiUInt"},{"contents":[256,"53367571299392086991324395909155116031347125227725835612120751046258831331644"],"tag":"AbiUInt"},{"contents":[256,"89300537787843330666494013939268045011340547379756753391602413376714540668674"],"tag":"AbiUInt"},{"contents":[256,"1530322532"],"tag":"AbiUInt"},{"contents":[256,"48123190226695114257645813505696390479128258072161285900432678314247831324216"],"tag":"AbiUInt"},{"contents":[256,"1531467645"],"tag":"AbiUInt"},{"contents":[256,"31751576453631071164765333234562022023386190325662132971469991479974937331862"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ef91","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"15806619083802858364630593685605140965030783946774997506461184665241983046584"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000015","0x000000000000000000000000000000000000000000000000000000000000c5b2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f353","0x0000000000000000000000000000000000000000000000000000000000008193"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033868","0x000000000000000000000000000000000000000000000000000000000000c015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000040","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d7c7","0x000000000000000000000000000000000000000000000000000000000000d2c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"133"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001b","0x00000000000000000000000000000000000000000000000000000000000034fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]