[{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3a","0x000000000000000000000000000000000000000000000000000000000000824d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"32"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ed70","0x0000000000000000000000000000000000000000000000000000000000000e10"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b2da","0x00000000000000000000000000000000000000000000000000000000000009cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"489782066536158965559177231843362332478947"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb11","0x000000000000000000000000000000000000000000000000000000000000270e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[128,"604801"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb14","0x000000000000000000000000000000000000000000000000000000000000c064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006470c","0x000000000000000000000000000000000000000000000000000000000000260a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"87"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055777","0x00000000000000000000000000000000000000000000000000000000000035d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"18446744073709551614"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000036585","0x000000000000000000000000000000000000000000000000000000000000133e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c0","0x000000000000000000000000000000000000000000000000000000000000139a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"48416852822874895762849460652846570850915942167770619918163542691950495605259"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007f","0x000000000000000000000000000000000000000000000000000000000000d8d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002a045","0x0000000000000000000000000000000000000000000000000000000000007fe1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x00000000000000000000000000000000000000000000000000000000000013aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf6","0x000000000000000000000000000000000000000000000000000000000000003d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"13180367872658245146050332148341844037413319811310600158480511977538040403368"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062e05","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4ff","0x000000000000000000000000000000000000000000000000000000000000bbe6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639915"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e3","0x0000000000000000000000000000000000000000000000000000000000001c1b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004018b","0x0000000000000000000000000000000000000000000000000000000000000e13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000102","0x0000000000000000000000000000000000000000000000000000000000002f7b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002981d","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c6","0x0000000000000000000000000000000000000000000000000000000000001341"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027ee7","0x00000000000000000000000000000000000000000000000000000000000007d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639036"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e956","0x0000000000000000000000000000000000000000000000000000000000008190"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629932"],"tag":"AbiUInt"},{"contents":[256,"423"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083226","0x000000000000000000000000000000000000000000000000000000000000b44c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000050","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"78279549387328834358185480832576516921734734476835171477801656421031241451519"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000067","0x000000000000000000000000000000000000000000000000000000000000201a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa2","0x000000000000000000000000000000000000000000000000000000000000b44b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"109989456551682501691109026887252478531105092796220772206463613278807893413653"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000030","0x0000000000000000000000000000000000000000000000000000000000000f9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"100200220506403426282161207640707312687408119420562351706672093961809661352147"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0a","0x00000000000000000000000000000000000000000000000000000000000085e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132609"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x00000000000000000000000000000000000000000000000000000000000012b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb25","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\203\\&2\\DC1E\\214,\\253\\SUB\\225\\158\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\vP\\226$\\134Y\\169\\150\\254)\\255\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\128\\&3\\222\\CAN\\198\\188\\&4\\155\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177T\\166\\205=\\139'\\162)o\\207w\\169\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\184bn\\250\\130\\158\\143\\134\\197\\206\\226\\184\\&9l\\212(\\v\\151\\211.l\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\201a\\GS\\238\\220\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\139=\\178M1ge\\148o\\223`#\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\t\\DC4sU{\\147\\DC3\\195\\213\\166\\f\\218\\179\\\"q\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"8G\\249\\178\\NUL\\220\\159\\SUB\\147p\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\SO6\\218B\\DEL\\230\\NUL\\196*\\162}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199Ozf\\149\\151\\fd\\155\\&6m\\200\\&6z\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\246\\213\\185\\SOHI#\\150s\\240\\252\\241B7\\146\\a~\\NUL\\252?\\SOH\\188\\180vW\\233X\\223\\137~\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\209pb\\136\\t\\135\\DLE>Zh<k\\DC4-\\135e\\181\\b\\DLE\\239c^g3P\\161\\242\\235\\168n\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\233(&\\ENQtP\\172\\151C\\194\\225%\\DC2\\STX47\\143\\206\\231T\\255,G\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQn\\156G\\186\\165e:\\249\\244\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\128\\a\\155\\210kX/\\158\\163\\222'\\156\\DC4\\236\\199\\140\\190\\159N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203o\\151Q\\235h\\142\\ENQ\\DC1A\\bH*\\147X\\170\\252\\254z\\180\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"}+i\\US\\f\\ENQ\\255\\fO\\NULT8\\131\\193\\SUB\\235\\ACK\\224T\\208df\\201y\\160\\190\\214\\180\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198 \\SOH\\\"\\227f\\187\\173C.\\181\\238\\SOH\\t\\209r\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\182\\145\\NUL7\\197\\203\\174oX2\\249\\240\\167\\DLEyQ\\NUL\\255\\212\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249G\\249\\ETX!\\ACK\\185\\v\\240\\STX\\250T6\\176\\212\\241\\191\\EOT\\132\\249f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\243\\180\\161\\216X\\162\\SUB\\236ZQU@svD4\\203\\129\\b22B\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK7\\188\\149\\211\\150\\224\\STX\\159Z\\162[\\188\\ETX\\152\\SUB\\211T\\f\\214\\230\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\220\\161k\\191>\\184\\n!\\142\\164\\151Eu5\\154\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\193\\248t\\135\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\174\\139\\249\\173n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\DC1\\170Te\\200\\231\\180)K\\140od\\251\\150\\194y(\\196\\SYNG\\220\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"2M_\\STX\\239\\DC3\\232&$^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156D|TH\\159.\\181\\&6\\206\\154\\210\\194\\253gk\\229\\221I\\v4\\254\\162\\253\\SOH\\\"(Wwg\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\176\\NUL-\\233\\NUL\\182\\211\\190+\\156\\&67\\145\\217\\ESC\\173\\186BXL6\\210\\&3\\132f\\182\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\211\\147E\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\ETB\\NAK\\231\\nvI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\244\\137W\\185\\FS\\155R\\227\\178\\DEL\\211\\166\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\\\\\147S\\\"\\223\\&4\\235\\220\\221\\196C\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\185\\253\\231\\209f\\219\\173\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\CANC\\189s\"","tag":"AbiBytesDynamic"},{"contents":"\"T.}\\236\\171\\162\\224J\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\177\\167\\162\\DC2oO2n\\251n\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\NUL\\246RGt#\\SYNh\\197R\\165\\244\\&4\\GS\\242b\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\221g\\232\\ETX&\\228r\"","tag":"AbiBytesDynamic"},{"contents":"\"_Y\\210\\174\\\"\\t\\187\\202<\\135\\195\\&1L\\153\\236Mg\\DC1\\189\\182\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223Tk\\227<\\170\\243KL\\SO \\213\\200\\190,\\169x\\217%\\174o8`\\198\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\134X@\\178\\141c\\186|\\198t{O\\219\\252l\\EMp\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"?:\\253\\230o\\239\\132t\\DEL\\195\\185\\175h\\216+\\206\\133\\181\\214,\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nKe*<\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"ui\\193\\&8\\158\\160J\\251\\217\\NAK\\\\\\ENQ\\164\\182p\\160\\255\\173\\181S=3\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244:\\SUB\\176\\209\\131\\235C\\205!I\\CAN\\184#\\bb9\\fT\\a\\173\\218\\198\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\",\\ESC\\203\\163E.\\187UC{u\\179\\201n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130}\\254\\190\\170\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\215Y\\DC1\\186#O\\173\\156w\\188\\DC1\\169z/o\\164cc;3_\\224k\\231\\250Y\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\US\\237\\192\\SUB\\207\\138\\a\\200D\\167\\RS\\170\\SOH-\\165y\\162?\\135\\142\\218^_2\\189%B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\252\\197Vr>\\185#j\\FS\\213\\ESC\\ETBW\\229\\&3l\\168lR\\161Q\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\168\\SUB\\DC1H\\170O\\NAKm\\171\\139\\217A\\128\\217\\&1w\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"Vb\\ESC\\248\\177\\SOHM<rPn\\173\\135%5\\190\\CANr\\203\\178\\225\\247\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\NAKr\\224\\234\\245^u`\\av\\SO\\184\\ACK0\\232\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\185\\177I]c''\\167\\SUB\\233\\FS\\236{(!B\\194\\NUL6\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"{L\\FS\\198N:\\143\\218B\\193\\190\\STXl\\a7g\\224[u\\244%\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\">\\221(\\a\\241M\\f\\169x\\228\\169\\153i\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"3G\\201H|d\\190>!\\135kG\\ENQ\\250C\\DEL\\190!\\216v\\213@\\242r[\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\148\\219E\\194\\209#\\149\\187,\\ETB\\227[\\NAK\\am\\232\\&9\\156x\\140\\209&\\157\\163&C\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\133G\\128\\GSI8b\\178:<\\217\\173\\b1\\ENQ\\149xl\\213\\140Pu\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\199:t\\189\\168\\199\\167\\160\\ACK\\CANA\\130\\ACK\\186\\156\\202\\181\\202L@\\ACK43\\190\\STX\\207\\SYNc\\142\\153\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\216\\254\\159z|D\\191\\165\\136\\148\\DC1\\141Z\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\141\\138\\208\\&3\\248M\\224\\187~\\208\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"ll\\175\\GS&\\130\\168B\\254\\227,A\\180\\225\\255\\&4\\188\\243K99]\\220Z\\194,5\\223\\129R\\172\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\154\\SYN\\184\\NAK\\249f\\186\\&9:\\DC2N\\201\\183\\&8\\SOHK\\247\\ETBG5\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\CAN,\\241\\236\\GS\\SI\\241$\\207\\&5-\\213\\250\\243\\214mU\\182E\\196\\186\\215\\EMr\\136\\234\\FS\\NULR \\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\RSd\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\221\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\181\\&2\\133\\178h\\189SJ\\226r\\135q3\\145\\171\\234O\\163\\211\\226\\153\\&9\\146\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\251\\169i\\147v\\t\\201i\\227G}\\NULP\\198\\190\\236\\188\\170\\141\\151\\ESCR\\ETX\\249Z\\232\\STX\\253\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\223V\\187/\\138\\RS\\216\\199\\148\\216\\152-\\248l\\DEL~\\254\\STX\\a\\149\\CANt\\219\\140\\188\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251O\\177\\217s\\222\\165\\159q>\\220\\228\\234\\\\\\254%\\a\\253\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\208\\\"C\\STX4S\\154\\a1\\242\\EOT@\\157C#\\236\\174\\153\\207\\143kHc!\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\&0G@\\SO\\\\\\182h\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\EOT\\242\\248\\DC1\\175V@\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\193\\v\\DC4\\224\\132\\237\\NUL91\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\DC3|\\228}\\b\\187\\247\\146Q0\\231\\STX\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\ESC\\EMqG\\DEL\\235NN\\SUB\\165KT\"","tag":"AbiBytesDynamic"},{"contents":"\"r\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\234\\141\\182\\143T\\240\\241\\230\\161q\\134\\253\\&2\\226v\\175\\159\\&8\\177\\170\\GS+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\244J\\189\\250\\NAK\\190\\241\\206dO\\190\\246|\\238\\234\\233\\217m\\170N\\197\\\"\\SOH\\n\\163\\247t\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\148\\r\\168\\SOH\\207\\168\\&4\\GS\\142\\133\\244\\238\\130:G}\\GS\\177\\NAK\\242\\179d_\\184t\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\128\\NUL\\214\\tg\\136\\239\\178A\\218\\EM\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\199\\159\\DC2\\226\\203.\\196\\184\\209\\&7\\a.\\164\\b\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143gT\\SI\\129R\\182\\233\\220A:\\133I\\CANd\\129\\&2\\161w\\SUB\\164\\145\\242\\SO\\246\\FSCG\\253`\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\253\\175\\248c.t3\\180\\244\\140\\146\\197C\\SOH\\244}\\239\\v\\NAK1\\152*>\\142H\\FSW\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158C\\196\\ACK\\ETB%\\145 QK[\\253\\222o\\146\\208\\251\\155\\221\\196AT9\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\196zl\\244\\NULn\\150])\\251\\DC4\\ENQ\\226\\202\\179\\bL\\187Y\\214o\\223i\\194\\ACK\\201\\196\\174?\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\154\\&6\\129&\\242\\153\\bXD\\229\\220\\NUL\\169\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\206\\t\\172\\226\\&2\\232\\245ME}\\231q\\246\\161\\249\\181]7\\148\\&0*\\EOT\\136\\ETX>L\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f6o\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"9+sr\\190\\178;`\\226\\243\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215}\\235}0<\\180\\142V\\181\\STX\\199\\148\\129\\b\\224\\\\\\135L\\168\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\207\\222;(\\150\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\a\\230\\251\\160\\ajq\\247\\202(\\199\\\"\\254I\\167\\246_!\\175\\139\\162h\\177\\149\\145\\253$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214e\\149\\135\\ENQ\\188k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\153\\234\\194\\189\\&2\\143|\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"Xj{\\145\\183\\&8\\EOT\\255\\216KL\\128p{\\177\\r\\253U\\157*p)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\b\\181\\131\\185\\232\\141\\240\\EM\\159\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\182m\\ENQ\\222\\234R\\201\\145O\\SI\\199\\201^\\DC1uR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212q\\SUB\\153\\f\\255\\187\\210\\ENQ8p\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"nN\\213\\191\\&0\\133\\240\\168RJ\\194[1\\212*L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163Cd\\182x\\228\\245m\\180\\f\\161\\203\\253\\187h\\163\\211\\151\\SYNi\\US\\SO2'\\142\\242\\186\\196\\DC1\\242\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\155\\170\\180}\\135m\\151\\154\\161\\178\\n\\ACK\\162\\237\\149\\DC2<\\181\\236\\&6v\\230\\200!E\\223P\\231\\136\\231\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\EMHl\\n\\172\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEV\\a\\210qh{\\b>\\171\\193\\DC3D|\\152Hy\\v\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\ETX\\DC2\\213\\245\\170\\221Q\\237\\180K+\\RS\\167\\171\\132\\GS\\GS\\186\\135\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\148\\153o\\225\\&7\\135\\253EN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\237\\224;\\r\\USeH\\SOf\\134\\148\\EM\\254\\229\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\SOH\\193\\241\\157\\153\\137\\a\\254\\245\\SYNyd\\132\\155\\DC2R\\225\\137\\140K\\EM\\219C\\149\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"He\\ENQ\\196dSIb/F\\v\\189\\132\\224'\\215\\248\\160\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\b\\184\\182\\185\\205Mm\\FS\\142\\187\\179\\128\\234\\vh\\215\\253\\ETB\\135GN\\SOH\\183}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\195D\\FSb'X\\198@\\134\\CAN\\\\*\\224\\251\\NAK\\DLE\\US\\166\\&5\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Nm\\164\\194\\191g\\242\\191\\132\\237A\\250\\147\\143\\171\\SO\\141\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129<\\FS\\SIwE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\151\\146\\252&;\\248\\DC3c\\244\\EM\\178w+\\207\\&7\\n\\182\\DC2Xf\\232$5\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a{\\RS^\\NUL\\143\\133,\\189(\\230\\NULP\\153\\183\\134\\DC3\\184\\181\\244\\255\\172\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\n\\189Ls\\229\\FS.\\225\\238\\222\\144DH\\203\\183\\\"\\252\\DC2f\\169O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\ESC\\255\\187\\219ow\\168v\\NAK3\\135\\139G\\215\\255\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\185\\209\\NUL\\176Y\\GS+\\199\\230\\SO\\250\\187+\\DC1\\162\\SOH\\n\\213\\NAK+\\247\\183\\186\\GSX\\208\\152\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\EM}\\215\\203\\r,\\164\\240\\222\\142\\232\\177K\\205\\191\\239\\160\\172c\\245 \\SOH\\226:\\b\\228\\240\\194\\249\\&0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"]P\\165\\r\\245\\209\\222\\176\\147{\\154\\134\\155<\\246}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225%\\254\\&6\\199\\168\\237S}I\\187.?]\\250JPQ\\207\\171\\211\\178\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\246\\206\\NAK\\172`'f\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250]\\204\\DLE\\ESC\\CAN\\162\\239\\143\\DLE\\254\\247\\246t\\200Y\\162\\237]\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EME\\216Ip\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\149y\\168T\\152\\166\\172\\DC3\\158CA\\187\\&0\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167(g\\144\\165B\\184u\\154\\EOT`\\ETX\\208hx{\\192\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\231\\RSV\\155W\\199\\181\\217a\\185\\154\\RS\\181\\133\\170\\205\\176\\196 \\\\T\\241\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBC\\177\\224\\142\\237\\\"\\185\\147\\160\\US\\DC2\\227c\\150\\f`T\\226\\195\\179\\152\\f[\\154\\147.\\232\\231\\137)\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\STXj\\EOT\\253tfYY\\147\\240%F!\\238\\SUB:\\197\\131\\136{\\130\\ETX<\\158\\137\\195\\211\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\DEL\\150\\171\\202Zz,\\244(a\\171C\\DLE\\207\\244z\\149\\144\\187D\\250R\\159\\158\\181\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"IQVT\\141\\239\\206\\221\\NUL\\r\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\231#\\236\\144\\&6\\130\\154\\152gz\\174\\246M<3V\\187\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145 \\154\\250t\\191J\\254gT\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\189v\\aS\\158\\214\\ACK\\210\\157\\177\\GS\\207\\235)\\227\\216\\153Ff;\\\"\\230\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\bO\\227\\234\\244W@;[\\138\\n\\132\\214b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\201\\185\\150\\204\\228D\\165\\194:\\161\\195\\189\\GS\\tx\\152\\230Z\\244\\t'\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236D\\EM\\189\\149\\141\\GSu~V5\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"1z\\ETB\\156\\134a\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\230\\&4)\\238&M3\\146\\DELUA\\DLER\\131\\204Jp\\163\\197\\&3nUfi\\210N%\\174\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\141zZ\\201\\212\\ETX7\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\b\\150\\178\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180w\\167~\\133i\\SOH\\184\\209\\142\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\129\\\\\\b\\134\\134M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155H\\244\\184NK\\EOTv\\226\\DEL\\217\\230a\\157A\\161\\189]ll\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\172\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157J\\128\\168\\&9!\\196\\f$\\130\\169\\179Q\\206\\&3X\\179\\165\\DC4\\140fn\\233\\EM\\151G\\SOH\\ETXu\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\217ij\\128/\\247\\242\\210\\&7O\\250G\\FS|\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"JL\\161O\\151l\\173Qu?\\ACK*h\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233I\\v\\t\\EOT\\133M\\250\\217\\223\\160\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\198]\\149OWw}\\233\\ACK\\251\\158\\ETBKB\\250VB{q\\146\\244\\232\\253\\152\\191\\193\\ACK\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\185\\n\\140\\172\\n\\152\\147Oo,\\158\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCy\\SOHC\\149\\205\\SOH\\171\\159w\\145\\162\\190\\229\\174\\222\\177\\169H\\156b\\224=r4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\255\\ACK\\STX.\\\\Nmx\\251\\207\\190\\&7\\SI$\\153\\235\\196r\\ACK\\ETB!\\189\\233\\249\\187\\147t\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179C(\\174\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237I\\176h\\238\\n w\\213\\131\\NAK\\200\\148ZS4^\\ESC\\193\\190\\131t,4LC\\150\\208\\ESC\\146\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\188\\ACK\\149.\\133\\144\\155\\175ry*\\237C\\136\\ACKU\\194-\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\166\\&4\\223+\\206>\\248oC \\246\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199P\\147)7\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\246}\\132\\&7\\DLE\\136\\ETX\\148\\192\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"iE\\213#\\202t\\234F\\228\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\147\\SOH\\187\\244.b\\248.S\\158\\FS\\168\\211\\179\\182\\190\\198\\ESC,R\\221Au;\\167\\SOL\\186\\&5\\DC1\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\206\\176\\225\\139W\\ENQ\\216\\169\\223s\\DC2\\250\\SI\\201\\190\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"KE\\193\\233\\179\\223$\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\146\\174\\&9\\236\\&1\\NAK\\143\\209\\128\\ETX\\SOH]/\\f\\246RR\\143q\\176\\235\\184<\\249\\238\\194iNyJ\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\236Si[\\214\\243\\138\\SOHS\\f7\\233D:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\175\\132\\158\\173\\212\\DEL\\212\\134\\238\\DC2\\253M(a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\153S\\188\\179\\146\\181\\&4p\\141\\238.\\234\\221|\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\159\\209\\254\\DC4\\133\\242\\196\\135\\228\\175A\\188\\247\\250\\SYN\\181\\203\\&7Yq\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\173\\DC1\\235I\\201\\&0\\210\\204\\159\\215\\&5\\187\\182\\218,\\217\\151M\\a\\237}\\129\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\b\\210\\GS\\134\\ETB\\175\\154py\\178Oc\\tt\\FS\\247L\\170]\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148P\\188\\GS.\\NUL\\210p\\DEL\\173\\233\\DC4\\208&\\234\\231/\\244\\SUB\\192l\"","tag":"AbiBytesDynamic"},{"contents":"\";K\\133\\202\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\252^<\\182\\255i\\132g1\\EMK\\CANV+Y\\255\\EOT\\149\\237\\140\\ENQj\\DC1\\131\\177\\250\\245q`\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"m\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"0\\171J\\194 \\184\\182\\205\\181\\ESC\\167\\210&pd\\196\\254\\152J\\204\\141\\DLE\\172T\\250\\137\\173?g\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153|\\142\\ETBH\\170\\217\\242\\183\\211jj\\208\\v{w\\FS\\160\\169HH\\192\\155\\196\\179\\133]<\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\&2\\ACK\\225\\161\\151w\\181\\232\\158_\\f\\226\\248\\207\\163\\&7\\254\\NAK}\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\190\\r(\\205\\236\\145\\157\\139]\\252;P\\151\\190\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\166e\\182\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"kP,\\199MX\\222A,V[\\186.\\RS^d?\\SI\\140\\168_Q \\ETB\\141.o\\161\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\132[\\ENQ\\FSpZ3\\235\\235\\STX\\a\\DC2i\\239-~\\155\\GS\\132\\211\\199bC\\NULm\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\219T \\254\\132!&\\153\\\\\\153\\144m\\185r\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\EM\\134\\&5g\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\199BD\\242;\\162f\\146/T8\\192\\238\\&8\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154&\\180\\216\\211\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\221\\188\\169<\\187:\\220\\147\\187!\\SI\\EM\\139/\\247\\142\\138*\\221\\a]$\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\175\\145\\171xF\\184idlo\\181\\254\\129\\215\\205~\\179aGR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\180\\f\\EOT\\190\\148\\255\\154\\155\\157\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240E\\DEL\\183\\162\\&6\\DC3\\198z\\190\\174\\182f\\SOH\\128\\231\\CAN\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"'}\\239\\177\\&9\\215]\\216\\250\\253\\a\\231\\247\\139\\211\\132i}+\\184OS\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184_\\183\\&3M\\232\\167\\v\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\207\\209\\211\\ru\\130g\\199\\DEL\\SI\\138\\159\\EM\\193\\157\\a=\\RS\\238\\166\\232TI\\200,\\165\\160f\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\248\\DC3\\194\\GS\\228(\\171\\195d\\166\\240l\\187\\154\\SOH?7#l\\255!$%d\\235\\240\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\208=\\251W\\209[\\175\\226-%\\193\\219\\164\\184\"","tag":"AbiBytesDynamic"},{"contents":"\":\\154\\254\\160\\168\\241\\159,\\151\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\185cU\\247M\\vOh\\227\\252\\175t\\134\\193\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158a\\170\\215@\\178\\234^\\194\\157}^\\244\\182\\147*\\136\\212\\157\\237{\\SOS|r\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"UF\\DEL=\\r_\\226:\\228\\&5v\\155\\232\\223\\ESC\\207\\253\\ETBY\\217D\\SOH[\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\233\\ETB\\222\\v&\\224\\183-\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\217\\135w\"","tag":"AbiBytesDynamic"},{"contents":"\"#'\\166\\254\\248\\243D\\212\\170\\215\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203mL\\151\\249\\&9,\\SI\\249\\SO\\SI\\140]\\DC2\\DLE\\155>V\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253e^\\136\\144\\129\\139\\152\\179\\188\\224\\233\\230\\195<\\156\\f\\160{&P\\188\\172\\193hc\\NUL\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\150o\\181\\246\\243\\235\\&5\\189\\205\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\175#@\\148\\241\\208\\181\\181\\&8f{\\223\\ETBE\\222_v.\\226\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\147\\157\\&0\\129\\170~\\169\\a\\v\\187\\248\\175\\194 \\181\\139y\\249F\\146\\194\\136\\161zm\\NAK\\131.\\149\\228c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\204}F\\222\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242V\\139~D\\181P\\ACKw\\220\\252\\138\\146\\235\\129\\DC2\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\192\\234\\248\\247r2\\154\\ETX\\244G~\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"+%\\190h\\163\\215\\161\\226\\150\\194\\139\\SYNQ\\NULQ\\132\\ACK\\209:x\"","tag":"AbiBytesDynamic"},{"contents":"\"#G\\184\\NULj=R\\201\\250$\\ENQ\\190\\161\\212)2\\NUL\\204\\129\\231\\215V+yw\\159\\220B\\DLEN\\138P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\213\\&3\\215Y\\235\\ETXB!9\\167d\\233WH\\SOb=\\254\\248\\t\\129\\204\\171B\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195{\\135+\\DC1K\\218q\\GS\\190\\211\\217O\\207\\\"N\\DC1[\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\156\\153\\NUL\\240\\165\\185ci\\158\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\",\\138\\128\\250\\135\\250\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\209\\151D\\ACK\\207L\\175\\229\\&5\\239`k\\165_\\240\\153w\\\"\\228j\\DEL\\185,>\\151\\248.\\191\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\184\\179\\aA\\154\\192z\\197\\136\\&7 :\\137\\ETXdu3z-\"","tag":"AbiBytesDynamic"},{"contents":"\"V,v4\\162\\225J\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\251\\157\\161u\\146LMN\\251\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"hE\\139\\215\\DLE\\130\\175\\162\\179\\147TO\\170I\\217\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162#\\242M\\239\\235x\\131yx\\133`\\249A\\151\\a\\164\\222+\\183\\144\\243u\\224\\r\\DC3\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\161\\215D\\192\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\192\\247\\156\\152Qx\\229,\\STX\\184A\\146\\173\\150\\130\\n\\250~\\US_\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\129\\DEL\\b\\220\\176@;\\210\\251\\&4\\DC4)\\137\\157\\207\\ACK\\193\\145;\\SOH\\a:7\\226O\\144\\STX\\196\\147\\&0K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\189\\145\\\"h\\169\\tMQ\\DC4\\DC18\\231h\\200L\\234\\149\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\179\\168\\173\\144O(JXl\\ETB\\FS\\247\\217(\\183\\255O\\135\\199\\f\\197\\SO+\\152\\131^\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\172\\196\\182\\146\\247\\180\\205\\DC2\\222\\139Ob\\175\\244'\\140\\DC3\\171\\213\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\167\\209~\\186\\228\\DC4)\\RSu\\204\\DEL'\\RS\\222M\\180\\214\\tDA\\DEL_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULm{\\161`\\vx\\183\\n\\144\\161_\\140(\\231\\CAN\\140\\SUBI\"","tag":"AbiBytesDynamic"},{"contents":"\"g/\\248\\EM\\DEL\\EM\\151\\143@}G\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"wI\\200\\227\\ENQ\\t\\195\\&4\\237\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\EM\\174\\164\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\151\\241G\\152\\163A\\208j\\a\\212\\171\\DELh#Wy\\145\\ETXoz)\\181]\\205\\NUL*`\\166\\169|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\FS\\DC2)\\159\\247*Pg\\136$\\\\\\187O\\190\\198A9{M\\203\\254ya\\ETB\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"99999997"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553535"],"tag":"AbiUInt"},{"contents":[256,"97409418685816438125228037638563427742455990544066182042533919102340060797112"],"tag":"AbiUInt"},{"contents":[256,"7616498861418779384985722849342943504740017577434744867174575056210227036168"],"tag":"AbiUInt"},{"contents":[256,"498"],"tag":"AbiUInt"},{"contents":[256,"643"],"tag":"AbiUInt"},{"contents":[256,"25"],"tag":"AbiUInt"},{"contents":[256,"99738551713162090433293833166712905978265474499772044286204382731672797370617"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639815"],"tag":"AbiUInt"},{"contents":[256,"1524785993"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639703"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"90924120425286927797218082563658586706908184641820800049736054623611404825602"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639635"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"57051266608629173905570362748932677840418081519693825563192203485516650898999"],"tag":"AbiUInt"},{"contents":[256,"37925946677030084038301593575163730046461532706540575382817747565402216557691"],"tag":"AbiUInt"},{"contents":[256,"421"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639802"],"tag":"AbiUInt"},{"contents":[256,"49337147202202595025750832960559815865556200257736636612944785395207308082064"],"tag":"AbiUInt"},{"contents":[256,"58264112503112970356227031237636138119133213549256094640112278036970815948576"],"tag":"AbiUInt"},{"contents":[256,"14"],"tag":"AbiUInt"},{"contents":[256,"34198099609325828055681043949918724849779036100945390859669526335422108719670"],"tag":"AbiUInt"},{"contents":[256,"104985023187705953905236374117366549440341109569547414873843047709183948674580"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"18442039847570316078339428802457772981040197604336102188183782196133555027072"],"tag":"AbiUInt"},{"contents":[256,"69843798530112867469656750518590658057511525623308853256442149837682926530081"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639914"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce53","0x0000000000000000000000000000000000000000000000000000000000006ddf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081ea7","0x0000000000000000000000000000000000000000000000000000000000008ecb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"48"],"tag":"AbiUInt"},{"contents":[256,"30455626122641214193007809044559878051316443671515416087837036520563753135427"],"tag":"AbiUInt"},{"contents":[256,"30455626122641214193007809044559878051316443671515416087837036520563753135427"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"77618757045001933829345604877685218631885884128807460596323730593583680531071"],"tag":"AbiUInt"},{"contents":[256,"65681604347005452499996171337798224596339882291104348246951708732825562858995"],"tag":"AbiUInt"},{"contents":[256,"67984865339100880507114287138029754134279580742825217799908493214830460948454"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c6","0x000000000000000000000000000000000000000000000000000000000000136b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"86399"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000e","0x000000000000000000000000000000000000000000000000000000000000004f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":[128,"61"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055774","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"25878820857810619600550598363623352406203680517736464800643534273297807246694"],"tag":"AbiUInt"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c029","0x0000000000000000000000000000000000000000000000000000000000003f7f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x00000000000000000000000000000000000000000000000000000000000069fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000212f1","0x000000000000000000000000000000000000000000000000000000000000dcbe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"10077338734236500090368778150354220933297486441169108951980109028046192149099"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000013","0x00000000000000000000000000000000000000000000000000000000000007d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011269","0x0000000000000000000000000000000000000000000000000000000000000fa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"45991094424369942712001197568478126066002094191918067835317542432230265829878"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e91a","0x0000000000000000000000000000000000000000000000000000000000009a9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"31"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf6","0x0000000000000000000000000000000000000000000000000000000000008eca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189[\\205\\DC1\\245C3\\136\\253\\232}\\232\\132\\147\\180\\&1NgH\\238\\150\\228f}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\222\\142\\216\\159Eu\\214\\226\\RSo\\231\\177\\247\\220\\129\\193M\\239\\133m\\DLE_\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\193\\144\\165\\128\\184'y\\160\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\";\\168+\\167\\\\\\221\\150\\201\\233t\\229SF\\139\\EOT\\251f\\DC1\\155[}N*H\\\\\\ESC\\NUL\\254\\204 \\225K\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"r\\169i\\220\\241\\157\\219\\&3\\ETB\\221\\173\\220\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\&1'H\\154F\\204T\\ACK\\240x\\adj\\SYN\\176\\EM-N\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\185\\138*\\234\\243\\239\\214\\138W\\155\\STXeo >\\151\\243\\243\\147C\\252\\146A\\FS\\141\\DC4\\NUL?\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\205osy9=[j\\241D\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\218\\ACK\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"#=\\158\\136\\f6\\NAK\\203\\130$\\138\\245\\191\\183\\143\\191\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\150\\223\\145\\149\\DC2\\147,a\\128\\236\\\"\\v\\197y6\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\210\\161\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\209l\\225\\&8\\198\\185&\\v\\129\\158?\\133\\140\\140\\203\\169\\DEL\\144\\RS\\208\\166k\\CAN\\t*\\198Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\141\\177\\\\\\188\\242\\171\\&8M/\\138-\\252\\226\\139\\EOTo\\149\\EOT\\187\\235\\164\\128\\189\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\220K\\247m#\\139{oE\\138\\246\\230\\225\\228\\221\\250\\190z\\225\\&0\\191\\161\\DC2\\221\\225!\\239\\ETB\\153\\132\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\185y2\\b\\140S\\131\\199\\a\\210\\134z\\145\\186l\\201\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\178\\172\\208\\211I\\244\\a\\130\\197\\228\\&5\\149\\173\\147a\\253\\185.\\DC4 \\133\\225Z\\152\\FS^\"","tag":"AbiBytesDynamic"},{"contents":"\"?-\\223\\245\\151\\&0\\227\\196\\209\\174\\140\\\"\\237B\\234\\169\\210\\212\\166\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"@n\\SO_\\SOH4\\171\\EOT\\238\\177\\205\\204\\147)r\\237<\\169XG>\\185\\214\\ru\\\\\\238I!\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\211\\215\\&8\\243\\246\\212\\SOE9\\DLE\\186\\254\\251\\237\\147x\\188\\254@\\169*\\EM\\157\\SI\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\170\\224\\NAK@\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209?|\\229\\190\\168\\180T\\152|x\"","tag":"AbiBytesDynamic"},{"contents":"\"pf(\\RS+\\255t\\155\\245>\\164Y\\150G\\\\)\\181d\\128\\156\\216\\183\\153cRW\\SOH4U\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\179gM\\\"\\163M\\181\\231\\128r\\SO\\222\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\193\\177f\\b\\174\\233<\\ENQ0'fn}\\218T\\137t\\207\\ENQ\\252\\211P>\\215\\171\\201\\133\\155\\204$\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\140\\213^\\241\\232m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\129\\&8\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156~\\bV\\131\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\f8B\\169\\160D)\\US\\178\\DC4'9;\\SYN\\b\\GS\\145\\196\\&3s]\\\"\\196\\171\\157\\DC1I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\170\\f\\228=z\\138&\\134\\207\\199`\\147 \\223\\162W\\255O9K\\179\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151;\\171RH\\241\\217\\196:p\\255\\186\\181\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\174\\147\\191k_\\233\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\157pe\\146nYH,%\\168\\250\\163A\\139[z\\247\\160\\215\\DEL\\216L\\216~^\\221uL\\166\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\226\\144\\135\\v\\221a\\186\\183\\196\\198\\178\\\\l\\172\\150t\\n:\\236\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\139\\167\\199\\236g\\200\\186\\231\\135\\FS\\159\\134\\241\\NAKy\\195\\138>\\128\\DC1hC\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\137YN\\229\\NAK\\r\\213G\\SI\\175\\&6\\\\> \\215\\\"Q\\EOT\\159$X\\219\\&3\\204>\\135\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\172\\r'\\213\\SO0B\\133I=\\190\\187E\\152z,K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\v\\148\\227k\\145\\140\\214\\181\\&6\\166\\&8)\\134\\128\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"T*\\224\\229\\241\\234\\217O$A\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\FST\\151\\DLEZ\\165F\\176fgtSe\\230\\154\\&9\\229\\192P\\207\\209\\&5D\\SUB\\200>\\230\\134\\197\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\201q \\231FN\\175\\&4\\233\\STX\\213\\146Q[\\188\\238z(\\242h\\US\\ETBg\\179\\FS-|\\142\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"6Yn\\234\\204\\161\\233\\176\\239\\234\\214\\151Yu\\204\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"jD\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\222\\&0qEk<VZ\\178t~\\\\\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\217f\\254\\v\\DC4\\218<0\\141%\\US\\b\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a<\\249.\\187Y\\183\\&5\\230\\\"\\v\\142H\\133\\232'\\213-\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\249\\161\\&2\\223\\&9\\180\\140V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f|\\152\\242\\136\\&6f\\SOHI\\SYN\\212v\\160\\SOHR\\198\\DC3\\217,B\\EOT\\SOH\\252oy\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\169\\r\\195j\\DC1r\\ACK*\\220\\177\\207\\EOT(\\186f.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\249\\159\\SYNI+\\251W\\NAK\\RS\\197\\222\\209\\169\\225\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\246O)\\154 C-\\t\\251\\234\\230\\139\\DELT<6\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\145\\203\\SOH\\174Y\\203E\\RS\\ESC\\136\\219[\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\192i\\173x*\\229\\189{%[\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218k[\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\181\\128\\160hb\\173\\129\\207\\223\\230\\195{\\179G\\196q!A\\142\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\DEL\\SOH\\ENQ\\219w\\209\\b\\179\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\ENQ\\179V\\180d\\n\\195\\160\\171\\223\\SI\\232R\\133\\ESC\\USx\\233\\171\\132\\&0\\162\\228j\\205{\\224\\134\\182\\214\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\247:\\145\\219\\153\\250p\\147VV\\172j\\215u6\\162\\143\\199?Q\\169\\NUL\\NUL\\NUL\\193[Y\\142\\130\\195\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\&5\\201\\212\\248l\\247\\&3\\236\\235c\\181\\&0\\EM~>\\164\\ESC\\244\\US\\177\\169\\201X\\176\\180\\255YC\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN?iJc,\\146,\\ETX\\137\\135B\\197\\DC2\\187@4\\202I\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\161M\\206\\152\\241\\DLE\\166\\254\\247O\\166-\\171\\132\\168b\\224\\237\\165-\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\137^n\\ENQ&\\204\\181!\\235ku\\139\\EOTe\\169(\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\199\\135\\249\\233\\ENQ\\202V\\166O\\245\\r\\146fi\\167\\177\\CAN\\188\\\"\\DLE\\tF\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\171\\211;r(\\134q \\145'\\200\\191\\243\\195\\134@}\\rk\\182\\183R\\142\\218\\SOH\\129\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\ETB\\241\\214b\\SIU\\128\\255\\&7\\237\\225<\\181\\251\\245\\163\\161\\158P\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\128I\\205\\143PV\\STX\\153\\b\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"*:S]~WZlW\\249\\245\\SUBV \\156\\240\\143~\\NAKuZ\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"wN\\EOT)Y\\tk\\152\\151\\148\\250\\EM\\167\\187\\227\\224L\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166b@\\165\\&8\\146\\r\\186\\155\\213e#\\251r\\173~\\247|\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\181\\162,\\240\\208\\129=\\205\\NAK\\176q.j\\199C\\FS\\221\\195G\\158\\135\\155\\135\\158c#z\\211\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\181\\163\\&2\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203g\\229\\DC1\\nu`\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\232\\RS\\211\\168j\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188t9q\\219\\208\\143\\252pB\\211\\133gd-[\\194\\219$]\\a\\139\\SOH\\186\\&4\\v:\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\165~\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230R\\174q/6\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\172I*\\153\\vu>B\\175\\201\\197\\&2\\153\\f\\182\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226md\\157H\\210\\SI\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\201\\\"\\129\\142\\202\\244q\\209rh<\\193\\&6\\157@\\162\\174\\156S\\238U\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN?iJc,\\146,\\ETX\\137\\135B\\197\\DC2\\187@4\\202I\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\161M\\206\\152\\241\\DLE\\166\\254\\247O\\166-\\171\\132\\168b\\224\\237\\165-\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\137^n\\ENQ&\\204\\181!\\235ku\\139\\EOTe\\169(\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\199\\135\\249\\233\\ENQ\\202V\\166O\\245\\r\\146fi\\167\\177\\CAN\\188\\\"\\DLE\\tF\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\171\\211;r(\\134q \\145'\\200\\191\\243\\195\\134@}\\rk\\182\\183R\\142\\218\\SOH\\129\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\ETB\\241\\214b\\SIU\\128\\255\\&7\\237\\225<\\181\\251\\245\\163\\161\\158P\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\128I\\205\\143PV\\STX\\153\\b\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"*:S]~WZlW\\249\\245\\SUBV \\156\\240\\143~\\NAKuZ\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"wN\\EOT)Y\\tk\\152\\151\\148\\250\\EM\\167\\187\\227\\224L\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166b@\\165\\&8\\146\\r\\186\\155\\213e#\\251r\\173~\\247|\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\181\\162,\\240\\208\\129=\\205\\NAK\\176q.j\\199C\\FS\\221\\195G\\158\\135\\155\\135\\158c#z\\211\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\181\\163\\&2\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203g\\229\\DC1\\nu`\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\232\\RS\\211\\168j\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188t9q\\219\\208\\143\\252pB\\211\\133gd-[\\194\\219$]\\a\\139\\SOH\\186\\&4\\v:\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\165~\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230R\\174q/6\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\172I*\\153\\vu>B\\175\\201\\197\\&2\\153\\f\\182\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226md\\157H\\210\\SI\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\201\\\"\\129\\142\\202\\244q\\209rh<\\193\\&6\\157@\\162\\174\\156S\\238U\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN?iJc,\\146,\\ETX\\137\\135B\\197\\DC2\\187@4\\202I\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\161M\\206\\152\\241\\DLE\\166\\254\\247O\\166-\\171\\132\\168b\\224\\237\\165-\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\137^n\\ENQ&\\204\\181!\\235ku\\139\\EOTe\\169(\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\199\\135\\249\\233\\ENQ\\202V\\166O\\245\\r\\146fi\\167\\177\\CAN\\188\\\"\\DLE\\tF\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\171\\211;r(\\134q \\145'\\200\\191\\243\\195\\134@}\\rk\\182\\183R\\142\\218\\SOH\\129\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\ETB\\241\\214b\\SIU\\128\\255\\&7\\237\\225<\\181\\251\\245\\163\\161\\158P\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\128I\\205\\143PV\\STX\\153\\b\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"*:S]~WZlW\\249\\245\\SUBV \\156\\240\\143~\\NAKuZ\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"wN\\EOT)Y\\tk\\152\\151\\148\\250\\EM\\167\\187\\227\\224L\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166b@\\165\\&8\\146\\r\\186\\155\\213e#\\251r\\173~\\247|\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\181\\162,\\240\\208\\129=\\205\\NAK\\176q.j\\199C\\FS\\221\\195G\\158\\135\\155\\135\\158c#z\\211\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\181\\163\\&2\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203g\\229\\DC1\\nu`\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\232\\RS\\211\\168j\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188t9q\\219\\208\\143\\252pB\\211\\133gd-[\\194\\219$]\\a\\139\\SOH\\186\\&4\\v:\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\165~\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230R\\174q/6\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\172I*\\153\\vu>B\\175\\201\\197\\&2\\153\\f\\182\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226md\\157H\\210\\SI\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\201\\\"\\129\\142\\202\\244q\\209rh<\\193\\&6\\157@\\162\\174\\156S\\238U\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN?iJc,\\146,\\ETX\\137\\135B\\197\\DC2\\187@4\\202I\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\161M\\206\\152\\241\\DLE\\166\\254\\247O\\166-\\171\\132\\168b\\224\\237\\165-\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\137^n\\ENQ&\\204\\181!\\235ku\\139\\EOTe\\169(\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\199\\135\\249\\233\\ENQ\\202V\\166O\\245\\r\\146fi\\167\\177\\CAN\\188\\\"\\DLE\\tF\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\171\\211;r(\\134q \\145'\\200\\191\\243\\195\\134@}\\rk\\182\\183R\\142\\218\\SOH\\129\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\ETB\\241\\214b\\SIU\\128\\255\\&7\\237\\225<\\181\\251\\245\\163\\161\\158P\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\128I\\205\\143PV\\STX\\153\\b\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"*:S]~WZlW\\249\\245\\SUBV \\156\\240\\143~\\NAKuZ\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"wN\\EOT)Y\\tk\\152\\151\\148\\250\\EM\\167\\187\\227\\224L\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166b@\\165\\&8\\146\\r\\186\\155\\213e#\\251r\\173~\\247|\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\181\\162,\\240\\208\\129=\\205\\NAK\\176q.j\\199C\\FS\\221\\195G\\158\\135\\155\\135\\158c#z\\211\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\181\\163\\&2\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203g\\229\\DC1\\nu`\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\232\\RS\\211\\168j\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188t9q\\219\\208\\143\\252pB\\211\\133gd-[\\194\\219$]\\a\\139\\SOH\\186\\&4\\v:\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\165~\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230R\\174q/6\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\172I*\\153\\vu>B\\175\\201\\197\\&2\\153\\f\\182\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226md\\157H\\210\\SI\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\201\\\"\\129\\142\\202\\244q\\209rh<\\193\\&6\\157@\\162\\174\\156S\\238U\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN?iJc,\\146,\\ETX\\137\\135B\\197\\DC2\\187@4\\202I\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\161M\\206\\152\\241\\DLE\\166\\254\\247O\\166-\\171\\132\\168b\\224\\237\\165-\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\137^n\\ENQ&\\204\\181!\\235ku\\139\\EOTe\\169(\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\199\\135\\249\\233\\ENQ\\202V\\166O\\245\\r\\146fi\\167\\177\\CAN\\188\\\"\\DLE\\tF\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\171\\211;r(\\134q \\145'\\200\\191\\243\\195\\134@}\\rk\\182\\183R\\142\\218\\SOH\\129\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\ETB\\241\\214b\\SIU\\128\\255\\&7\\237\\225<\\181\\251\\245\\163\\161\\158P\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\128I\\205\\143PV\\STX\\153\\b\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"*:S]~WZlW\\249\\245\\SUBV \\156\\240\\143~\\NAKuZ\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"wN\\EOT)Y\\tk\\152\\151\\148\\250\\EM\\167\\187\\227\\224L\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166b@\\165\\&8\\146\\r\\186\\155\\213e#\\251r\\173~\\247|\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\181\\162,\\240\\208\\129=\\205\\NAK\\176q.j\\199C\\FS\\221\\195G\\158\\135\\155\\135\\158c#z\\211\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\181\\163\\&2\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203g\\229\\DC1\\nu`\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\232\\RS\\211\\168j\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188t9q\\219\\208\\143\\252pB\\211\\133gd-[\\194\\219$]\\a\\139\\SOH\\186\\&4\\v:\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\165~\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230R\\174q/6\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\172I*\\153\\vu>B\\175\\201\\197\\&2\\153\\f\\182\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226md\\157H\\210\\SI\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\201\\\"\\129\\142\\202\\244q\\209rh<\\193\\&6\\157@\\162\\174\\156S\\238U\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN?iJc,\\146,\\ETX\\137\\135B\\197\\DC2\\187@4\\202I\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\161M\\206\\152\\241\\DLE\\166\\254\\247O\\166-\\171\\132\\168b\\224\\237\\165-\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\137^n\\ENQ&\\204\\181!\\235ku\\139\\EOTe\\169(\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\199\\135\\249\\233\\ENQ\\202V\\166O\\245\\r\\146fi\\167\\177\\CAN\\188\\\"\\DLE\\tF\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\171\\211;r(\\134q \\145'\\200\\191\\243\\195\\134@}\\rk\\182\\183R\\142\\218\\SOH\\129\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\ETB\\241\\214b\\SIU\\128\\255\\&7\\237\\225<\\181\\251\\245\\163\\161\\158P\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\128I\\205\\143PV\\STX\\153\\b\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"*:S]~WZlW\\249\\245\\SUBV \\156\\240\\143~\\NAKuZ\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"wN\\EOT)Y\\tk\\152\\151\\148\\250\\EM\\167\\187\\227\\224L\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166b@\\165\\&8\\146\\r\\186\\155\\213e#\\251r\\173~\\247|\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\181\\162,\\240\\208\\129=\\205\\NAK\\176q.j\\199C\\FS\\221\\195G\\158\\135\\155\\135\\158c#z\\211\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\181\\163\\&2\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203g\\229\\DC1\\nu`\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\232\\RS\\211\\168j\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188t9q\\219\\208\\143\\252pB\\211\\133gd-[\\194\\219$]\\a\\139\\SOH\\186\\&4\\v:\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\165~\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230R\\174q/6\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\172I*\\153\\vu>B\\175\\201\\197\\&2\\153\\f\\182\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226md\\157H\\210\\SI\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\201\\\"\\129\\142\\202\\244q\\209rh<\\193\\&6\\157@\\162\\174\\156S\\238U\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN?iJc,\\146,\\ETX\\137\\135B\\197\\DC2\\187@4\\202I\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\161M\\206\\152\\241\\DLE\\166\\254\\247O\\166-\\171\\132\\168b\\224\\237\\165-\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\137^n\\ENQ&\\204\\181!\\235ku\\139\\EOTe\\169(\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\199\\135\\249\\233\\ENQ\\202V\\166O\\245\\r\\146fi\\167\\177\\CAN\\188\\\"\\DLE\\tF\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\171\\211;r(\\134q \\145'\\200\\191\\243\\195\\134@}\\rk\\182\\183R\\142\\218\\SOH\\129\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\ETB\\241\\214b\\SIU\\128\\255\\&7\\237\\225<\\181\\251\\245\\163\\161\\158P\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\128I\\205\\143PV\\STX\\153\\b\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"*:S]~WZlW\\249\\245\\SUBV \\156\\240\\143~\\NAKuZ\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"wN\\EOT)Y\\tk\\152\\151\\148\\250\\EM\\167\\187\\227\\224L\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166b@\\165\\&8\\146\\r\\186\\155\\213e#\\251r\\173~\\247|\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\181\\162,\\240\\208\\129=\\205\\NAK\\176q.j\\199C\\FS\\221\\195G\\158\\135\\155\\135\\158c#z\\211\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\181\\163\\&2\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203g\\229\\DC1\\nu`\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\232\\RS\\211\\168j\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188t9q\\219\\208\\143\\252pB\\211\\133gd-[\\194\\219$]\\a\\139\\SOH\\186\\&4\\v:\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\165~\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230R\\174q/6\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\172I*\\153\\vu>B\\175\\201\\197\\&2\\153\\f\\182\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226md\\157H\\210\\SI\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\201\\\"\\129\\142\\202\\244q\\209rh<\\193\\&6\\157@\\162\\174\\156S\\238U\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN?iJc,\\146,\\ETX\\137\\135B\\197\\DC2\\187@4\\202I\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\161M\\206\\152\\241\\DLE\\166\\254\\247O\\166-\\171\\132\\168b\\224\\237\\165-\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\137^n\\ENQ&\\204\\181!\\235ku\\139\\EOTe\\169(\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\199\\135\\249\\233\\ENQ\\202V\\166O\\245\\r\\146fi\\167\\177\\CAN\\188\\\"\\DLE\\tF\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\171\\211;r(\\134q \\145'\\200\\191\\243\\195\\134@}\\rk\\182\\183R\\142\\218\\SOH\\129\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\ETB\\241\\214b\\SIU\\128\\255\\&7\\237\\225<\\181\\251\\245\\163\\161\\158P\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\128I\\205\\143PV\\STX\\153\\b\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"*:S]~WZlW\\249\\245\\SUBV \\156\\240\\143~\\NAKuZ\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"wN\\EOT)Y\\tk\\152\\151\\148\\250\\EM\\167\\187\\227\\224L\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166b@\\165\\&8\\146\\r\\186\\155\\213e#\\251r\\173~\\247|\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\181\\162,\\240\\208\\129=\\205\\NAK\\176q.j\\199C\\FS\\221\\195G\\158\\135\\155\\135\\158c#z\\211\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\181\\163\\&2\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203g\\229\\DC1\\nu`\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\232\\RS\\211\\168j\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188t9q\\219\\208\\143\\252pB\\211\\133gd-[\\194\\219$]\\a\\139\\SOH\\186\\&4\\v:\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\165~\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230R\\174q/6\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\172I*\\153\\vu>B\\175\\201\\197\\&2\\153\\f\\182\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226md\\157H\\210\\SI\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\201\\\"\\129\\142\\202\\244q\\209rh<\\193\\&6\\157@\\162\\174\\156S\\238U\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\213\\ENQ\\141{\\247;\\237o\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\220G\\GS\\ETBFL\\150\\b\\156\\136\\129S\\149\\137\\245\\242\\146\\&7*\"","tag":"AbiBytesDynamic"},{"contents":"\">\\148\\DC2\\246p\\215\\vv(\\153\\152AR\\STX\\170\\148\\139\\STX\\255i\\242\\165\\254\\183\\253%aJn~o%\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\SUB\\191d\\155\\172\\DC1\\134\\153\\SUB,\\161\\ENQ\\245\\208\\FS\\145\\224\\195)\\198;S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\247[\\175\\179\\204\\248\\GS-\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SUBY7fMW\\197\\164\\206@#_\\187\\229v\\SO\\229\\254_\\DC3\\DEL\\251\\204\\206\\225\\180\\183E\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\246\\241n\\n\\129\\STX/\\173 I\\253\\ESCX\\195\\232\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"Z#\\138\\128\\164V\\135g\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\176\\244\\135c#\\216\\145\\STX\\245\\a\\223\\208\\202\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\185\\166a2\\149\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\183\\216A7\\233\\143\\r\\183\\199\\v\\229\\f#\\221JEA \\130s\\ETX@\\SUB\\EOT\\240\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\232\\FS\\176Cg\\232\\159:k\\ETX\\FS\\167\\202\\ETB\\179\\195\\151UsX\\202\\255\\252\\144\\v~l\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\DC2}\\232\\223\\175}\\250\\173\\207\\vHg4\\254\\197\\145\\US\\134\\f\\209\\155\\153\\t\\155\\216\\150\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213L\\240\\159\\192\\151\\129\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174v\\216z\\253\\t\\171\\234\\SO\\128I)\\DC1 p\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210q\\148\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251n\\253H\\GS\\147\\191Z\\DC2gR2\\156\\180\\130\\169\\241c\\v\\216\\209\\n\\128G\\163\\215UM\"","tag":"AbiBytesDynamic"},{"contents":"\")O\\227\\\\J\\168N\\201\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\207\\244!@!\\r\\204\\167\\SOH\\145\\170D\\210\\218{\\197\\246>\\203\\ACK\\206\\NUL\\144\\DC3\\212V\\226\\ETX\\SI\\241[\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215#\\SO\\160q\\233)\\226L\\168\\182_\\US\\253\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\186n\\157g2[\\SO\\150\\199mK\\142zGjj\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\210\\218/\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\as\\221\\221\\210\\181\\239\\168\\STX\\219\\249\\187\\NAK\\SUBrz\\152!\\166\\SI\\181JH\\DC4\\SYN\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\201\\SO\\217\\ESC\\CAN\\137\\t\\FS\\245\\r\\159\\165\\142\\128\\185\\149E\\238<q\\197X>\\128'w.\\187\\192\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\t\\192\\138`\\166\\SUB\\153e7vO\\183\\156A\\193\\180!H\\NULG{b\\234\\228\\182\\&2Q\\144}m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\\"XP\\245\\219[\\213u\\174\\EM\\159\\225'\\193\\182\\142_\\180\\217\\173\\150\\FS\\r\\144jZ\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\203$\\GS\\233\\152J\\182n\\US\\SI\\164\\216F\\ETB*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\144\\130\\182\\&3\\160&+)>&\"","tag":"AbiBytesDynamic"},{"contents":"\"*\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\182F~\\180\\183WTW\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\GS \\149YD\\134\\217\\252\\189\\226\\144\\235\\160\\219;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\r\\223O\"","tag":"AbiBytesDynamic"},{"contents":"\"(~\\188\\245\\DELzs\\154\\226\\131\\218\\204[I\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\173Y\\253\\163\\188\\&4w\\242\\237\\227\\157\\221\\188:\\176d\\211\\175l2 >\\249\\DLE\\236\\201\\\")\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\DC1\\209m\\229X\\220]m\\219\\190\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"]8\\165.\\165>\\199\\138\\196&\\242\\164)Ub\\225Q\\195m\\234\\137Y\\208\\r\\251\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\226\\246\\210}\\179\\239\\157s%\\205\\134N7\\137\\177\\197\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\199\\189\\&6\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"95"],"tag":"AbiUInt"},{"contents":[256,"42869573454585768157730309274638958933925888440485567045339199386564628773480"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639936"],"tag":"AbiUInt"},{"contents":[256,"236559005572584031980010903803865859869304267135088876868396728116756896"],"tag":"AbiUInt"},{"contents":[256,"107"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639938"],"tag":"AbiUInt"},{"contents":[256,"30489900994496773977642969190766429918579243211810153442377306986344203021734"],"tag":"AbiUInt"},{"contents":[256,"90482851195431910569098725099056264592939388405454725479725715617743752529317"],"tag":"AbiUInt"},{"contents":[256,"55214870723292040246424775546308977728006956311434691687418377173049828798476"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639871"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"17217200981275639479122612295168775611644607422788856911048597478686998612844"],"tag":"AbiUInt"},{"contents":[256,"7175081399449872720233040559704995722500554537604818082487448444101755963899"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"105576411621804895003134120057691356096514601940754526965473601781156991915824"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1524785993"],"tag":"AbiUInt"},{"contents":[256,"62238043464115234490574381820653751271696152174688217739368164205275379361683"],"tag":"AbiUInt"},{"contents":[256,"152535209816779783422634573464943414898753759883973048032106706446801985127"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"721"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"77070143092051832984150511230086279206740039558480812225643171152255221082875"],"tag":"AbiUInt"},{"contents":[256,"10001"],"tag":"AbiUInt"},{"contents":[256,"114800556726105707329543574076582767501505776391686609803282187613095685873640"],"tag":"AbiUInt"},{"contents":[256,"110583408466726453141078497159525457241508358009408925719583551874953321952561"],"tag":"AbiUInt"},{"contents":[256,"63930108655461435417878238296771754832443322566015216134668541137622928194075"],"tag":"AbiUInt"},{"contents":[256,"114417378667760078220394384525505369701344975646302620372538214235114680495912"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"288372333888906898386567928337538184728297"],"tag":"AbiUInt"},{"contents":[256,"65433335876587949644529957701116085272669091662992119965551348211461432408150"],"tag":"AbiUInt"},{"contents":[256,"22218513571"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1020"],"tag":"AbiUInt"},{"contents":[256,"62164739488404775289502262523829611453243402944663613069849864939090128359190"],"tag":"AbiUInt"},{"contents":[256,"25711915886349467661697562069867767623717125384391702570326413819104122719802"],"tag":"AbiUInt"},{"contents":[256,"52314224493821828089082717814798644894200601133423400638296894632071573394808"],"tag":"AbiUInt"},{"contents":[256,"27"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639907"],"tag":"AbiUInt"},{"contents":[256,"21640305370759150267874002483745804417471381571534844693158882659552141350822"],"tag":"AbiUInt"},{"contents":[256,"92776667029694600940000801959669202587740281470159709478768336033230471606472"],"tag":"AbiUInt"},{"contents":[256,"97462483894922127893164010265289355987279744363961370398272562794434647183561"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"98556740427043326183052506762675595255234909617221250161807426937306642408391"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"37088116100423610919812247169665847427877923196243116645876900362178708161305"],"tag":"AbiUInt"},{"contents":[256,"112675050451931299171861370506523769875060154990876023006613075539826354581592"],"tag":"AbiUInt"},{"contents":[256,"94803077338879089191234457028737219647992808835439615875831222455514148620032"],"tag":"AbiUInt"},{"contents":[256,"95590241654491068407090906675511434790401530527635932578995267124295698029684"],"tag":"AbiUInt"},{"contents":[256,"49030862776011330608754250882317698744828024272409190341785970303519420007638"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858879"],"tag":"AbiUInt"},{"contents":[256,"14401871389181414161707789465581685886958581639193723825208312601788983322248"],"tag":"AbiUInt"},{"contents":[256,"79455836405759294182286145827450367937526217040873735577470009320684945123185"],"tag":"AbiUInt"},{"contents":[256,"115134412835282485634032483607538487476544084728824499499244270703187258120359"],"tag":"AbiUInt"},{"contents":[256,"46027321421015193299544147984729282795312219035513757532969779847349216162408"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553538"],"tag":"AbiUInt"},{"contents":[256,"73537691047353538612652148230056237949703788318342954904512634518669500173919"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639037"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636337"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731850"],"tag":"AbiUInt"},{"contents":[256,"34"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1c","0x000000000000000000000000000000000000000000000000000000000000003e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"63"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb12","0x000000000000000000000000000000000000000000000000000000000000ca0b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000088","0x0000000000000000000000000000000000000000000000000000000000000042"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"86533141294506484389532580695281012954764180641976852067984058615793180119015"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002714","0x000000000000000000000000000000000000000000000000000000000000000e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"50745927861427639862039277857163156994818296184859166601540147225340502952960"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e377","0x0000000000000000000000000000000000000000000000000000000000003c09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"25528681395112344301160592582939480561399354009949133303567851352779865616298"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaea","0x00000000000000000000000000000000000000000000000000000000000013be"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a9a4","0x000000000000000000000000000000000000000000000000000000000000ea4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"28660808917970682165420650302320640596032486678483120847984346254194432906783"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x0000000000000000000000000000000000000000000000000000000000009aa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":[256,"88"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead0","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a516","0x000000000000000000000000000000000000000000000000000000000000b449"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046b47","0x000000000000000000000000000000000000000000000000000000000000a293"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065373","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"234"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b2da","0x0000000000000000000000000000000000000000000000000000000000002714"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x000000000000000000000000000000000000000000000000000000000000004a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"29038695992076742480882681026193764871070524957316346727762973628047094554933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c18d","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1753964887915951608393072755362869169663433278732369509549013794453673329088"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054407","0x0000000000000000000000000000000000000000000000000000000000000bce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032d6c","0x0000000000000000000000000000000000000000000000000000000000000036"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b2da","0x000000000000000000000000000000000000000000000000000000000000139a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000fe62","0x000000000000000000000000000000000000000000000000000000000000012d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"11927612911139656182456868458383939294287233677174635217310422397609380472600"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e5","0x00000000000000000000000000000000000000000000000000000000000020ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c435","0x000000000000000000000000000000000000000000000000000000000000614a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"48416852822874895762849460652846570850915942167770619918163542691950495605259"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000cf0b","0x0000000000000000000000000000000000000000000000000000000000006de0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"117"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e353","0x0000000000000000000000000000000000000000000000000000000000007840"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c247","0x0000000000000000000000000000000000000000000000000000000000001355"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"vault shares are insolvent\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000008","0x000000000000000000000000000000000000000000000000000000000000e346"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"\"\\196=6.\\144.~i\\172\\135\\144\\201YnK]\\229\\SI\"","tag":"AbiString"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiString"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"36218777281727559954513299016302306408454300526025381448849820248839525257253"],"tag":"AbiUInt"},{"contents":[256,"109247812105546127517277633488044679622206484515035286800971591147949466156893"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"84546491301347317856393449374611220711524496840801433223193706325630696470461"],"tag":"AbiUInt"},{"contents":[256,"66410919011660373777741944014119384789203788765865943788666303587218078041685"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b721","0x000000000000000000000000000000000000000000000000000000000000ea4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006bb1b","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]