config.py

from typing import Dict, Any

import torch.nn as nn

try:
    from ecg_classification.pade_activation_unit.utils import PAU

    PAU()
except ModuleNotFoundError as error:
    from ecg_classification.pade_activation_unit.pytorch_impl import PADEACTIVATION_Function_based

    PAU = PADEACTIVATION_Function_based

# Configuration for ECGCNN S
ECGCNN_CONFIG_S: Dict[str, Any] = {
    "ecg_features": 256,
    "lstm_features": 128,
    "lstm_layers": 2,
    "spectrogram_encoder_channels": ((1, 16), (16, 32), (32, 64), (64, 128), (128, 256)),
    "latent_vector_features": 128,
    "classes": 4,
    "dropout": 0.05,
    "activation": PAU,
    "convolution2d": nn.Conv2d,
}

# Configuration for ECGCNN M
ECGCNN_CONFIG_M: Dict[str, Any] = {
    "ecg_features": 256,
    "lstm_features": 256,
    "lstm_layers": 2,
    "spectrogram_encoder_channels": ((1, 32), (32, 64), (64, 128), (128, 256), (256, 256)),
    "latent_vector_features": 256,
    "classes": 4,
    "dropout": 0.05,
    "activation": PAU,
    "convolution2d": nn.Conv2d,
}

# Configuration for ECGCNN L
ECGCNN_CONFIG_L: Dict[str, Any] = {
    "ecg_features": 256,
    "lstm_features": 256,
    "lstm_layers": 3,
    "spectrogram_encoder_channels": ((1, 64), (64, 128), (128, 256), (256, 256), (256, 256)),
    "latent_vector_features": 256,
    "classes": 4,
    "dropout": 0.05,
    "activation": PAU,
    "convolution2d": nn.Conv2d,
}

# Configuration for ECGCNN XL
ECGCNN_CONFIG_XL: Dict[str, Any] = {
    "ecg_features": 256,
    "lstm_features": 512,
    "lstm_layers": 3,
    "spectrogram_encoder_channels": ((1, 128), (128, 256), (256, 512), (512, 512), (512, 256)),
    "latent_vector_features": 512,
    "classes": 4,
    "dropout": 0.05,
    "activation": PAU,
    "convolution2d": nn.Conv2d,
}

# Configuration for ECGAttNet S
ECGAttNet_CONFIG_S: Dict[str, Any] = {
    "ecg_features": 256,
    "transformer_heads": 8,
    "transformer_ff_features": 128,
    "transformer_activation": "gelu",
    "transformer_layers": 2,
    "transformer_sequence_length": 80,
    "spectrogram_encoder_channels": ((1, 16), (16, 32), (32, 64), (64, 128), (128, 256)),
    "spectrogram_encoder_spans": (None, None, (140, 8), (70, 4), (35, 2)),
    "latent_vector_features": 256,
    "classes": 4,
    "dropout": 0.05,
    "activation": PAU,
}

# Configuration for ECGAttNet M
ECGAttNet_CONFIG_M: Dict[str, Any] = {
    "ecg_features": 256,
    "transformer_heads": 8,
    "transformer_ff_features": 256,
    "transformer_activation": "gelu",
    "transformer_layers": 2,
    "transformer_sequence_length": 80,
    "spectrogram_encoder_channels": ((1, 32), (32, 64), (64, 128), (128, 256), (256, 256)),
    "spectrogram_encoder_spans": (None, None, (140, 8), (70, 4), (35, 2)),
    "latent_vector_features": 256,
    "classes": 4,
    "dropout": 0.05,
    "activation": PAU,
}

# Configuration for ECGAttNet L
ECGAttNet_CONFIG_L: Dict[str, Any] = {
    "ecg_features": 256,
    "transformer_heads": 8,
    "transformer_ff_features": 256,
    "transformer_activation": "gelu",
    "transformer_layers": 3,
    "transformer_sequence_length": 80,
    "spectrogram_encoder_channels": ((1, 64), (64, 128), (128, 256), (256, 256), (256, 256)),
    "spectrogram_encoder_spans": (None, None, (140, 8), (70, 4), (35, 2)),
    "latent_vector_features": 256,
    "classes": 4,
    "dropout": 0.05,
    "activation": PAU,
}

# Configuration for ECGAttNet XL
ECGAttNet_CONFIG_XL: Dict[str, Any] = {
    "ecg_features": 256,
    "transformer_heads": 8,
    "transformer_ff_features": 512,
    "transformer_activation": "gelu",
    "transformer_layers": 3,
    "transformer_sequence_length": 80,
    "spectrogram_encoder_channels": ((1, 128), (128, 256), (256, 512), (512, 512), (512, 256)),
    "spectrogram_encoder_spans": (None, None, (140, 8), (70, 4), (35, 2)),
    "latent_vector_features": 256,
    "classes": 4,
    "dropout": 0.05,
    "activation": PAU,
}

# Configuration for ECGAttNet XXL
ECGAttNet_CONFIG_XXL: Dict[str, Any] = {
    "ecg_features": 256,
    "transformer_heads": 8,
    "transformer_ff_features": 512,
    "transformer_activation": "gelu",
    "transformer_layers": 5,
    "transformer_sequence_length": 80,
    "spectrogram_encoder_channels": ((1, 128), (128, 512), (512, 1024), (1024, 1024), (1024, 512)),
    "spectrogram_encoder_spans": (None, None, (140, 8), (70, 4), (35, 2)),
    "latent_vector_features": 256,
    "classes": 4,
    "dropout": 0.05,
    "activation": PAU,
}

# Configuration for ECGAttNet XXL
ECGAttNet_CONFIG_130M: Dict[str, Any] = {
    "ecg_features": 256,
    "transformer_heads": 32,
    "transformer_ff_features": 2048,
    "transformer_activation": "gelu",
    "transformer_layers": 12,
    "transformer_sequence_length": 80,
    "spectrogram_encoder_channels": ((1, 512), (512, 2048), (2048, 2048), (2048, 2048), (2048, 512)),
    "spectrogram_encoder_spans": (None, None, (140, 8), (70, 4), (35, 2)),
    "latent_vector_features": 256,
    "classes": 4,
    "dropout": 0.05,
    "activation": PAU,
}

# Configuration of augmentation pipeline
AUGMENTATION_PIPELINE_CONFIG: Dict[str, Any] = {
    "p_scale": 0.2,
    "p_drop": 0.2,
    "p_cutout": 0.2,
    "p_shift": 0.2,
    "p_resample": 0.2,
    "p_random_resample": 0.2,
    "p_sine": 0.2,
    "p_band_pass_filter": 0.2,
    "scale_range": (0.85, 1.15),
    "drop_rate": 0.03,
    "interval_length": 0.05,
    "max_shift": 4000,
    "resample_factors": (0.8, 1.2),
    "max_offset": 0.075,
    "resampling_points": 12,
    "max_sine_magnitude": 0.3,
    "sine_frequency_range": (.2, 1.),
    "kernel": (1, 6, 15, 20, 15, 6, 1),
    "ecg_sequence_length": 18000,
    "fs": 300,
    "frequencies": (0.2, 45.)
}

# Configuration of augmentation pipeline
AUGMENTATION_PIPELINE_CONFIG_2C: Dict[str, Any] = {
    "p_scale": 0.4,
    "p_drop": 0.4,
    "p_cutout": 0.4,
    "p_shift": 0.4,
    "p_resample": 0.4,
    "p_random_resample": 0.4,
    "p_sine": 0.4,
    "p_band_pass_filter": 0.4,
    "scale_range": (0.85, 1.15),
    "drop_rate": 0.03,
    "interval_length": 0.05,
    "max_shift": 4000,
    "resample_factors": (0.8, 1.2),
    "max_offset": 0.075,
    "resampling_points": 12,
    "max_sine_magnitude": 0.3,
    "sine_frequency_range": (.2, 1.),
    "kernel": (1, 6, 15, 20, 15, 6, 1),
    "ecg_sequence_length": 18000,
    "fs": 300,
    "frequencies": (0.2, 45.)
}

TRAINING_SPLIT = [
    2838, 5631, 4502, 5644, 1900, 5171, 4800, 3668, 1152, 2625, 5277, 233, 390, 4110, 4304, 3988, 4670, 79, 317, 87,
    835, 4045, 2704, 1912, 803, 2851, 5281, 5369, 761, 1228, 1946, 805, 2590, 3125, 1625, 2936, 1109, 4044, 147, 726,
    1600, 3839, 5282, 5708, 213, 916, 5750, 5935, 2982, 5414, 4430, 877, 4196, 1370, 5837, 3254, 4052, 690, 2161, 3789,
    2250, 610, 1151, 195, 399, 5960, 5394, 5731, 1699, 3393, 4700, 339, 5970, 505, 3243, 2524, 2661, 598, 5982, 3181,
    837, 5127, 953, 2665, 1842, 2305, 3834, 4060, 5722, 4898, 1179, 5259, 3035, 3056, 883, 5044, 1276, 1394, 1961, 3978,
    2185, 2872, 2381, 284, 2605, 1873, 3242, 1968, 5735, 4330, 5723, 2951, 3637, 4180, 4633, 5190, 1520, 1091, 4986,
    3105, 1356, 265, 5647, 5442, 2492, 2824, 1263, 3526, 4229, 5319, 3615, 1186, 4255, 3310, 520, 2036, 3815, 3750,
    1507, 5687, 4909, 5293, 5353, 651, 4890, 1024, 3334, 255, 5136, 5936, 4925, 1542, 3466, 3450, 3619, 3448, 4397,
    1940, 3624, 3573, 4758, 5042, 2265, 5672, 2890, 383, 2714, 5572, 4854, 4923, 3801, 3262, 4225, 4859, 69, 115, 5738,
    5461, 2440, 2879, 2122, 465, 1391, 3118, 4104, 5523, 5565, 275, 5920, 1906, 712, 5146, 1984, 2422, 2364, 1996, 4989,
    3531, 5665, 1651, 975, 3835, 2429, 1980, 2291, 5509, 2108, 3071, 896, 2513, 4484, 2750, 5078, 3469, 1139, 1170,
    2864, 1566, 5488, 3195, 5289, 1882, 5654, 4444, 2322, 5162, 5007, 908, 360, 2882, 5405, 1675, 312, 3611, 5440, 5088,
    1672, 3370, 5253, 4166, 2239, 1755, 914, 2844, 2527, 3940, 4720, 2831, 957, 4738, 3947, 5390, 3282, 2368, 1505,
    4546, 5531, 4600, 801, 5770, 3926, 3066, 2383, 3484, 3771, 4026, 305, 673, 4485, 3753, 593, 2474, 1366, 2988, 2868,
    4894, 4603, 75, 5790, 1567, 3197, 2064, 3473, 3543, 669, 5562, 4534, 3009, 2647, 2629, 4968, 2538, 4032, 1452, 3366,
    1013, 2978, 2451, 5827, 2749, 4983, 2033, 4802, 3518, 3207, 4030, 4782, 1640, 50, 2953, 5987, 4952, 4790, 1108, 737,
    2172, 1337, 2029, 621, 5018, 3349, 5278, 2823, 5290, 542, 4087, 4018, 5299, 3059, 2634, 3693, 5011, 3446, 3322,
    1965, 2763, 4215, 68, 4492, 951, 4506, 1449, 5715, 5717, 5787, 958, 3288, 2987, 5826, 4705, 2312, 513, 1759, 654,
    1857, 2525, 4232, 3869, 5468, 1693, 1168, 1983, 185, 4378, 4405, 1565, 2191, 2536, 91, 187, 1277, 1915, 5956, 1427,
    4094, 2389, 5336, 3557, 2065, 1381, 5408, 1624, 4733, 121, 5719, 3024, 5939, 2039, 2326, 3414, 304, 2256, 2323,
    1909, 5659, 3722, 3563, 3383, 3237, 2574, 4134, 703, 3431, 4325, 440, 1844, 5571, 214, 493, 1863, 4362, 3472, 164,
    1137, 5974, 3539, 1212, 4997, 4375, 4154, 1964, 3373, 5286, 1193, 162, 3818, 4627, 336, 2280, 2653, 5495, 4542,
    5611, 2354, 1026, 1088, 5589, 5857, 5816, 2119, 1467, 2209, 5411, 4638, 1729, 5185, 997, 3581, 1509, 56, 67, 5458,
    114, 335, 1828, 3488, 3833, 409, 5242, 1218, 827, 5222, 3111, 4342, 3028, 2820, 1007, 5095, 1785, 1161, 1217, 371,
    2025, 4702, 1238, 1285, 4230, 2091, 949, 5241, 1410, 1404, 5501, 4186, 661, 643, 5228, 3952, 2264, 1638, 2137, 2378,
    5549, 5831, 396, 3453, 1751, 5379, 2297, 2174, 973, 416, 4715, 2216, 423, 1095, 5749, 901, 5156, 5761, 3712, 723,
    5125, 1052, 4494, 3293, 2269, 806, 441, 4828, 1949, 5415, 3436, 4547, 5566, 4156, 302, 1396, 1425, 3676, 28, 2179,
    5419, 2584, 2760, 5385, 2057, 5057, 4162, 5360, 4882, 3278, 229, 4572, 4371, 4280, 1823, 931, 5476, 943, 1372, 5777,
    2308, 4276, 797, 2278, 1643, 648, 5117, 3149, 1762, 954, 2186, 4645, 1802, 5217, 2448, 5019, 3669, 934, 5760, 4736,
    1886, 4539, 2083, 5493, 3547, 486, 1269, 4093, 1070, 2898, 1079, 2689, 2883, 1265, 3689, 3462, 4916, 5726, 1030,
    1311, 3078, 5774, 1704, 251, 1824, 2026, 3332, 3264, 609, 5751, 3647, 222, 3510, 5396, 3596, 4384, 709, 2543, 5308,
    4795, 1682, 4917, 1252, 4552, 836, 4532, 1492, 3600, 614, 2933, 811, 4398, 2545, 1855, 3664, 3761, 2056, 4682, 701,
    852, 608, 4566, 5550, 689, 4833, 1695, 3324, 103, 5855, 2698, 4761, 269, 2826, 2081, 5474, 4993, 2478, 184, 4063,
    4910, 42, 2043, 2516, 3060, 2589, 810, 3885, 2961, 300, 5693, 3017, 3344, 4120, 3330, 4333, 3534, 4175, 5169, 1089,
    519, 4646, 5878, 3891, 1129, 1478, 2347, 433, 2107, 4965, 3662, 2356, 993, 616, 2778, 2238, 1392, 3155, 870, 5354,
    5692, 1521, 2022, 5316, 3044, 2396, 1679, 1211, 5104, 2793, 5324, 3301, 5406, 3260, 500, 2037, 3, 4013, 15, 2707,
    2015, 5426, 915, 181, 938, 4897, 1114, 3638, 575, 4635, 5538, 4079, 1225, 3336, 4075, 840, 3650, 5896, 5852, 2045,
    366, 2504, 1272, 3542, 5347, 5788, 3312, 4361, 5152, 4791, 5910, 5955, 5782, 5594, 1997, 775, 5481, 1234, 3158,
    5746, 230, 5707, 5574, 4200, 3528, 4132, 5465, 1412, 847, 739, 5664, 5683, 3420, 1981, 5186, 3566, 5792, 365, 2124,
    66, 1220, 2160, 645, 4167, 974, 5742, 348, 4147, 3503, 5696, 129, 2060, 1519, 5441, 4316, 2365, 361, 1783, 2175,
    2171, 4649, 4388, 343, 5709, 5877, 762, 244, 2456, 2980, 3695, 1592, 5060, 5880, 2018, 4609, 5329, 377, 516, 4172,
    4343, 3410, 369, 2668, 161, 1653, 1719, 5988, 4585, 3813, 3746, 781, 2581, 5129, 3457, 1314, 1463, 4667, 5798, 3300,
    850, 2178, 4413, 2200, 2176, 4245, 719, 4009, 891, 1350, 2034, 4998, 1932, 5849, 1384, 3810, 3796, 5527, 1620, 962,
    2120, 2334, 559, 3391, 4608, 3307, 1082, 4955, 1126, 2497, 340, 5334, 263, 5455, 1003, 2915, 5847, 976, 5062, 296,
    3843, 4471, 5864, 2990, 3671, 5608, 527, 2539, 2511, 4972, 4594, 3920, 3461, 4306, 2089, 2656, 2887, 3405, 999,
    5929, 1258, 5660, 4928, 5367, 4835, 2813, 481, 4059, 1365, 4282, 3568, 1613, 1665, 1922, 1162, 5637, 2021, 5295,
    817, 2077, 3949, 3962, 1641, 4441, 2877, 5284, 4263, 5748, 3548, 368, 5300, 5848, 1375, 4944, 536, 241, 5886, 4601,
    5079, 1757, 128, 3633, 1871, 5218, 3912, 2550, 3036, 4615, 2673, 3786, 4512, 5165, 5921, 5239, 530, 2435, 3479,
    5730, 713, 2272, 172, 4840, 428, 4524, 111, 4827, 3087, 3255, 4799, 664, 3530, 1689, 5397, 4499, 2076, 3400, 5607,
    3733, 4683, 295, 3756, 1601, 5972, 4711, 4582, 2558, 5766, 3094, 1302, 1335, 5930, 3458, 745, 3678, 4804, 5038,
    3006, 5196, 2151, 3298, 3701, 3454, 3928, 1876, 4146, 5006, 4634, 4261, 5395, 871, 4116, 120, 5202, 1560, 3318,
    1722, 959, 5803, 1066, 5745, 2154, 5517, 3935, 194, 4811, 438, 3861, 4103, 1951, 2282, 5374, 1563, 2611, 4028, 5602,
    2772, 27, 14, 1971, 253, 53, 5856, 2234, 5548, 1006, 2105, 5582, 1754, 4466, 3001, 3859, 749, 3787, 4136, 1794,
    4994, 1063, 5862, 5954, 78, 5586, 3579, 724, 4630, 2423, 768, 3206, 4555, 4857, 3183, 5094, 4393, 4168, 1036, 3163,
    1908, 5728, 2344, 3355, 4701, 4550, 1813, 5876, 2431, 5483, 5123, 5356, 2556, 3811, 3120, 1102, 76, 5541, 3856,
    3085, 1076, 2934, 838, 5905, 2371, 5512, 1287, 1827, 619, 4780, 2340, 4221, 990, 684, 2655, 466, 338, 2438, 3966,
    2437, 3162, 1293, 4086, 4962, 5255, 2170, 3555, 3932, 3588, 5301, 2917, 3599, 3863, 3234, 5438, 1460, 4798, 3923,
    3740, 5108, 2740, 2855, 5786, 1962, 141, 4310, 2463, 5219, 2275, 3672, 2579, 5853, 655, 3799, 1926, 5237, 2965, 457,
    1607, 2903, 5927, 4007, 5658, 4046, 2030, 4801, 5559, 2002, 4462, 2147, 3536, 652, 4588, 2856, 3930, 3227, 3774,
    3159, 1691, 2173, 437, 5432, 1593, 2449, 239, 5591, 1484, 5680, 83, 5622, 1178, 4657, 5813, 4726, 270, 5822, 2153,
    1642, 2295, 5338, 3738, 1323, 3317, 1797, 933, 2955, 1506, 4487, 1731, 1892, 5101, 209, 5371, 1918, 5577, 3797,
    1666, 4260, 5416, 2465, 691, 191, 2914, 1124, 2342, 4297, 2762, 5020, 3097, 567, 1156, 4271, 8, 3092, 5558, 5256,
    3049, 5830, 510, 22, 473, 4033, 5471, 1779, 2991, 1424, 2379, 4684, 2865, 3901, 4209, 198, 4556, 3419, 167, 2413,
    4763, 2104, 1406, 5932, 4294, 5424, 3015, 744, 221, 3460, 5244, 5325, 10, 3950, 2428, 3652, 2761, 5671, 2875, 2967,
    4365, 1205, 4126, 2612, 3941, 5892, 2921, 1045, 4565, 2614, 859, 2600, 329, 4605, 2999, 5727, 5211, 3029, 252, 2529,
    4251, 4562, 165, 5069, 3640, 2939, 508, 5701, 3177, 421, 2785, 478, 4884, 5575, 5478, 5221, 2087, 4718, 2475, 4987,
    3062, 1233, 2799, 57, 4714, 3709, 3903, 3392, 5817, 3997, 3468, 3971, 4329, 2774, 4164, 2976, 1055, 783, 5262, 460,
    1504, 12, 844, 5073, 1910, 3218, 3121, 60, 1334, 1765, 5578, 1361, 5110, 3963, 3809, 3313, 2476, 1415, 3437, 3842,
    4774, 1816, 784, 1891, 5524, 2641, 1103, 5752, 3777, 2591, 143, 55, 2994, 665, 5546, 3303, 4891, 4814, 2596, 2201,
    2861, 1360, 4666, 3055, 3916, 4947, 4264, 136, 1474, 5670, 4145, 315, 4517, 52, 4068, 1383, 2079, 5907, 4652, 4344,
    1482, 1928, 4290, 1209, 3241, 3225, 489, 5339, 1805, 5971, 5699, 894, 4341, 182, 1735, 4495, 5800, 2919, 2287, 5494,
    5530, 5850, 5332, 3823, 5801, 3907, 3347, 4775, 49, 688, 2199, 4411, 5320, 5678, 4057, 5280, 969, 865, 3010, 5584,
    2832, 2394, 5182, 5271, 1933, 5576, 415, 3040, 4249, 1760, 3525, 3802, 1075, 4338, 268, 499, 5887, 1725, 659, 3108,
    259, 3138, 3598, 573, 5335, 4906, 1884, 354, 2127, 2257, 3968, 4624, 2575, 242, 4895, 1459, 283, 939, 2327, 2088,
    2283, 1995, 4850, 2414, 1657, 2521, 419, 2901, 4177, 5021, 5294, 3714, 695, 5791, 5753, 1616, 5434, 459, 1659, 5601,
    3067, 5682, 65, 11, 4943, 3275, 1450, 3850, 5257, 4476, 2236, 1920, 4878, 4773, 2971, 4291, 861, 3306, 5612, 4674,
    326, 2710, 5061, 4971, 2531, 3252, 2183, 592, 2452, 5331, 5628, 2001, 1990, 940, 5103, 2249, 257, 3374, 2924, 4433,
    5437, 5025, 4727, 1128, 3906, 1571, 1028, 588, 4617, 766, 3224, 287, 4201, 5058, 2853, 3601, 3554, 582, 5739, 5276,
    3415, 150, 4815, 5384, 2260, 4246, 3804, 1034, 1524, 4102, 2090, 1663, 4771, 5357, 4129, 1870, 1050, 5695, 3045,
    2912, 2376, 535, 4041, 5292, 917, 4970, 4912, 5099, 2223, 2533, 4021, 3000, 2687, 4254, 4352, 2406, 1840, 788, 5383,
    2145, 3492, 179, 5023, 4654, 1826, 5543, 5489, 2220, 5555, 5486, 331, 5158, 5785, 3185, 1098, 5121, 1354, 1407,
    4153, 1808, 4805, 5674, 5557, 2871, 1401, 5444, 846, 32, 4183, 51, 5096, 4873, 5832, 5661, 1182, 720, 1985, 3269,
    562, 2565, 1684, 1328, 3339, 5349, 3696, 4739, 3499, 4480, 708, 2808, 363, 2609, 3627, 3465, 4073, 605, 35, 4327,
    1859, 3491, 4803, 5231, 3395, 403, 3208, 2292, 765, 132, 3093, 1696, 2192, 5775, 4412, 623, 1174, 4049, 3104, 2044,
    5597, 5149, 1237, 1169, 3146, 4586, 5685, 3137, 863, 1019, 4834, 1166, 497, 2126, 1795, 1447, 3623, 3561, 1352,
    2505, 1198, 4990, 4623, 2789, 2764, 1786, 2206, 3589, 1420, 4570, 2894, 3508, 1319, 1628, 1176, 3100, 759, 4847,
    4680, 3486, 564, 4703, 1811, 5705, 1243, 4958, 1503, 880, 4659, 1744, 1942, 3352, 5600, 5771, 5821, 447, 3168, 1545,
    5364, 2457, 2325, 439, 3164, 2111, 2129, 2162, 3844, 4447, 1318, 5291, 2261, 1622, 5083, 5153, 3762, 1758, 3506,
    1931, 3150, 5504, 5479, 1120, 589, 4981, 545, 297, 2489, 3192, 2490, 1992, 3331, 2067, 449, 2810, 878, 2863, 2712,
    2054, 5313, 4819, 3463, 1279, 1136, 4938, 2713, 4647, 698, 4558, 1686, 1972, 3140, 5084, 4991, 2473, 501, 5736,
    4189, 4486, 537, 4337, 5796, 418, 3897, 2028, 5161, 3380, 1222, 4762, 889, 26, 3873, 4644, 955, 5279, 1660, 1598,
    568, 4696, 2187, 4298, 1363, 3384, 2662, 1623, 4224, 2825, 281, 1250, 2573, 515, 3880, 3562, 2913, 1331, 359, 2585,
    4778, 3881, 595, 5490, 2732, 1458, 2576, 3961, 1713, 1281, 1978, 1035, 219, 1473, 2502, 2566, 5560, 1342, 1461,
    2617, 1150, 7, 113, 3982, 4137, 3737, 5623, 1633, 2467, 4493, 407, 1664, 3716, 4431, 1093, 5592, 1512, 3616, 1767,
    4205, 4185, 5858, 1141, 313, 1495, 5189, 5773, 4416, 334, 1697, 3904, 4985, 1382, 2608, 110, 3311, 3905, 1105, 2544,
    1290, 3687, 3152, 2281, 3205, 2156, 668, 1056, 5296, 5640, 1800, 3743, 641, 2268, 579, 2224, 5187, 413, 5264, 1573,
    1934, 2975, 380, 2880, 2562, 3341, 1471, 146, 5551, 4643, 3537, 1189, 138, 1717, 2300, 637, 5049, 2671, 156, 5605,
    5004, 1187, 2681, 1950, 5341, 2014, 4193, 521, 2247, 5174, 4474, 2727, 1451, 4467, 2382, 4785, 1142, 509, 3760,
    1196, 4088, 2711, 5261, 4350, 927, 5015, 1724, 3715, 4685, 4207, 3421, 741, 3367, 569, 2274, 4122, 1223, 2623, 3179,
    1321, 2791, 2243, 5192, 4845, 630, 2253, 4731, 2468, 1867, 3570, 5697, 3541, 1714, 3456, 1402, 5235, 5288, 5641,
    1788, 2286, 1327, 4599, 4391, 3998, 2989, 3296, 5139, 2100, 824, 5236, 3877, 1739, 2741, 4407, 1312, 159, 3154,
    4112, 3362, 3257, 4808, 3182, 4335, 392, 5583, 3074, 2747, 1530, 3236, 5417, 2532, 4956, 2329, 2782, 1385, 2333,
    5900, 4065, 1094, 3894, 3739, 4905, 4402, 3938, 5102, 2940, 4089, 5305, 3745, 2514, 3921, 5534, 376, 5016, 3189,
    2620, 357, 674, 424, 4881, 3954, 4285, 4296, 2703, 2263, 5581, 2542, 3134, 4510, 3412, 4197, 5351, 1868, 3280, 2110,
    2006, 926, 5447, 4767, 642, 2501, 2854, 2009, 2071, 2118, 4236, 4918, 4303, 5457, 4858, 2769, 3228, 5322, 3070,
    2386, 3915, 5446, 4913, 3180, 4521, 1647, 3613, 4653, 3972, 2781, 2559, 3238, 250, 830, 5032, 1400, 1322, 929, 5603,
    2517, 5733, 4231, 1864, 2561, 685, 4372, 5616, 488, 4000, 291, 966, 4543, 1589, 4142, 4258, 3991, 2284, 1414, 2907,
    5348, 477, 3708, 587, 4919, 4593, 4192, 511, 4616, 5556, 1408, 2035, 4023, 3729, 5698, 2248, 5714, 2974, 910, 3632,
    1869, 2046, 2410, 1999, 2320, 4797, 4504, 2798, 3223, 5306, 4410, 4611, 117, 2053, 3357, 2528, 5507, 647, 2189,
    2616, 4745, 5899, 4903, 5655, 1359, 1380, 1271, 3675, 4500, 1468, 3131, 3495, 1728, 4818, 2059, 461, 3386, 1001,
    2508, 736, 4982, 1100, 4874, 1953, 1680, 1101, 5828, 5059, 1485, 4470, 2454, 2427, 2657, 5879, 5943, 5433, 900,
    4969, 2132, 4954, 3081, 3893, 5480, 3283, 5462, 1772, 1054, 4097, 5391, 2692, 4901, 5903, 1440, 3156, 888, 1518,
    1875, 3565, 4826, 5085, 5193, 4176, 3583, 5781, 5675, 4842, 3210, 4813, 1315, 2587, 306, 228, 5780, 2814, 2485,
    4235, 2729, 303, 94, 2995, 4445, 1251, 4266, 5067, 2645, 1629, 3781, 5323, 5811, 4359, 4084, 4673, 4766, 3656, 787,
    5141, 3337, 3086, 2669, 2969, 855, 3398, 5911, 2125, 206, 3888, 961, 2728, 3109, 173, 4595, 2213, 4133, 522, 483,
    98, 4719, 5477, 4349, 4636, 1145, 3684, 2078, 3133, 425, 2330, 3396, 1650, 755, 71, 1201, 3582, 4143, 4571, 5547,
    3102, 4753, 5017, 2117, 3023, 4364, 5330, 5216, 2720, 2725, 5046, 5536, 292, 2159, 650, 3512, 2068, 2404, 547, 3822,
    293, 4001, 1138, 201, 1658, 640, 5564, 4299, 3088, 531, 4256, 3925, 2738, 662, 1888, 5131, 4741, 4490, 107, 4978,
    1097, 3203, 2881, 5269, 2754, 3591, 1667, 5173, 3719, 4678, 3320, 4149, 5525, 944, 1736, 5902, 1702, 3717, 4640,
    3631, 3918, 4091, 2648, 1032, 2986, 1357, 2867, 3442, 5309, 3544, 1894, 148, 5711, 5944, 1721, 494, 4704, 2138,
    2212, 1630, 450, 4676, 5718, 2461, 4712, 1525, 5521, 1071, 3770, 4080, 1856, 5154, 3072, 4047, 603, 3513, 2415,
    3871, 1443, 4697, 2197, 81, 271, 2430, 3502, 394, 3845, 1301, 2765, 1298, 2496, 3634, 3919, 199, 2499, 1147, 4553,
    4860, 3683, 3851, 3051, 5642, 131, 1685, 1171, 3772, 2849, 5298, 2163, 1411, 2469, 5352, 4366, 1534, 2908, 4219,
    3522, 683, 2230, 126, 3704, 5797, 3403, 145, 1274, 2433, 320, 2549, 311, 5740, 5897, 732, 2568, 4179, 5413, 1009,
    5545, 5914, 3220, 733, 200, 2051, 543, 2819, 1444, 1583, 2181, 1454, 907, 3964, 4461, 704, 5737, 2592, 5460, 2719,
    3141, 2756, 676, 2685, 714, 5005, 1033, 2144, 4016, 930, 2084, 2886, 4822, 4658, 1575, 1709, 1117, 3686, 1711, 1194,
    4427, 3540, 1308, 2184, 2355, 1893, 4839, 518, 1160, 680, 3061, 5249, 1446, 1644, 2466, 2217, 550, 3416, 3083, 3545,
    89, 1148, 2947, 3766, 4817, 4066, 2157, 5635, 4509, 2723, 205, 5234, 1850, 47, 3979, 3187, 2331, 448, 5808, 2362,
    5778, 715, 5097, 4491, 4838, 4029, 1791, 1544, 1516, 470, 1118, 776, 5981, 5070, 1969, 2540, 1096, 1017, 5167, 4115,
    463, 5833, 4377, 5029, 1536, 1236, 1112, 3584, 660, 5327, 3335, 3215, 1610, 432, 4374, 2339, 1539, 1604, 2694, 1264,
    1597, 4548, 3039, 5224, 2242, 821, 5515, 4385, 3378, 5035, 151, 5148, 2835, 3902, 3493, 347, 5997, 5372, 2040, 2221,
    4806, 2966, 1749, 3741, 2346, 612, 1793, 1031, 1486, 4017, 3250, 5363, 4123, 5114, 4464, 629, 5214, 5270, 3808,
    1121, 1422, 4345, 4879, 4173, 1822, 4409, 1073, 4369, 853, 2943, 4241, 5122, 778, 2288, 4914, 2802, 3151, 289, 5246,
    1048, 3924, 3407, 3273, 3068, 6, 2506, 1200, 1803, 3608, 1564, 4321, 2123, 3101, 4025, 1395, 3847, 1880, 1517, 1885,
    2564, 2318, 3360, 5967, 2551, 1110, 5404, 3960, 2393, 90, 3046, 1426, 3784, 849, 1, 2432, 5081, 1388, 286, 1378,
    2227, 1852, 4518, 2062, 1249, 2099, 3580, 351, 2016, 1621, 5667, 3079, 1405, 965, 2695, 4749, 1133, 4979, 823, 1353,
    1541, 3058, 3007, 504, 5381, 854, 5209, 4095, 2, 1899, 3981, 3119, 693, 4195, 1106, 1296, 532, 3887, 1737, 3605,
    3951, 2412, 4454, 3679, 2049, 2751, 5596, 5074, 5663, 2385, 1215, 4604, 2093, 1594, 3170, 2817, 5160, 3167, 5355,
    4672, 4439, 789, 5393, 2460, 3934, 921, 3667, 4082, 4861, 2441, 5704, 4526, 5952, 2069, 3013, 204, 594, 2857, 1602,
    5213, 4003, 2984, 2938, 4332, 3841, 2848, 130, 4267, 3016, 237, 3984, 808, 2602, 19, 1090, 2624, 546, 950, 514, 986,
    88, 1558, 429, 4216, 1246, 3077, 3680, 3404, 5116, 3524, 5846, 1705, 3190, 502, 663, 3718, 1303, 353, 3464, 2136,
    1403, 1726, 5326, 3147, 427, 4273, 1374, 5065, 4277, 881, 4223, 1483, 3482, 397, 4871, 2726, 4742, 1336, 2519, 4959,
    4040, 738, 5874, 3253, 3285, 1874, 5469, 249, 2285, 571, 4692, 17, 5135, 937, 1770, 1895, 1764, 298, 5254, 5810,
    2599, 1818, 4453, 1829, 210, 1975, 59, 5045, 2439, 1229, 1294, 4757, 1766, 4380, 1528, 1582, 2085, 5498, 3440, 5402,
    1081, 996, 4533, 5400, 1119, 1911, 5466, 1556, 4942, 4159, 525, 4305, 763, 1140, 5238, 1836, 1144, 4138, 3485, 2443,
    794, 2962, 4456, 1206, 1087, 2801, 2254, 322, 1177, 3348, 3417, 276, 590, 1763, 5133, 137, 4253, 1572, 982, 3597,
    5491, 4872, 4632, 1343, 355, 4561, 3783, 4056, 2421, 4210, 2073, 585, 3475, 1743, 4946, 23, 2319, 5645, 3957, 4460,
    1998, 4014, 4619, 3720, 1115, 472, 4262, 5783, 2627, 3075, 3700, 1341, 272, 4281, 2583, 2869, 3076, 3340, 3855,
    4963, 2520, 5022, 3749, 3817, 462, 492, 1741, 3648, 1288, 1960, 1591, 782, 4655, 5539, 1596, 464, 1313, 4515, 1955,
    5588, 3244, 3114, 4602, 1423, 3803, 2007, 1703, 2310, 1012, 578, 4395, 1320, 2929, 216, 529, 2094, 977, 1111, 1344,
    4315, 4268, 1367, 4868, 2633, 3698, 700, 1476, 3778, 1304, 5199, 1837, 4061, 3184, 5962, 5875, 294, 3908, 1464,
    2926, 5150, 995, 3826, 3910, 3295, 3852, 2621, 3879, 2997, 4194, 1551, 3169, 5870, 528, 4324, 4625, 1619, 4113,
    5028, 4058, 1579, 841, 3376, 2359, 3050, 613, 4922, 4777, 3654, 4823, 2891, 2102, 5617, 4631, 4743, 4488, 5604,
    5043, 2010, 2417, 4793, 3896, 2770, 3848, 2011, 747, 4744, 4516, 2902, 909, 208, 5934, 5266, 1122, 3590, 2700, 3325,
    256, 4403, 4096, 818, 3849, 1261, 2349, 5403, 1605, 4240, 833, 4752, 3939, 2360, 1326, 1241, 895, 1445, 3636, 3020,
    1973, 2038, 5267, 3004, 858, 523, 4422, 3999, 1282, 3021, 2188, 4081, 4541, 5516, 2031, 4513, 2858, 2632, 2116,
    1547, 104, 4360, 5593, 3725, 898, 538, 5963, 879, 4896, 1204, 3193, 3606, 5421, 5333, 4765, 2970, 2196, 2730, 350,
    5703, 5958, 3594, 5977, 3452, 4694, 337, 5164, 716, 3371, 4538, 1991, 1386, 5639, 5041, 2142, 3063, 1173, 834, 825,
    3751, 5916, 108, 3110, 3876, 3728, 5734, 2324, 3532, 5919, 1470, 2041, 5485, 4621, 2143, 3231, 5561, 2316, 4661,
    3990, 4214, 238, 3649, 352, 1921, 832, 5844, 746, 5691, 2402, 1291, 5068, 106, 1587, 4755, 1902, 140, 826, 1338,
    5140, 692, 672, 1777, 5343, 3232, 3165, 3612, 3913, 2557, 773, 3082, 4876, 3911, 5626, 3521, 618, 1163, 4037, 945,
    2306, 972, 4926, 4628, 2198, 5823, 4152, 2370, 346, 5784, 4930, 2639, 3569, 5845, 2328, 1838, 5226, 5053, 5625,
    1817, 2113, 4283, 4689, 4559, 2927, 1896, 1595, 1042, 4740, 4334, 3031, 5010, 1540, 4121, 2005, 2679, 5662, 4386,
    2231, 5985, 4660, 5609, 4688, 5047, 5365, 533, 2455, 3974, 947, 1053, 1008, 3408, 1309, 426, 2904, 3422, 183, 3558,
    3333, 2276, 2643, 3106, 2442, 3291, 767, 4837, 2266, 831, 2134, 4054, 3369, 64, 73, 1986, 1080, 4469, 389, 3413,
    2486, 3639, 4665, 2827, 207, 4006, 2400, 1774, 2304, 3019, 4933, 3032, 5346, 4974, 5922, 3477, 5980, 4155, 4206,
    3214, 2733, 2752, 4035, 777, 3747, 442, 1501, 3221, 4675, 1577, 2042, 5535, 3571, 3727, 627, 3806, 3427, 5075, 5946,
    678, 3764, 4853, 1635, 2870, 77, 2952, 3329, 4820, 5629, 5917, 1678, 5926, 2958, 561, 3721, 4289, 5359, 2032, 2660,
    109, 1051, 3641, 1854, 3245, 3604, 5210, 4831, 3560, 4459, 5439, 1455, 4999, 5965, 3658, 5825, 3660, 2676, 679,
    5137, 307, 5064, 96, 4265, 3682, 4537, 4693, 601, 498, 2114, 2024, 5283, 1418, 3824, 5614, 971, 3645, 5949, 5812,
    1974, 1202, 3246, 867, 2258, 3621, 1005, 3945, 786, 4574, 1428, 1967, 3788, 4536, 2374, 5649, 1158, 1432, 3574,
    5456, 3064, 2792, 100, 2133, 928, 2003, 644, 658, 1939, 2815, 5107, 226, 2834, 3603, 5448, 5893, 5027, 2941, 620,
    1609, 4358, 2241, 225, 274, 1645, 4573, 2101, 3343, 133, 1165, 1712, 3005, 5428, 5147, 37, 2555, 4314, 1809, 2794,
    5303, 41, 1669, 2507, 3520, 2352, 3135, 1043, 4432, 556, 3866, 3217, 1798, 2553, 3428, 1346, 5931, 4662, 1494, 5377,
    2852, 606, 375, 166, 856, 2743, 1771, 5368, 4746, 1496, 316, 1576, 5646, 4721, 1439, 5118, 386, 4843, 4308, 1191,
    2586, 5265, 4293, 4961, 1491, 2630, 3898, 5275, 1830, 4109, 58, 960, 600, 2628, 2341, 1240, 1437, 3069, 5109, 5034,
    5620, 1848, 5159, 374, 2495, 2910, 3356, 2930, 646, 5155, 843, 2944, 1085, 1242, 4098, 169, 5725, 254, 1677, 503,
    2775, 2055, 4554, 4328, 2311, 4855, 4320, 2610, 1883, 5014, 1820, 1348, 3297, 2699, 3314, 1232, 994, 1887, 1747,
    5923, 4759, 653, 2512, 3519, 5986, 4099, 1266, 3735, 3765, 5342, 3937, 4237, 4144, 1958, 495, 4370, 5610, 4401,
    1970, 5475, 816, 163, 3993, 4505, 1632, 1627, 1787, 5157, 5636, 4446, 5677, 1804, 2651, 4042, 364, 3249, 5387, 3354,
    869, 1377, 3435, 3854, 1611, 5037, 4750, 1149, 2020, 1750, 1692, 1358, 3406, 2663, 4507, 1284, 358, 4131, 4218,
    3706, 5128, 3812, 5595, 3240, 3791, 5841, 3965, 2235, 40, 820, 4436, 1938, 3917, 5503, 5459, 2373, 5183, 512, 3321,
    565, 2690, 1002, 5630, 2420, 2839, 5872, 5451, 5650, 4392, 3677, 5799, 4511, 697, 1849, 5091, 4869, 4681, 1132,
    2416, 1543, 548, 2757, 967, 134, 5882, 4169, 4671, 1782, 3153, 5866, 4520, 4053, 702, 699, 3116, 345, 2906, 4911,
    1131, 3387, 4529, 1192, 3556, 2631, 4810, 2148, 3681, 3385, 3883, 3551, 101, 4429, 5307, 5112, 5624, 2691, 1262,
    124, 2240, 5684, 952, 4020, 2335, 3202, 622, 1775, 454, 2672, 1113, 2273, 1143, 4945, 3144, 780, 5554, 5072, 4284,
    3829, 4239, 1039, 3748, 5362, 3593, 1761, 753, 3514, 1180, 5968, 624, 3364, 4686, 5179, 2190, 3707, 792, 4244, 496,
    4867, 5937, 1286, 1956, 4606, 3732, 5482, 5248, 5819, 5184, 4770, 1634, 5765, 3489, 2350, 3956, 1253, 3161, 3478,
    4900, 760, 1806, 3825, 3270, 212, 5834, 740, 4581, 323, 2309, 1235, 4355, 3819, 1681, 5401, 3884, 5975, 4530, 3302,
    3702, 4463, 21, 1247, 2166, 1776, 2866, 5894, 963, 730, 3622, 628, 24, 946, 5520, 694, 1561, 903, 2447, 5881, 196,
    2277, 3527, 1197, 4877, 2911, 750, 2731, 4496, 1907, 236, 2806, 1661, 2150, 5392, 387, 1957, 2357, 968, 5002, 2909,
    404, 267, 1207, 5502, 4428, 3831, 123, 981, 4022, 5632, 1289, 2705, 1462, 2845, 5119, 3973, 558, 639, 2494, 4077,
    4722, 3014, 5443, 2552, 2896, 3316, 4899, 1416, 795, 1306, 4478, 4423, 3878, 2384, 3509, 157, 4848, 983, 4151, 904,
    2233, 3361, 485, 3769, 1433, 144, 1256, 3455, 46, 1107, 5163, 5040, 388, 5033, 3609, 2677, 4434, 1500, 3550, 4642,
    3713, 735, 3864, 4710, 2779, 667, 779, 5806, 1877, 1862, 3853, 2571, 5233, 20, 4583, 5063, 5994, 3685, 5422, 5134,
    1324, 5106, 3277, 1963, 5918, 310, 2526, 5976, 5843, 4394, 2996, 3476, 2289, 5710, 2135, 3516, 1698, 1810, 1768,
    711, 5143, 446, 5076, 5200, 1068, 5223, 372, 1479, 5388, 1843, 1730, 721, 1226, 5700, 5453, 3651, 2768, 3459, 2210,
    5350, 5445, 3980, 3872, 1732, 3862, 4949, 5759, 1498, 5450, 490, 4083, 3490, 3292, 1937, 1671, 3230, 4893, 5258,
    638, 2503, 5113, 5743, 1584, 1123, 4522, 5500, 2702, 2388, 1599, 5263, 1083, 1989, 4373, 266, 4953, 2888, 5508,
    2481, 2397, 864, 5247, 3617, 5204, 4560, 1784, 3586, 4590, 4756, 897, 171, 1275, 1746, 5861, 3511, 5767, 4569, 566,
    344, 4992, 3909, 580, 4139, 4737, 2688, 2229, 1175, 3171, 2510, 5220, 264, 4295, 634, 1221, 4301, 1555, 3858, 5621,
    85, 5312, 1568, 3620, 1316, 5318, 4208, 5634, 406, 696, 5, 5757, 4100, 5375, 978, 1708, 1373, 2572, 524, 4578, 2351,
    1299, 1533, 2482, 4367, 3447, 3279, 2684, 5176, 3235, 4406, 1570, 992, 3515, 2232, 3342, 3139, 5652, 3394, 3549,
    615, 2203, 1254, 309, 3498, 2245, 1954, 3290, 2395, 5666, 99, 5871, 5925, 563, 4425, 62, 1267, 4584, 4188, 5984,
    5840, 807, 3353, 4055, 4399, 4424, 2744, 1078, 5003, 722, 1994, 3929, 1976, 5820, 2580, 2425, 1480, 5470, 278, 3038,
    3346, 5130, 1213, 1652, 1057, 718, 1529, 1064, 9, 5499, 4234, 1924, 1636, 923, 2850, 3867, 3948, 1155, 3504, 4233,
    2301, 2390, 3281, 30, 4353, 5648, 785, 3122, 2560, 4357, 5764, 4050, 3874, 4730, 3305, 2470, 3759, 5310, 1590, 4257,
    155, 1716, 3889, 5776, 2424, 3970, 314, 1941, 5191, 1872, 2237, 203, 4313, 4247, 4824, 5915, 2822, 5805, 4648, 2709,
    1557, 5111, 4448, 3657, 5268, 4408, 710, 4076, 727, 476, 5431, 3953, 2715, 482, 3099, 362, 2968, 5867, 4379, 1586,
    743, 5100, 2932, 3451, 1074, 5205, 4812, 5587, 430, 802, 3115, 906, 1608, 3274, 174, 2946, 5669, 2985, 2013, 3365,
    3567, 2321, 2737, 5126, 2434, 862, 984, 61, 2408, 920, 2017, 5795, 4252, 1135, 3271, 3625, 2916, 3736, 1188, 3143,
    597, 2683, 2960, 3142, 3533, 635, 4809, 682, 5304, 4363, 2398, 4322, 5804, 4128, 1022, 93, 1399, 1614, 4880, 54,
    1465, 2928, 189, 555, 1947, 5995, 798, 2992, 2515, 118, 2604, 4677, 4243, 1216, 3423, 5090, 1062, 84, 4525, 1535,
    3432, 796, 1581, 4641, 3402, 1904, 1369, 5570, 2493, 5274, 1184, 1041, 5201, 1077, 3795, 828, 1654, 1259, 4776,
    4074, 1273, 3936, 2407, 5172, 1199, 1881, 3832, 705, 4932, 3922, 4551, 414, 4598, 1701, 1617, 1379, 3401, 400, 4904,
    2736, 4269, 2480, 657, 2271, 5230, 845, 4190, 370, 1756, 4691, 1825, 890, 2418, 5463, 1913, 280, 1015, 3113, 2554,
    4841, 4051, 2338, 3130, 1752, 1018, 1700, 475, 3176, 1027, 2168, 2086, 5779, 1280, 330, 3734, 874, 5763, 4729, 2537,
    4452, 119, 4184, 5215, 2488, 5789, 4937, 5901, 18, 517, 4382, 1230, 1255, 2873, 1538, 4663, 4723, 3646, 5337, 3126,
    3643, 176, 2642, 1159, 2745, 4865, 2436, 3711, 4668, 175, 1317, 5533, 1559, 3248, 2082, 2818, 5168, 5510, 2092,
    3985, 5449, 1429, 5961, 1549, 3943, 2603, 4830, 1723, 2718, 1130, 4951, 814, 1898, 4687, 4160, 1513, 3794, 1037,
    4629, 3768, 2399, 3814, 3983, 3399, 3587, 1706, 1456, 1362, 4939, 5328, 2307, 3326, 1154, 4577, 574, 168, 1966,
    5227, 2840, 3776, 3204, 3107, 2484, 1364, 2372, 2392, 5195, 2923, 2048, 444, 484, 3694, 2228, 3955, 2816, 378, 2811,
    3630, 3319, 4339, 1923, 3730, 36, 5382, 2796, 2577, 1397, 1345, 5302, 3259, 3517, 4278, 4127, 3792, 5542, 5297,
    4725, 5496, 1626, 4048, 3258, 218, 2777, 2758, 3157, 4286, 5802, 4302, 4475, 5208, 3315, 5089, 2783, 2000, 5378,
    3575, 2541, 3209, 4212, 3022, 2361, 1295, 2004, 4580, 4732, 3198, 231, 2716, 122, 3200, 5423, 5992, 4707, 92, 2606,
    2977, 5741, 3614, 491, 282, 815, 1815, 572, 5873, 3375, 3390, 4426, 453, 1562, 3724, 1988, 892, 591, 2070, 2472,
    4728, 1982, 2012, 13, 3148, 1917, 748, 4135, 887, 1959, 1631, 4792, 1745, 1487, 356, 5940, 2983, 2594, 2949, 3805,
    1927, 3535, 451, 2597, 4275, 393, 2889, 4101, 2152, 3272, 3710, 1807, 3265, 5317, 3025, 3196, 5959, 4130, 4150, 985,
    3944, 1879, 4503, 1778, 1812, 5430, 245, 2167, 4248, 4036, 4092, 4564, 3673, 2828, 5829, 4948, 154, 2348, 4535,
    5633, 5716, 1499, 2607, 3663, 2450, 2588, 4336, 381, 2445, 770, 5528, 3500, 70, 4960, 1434, 3247, 5203, 998, 5948,
    2593, 5681, 5794, 2169, 2721, 2444, 4312, 3389, 5212, 188, 5454, 3299, 632, 5206, 5464, 1952, 5105, 3480, 4664, 670,
    2270, 1979, 4779, 1578, 3309, 288, 3688, 4591, 2353, 398, 5676, 1648, 2666, 4957, 1004, 285, 2500, 2180, 223, 4567,
    4821, 3219, 4311, 717, 1734, 2766, 1526, 4596, 3439, 5344, 3012, 4072, 866, 4935, 1067, 4259, 4323, 2279, 3674,
    4119, 2837, 3553, 1649, 731, 4124, 1944, 5673, 3959, 468, 1866, 1092, 2098, 1945, 932, 3585, 4090, 1069, 2959, 2706,
    1442, 1773, 1694, 5567, 2047, 1438, 3886, 1390, 4836, 422, 5473, 541, 4458, 5865, 3592, 604, 4418, 5177, 4794, 220,
    1789, 1929, 751, 4709, 5252, 2215, 3124, 1134, 3653, 3430, 3538, 3372, 1417, 44, 3048, 1860, 2637, 584, 3870, 2846,
    2567, 2052, 599, 2696, 752, 4381, 2674, 4650, 5180, 3865, 5906, 4908, 3546, 2847, 2563, 1740, 5098, 5175, 1510, 127,
    2652, 3505, 3222, 4784, 3790, 5052, 5973, 5898, 5689, 2251, 2345, 3752, 4390, 4698, 4067, 793, 3117, 5009, 3837,
    4069, 3830, 2409, 4012, 3552, 1718, 4319, 4438, 1347, 617, 215, 4307, 2771, 5706, 5389, 86, 671, 2530, 3529, 2748,
    2096, 43, 3018, 4760, 5229, 5013, 2446, 384, 1781, 5889, 557, 3610, 560, 4875, 2619, 373, 2293, 4786, 2115, 3602,
    2483, 4450, 2784, 2471, 3758, 2787, 232, 1227, 3425, 2717, 2523, 4481, 5945, 2878, 273, 2739, 2972, 2899, 2650,
    3098, 4198, 5721, 1153, 809, 611, 2773, 1023, 4178, 4575, 4846, 4272, 4317, 2842, 1522, 4669, 2780, 4557, 5824,
    5518, 3471, 5386, 1466, 3977, 4967, 4523, 5653, 170, 5860, 4716, 1618, 5768, 5851, 5627, 2375, 4085, 3128, 3338,
    480, 318, 813, 1715, 1157, 2618, 979, 3767, 4222, 4465, 342, 5115, 3090, 4863, 2246, 1668, 3172, 3892, 5657, 4421,
    5941, 186, 3958, 4346, 2535, 5178, 3065, 4419, 2023, 5071, 4864, 1687, 4376, 395, 1025, 875, 5993, 2121, 5311, 4318,
    839, 5686, 941, 4851, 4613, 4772, 4528, 1646, 2841, 2387, 456, 2097, 1707, 4242, 4849, 2019, 3726, 4514, 1796, 882,
    487, 4545, 1673, 1061, 2937, 5376, 2963, 970, 5399, 2821, 3798, 2050, 2534, 4626, 3994, 5720, 4489, 3785, 2682,
    3136, 4519, 989, 2788, 3276, 3827, 2458, 5656, 4587, 2843, 3284, 5519, 3946, 4157, 1993, 411, 4592, 2298, 4748,
    2337, 4844, 4417, 3828, 4973, 116, 956, 139, 3445, 3201, 5487, 158, 1831, 4011, 4114, 420, 5762, 1469, 5951, 452,
    3411, 5000, 4010, 5983, 2299, 5056, 2155, 5563, 5080, 1210, 3467, 5964, 2993, 5891, 3429, 2426, 4031, 1801, 3308,
    899, 5412, 1846, 3507, 5913, 4656, 2680, 1297, 4708, 5606, 1905, 5380, 3444, 5732, 3030, 112, 4165, 5580, 5838,
    4309, 5055, 3381, 2884, 3034, 3388, 3986, 3266, 1300, 1683, 4934, 63, 1853, 5452, 5287, 4950, 3942, 1515, 5809,
    1548, 332, 3723, 774, 772, 382, 764, 2931, 1310, 5568, 435, 5599, 4383, 1376, 5285, 2296, 1116, 2315, 4639, 1977,
    1615, 1021, 868, 3754, 3890, 3691, 5537, 1325, 5991, 922, 4340, 2294, 1430, 4062, 769, 4213, 1058, 4637
]

VALIDATION_SPLIT = [
    2807, 2644, 1662, 5138, 321, 1674, 3793, 771, 848, 3166, 3002, 2332, 1224, 631, 2895, 2578, 5744, 2453, 1472, 905,
    1532, 4217, 2103, 1481, 3043, 4977, 34, 3112, 5598, 328, 2979, 4927, 1457, 469, 2812, 190, 1514, 227, 3178, 5863,
    2753, 2401, 1914, 1738, 754, 2829, 4825, 5225, 3900, 1847, 2367, 3011, 1164, 16, 2693, 5540, 2893, 3763, 2165, 105,
    4885, 4182, 1588, 2158, 1431, 1333, 4862, 1047, 5552, 5890, 3523, 1930, 4174, 5613, 3268, 2905, 4368, 4354, 5638,
    2522, 4455, 4117, 3996, 4015, 4980, 3186, 1387, 1195, 4442, 5758, 2805, 5814, 1523, 2063, 980, 5188, 1903, 4457,
    1858, 333, 2140, 2363, 4400, 4002, 576, 1257, 2925, 3840, 1834, 3899, 349, 4396, 729, 3992, 5240, 3699, 3483, 2462,
    626, 5854, 1936, 551, 3731, 3967, 2208, 2226, 3665, 5144, 247, 2649, 2735, 4984, 3123, 5120, 3975, 5321, 539, 5842,
    2128, 3289, 4279, 5467, 4348, 5835, 4829, 1448, 1690, 2066, 4181, 1835, 1435, 2998, 3345, 1733, 5370, 3091, 3744,
    2569, 5529, 1799, 3470, 3666, 1351, 5472, 2981, 2636, 4300, 1606, 4043, 757, 3145, 3229, 202, 913, 4497, 5702, 1531,
    5243, 1814, 2833, 3755, 918, 2954, 5619, 3697, 3174, 4163, 3409, 912, 5912, 72, 756, 3438, 2803, 3103, 1049, 5024,
    3692, 4695, 29, 4078, 507, 142, 2767, 33, 1574, 4699, 1239, 1125, 4004, 5712, 3054, 1441, 4589, 5273, 3577, 4204,
    857, 5373, 2336, 4866, 5124, 4976, 3359, 234, 2830, 872, 2302, 401, 3497, 1769, 2313, 5054, 1727, 4482, 1925, 2130,
    1453, 4781, 4202, 5553, 728, 544, 1181, 3780, 3026, 2626, 2343, 3987, 800, 5427, 2615, 2380, 1916, 4331, 1203, 5966,
    1398, 5506, 5756, 2518, 4735, 2477, 4579, 2112, 1421, 1000, 2601, 2659, 4612, 851, 2776, 2244, 408, 2303, 3846,
    3053, 4435, 3008, 1819, 3875, 607, 1389, 4111, 97, 3191, 1029, 385, 1710, 1419, 4887, 3628, 3576, 4832, 4924, 734,
    1832, 1330, 4807, 583, 5679, 2658, 5435, 1612, 1185, 5713, 1231, 4544, 2252, 153, 1016, 1046, 4019, 534, 2948, 299,
    5082, 5166, 2290, 873, 1339, 4717, 102, 3286, 5747, 1987, 3882, 4199, 3775, 2635, 5051, 4907, 5198, 3267, 3251,
    2095, 4108, 443, 5651, 5170, 1792, 4995, 2670, 4387, 5868, 2742, 2464, 3226, 5755, 3173, 235, 5194, 2491, 5207,
    4228, 4404, 4443, 4437, 445, 3256, 5909, 3188, 4107, 3433, 5008, 1292, 5869, 5947, 1943, 25, 325, 1497, 2734, 919,
    4034, 3047, 5579, 1283, 3782, 3397, 1245, 3618, 5260, 95, 4220, 4870, 5690, 2487, 2795, 434, 4479, 2202, 1104, 74,
    1688, 3989, 3084, 258, 471, 2141, 3212, 2945, 4288, 935, 405, 5998, 2106, 4892, 4651, 2885, 3239, 1208, 3379, 2225,
    5839, 2177, 666, 1585, 5340, 4966, 4614, 5989, 2957, 1477, 3127, 2403, 5410, 5522, 1742, 3655, 5420, 39, 3426, 243,
    2800, 2139, 4440, 4287, 1307, 1569, 4347, 633, 2920, 1011, 1780, 4996, 3003, 5615, 2479, 799, 4106, 758, 1553, 4203,
    675, 742, 1268, 4472, 2724, 804, 5933, 3629, 4902, 1878, 5668, 5315, 5366, 2317, 4415, 4161, 3779, 2646, 2935, 5513,
    1371, 5729, 4915, 4816, 2790, 4483, 1821, 2862, 5643, 4563, 5036, 4690, 3449, 5569, 4783, 3659, 3363, 677, 4597,
    1349, 3757, 1409, 1676, 1670, 410, 2809, 3199, 5990, 1897, 687, 3635, 3595, 1475, 936, 5793, 2366, 5769, 5924, 474,
    3216, 1527, 4931, 2640, 1044, 5030, 4679, 180, 842, 479, 5688, 4038, 3350, 5245, 3976, 2836, 178, 5978, 3287, 211,
    5953, 4250, 4751, 4706, 4508, 3027, 3572, 3033, 4988, 3487, 4788, 1554, 2622, 5093, 379, 1948, 3261, 5409, 885,
    3213, 3368, 5066, 1332, 279, 3807, 1490, 5942, 2582, 4118, 1919, 5544, 135, 5361, 3644, 1639, 3328, 4964, 2548,
    3052, 3564, 1393, 2667, 4039, 341, 791, 4477, 1127, 1511, 506, 1890, 5031, 193, 5883, 924, 308, 2686, 706, 2755,
    262, 2786, 391, 4622, 1167, 2369, 45, 5859, 4389, 3821, 4270, 3211, 1368, 3481, 790, 2859, 4921, 2547, 3800, 1580,
    812, 4936, 2950, 367, 2498, 38, 1748, 260, 1099, 412, 4187, 2411, 3607, 3089, 197, 4351, 5398, 1413, 625, 5050,
    2459, 5151, 3443, 2942, 3995, 4888, 5345, 1550, 1010, 886, 4125, 1901, 686, 5969, 3868, 3838, 431, 2956, 4527, 3969,
    4540, 2973, 3418, 5573, 402, 2675, 4449, 1183, 5026, 1637, 3626, 2391, 3194, 3042, 2109, 1248, 2267, 3860, 1488,
    5884, 48, 2193, 4929, 2509, 2075, 3742, 1014, 4005, 248, 5514, 1072, 4940, 5492, 819, 3642, 5314, 2697, 1889, 5807,
    4148, 2218, 4568, 3351, 1935, 2008, 4292, 4027, 1038, 1040, 681, 2876, 554, 5532, 1833, 4549, 1841, 1146, 5815,
    3501, 2259, 4920, 3096, 5999, 3434, 1865, 2204, 3358, 5724, 987, 2262, 1552, 876, 2708, 4414, 4238, 2219, 4576, 707,
    1493, 3816, 152, 5132, 3670, 1508, 5497, 4764, 2195, 1065, 5950, 2194, 4473, 177, 2922, 4420, 5618, 2027, 2058, 301,
    2205, 1436, 526, 911, 467, 893, 2080, 4883, 5039, 4787, 4451, 2654, 5888, 4191, 1020, 3233, 3041, 4975, 4501, 2570,
    4734, 3382, 1753, 4796, 1355, 5484, 80, 4620, 5048, 3377, 5772, 4607, 458, 2222, 240, 552, 319, 5232, 1060, 3857,
    1340, 5012, 3175, 1839, 570, 3304, 261, 277, 822, 4852, 2664, 149, 1084, 3080, 5836, 2964, 1655, 3773, 3294, 5436,
    455, 860, 5979, 3578, 649, 5928, 829, 2598, 1260, 5908, 2746, 5585, 5938, 1502, 2149, 3703, 2182, 2419, 3057, 324,
    902, 5511, 4140, 3327, 2722, 5272, 540, 1219, 217, 3263, 5251, 5418, 4158, 553, 2797, 3705, 549, 5181, 4326, 1603,
    4531, 4141, 417, 3661, 4468, 4071, 3037, 1214, 4754, 1329, 1190, 2211, 246, 1278, 4856, 5818, 5425, 2314, 192, 725,
    4024, 5754, 2377, 5526, 2595, 991, 602, 4610, 3933, 5145, 2613, 3095, 1790, 3496, 586, 964, 5001, 577, 4886, 2214,
    1172, 1059, 5142, 2860, 2255, 5885, 3690, 2759, 942, 1656, 224, 1845, 1861, 3132, 125, 2061, 4768, 3073, 2638, 3494,
    2804, 3424, 5996, 5087, 596, 2900, 1546, 2146, 4789, 0, 4618, 1537, 5429, 2072, 2701, 5250, 4498, 884, 2405, 3160,
    2874, 3895, 290, 2897, 2678, 581, 988, 5086, 4070, 2546, 2074, 3474, 5957, 327, 5904, 4, 82, 3559, 4747, 4226, 2207,
    1305, 3441, 1244, 160, 4227, 1720, 5895, 2131, 4008, 4105, 5077, 1270, 5358, 3820, 3927, 4171, 4274, 5590, 2164,
    1851, 3931, 636, 5694, 4211, 4889, 5407, 948, 4713, 31, 3836, 1489, 3323, 4064, 5197, 436, 3129, 2358, 5092, 5505,
    4356, 925, 656, 1086, 3914, 2892, 4724, 4941, 4769, 2918, 4170
]

TRAINING_SPLIT_PHYSIONET = [2609, 4957, 7591, 5104, 6472, 2695, 924, 619, 5401, 352, 1959, 7489, 1481, 4305, 7227, 3,
                            7179, 4081, 4073, 7298, 6966, 7394, 4655, 5186, 2012, 3388, 5868, 286, 8188, 5696, 7154,
                            310, 6011, 506, 6187, 5516, 2711, 8368, 7088, 2498, 5727, 2981, 3517, 1285, 2582, 689, 4842,
                            5009, 5636, 5239, 6570, 3552, 6376, 7098, 8393, 2363, 5284, 7862, 5434, 366, 2425, 4354,
                            1495, 2807, 6409, 2298, 3125, 69, 3362, 6838, 2125, 4299, 6887, 6062, 2842, 6844, 42, 2636,
                            4902, 1865, 7118, 5950, 4301, 5084, 854, 8424, 5259, 108, 399, 7477, 543, 7152, 2943, 5774,
                            8059, 5278, 6916, 3262, 3597, 4573, 1278, 3671, 2456, 3017, 6457, 7932, 8312, 1778, 4490,
                            4263, 7702, 1419, 5975, 6978, 3870, 5649, 1552, 5250, 3077, 217, 2189, 6751, 3749, 1575,
                            5464, 3139, 1408, 1129, 1856, 10, 1046, 3355, 6604, 5716, 8159, 1060, 7788, 696, 7269, 2160,
                            3301, 7942, 2054, 8506, 5773, 3434, 1297, 8523, 3149, 5541, 2455, 5022, 641, 6578, 2284,
                            2465, 2152, 493, 4469, 620, 1741, 1244, 5967, 1840, 1685, 5874, 5632, 6716, 861, 1900, 8338,
                            1301, 1395, 3943, 2132, 6027, 2224, 2884, 2439, 343, 2729, 1250, 2940, 7707, 4350, 3806,
                            3172, 6276, 1905, 919, 5378, 7614, 4875, 202, 3134, 7806, 6471, 2015, 4091, 5200, 5265,
                            7728, 7277, 6288, 5046, 2349, 7673, 2655, 4224, 2279, 7986, 8298, 5212, 3697, 2995, 3761,
                            2153, 5529, 6340, 4719, 547, 8149, 8251, 748, 6692, 7481, 1188, 2913, 4706, 4439, 4270,
                            3573, 5292, 6378, 7909, 2238, 650, 189, 5437, 7044, 7338, 1845, 6117, 4985, 5796, 252, 243,
                            8406, 6193, 687, 1670, 1335, 8226, 6076, 7534, 8498, 7710, 2413, 2186, 3303, 4856, 1968,
                            1386, 7042, 1420, 7815, 5176, 5118, 4023, 6889, 6230, 4861, 7962, 3972, 1641, 3777, 5573,
                            7567, 6176, 4571, 4067, 8206, 7545, 5725, 3904, 4604, 1708, 2080, 7522, 5920, 4131, 4414,
                            3188, 5188, 2264, 972, 3524, 3984, 4457, 1165, 133, 7186, 7487, 5763, 6252, 2129, 2727, 235,
                            2861, 5772, 5285, 2330, 6123, 1003, 1299, 1316, 7985, 4586, 263, 5570, 1262, 2440, 6455,
                            2509, 2122, 6671, 3475, 7159, 5976, 1945, 275, 2483, 1806, 2168, 3488, 6210, 6980, 2725,
                            6078, 2788, 4087, 2043, 3275, 3170, 5245, 1382, 3693, 227, 7863, 4501, 1108, 7953, 7070,
                            1389, 7047, 3027, 1385, 7729, 8153, 5260, 7434, 2882, 29, 1557, 8345, 0, 8182, 6157, 1710,
                            6458, 6772, 1291, 1537, 3813, 2798, 7476, 4555, 6392, 2751, 6668, 8519, 3304, 4674, 6826,
                            3039, 7447, 7790, 2228, 2994, 6083, 6221, 3792, 3650, 1720, 4307, 4318, 5768, 8453, 724,
                            7531, 4162, 439, 5453, 2115, 1361, 4038, 6863, 3497, 6839, 4612, 7955, 4464, 7516, 634, 910,
                            3110, 8408, 4507, 406, 6744, 5706, 2358, 1560, 2170, 3811, 2444, 7755, 6384, 1538, 3113,
                            7274, 4253, 5167, 7966, 4383, 3144, 3800, 1702, 7991, 5272, 196, 6797, 6757, 6628, 1530,
                            1566, 1163, 1251, 7087, 5256, 5263, 1498, 288, 3103, 1350, 20, 2299, 7248, 566, 8031, 321,
                            3035, 1820, 7987, 8067, 2369, 4352, 2366, 2387, 5595, 2721, 4225, 6794, 7996, 187, 7779,
                            6557, 1572, 4629, 837, 2596, 1166, 336, 2528, 7626, 1929, 2188, 7235, 2380, 5794, 5816,
                            6493, 1354, 5844, 2138, 1429, 3140, 2265, 3370, 5007, 5365, 6367, 3315, 5390, 1081, 3387,
                            1349, 1873, 2685, 1343, 531, 1449, 100, 4995, 6133, 4897, 2275, 7397, 8401, 1223, 7637,
                            1488, 1477, 6749, 1102, 1114, 1054, 1356, 5290, 1621, 6097, 5109, 7532, 7321, 2496, 6845,
                            5479, 942, 3580, 4584, 1918, 2418, 3128, 5132, 3511, 4410, 3667, 274, 5906, 7189, 2269,
                            4381, 4675, 4477, 492, 2809, 7879, 5766, 697, 879, 6135, 5881, 2244, 4216, 3666, 2356, 7543,
                            2812, 2833, 908, 2859, 1140, 7935, 7346, 8346, 2504, 6992, 7180, 7014, 4742, 4050, 7929,
                            5983, 3721, 7096, 5748, 6372, 2423, 2110, 7426, 5624, 925, 7680, 4121, 4852, 5098, 8336,
                            3532, 6368, 3136, 5343, 8465, 1550, 711, 3293, 6860, 1678, 7956, 1689, 8021, 2855, 764,
                            2036, 7924, 1879, 5491, 7961, 281, 3448, 1006, 6231, 309, 6862, 6403, 4905, 6895, 6470,
                            1199, 6081, 2888, 1790, 6872, 456, 2736, 3903, 7163, 7408, 7441, 1704, 2321, 4295, 8018,
                            5870, 6291, 2362, 1026, 1563, 3322, 6065, 2791, 1500, 1998, 4083, 7214, 921, 2341, 701,
                            7007, 814, 5135, 5182, 5162, 2100, 5911, 8347, 3747, 1120, 3468, 2343, 7421, 1930, 4971,
                            568, 2316, 579, 4504, 4394, 8041, 1139, 1863, 4795, 8363, 4192, 2074, 4123, 7127, 3576,
                            7945, 2955, 6417, 2852, 784, 3686, 8043, 3365, 78, 5891, 8105, 6538, 3066, 8440, 5899, 3259,
                            30, 7175, 2145, 7608, 692, 2040, 4596, 5730, 8097, 1062, 7593, 7581, 7146, 2485, 2505, 4015,
                            5958, 4437, 4727, 3457, 4213, 447, 232, 6929, 7923, 7415, 485, 1021, 4112, 4965, 4089, 5220,
                            8239, 8500, 3690, 6168, 1896, 4308, 6783, 3238, 4361, 4406, 1171, 4582, 3133, 5347, 277,
                            4251, 1890, 1048, 4047, 3097, 6906, 8247, 8032, 6946, 2018, 7097, 2225, 1950, 130, 6447,
                            2563, 1470, 3786, 7371, 2392, 6334, 5320, 1511, 2289, 8299, 197, 1712, 3344, 1225, 185,
                            4153, 272, 2261, 7919, 7267, 7530, 4880, 3444, 4487, 6185, 4158, 3079, 6704, 3510, 1264,
                            4430, 7561, 5926, 5973, 6915, 8225, 2315, 1835, 1185, 4272, 3718, 2719, 1715, 3298, 6380,
                            6007, 4419, 5307, 5980, 8404, 5461, 6796, 104, 345, 3086, 575, 3582, 2932, 7092, 3724, 4809,
                            7992, 7601, 5000, 4872, 6848, 3589, 5882, 2031, 901, 3337, 2458, 6052, 3485, 5509, 3028,
                            2971, 4298, 2120, 2651, 4617, 7117, 6786, 5997, 179, 777, 677, 5063, 1393, 864, 2401, 7099,
                            6374, 1475, 4911, 3855, 4723, 3109, 7526, 8259, 2398, 1860, 1526, 2953, 4317, 5102, 7662,
                            6054, 4034, 5861, 6730, 1510, 6718, 3852, 4402, 7168, 535, 8524, 1238, 5518, 138, 7918,
                            2742, 4920, 2697, 2390, 2618, 2420, 2177, 3089, 554, 5158, 6154, 1999, 3129, 8475, 6517,
                            2450, 2079, 4567, 6507, 6879, 4714, 5940, 4163, 7734, 3766, 3831, 7188, 1661, 1368, 6827,
                            4883, 3021, 5698, 5071, 2400, 2550, 2739, 3836, 1580, 718, 5534, 3664, 1215, 8349, 3615,
                            3521, 926, 5579, 1183, 55, 4569, 8165, 4407, 165, 2573, 3096, 7884, 6703, 4561, 5280, 3016,
                            729, 4259, 2215, 570, 4343, 3674, 5898, 2858, 7265, 7399, 973, 1363, 8284, 909, 3078, 4077,
                            8342, 776, 1940, 3474, 4844, 1444, 5303, 5214, 6477, 5367, 8386, 4779, 2610, 4155, 4729,
                            1858, 1832, 7981, 4392, 929, 1857, 6644, 6509, 5156, 946, 2468, 4404, 3986, 4275, 5352,
                            3645, 3999, 5153, 6390, 4579, 3233, 4823, 426, 967, 4690, 2098, 3070, 7613, 4488, 8443,
                            2367, 5113, 5641, 1425, 8445, 3974, 7627, 306, 6639, 7605, 3230, 6362, 3956, 6785, 1189,
                            1875, 5351, 2424, 1326, 1834, 1229, 6545, 8211, 7222, 533, 159, 1193, 1037, 5219, 5680,
                            3635, 1585, 2531, 7541, 8370, 7253, 4533, 5953, 7170, 3242, 5134, 3345, 4182, 2593, 844,
                            4175, 6679, 6225, 4395, 161, 3759, 594, 4451, 3258, 2266, 7297, 2578, 1849, 631, 2551, 3441,
                            3408, 3167, 7452, 5671, 7866, 5947, 5141, 4425, 4935, 3477, 8431, 6088, 2532, 1760, 3805,
                            6736, 3882, 1340, 5817, 6267, 4671, 5031, 6364, 6236, 6514, 4226, 7993, 7008, 7435, 6755,
                            807, 5452, 585, 8468, 4759, 4169, 5767, 4576, 6361, 7736, 6902, 2720, 3590, 2196, 7994,
                            2092, 3872, 1966, 7667, 5800, 7539, 1632, 1208, 3041, 1098, 6328, 6693, 2218, 8410, 2524,
                            2743, 6896, 5508, 5275, 829, 3809, 2227, 6543, 8278, 7719, 6790, 8078, 4721, 1814, 6279,
                            5747, 6233, 7187, 5123, 2584, 291, 3601, 8409, 4329, 2167, 4199, 4211, 4313, 1406, 5208,
                            6919, 84, 6949, 3083, 8285, 4888, 1008, 1833, 7835, 902, 2007, 2184, 8415, 2379, 1414, 846,
                            6613, 3575, 229, 5513, 1192, 1746, 7458, 5995, 3678, 636, 7622, 4998, 1439, 8111, 1792,
                            6481, 226, 369, 2878, 7002, 2804, 2300, 2082, 220, 6196, 3795, 2180, 1734, 1601, 4654, 6370,
                            5478, 3868, 4974, 5383, 6739, 2760, 950, 3158, 4693, 1987, 7303, 16, 4003, 5955, 2002, 1658,
                            4444, 6214, 8282, 1296, 1421, 4839, 5302, 1541, 1126, 7319, 5642, 5524, 6698, 2311, 3728,
                            1636, 3592, 8147, 1831, 4473, 3889, 771, 1432, 8237, 6774, 8093, 700, 2241, 2008, 4184,
                            1378, 2166, 1381, 4731, 7266, 3772, 87, 7416, 7454, 1435, 1486, 4892, 6136, 6812, 6058,
                            4534, 8124, 597, 3632, 8172, 1269, 961, 7799, 1990, 3220, 6412, 3908, 1615, 6824, 1698,
                            2588, 4052, 5933, 1523, 4142, 6114, 7239, 1459, 6936, 615, 917, 7537, 4009, 7283, 4994,
                            1684, 3545, 6563, 1727, 5500, 2539, 5751, 1925, 7364, 2875, 2745, 6807, 2109, 8510, 2075,
                            3641, 4895, 6099, 3266, 6868, 158, 4274, 6217, 8108, 825, 7196, 4776, 7512, 7219, 2954,
                            7666, 5556, 6200, 5549, 8433, 788, 124, 2642, 5658, 4279, 1517, 7926, 3626, 5159, 6483,
                            1019, 1983, 4109, 390, 1699, 1850, 2648, 2028, 998, 7584, 60, 4598, 5528, 1469, 99, 221,
                            7839, 7800, 364, 5103, 1529, 6391, 6494, 8175, 5770, 6667, 8454, 6095, 477, 5825, 1974,
                            5257, 2017, 6731, 6248, 4246, 1210, 2070, 7557, 859, 1035, 2430, 2915, 1515, 7404, 3932,
                            3591, 7556, 2285, 2747, 3555, 5443, 2633, 6365, 5191, 1347, 7904, 1235, 5040, 4848, 923,
                            3159, 2726, 6995, 3551, 1769, 7203, 3124, 1660, 4750, 7870, 1087, 7604, 4133, 871, 6319,
                            2754, 4389, 2559, 4745, 3214, 2982, 157, 6402, 6625, 1906, 322, 820, 6238, 2632, 1239, 4387,
                            1482, 8398, 8527, 7583, 3466, 7255, 2277, 1776, 6118, 664, 6211, 3181, 3694, 141, 8279,
                            2576, 6580, 2346, 4500, 1590, 4611, 5482, 2471, 5471, 3187, 8169, 5721, 1203, 6655, 1951,
                            6551, 4816, 355, 6874, 4601, 4364, 3051, 7688, 2984, 6497, 8482, 476, 7342, 4417, 5913,
                            6112, 1160, 4039, 405, 5161, 428, 5960, 7438, 3189, 2500, 839, 6678, 2713, 1090, 5012, 1634,
                            4581, 613, 6566, 4812, 1859, 2591, 7528, 7930, 3712, 6192, 3937, 957, 6768, 1116, 8204,
                            7113, 1520, 7478, 4209, 2090, 2800, 5481, 8019, 3640, 7928, 8361, 3893, 5590, 5203, 7890,
                            4817, 8352, 3622, 4570, 7286, 4119, 5319, 7509, 7430, 7655, 4452, 5115, 767, 6284, 7767,
                            3313, 6782, 1617, 2666, 8294, 632, 8491, 7689, 8396, 5155, 7417, 3920, 2267, 5323, 35, 4152,
                            2592, 2806, 3886, 6050, 7562, 4360, 4964, 2408, 6620, 6568, 1370, 5600, 4159, 6165, 7360,
                            515, 4323, 7164, 2470, 2553, 7595, 7711, 4431, 2087, 5446, 8334, 6342, 3896, 2140, 3540,
                            3081, 1253, 2172, 951, 4201, 4334, 8467, 3826, 7376, 7344, 614, 3791, 6705, 7675, 4669,
                            6562, 8507, 8186, 5630, 6886, 7610, 1514, 5416, 5047, 5778, 2823, 6598, 5627, 5922, 296,
                            8275, 3254, 4045, 8418, 4807, 7905, 3895, 5876, 7693, 114, 600, 6495, 2978, 2364, 5035, 550,
                            5218, 5448, 3252, 4928, 4286, 2303, 646, 7750, 4438, 4791, 1604, 4075, 3530, 3082, 7313,
                            8360, 6189, 8103, 7251, 7385, 4486, 4421, 6997, 2572, 8058, 5091, 4709, 2096, 3029, 5892,
                            6669, 4194, 4618, 5197, 542, 164, 5126, 1892, 5611, 5850, 6122, 5065, 5810, 651, 461, 3176,
                            3446, 3117, 3706, 3837, 7309, 6969, 1711, 2155, 6799, 3924, 3579, 5999, 4063, 7682, 254,
                            2353, 3169, 6983, 5559, 7285, 934, 6089, 7654, 5961, 8400, 8317, 2660, 8028, 381, 5726,
                            4027, 2525, 2113, 3267, 2829, 2616, 4203, 2781, 893, 1558, 867, 7594, 1007, 2863, 7049,
                            3612, 6715, 6762, 4365, 3245, 1802, 3053, 6416, 7024, 8133, 3663, 4889, 7578, 7944, 6441,
                            8372, 5444, 3616, 5617, 8012, 95, 1676, 265, 6401, 1394, 1263, 3195, 6930, 354, 8180, 1701,
                            6330, 870, 1838, 2513, 1971, 975, 7829, 5501, 4663, 8388, 7952, 7232, 7684, 2419, 3910,
                            7519, 6293, 5919, 4542, 7751, 2547, 5181, 1292, 6433, 581, 5552, 2256, 6130, 5398, 4522,
                            6918, 8469, 7448, 6811, 6116, 6729, 979, 7362, 432, 3998, 5468, 4049, 1686, 5760, 4483,
                            7822, 7978, 61, 3328, 8419, 5540, 1804, 2814, 5273, 4288, 2613, 611, 1321, 892, 4789, 2208,
                            7546, 4687, 2239, 430, 7289, 7540, 4679, 5210, 5692, 8428, 2131, 783, 8076, 3394, 7190,
                            5092, 1606, 5454, 4380, 6047, 4332, 660, 4315, 1339, 8321, 5670, 6048, 4088, 6996, 6531,
                            4866, 930, 8265, 2141, 4122, 5081, 6180, 2011, 1499, 7178, 7517, 1367, 1553, 7636, 5982,
                            7414, 475, 758, 6645, 6162, 5164, 6490, 6141, 3563, 5206, 3102, 6068, 7553, 2063, 7465,
                            4799, 602, 1391, 2624, 1176, 2068, 1314, 2124, 7018, 3171, 6169, 261, 5069, 436, 6137, 2614,
                            2910, 2058, 7969, 4035, 1159, 1536, 498, 1988, 2221, 2034, 74, 1257, 2457, 7287, 7899, 2199,
                            2490, 4933, 6333, 7301, 7602, 1954, 2709, 4950, 7698, 8328, 3508, 6110, 3384, 1647, 7294,
                            1402, 2969, 7938, 3249, 999, 2619, 8423, 5487, 4177, 3898, 1260, 8274, 3204, 8253, 6113,
                            1851, 362, 4528, 5133, 4660, 4871, 8113, 2200, 5013, 5051, 3888, 666, 875, 3954, 3049, 2376,
                            6856, 7763, 402, 1798, 86, 4032, 3015, 5683, 2178, 5554, 4893, 7382, 2782, 7134, 1745, 4925,
                            2514, 5385, 4467, 7254, 6275, 3467, 511, 5333, 5869, 4597, 2734, 1664, 3197, 6526, 6014,
                            5419, 1719, 6254, 5112, 4873, 6701, 1761, 1351, 7833, 3350, 880, 8480, 2821, 6425, 960,
                            4926, 4261, 4568, 5276, 918, 5426, 4277, 3305, 1219, 7439, 7132, 4355, 5935, 4626, 2886,
                            3116, 494, 3229, 5985, 6484, 2865, 3280, 5777, 3046, 1355, 643, 3734, 1197, 5994, 5421,
                            4885, 8293, 1359, 4623, 8196, 6817, 5807, 474, 7524, 5712, 7676, 1430, 8449, 1981, 8489,
                            2623, 6242, 4520, 7722, 5445, 721, 5546, 103, 4634, 6608, 2554, 5171, 14, 2611, 1030, 4280,
                            6850, 2059, 6541, 572, 1015, 4851, 5533, 4737, 3476, 7640, 3753, 3094, 3317, 5389, 3178,
                            3480, 6045, 5723, 6503, 5923, 1220, 890, 2674, 659, 6659, 5519, 206, 936, 3611, 26, 1404,
                            792, 4244, 7670, 8292, 3409, 715, 116, 7824, 1443, 2836, 5064, 2774, 365, 6685, 4820, 5235,
                            6670, 5588, 2974, 962, 536, 4427, 8493, 1304, 798, 8077, 204, 2402, 5803, 6732, 2647, 7615,
                            6831, 3905, 3684, 7095, 1904, 2073, 6215, 1173, 1279, 7229, 6795, 6352, 2216, 304, 5217,
                            7111, 3528, 8155, 5138, 7405, 6597, 3348, 7462, 4580, 7611, 245, 2683, 1887, 238, 7471,
                            6429, 5987, 5204, 2715, 6290, 582, 7943, 4876, 992, 7307, 2411, 6213, 5342, 6463, 6837, 216,
                            4101, 6309, 4627, 8229, 2384, 4532, 4955, 978, 2213, 1437, 2950, 670, 3610, 6600, 1147,
                            4016, 5375, 8517, 1594, 7304, 4802, 5542, 1546, 145, 4936, 1709, 7872, 8288, 7536, 3877,
                            8260, 6474, 3787, 6181, 4793, 6672, 2976, 5557, 7278, 1004, 1317, 7354, 8394, 4257, 2960,
                            1836, 8487, 3353, 5699, 7193, 2668, 223, 8087, 363, 3250, 705, 1756, 5902, 2989, 5580, 4587,
                            7369, 1177, 5739, 5756, 1418, 7357, 868, 3486, 1551, 3269, 2663, 3680, 4284, 1383, 7880,
                            4079, 775, 6875, 5424, 8220, 5619, 454, 5360, 6511, 2183, 655, 2378, 7726, 7498, 1454, 8295,
                            6142, 5363, 1609, 1946, 7331, 6584, 4954, 7658, 4859, 1013, 3289, 6530, 2717, 5887, 3675,
                            1018, 1960, 2436, 2319, 2927, 3867, 121, 8026, 6956, 7856, 1365, 2187, 5996, 1423, 2968,
                            6789, 3179, 6298, 2938, 817, 3048, 3479, 59, 7607, 3374, 4953, 5594, 7521, 7577, 6616, 6976,
                            6310, 7846, 2517, 5174, 1249, 1426, 4808, 2053, 5786, 8417, 5305, 5001, 5404, 2933, 4135,
                            4076, 6904, 419, 3268, 7501, 6177, 5612, 667, 4736, 6747, 6892, 2049, 5168, 1657, 6301,
                            6893, 7775, 2750, 2010, 7149, 7116, 2397, 3156, 5547, 4147, 2840, 1595, 735, 8095, 567, 41,
                            3501, 1691, 56, 2146, 8483, 5294, 1352, 3398, 7329, 307, 5267, 2111, 240, 6450, 2817, 7887,
                            3608, 759, 3919, 3842, 5415, 5010, 5395, 4140, 1598, 8030, 4492, 429, 1542, 1373, 4170,
                            2704, 4000, 1662, 1568, 6830, 8202, 6629, 8434, 6972, 271, 858, 4126, 5127, 1493, 2454,
                            1284, 6614, 3773, 2305, 8463, 6945, 443, 1107, 6939, 3221, 8257, 5281, 8263, 2312, 4462,
                            2472, 5582, 3363, 8267, 8194, 845, 4702, 637, 257, 2557, 7122, 831, 8335, 4036, 8094, 8074,
                            4146, 6891, 5295, 7173, 6573, 622, 106, 7826, 842, 5650, 835, 7100, 8072, 4074, 5459, 3916,
                            8402, 7133, 7129, 1077, 5427, 3655, 5337, 4886, 4012, 1230, 968, 5700, 2342, 4267, 7742,
                            1573, 684, 2902, 5578, 1283, 8273, 5274, 3983, 6787, 97, 4017, 5702, 6925, 6881, 3715, 4193,
                            1473, 4787, 7628, 4540, 305, 6539, 2344, 1246, 6323, 8316, 6994, 6642, 7681, 3473, 6234,
                            6664, 2862, 8009, 2219, 8203, 7221, 6630, 6917, 3431, 1330, 4002, 3393, 4716, 1807, 2222,
                            2185, 3587, 1625, 4478, 3292, 6140, 6415, 90, 5027, 3235, 370, 7003, 3288, 2427, 4384, 71,
                            7325, 756, 6257, 1218, 5510, 2307, 4358, 5629, 8145, 6086, 6833, 4630, 2714, 219, 6395, 913,
                            8168, 7108, 7195, 6607, 2360, 1076, 2752, 5018, 6155, 3008, 4125, 2325, 736, 6851, 1441,
                            2297, 4183, 7492, 1721, 7820, 2466, 7453, 4658, 7748, 3927, 2922, 1577, 1554, 203, 6764,
                            1622, 6173, 4020, 800, 1747, 6877, 8337, 2867, 1305, 5713, 1876, 4212, 896, 3447, 1797,
                            3464, 954, 1826, 4847, 7121, 5430, 5871, 8497, 7366, 4078, 6036, 5884, 1053, 8242, 1428,
                            4510, 1083, 5787, 7200, 2556, 4338, 8209, 5114, 812, 5638, 3227, 990, 5038, 4489, 1483,
                            7709, 4460, 1926, 7257, 1695, 3673, 3878, 5150, 6876, 751, 6650, 6399, 8318, 548, 5472,
                            2784, 2694, 401, 504, 1410, 5900, 6294, 388, 5326, 4951, 2391, 3436, 54, 3976, 8162, 2620,
                            5014, 3399, 1236, 7648, 3380, 1109, 1093, 191, 8297, 8023, 6561, 4432, 8322, 4918, 5402,
                            7358, 7352, 3595, 6033, 6053, 7743, 7643, 1915, 4695, 4825, 509, 8422, 6836, 1079, 688,
                            2240, 2590, 8101, 3746, 4502, 2057, 7256, 4835, 4245, 3483, 5749, 5674, 3884, 3567, 1417,
                            1078, 1652, 5058, 6884, 6207, 2891, 316, 4341, 3756, 7226, 4139, 5505, 8280, 1287, 6564,
                            7207, 1256, 6146, 172, 8248, 173, 6970, 222, 273, 1995, 1412, 8486, 6265, 190, 1096, 5801,
                            6019, 384, 3705, 2370, 1777, 8100, 7075, 7104, 3531, 2777, 2835, 4536, 5008, 4065, 1222,
                            8481, 6527, 2748, 3897, 1811, 4600, 8119, 862, 6653, 6586, 4180, 8324, 4615, 5928, 327,
                            2693, 7758, 2329, 605, 3990, 2967, 5240, 4653, 4231, 3828, 4172, 1984, 4149, 8303, 6224,
                            408, 4375, 691, 7855, 1783, 3554, 2255, 5076, 2328, 420, 2802, 452, 198, 2060, 3200, 1822,
                            5024, 7409, 8348, 5052, 6742, 4283, 653, 8112, 5646, 943, 2479, 7555, 549, 1844, 2429, 7446,
                            414, 1241, 260, 5832, 4004, 5226, 5261, 128, 4342, 6813, 6064, 6689, 4987, 8197, 4333, 8359,
                            3862, 40, 2334, 1927, 6325, 7947, 4878, 7125, 3823, 6556, 4248, 3296, 7161, 4028, 4726,
                            7444, 1265, 7718, 2171, 5530, 5301, 1626, 6487, 8110, 2077, 4173, 4909, 4784, 8319, 8040,
                            4757, 5304, 3656, 7652, 1051, 7861, 1524, 2733, 6253, 5377, 6040, 8083, 2464, 4223, 6111,
                            6469, 5474, 81, 5034, 1320, 7197, 8364, 3025, 6554, 5978, 7777, 2235, 3931, 4312, 2013,
                            2705, 8391, 19, 828, 6410, 5852, 7085, 955, 207, 1342, 5846, 830, 3793, 761, 6681, 2691,
                            2824, 1952, 3846, 6160, 1311, 4547, 7495, 2175, 2606, 289, 7694, 2712, 2775, 2104, 3624,
                            1825, 4683, 1247, 2426, 6926, 258, 1716, 3915, 4240, 3462, 6240, 2746, 7123, 4609, 1703,
                            7940, 1854, 4781, 3729, 4863, 4574, 8308, 7312, 2894, 7885, 4941, 2229, 6029, 2084, 7259,
                            3121, 5545, 3883, 7367, 3925, 2987, 8034, 5286, 6132, 5758, 359, 8436, 3727, 8117, 1914,
                            3141, 3319, 6006, 6228, 8356, 1179, 4321, 6651, 6761, 1819, 6587, 2259, 4665, 451, 6066,
                            2476, 1877, 853, 2510, 1205, 1986, 1456, 4374, 1810, 6138, 6339, 2350, 4527, 1480, 2127,
                            876, 3091, 2324, 5488, 1056, 5125, 1533, 2000, 4449, 6427, 799, 318, 3065, 8044, 3816, 8039,
                            852, 5417, 8045, 6020, 7687, 4765, 996, 5662, 4619, 8099, 8369, 4236, 3194, 4497, 3760,
                            8055, 1451, 3416, 1310, 855, 5252, 5354, 7548, 148, 716, 6341, 8256, 3803, 3676, 1589, 3168,
                            6462, 6000, 2461, 3297, 7387, 2536, 7336, 3460, 7980, 6281, 4631, 7482, 7145, 7467, 8080,
                            3373, 5879, 2359, 5661, 5408, 4830, 1815, 731, 4797, 2495, 6769, 2622, 2542, 591, 627, 1130,
                            6324, 5207, 339, 200, 856, 5840, 1274, 1681, 5775, 7009, 928, 3216, 347, 1673, 7406, 3726,
                            308, 7960, 5959, 467, 2515, 4585, 2492, 479, 3379, 4371, 4161, 8353, 6002, 3798, 1583, 4324,
                            1411, 2508, 5440, 1677, 1668, 8068, 5651, 5608, 7542, 7135, 6127, 6631, 6226, 7144, 7359,
                            282, 7491, 3654, 6074, 7965, 241, 68, 4024, 3004, 5096, 225, 8311, 2925, 5847, 6277, 7010,
                            4931, 1789, 6733, 6753, 6347, 3022, 8452, 5317, 8515, 4758, 7258, 453, 7970, 1705, 4908,
                            8174, 1336, 6480, 4325, 4710, 126, 3377, 6508, 2919, 6899, 92, 2527, 2779, 4661, 7076, 5225,
                            7908, 4891, 17, 5977, 446, 7723, 6440, 5057, 1337, 7705, 3152, 1683, 4043, 6752, 8234, 1539,
                            3336, 22, 4054, 1780, 7460, 551, 8126, 98, 5804, 3404, 2072, 4250, 3354, 5729, 5223, 4290,
                            3019, 7941, 7353, 6128, 6100, 714, 7677, 6673, 6452, 7437, 6686, 2103, 6754, 2903, 804,
                            3054, 5484, 380, 741, 1623, 3425, 6658, 6814, 4080, 2078, 4014, 313, 2879, 7068, 6702, 1535,
                            6649, 2617, 4071, 6932, 1069, 351, 6593, 4557, 886, 939, 1605, 7499, 3926, 7202, 6406, 1581,
                            1693, 2033, 3492, 5931, 2710, 3299, 5672, 7635, 8116, 7678, 3700, 5694, 8109, 2744, 1374,
                            6951, 3953, 8461, 3607, 2700, 663, 6985, 874, 1829, 4482, 6549, 144, 2403, 8425, 2985, 6096,
                            5815, 5195, 3310, 5033, 2603, 1555, 153, 6435, 6823, 199, 803, 3420, 4207, 438, 654, 1387,
                            7897, 4738, 4011, 8233, 6106, 3193, 2326, 3014, 3100, 3662, 5179, 142, 7889, 6183, 6408,
                            3123, 1091, 1522, 1779, 278, 7450, 7261, 1532, 4098, 6430, 3175, 851, 3469, 740, 2731, 3445,
                            3340, 2957, 5857, 8333, 744, 5004, 2482, 1461, 5717, 5309, 5044, 4980, 7922, 2770, 6581,
                            3717, 3568, 4188, 3327, 1104, 3369, 7330, 558, 935, 4110, 5382, 4230, 2368, 7223, 2583, 346,
                            1624, 2105, 681, 7753, 4818, 7817, 5511, 3739, 1961, 5376, 3880, 8389, 598, 2446, 7903,
                            2272, 2003, 7252, 4989, 6865, 3892, 7162, 4008, 6018, 1793, 1039, 2165, 8185, 6266, 6533,
                            5733, 5043, 5322, 6037, 5885, 7245, 2137, 3714, 6928, 7977, 4864, 2790, 4189, 5685, 2320,
                            3273, 1341, 2154, 7461, 5137, 118, 5814, 869, 6063, 7641, 3472, 8130, 900, 6467, 7783, 1728,
                            7886, 1315, 1722, 4552, 4366, 4990, 6268, 1125, 6456, 2856, 7797, 6738, 2580, 1841, 7201,
                            8331, 247, 5838, 6393, 5821, 5856, 8420, 7549, 5066, 2345, 1308, 6413, 3075, 293, 8146,
                            7651, 1023, 160, 3827, 6524, 4282, 1885, 4237, 5316, 4044, 5253, 2871, 6711, 7388, 64, 5447,
                            6272, 3449, 5380, 3263, 4713, 7749, 2136, 2308, 529, 1559, 3282, 5917, 4666, 5655, 8378,
                            7147, 4728, 2287, 6622, 5732, 4471, 4127, 3985, 3396, 2665, 1280, 2278, 1597, 7078, 7830,
                            6641, 769, 4029, 3790, 326, 2489, 7440, 5268, 4978, 3947, 2657, 7990, 7844, 5522, 367, 3450,
                            2006, 3067, 3631, 5618, 1106, 545, 3529, 1156, 7738, 3018, 7803, 166, 7703, 8502, 5493,
                            2182, 2579, 1094, 1362, 8350, 6921, 2290, 763, 1653, 5028, 3834, 6590, 1788, 6775, 1527,
                            4435, 1848, 4356, 3300, 7691, 52, 1196, 5393, 8071, 1338, 6222, 7745, 2872, 8272, 5306,
                            5993, 1142, 5946, 3672, 565, 1273, 353, 4208, 986, 6041, 5328, 4496, 7892, 3120, 6235, 6459,
                            1427, 717, 2664, 4724, 7744, 7060, 2503, 481, 6034, 5679, 3011, 4260, 8509, 7089, 413, 5122,
                            4753, 5914, 3525, 4764, 7668, 2372, 6558, 4411, 3183, 1372, 5017, 7647, 4550, 6727, 6937,
                            2529, 2099, 4412, 6350, 7292, 7616, 4903, 5678, 3352, 4538, 537, 3799, 1233, 6093, 574,
                            1346, 6075, 1136, 5634, 3628, 2348, 1025, 5480, 3162, 2621, 8485, 4388, 8520, 1516, 3073,
                            4472, 3776, 3342, 1014, 1883, 3491, 5458, 8005, 7589, 1202, 7432, 3001, 5147, 5300, 3329,
                            1259, 3218, 5490, 4621, 3490, 7270, 2999, 1928, 6763, 2907, 1955, 6534, 5568, 1874, 5418,
                            7785, 5450, 4468, 6601, 2931, 1639, 2755, 3843, 7328, 4456, 8430, 6734, 2179, 2, 1882, 8304,
                            2737, 1216, 1327, 3052, 6244, 7766, 840, 4904, 3778, 28, 3376, 8374, 5572, 244, 2449, 6523,
                            5858, 4946, 8008, 2905, 5432, 5574, 5202, 6174, 7911, 3948, 5221, 2849, 4788, 497, 3368,
                            4403, 8326, 818, 2374, 2020, 5391, 5077, 2801, 513, 6451, 8376, 4401, 7368, 3775, 6998,
                            5131, 6496, 3427, 7110, 916, 1656, 4048, 7225, 3556, 4097, 2056, 6741, 3738, 3961, 4988,
                            819, 2459, 7515, 1786, 8432, 7865, 123, 186, 4628, 4037, 811, 5714, 7999, 295, 3406, 4206,
                            5826, 7449, 7917, 6182, 1717, 7051, 2897, 2174, 5956, 1839, 4026, 8270, 4455, 1329, 1086,
                            2601, 5209, 3941, 805, 1565, 5908, 5436, 5325, 6397, 6779, 1298, 4686, 5, 8464, 802, 5277,
                            4717, 3147, 6150, 7898, 1549, 4967, 7015, 4094, 1436, 5949, 3758, 1519, 2274, 7384, 3095,
                            8015, 2787, 671, 1457, 8096, 4949, 5759, 455, 6663, 3098, 8088, 303, 6829, 806, 1768, 6030,
                            7772, 7107, 4592, 3769, 5762, 3763, 5465, 1643, 8427, 7598, 1645, 6940, 693, 6377, 7264,
                            2062, 2828, 3944, 6938, 2941, 2565, 3829, 884, 2868, 1318, 7828, 4982, 2803, 2762, 7374,
                            8301, 645, 6713, 3583, 2983, 1871, 1057, 5654, 3264, 694, 5394, 2123, 6748, 7525, 2975,
                            6482, 1528, 4293, 1733, 4997, 4577, 298, 3723, 6934, 5266, 4292, 1729, 7621, 774, 50, 2605,
                            6880, 6864, 5937, 6676, 2918, 4651, 1501, 4351, 2847, 2207, 2351, 3853, 6871, 5100, 6420,
                            1669, 739, 3360, 6428, 6145, 4556, 1075, 2337, 6962, 5586, 256, 2331, 1307, 2148, 5451,
                            3150, 1582, 170, 1648, 5279, 2749, 8091, 4614, 1675, 7877, 5082, 162, 8287, 826, 3604, 1976,
                            5711, 4901, 1801, 301, 2042, 3593, 7685, 4465, 425, 4187, 3005, 2877, 5741, 7339, 6094,
                            3493, 2268, 4359, 5373, 1633, 1989, 4524, 1158, 2417, 8047, 1808, 5563, 4977, 8122, 2628,
                            3429, 6967, 7160, 569, 3276, 8085, 3549, 4944, 2688, 5720, 3463, 1640, 5543, 311, 4910,
                            5055, 6259, 5962, 2023, 7086, 6913, 635, 3731, 7034, 1556, 4838, 7832, 2911, 1213, 297, 649,
                            4708, 3023, 720, 7857, 6927, 3145, 5565, 1036, 335, 3191, 4448, 2530, 4336, 2340, 4118,
                            1148, 176, 6327, 1891, 6594, 8033, 559, 6198, 8261, 2827, 2561, 8329, 1375, 2169, 3653,
                            5631, 5765, 8476, 264, 3789, 8438, 7657, 8426, 1073, 4281, 8459, 4227, 8082, 3040, 6321,
                            1730, 287, 2896, 4138, 8208, 5653, 3283, 7920, 737, 3402, 8501, 6808, 1169, 6343, 502, 985,
                            7974, 3226, 7811, 3969, 5228, 7407, 709, 5752, 3392, 6032, 5143, 5079, 2813, 1132, 1468,
                            555, 4983, 6635, 4984, 7983, 8163, 2252, 6197, 2270, 7814, 1045, 7365, 5486, 5744, 47, 7148,
                            6537, 1000, 5872, 5429, 7642, 8314, 3410, 5270, 3131, 3386, 7746, 949, 7995, 2220, 113,
                            5550, 4833, 3965, 4191, 6005, 4254, 3208, 466, 526, 3620, 2126, 8143, 1276, 1167, 3184,
                            3936, 5400, 246, 1758, 3093, 707, 1416, 621, 5855, 4899, 1725, 3332, 5647, 5097, 8250, 2112,
                            7300, 5088, 5761, 2114, 7882, 2586, 109, 1750, 5297, 6286, 5598, 6432, 6009, 3153, 7618,
                            3719, 1105, 7669, 5497, 400, 3907, 5387, 7699, 5108, 285, 8035, 5792, 7910, 7796, 6643,
                            1630, 6522, 1227, 178, 7843, 2258, 7906, 4849, 516, 8205, 6199, 1409, 3316, 7606, 6878,
                            3962, 2451, 1358, 3569, 2448, 2310, 324, 1637, 2864, 4031, 5905, 4870, 2415, 2432, 8323,
                            7634, 6249, 3186, 8375, 415, 6953, 6510, 7105, 3849, 6897, 7697, 4357, 2681, 6708, 4544,
                            4025, 188, 4782, 6103, 1985, 1561, 7021, 6422, 8302, 4056, 7959, 2251, 3372, 7883, 3279,
                            4368, 4479, 3452, 7413, 4086, 7575, 2540, 912, 2757, 3692, 6024, 2966, 6982, 3698, 1979, 63,
                            6001, 4408, 4798, 3938, 5539, 3928, 8351, 201, 7874, 3982, 3043, 7894, 4640, 2295, 3489,
                            2377, 6963, 5936, 1212, 2365, 8496, 5910, 1899, 1312, 2347, 3533, 7632, 5784, 2935, 616,
                            3351, 5930, 7713, 4059, 6621, 4154, 7731, 7665, 4643, 444, 6674, 1052, 7951, 1894, 521,
                            6518, 3330, 5315, 5224, 5198, 1861, 5722, 2045, 530, 7510, 4699, 7573, 2161, 538, 2381,
                            1184, 4771, 5296, 4837, 4007, 3973, 589, 2157, 4470, 2870, 8176, 4480, 5350, 7183, 1463,
                            2102, 1592, 5781, 3225, 6107, 2951, 1396, 2892, 1736, 2065, 3347, 4991, 7954, 3180, 5473,
                            6098, 4243, 2234, 4890, 3199, 1682, 1049, 3934, 6491, 3696, 7290, 218, 4790, 1909, 2336,
                            6758, 6375, 337, 5523, 3306, 5779, 2670, 3241, 1024, 5903, 495, 93, 1332, 4459, 5555, 4794,
                            4046, 2475, 6728, 1255, 6873, 8170, 2522, 210, 1805, 3356, 6232, 5089, 4952, 8158, 3602,
                            518, 719, 7973, 96, 2672, 6442, 1936, 1152, 2652, 2808, 796, 5639, 6778, 7412, 6908, 3206,
                            1068, 7318, 5601, 4829, 3520, 5299, 6638, 945, 6049, 8171, 6536, 5684, 6120, 2327, 4959,
                            7431, 5388, 6017, 6172, 6592, 4186, 3807, 4103, 4858, 4652, 154, 7507, 1009, 6960, 3020,
                            4385, 150, 4222, 6102, 3312, 7423, 325, 1907, 3958, 3247, 8232, 7291, 4386, 888, 2741, 8073,
                            5172, 259, 2067, 6119, 6143, 8036, 5640, 3847, 981, 411, 1763, 6404, 1448, 1143, 6190, 7142,
                            2627, 7737, 8258, 5664, 3163, 496, 5187, 3092, 6609, 5635, 5251, 2958, 5575, 8195, 877,
                            3710, 3713, 5073, 2818, 4285, 662, 8050, 5105, 4454, 215, 2210, 7871, 5258, 7032, 1248,
                            2317, 6396, 8002, 3838, 2854, 5496, 4137, 2142, 4423, 6303, 2604, 382, 4801, 2516, 5049,
                            5548, 5340, 5802, 3143, 7310, 4156, 8268, 5169, 7351, 1508, 6990, 5405, 5056, 5244, 3707,
                            5535, 3414, 3148, 7875, 3375, 5837, 5449, 6560, 7484, 120, 7972, 5854, 6791, 5668, 6957,
                            7957, 5873, 6725, 3665, 5929, 1679, 4066, 1978, 6124, 4846, 4326, 2759, 3716, 6552, 8228,
                            7128, 6943, 1458, 1377, 6022, 6714, 7, 4200, 947, 683, 7569, 482, 2724, 8395, 8004, 4845,
                            1505, 2421, 1791, 988, 2772, 5893, 1438, 1694, 7852, 6986, 6973, 7506, 7209, 5287, 7810,
                            5703, 4276, 734, 5344, 1700, 4302, 2722, 7560, 8089, 5183, 1584, 6414, 4783, 6535, 5154,
                            4814, 1029, 2435, 3546, 512, 6776, 4841, 427, 1564, 5824, 268, 3418, 786, 794, 5587, 7372,
                            4300, 4646, 5099, 4217, 3012, 1446, 1853, 8488, 1149, 4748, 1962, 3506, 5915, 3130, 2257,
                            6359, 601, 1627, 5006, 4915, 7984, 8227, 2095, 62, 7194, 1521, 2016, 7781, 881, 2769, 732,
                            4319, 5120, 5406, 4648, 6854, 1846, 5795, 7503, 6344, 5369, 2869, 3648, 7401, 7925, 4484,
                            3437, 5934, 2825, 6691, 2467, 8139, 2904, 3912, 8218, 7504, 6285, 703, 6057, 5485, 3281,
                            146, 6765, 4441, 7059, 6574, 5691, 4999, 3748, 7396, 7795, 5921, 6356, 8245, 1302, 1775,
                            6955, 7433, 4252, 1735, 4116, 1194, 7912, 4256, 5799, 6426, 6087, 4141, 3971, 8514, 7035,
                            5019, 1991, 2661, 4314, 3196, 1072, 8495, 328, 2198, 746, 5780, 1234, 6720, 1569, 1947,
                            2773, 5989, 2986, 5938, 3428, 442, 3547, 7445, 4442, 3781, 524, 3502, 4537, 2917, 4676,
                            6454, 872, 6979, 6320, 1944, 5090, 4939, 4810, 4637, 2066, 6706, 577, 4136, 4824, 503, 3681,
                            1629, 4962, 940, 6461, 905, 2707, 6434, 6903, 4197, 8381, 4466, 5002, 8213, 1191, 5255,
                            6289, 6444, 6307, 1938, 7949, 4943, 3818, 5144, 556, 5964, 3559, 1545, 3105, 3588, 5129,
                            4754, 4069, 4409, 7246, 2249, 8458, 6405, 5688, 2991, 7851, 1022, 205, 2481, 5806, 2832,
                            6292, 517, 6379, 2600, 80, 2880, 8104, 5734, 5026, 5180, 5862, 8332, 762, 3866, 8343, 7971,
                            4697, 2654, 5791, 43, 1128, 7473, 8300, 1055, 1085, 608, 5912, 5042, 6968, 3000, 1901, 3331,
                            2945, 6028, 3560, 6256, 7739, 5318, 5957, 312, 8160, 847, 606, 6688, 6627, 1491, 1688, 8252,
                            6647, 7166, 4762, 1001, 2789, 5476, 3951, 2422, 7469, 3711, 6898, 2537, 8016, 5442, 989,
                            3584, 3114, 7370, 953, 6269, 4204, 5438, 6046, 3851, 1714, 8003, 2934, 3058, 832, 2698,
                            6204, 510, 873, 7090, 1913, 6675, 9, 8210, 1134, 7335, 2339, 3341, 7508, 6465, 213, 1502,
                            7322, 7827, 348, 7786, 630, 2494, 180, 2156, 5032, 523, 7355, 7479, 4826, 7518, 5811, 4979,
                            4518, 5116, 7316, 1124, 2948, 596, 8142, 7979, 7808, 3585, 7213, 1084, 7660, 2645, 3618,
                            6381, 5199, 4331, 1138, 4834, 7380, 8107, 1038, 4167, 117, 7759, 3142, 7350, 2386, 6656,
                            7464, 2819, 1490, 7131, 5948, 772, 5313, 3165, 1442, 2437, 4854, 722, 931, 6910, 5735, 2214,
                            7587, 1325, 2646, 5566, 4440, 5755, 7859, 8140, 3810, 4042, 1407, 2121, 1518, 2243, 1881,
                            6941, 6061, 6092, 2735, 4174, 4391, 5329, 4450, 7804, 4399, 2520, 7244, 3918, 1401, 1268,
                            7276, 3034, 894, 7819, 7066, 5788, 2677, 6358, 7063, 2851, 2965, 6981, 1603, 5355, 1942,
                            1364, 8414, 7234, 882, 5359, 7040, 3421, 6353, 6882, 2273, 948, 2462, 2195, 7840, 85, 3660,
                            7933, 6993, 5124, 4963, 5569, 7896, 1596, 5901, 3260, 4498, 2534, 5170, 7486, 8046, 5828,
                            997, 4344, 7708, 5860, 5925, 3566, 7609, 3309, 6666, 4144, 6421, 4291, 1384, 920, 3553,
                            3902, 965, 7564, 8011, 2442, 7733, 1415, 3577, 8161, 1127, 4960, 588, 7039, 6525, 4588,
                            4124, 1934, 2428, 4956, 6354, 4914, 2908, 4062, 344, 314, 1221, 6909, 7780, 6241, 1231,
                            3503, 3367, 7363, 7199, 3036, 1644, 4589, 2306, 6125, 4234, 7442, 1198, 3802, 5895, 2393,
                            7184, 2025, 6443, 1540, 782, 2004, 5665, 607, 2822, 5121, 8006, 4367, 658, 3845, 2686, 4266,
                            5620, 3166, 6907, 1272, 2881, 860, 6316, 2916, 2792, 586, 1994, 6300, 7174, 44, 3885, 3223,
                            5829, 3138, 152, 6617, 3513, 5372, 5583, 4743, 5227, 3453, 3038, 4564, 6802, 6922, 3500,
                            3901, 1943, 5152, 976, 6555, 3679, 193, 4057, 7475, 6722, 8412, 3320, 2488, 5867, 708, 149,
                            4474, 8, 5709, 1157, 5644, 6502, 5345, 4006, 4993, 4512, 283, 7958, 4304, 969, 5298, 6084,
                            773, 2083, 2441, 3966, 1872, 5128, 3459, 6261, 2502, 5334, 5425, 1074, 2396, 7028, 2296,
                            4624, 1908, 457, 3295, 1243, 7934, 1812, 4746, 2901, 483, 3349, 8150, 6473, 4720, 8484,
                            1867, 2523, 1749, 5764, 546, 848, 2281, 7411, 3668, 618, 7769, 5517, 4752, 640, 7224, 7612,
                            389, 3830, 5498, 2226, 7854, 5597, 8441, 208, 6139, 266, 6756, 340, 4041, 3185, 1949, 3470,
                            2283, 460, 5525, 4185, 5789, 7011, 8136, 7171, 7841, 6246, 5234, 1424, 4132, 3833, 7597,
                            3514, 2473, 3865, 4106, 3228, 7716, 2585, 1472, 4372, 4879, 7497, 7094, 4692, 7048, 6596,
                            8521, 6326, 5237, 7674, 7717, 5457, 4219, 6660, 8362, 1935, 7547, 1977, 7619, 6479, 4051,
                            1064, 3203, 6606, 532, 4400, 2431, 1772, 6388, 3921, 2826, 3403, 2382, 2388, 4575, 5797,
                            6900, 2375, 6194, 7579, 471, 3415, 8310, 1479, 4539, 4625, 7081, 610, 1525, 7308, 3253,
                            4976, 5045, 3047, 3440, 8384, 5820, 5140, 7770, 4114, 6912, 3151, 6710, 6345, 7425, 3209,
                            269, 3959, 7064, 595, 3539, 6082, 5757, 686, 7963, 6721, 7119, 1784, 2640, 3950, 1380, 320,
                            5431, 1028, 2785, 4773, 1690, 6515, 6724, 5336, 3784, 6437, 1748, 12, 8390, 3364, 3122,
                            1587, 4667, 1663, 5939, 4242, 7629, 5503, 4593, 6282, 8049, 1059, 3630, 8241, 6449, 5819,
                            5591, 3366, 4622, 4129, 6201, 673, 7576, 3495, 2732, 2921, 6129, 2309, 7683, 5370, 4806,
                            6478, 136, 1095, 1282, 2970, 3946, 7514, 6149, 3119, 7295, 2839, 111, 7715, 4688, 6735,
                            4712, 8379, 1, 8178, 1455, 5576, 1237, 1089, 1723, 7275, 7500, 4268, 1453, 6575, 6550, 8166,
                            3578, 4514, 3619, 234, 2696, 5812, 4650, 6652, 284, 3424, 5532, 629, 5462, 3219, 4525, 1497,
                            4220, 977, 2116, 7821, 3433, 375, 702, 6846, 540, 2361, 3231, 983, 8499, 8144, 3430, 5652,
                            2304, 2026, 2761, 1267, 7030, 1666, 2893, 7849, 6506, 3646, 3215, 70, 6709, 1348, 8118,
                            6665, 3234, 7038, 7017, 395, 6699, 3412, 2511, 294, 6540, 1041, 2474, 4656, 3499, 1403,
                            6151, 3487, 1010, 5330, 5356, 21, 4821, 6857, 358, 8014, 7792, 6186, 5782, 6634, 2134, 1293,
                            2322, 995, 6619, 2035, 514, 4610, 6438, 2453, 4446, 2873, 3426, 5927, 7139, 3271, 6394,
                            2763, 7315, 3164, 522, 1271, 8054, 5951, 885, 4785, 5289, 4475, 3859, 4517, 6167, 5216,
                            4698, 1631, 5728, 4215, 1919, 544, 3848, 7241, 2414, 4458, 4143, 4108, 6911, 1277, 5833,
                            171, 5222, 2262, 3751, 3033, 468, 110, 3059, 5414, 1487, 2044, 3496, 3346, 6131, 1862, 6302,
                            3945, 6832, 360, 4, 7535, 5160, 6337, 2021, 6360, 7470, 1781, 1161, 7457, 2493, 2676, 8236,
                            3541, 3952, 403, 1888, 4287, 3255, 450, 797, 6311, 1866, 1186, 1608, 6777, 6466, 2562, 6338,
                            4262, 5558, 2194, 3055, 7124, 7389, 6400, 7077, 7570, 713, 4160, 3518, 7263, 1837, 5165,
                            7850, 7379, 1182, 3324, 3407, 27, 4072, 1912, 2597, 3318, 1591, 6740, 489, 6147, 4424, 8385,
                            7502, 329, 5952, 2447, 7989, 1261, 1507, 3596, 6476, 6077, 7220, 2702, 3913, 5178, 4970,
                            195, 743, 8262, 5093, 7630, 5023, 1101, 5918, 267, 623, 4546, 2956, 174, 5708, 7735, 8313,
                            8121, 5742, 3112, 1190, 3699, 6209, 665, 1578, 357, 5701, 3177, 5743, 4678, 6712, 6486,
                            3542, 2037, 911, 672, 6726, 5669, 2480, 4981, 5677, 7967, 6591, 4684, 1752, 987, 3385, 3639,
                            3720, 1504, 6055, 7236, 3391, 8276, 6546, 445, 7317, 822, 407, 5036, 331, 2247, 738, 6512,
                            1718, 5515, 678, 58, 5754, 5435, 6513, 5737, 1323, 982, 137, 1612, 561, 7345, 7451, 7812,
                            7026, 211, 2786, 3788, 6073, 4560, 726, 6624, 7153, 8244, 3334, 7701, 5241, 6355, 8164,
                            7982, 6684, 7599, 3658, 5954, 1607, 5974, 4906, 3205, 944, 4378, 4913, 1155, 2173, 3683,
                            7074, 3571, 2203, 6195, 5409, 2682, 3417, 2638, 2771, 7823, 82, 5037, 7845, 8081, 6766,
                            6051, 5990, 4340, 3182, 4296, 2602, 6383, 6935, 7420, 8219, 5441, 372, 253, 8358, 815, 6809,
                            2740, 7403, 4523, 5719, 5593, 2631, 8199, 4390, 5338, 4664, 2318, 6021, 7155, 7151, 3633,
                            1917, 1742, 5080, 3519, 4929, 7895, 4590, 1245, 3030, 642, 4258, 2206, 6148, 3256, 2810,
                            4898, 486, 4195, 3032, 1813, 3104, 3757, 6544, 79, 984, 5682, 192, 661, 3609, 5192, 7334,
                            7340, 3863, 7459, 2233, 3988, 393, 5288, 8132, 2768, 8382, 4328, 5456, 1665, 3526, 5848,
                            3285, 2765, 6271, 3198, 2581, 2848, 816, 1032, 7603, 3856, 6717, 4599, 857, 421, 7012, 2463,
                            1932, 4786, 7260, 2019, 1462, 1599, 7424, 922, 89, 7191, 6216, 5909, 6085, 4294, 6270, 499,
                            3780, 4157, 1852, 7165, 5904, 1803, 2001, 2253, 7761, 6012, 3115, 465, 3357, 4887, 8490,
                            5942, 391, 1162, 7400, 7946, 349, 3774, 5835, 6849, 6492, 6101, 7208, 6227, 5859, 8154, 448,
                            971, 6278, 5068, 6134, 6696, 587, 7513, 4503, 397, 2410, 8455, 4064, 2248, 7802, 6662, 3750,
                            6803, 2766, 6105, 768, 4900, 3975, 5190, 4763, 1135, 4506, 1288, 1281, 4734, 4969, 4373,
                            5193, 7029, 4862, 2644, 5941, 6250, 2687, 7138, 6835, 5626, 2135, 4548, 7212, 5707, 528,
                            169, 4767, 4874, 7939, 5831, 2898, 5769, 3854, 3111, 8216, 3614, 323, 755, 6923, 8063, 7466,
                            1242, 6816, 4603, 6571, 7262, 6632, 6700, 4882, 4053, 2629, 2963, 480, 3458, 5585, 1144,
                            6260, 2086, 8429, 6016, 8457, 7793, 2669, 8513, 8222, 5798, 932, 7913, 2197, 8187, 2885,
                            7102, 1667, 8291, 484, 1431, 6821, 3557, 279, 2977, 3326, 898, 1744, 5386, 4735, 3627, 4353,
                            3013, 8366, 669, 464, 3274, 1562, 5538, 2860, 371, 6952, 8010, 5230, 463, 578, 5965, 4013,
                            7410, 5567, 7314, 4070, 3207, 3875, 5571, 3636, 5596, 3857, 5971, 1471, 1452, 824, 8397,
                            6407, 8289, 1762, 5839, 7238, 1547, 4515, 6565, 5687, 6792, 2088, 5609, 4672, 2778, 3505,
                            5849, 4535, 7696, 525, 2998, 3900, 8079, 2117, 4166, 2783, 5827, 3970, 3832, 4930, 5616,
                            1818, 3955, 3395, 4770, 8184, 1066, 2914, 6387, 6883, 2988, 4485, 4102, 135, 112, 3516,
                            1970, 6948, 2887, 4309, 2843, 3455, 6924, 1635, 73, 7156, 5041, 4511, 5101, 5943, 3704,
                            7700, 2144, 2929, 2389, 7027, 956, 8151, 1328, 4021, 5605, 209, 1344, 3512, 8380, 8223,
                            6588, 5086, 2335, 139, 745, 4739, 3825, 5809, 1628, 2799, 3923, 6332, 3333, 7013, 6070,
                            6599, 6626, 4148, 3909, 2692, 6219, 374, 1119, 3240, 3239, 519, 2193, 7764, 5050, 177, 3581,
                            6610, 7552, 7631, 4447, 1137, 1103, 4605, 1474, 2406, 3995, 599, 4747, 5676, 8183, 1809,
                            3651, 2139, 8340, 7853, 747, 5704, 6035, 6870, 7036, 4210, 6559, 4947, 2288, 5015, 1133,
                            1313, 6801, 2703, 4413, 4562, 3202, 3874, 4005, 1614, 1753, 2051, 3224, 5420, 752, 2673, 88,
                            6389, 6852, 5718, 5889, 1379, 8042, 34, 1796, 1397, 7774, 4715, 4445, 3869, 7069, 3173,
                            3964, 4429, 937, 4494, 4777, 8064, 5151, 3688, 6171, 580, 6159, 4165, 974, 793, 4278, 4238,
                            6964, 1953, 6446, 3190, 32, 1799, 2659, 3765, 8084, 3873, 13, 938, 5283, 2399, 299, 7073,
                            7114, 4463, 3069, 6989, 5502, 7056, 7964, 7109, 5335, 2280, 7649, 5577, 906, 1088, 5422,
                            5648, 2294, 6424, 7686, 2314, 6039, 431, 4768, 866, 5439, 2679, 8357, 3743, 1027, 5544,
                            8327, 6695, 8413, 5823, 6178, 8181, 4565, 4938, 7825, 8309, 107, 2949, 2649, 6331, 2544,
                            7671, 2477, 7206, 1270, 2816, 1672, 7101, 3617, 6682, 3643, 6004, 778, 33, 4171, 5504, 7337,
                            3335, 1743, 3137, 539, 933, 1324, 695, 7975, 5865, 3689, 7801, 4461, 3118, 2549, 4529, 3003,
                            5341, 4330, 1122, 2506, 838, 167, 8269, 5412, 2412, 350, 6572, 5564, 5030, 4831, 39, 8416,
                            6750, 7937, 356, 2211, 1131, 4868, 4545, 1638, 6965, 4100, 4405, 6605, 3860, 2834, 4551,
                            3405, 91, 4725, 7625, 4668, 4632, 5157, 8052, 6547, 6719, 5053, 507, 2231, 4339, 3598, 1827,
                            4857, 3307, 7976, 1956, 1489, 7327, 727, 3652, 1440, 1117, 3261, 105, 6255, 6975, 2209,
                            2405, 4322, 8106, 5358, 3963, 4397, 6798, 6589, 1092, 242, 7873, 3850, 7554, 6163, 490,
                            7091, 5374, 7375, 5916, 3977, 6109, 963, 4370, 8120, 6115, 6283, 8522, 5560, 6003, 2939,
                            7055, 7860, 5489, 2069, 4843, 2997, 2567, 3484, 8494, 1842, 7590, 644, 46, 1992, 7730, 3629,
                            4082, 1611, 8156, 6654, 7046, 4645, 785, 1002, 8123, 1232, 2246, 3940, 4092, 4966, 5185,
                            1787, 8305, 5890, 7204, 2890, 4202, 899, 3132, 7568, 3839, 706, 2876, 6767, 1895, 508, 3308,
                            7115, 3779, 2815, 5979, 4711, 8131, 5822, 4530, 94, 5584, 2639, 5413, 478, 6411, 624, 7395,
                            757, 6611, 2587, 6023, 6498, 2046, 57, 1115, 552, 2150, 6398, 8217, 7915, 1922, 1773, 6346,
                            2313, 7443, 6013, 3064, 7644, 1869, 5095, 5384, 6569, 1214, 4369, 2338, 7284, 7333, 5238,
                            122, 3311, 8471, 1996, 8367, 7768, 1706, 2118, 487, 3737, 4145, 1593, 3323, 3106, 5666,
                            5986, 2373, 1204, 6060, 1969, 1300, 6386, 5830, 4633, 65, 3232, 1478, 3564, 2830, 3080,
                            3442, 760, 6576, 7463, 334, 6677, 8221, 1464, 239, 31, 4264, 4815, 4303, 4707, 8399, 4796,
                            3074, 5075, 24, 2151, 7664, 3767, 5308, 626, 8128, 2128, 4772, 2050, 4233, 6251, 6800, 7378,
                            8392, 3438, 863, 4805, 3755, 472, 2634, 560, 8377, 3211, 3991, 5536, 6773, 3594, 8516, 2519,
                            7001, 5348, 2776, 6618, 3072, 2625, 2162, 398, 127, 8102, 2566, 2599, 1034, 2245, 1151,
                            3160, 3742, 7480, 8243, 4107, 2866, 1765, 5399, 6680, 458, 5145, 441, 5614, 8020, 4531,
                            5659, 3024, 527, 6687, 7907, 8000, 7968, 3248, 5475, 379, 2394, 3371, 3914, 2680, 2598,
                            6516, 3548, 4271, 3382, 3642, 6015, 6648, 5085, 1531, 4594, 4345, 7483, 6245, 564, 2764,
                            3423, 8283, 1739, 6582, 3007, 3108, 7921, 810, 3031, 8086, 8511, 878, 4958, 4741, 2535,
                            7192, 5110, 3482, 753, 5553, 7878, 4934, 3087, 2560, 5194, 378, 491, 5745, 1770, 7272, 5776,
                            2191, 3967, 3785, 394, 8472, 5119, 1659, 865, 6239, 656, 3701, 8281, 6890, 583, 8017, 51,
                            1751, 7571, 3155, 1828, 1910, 808, 8027, 4922, 6263, 6313, 849, 915, 6464, 1740, 7006, 4733,
                            593, 6038, 5834, 3278, 6905, 891, 7140, 2452, 958, 2853, 23, 8355, 3733, 7181, 750, 5750,
                            3068, 3744, 412, 4398, 7033, 3894, 704, 376, 6697, 7620, 8134, 6175, 3088, 7838, 4607, 7639,
                            4198, 6999, 5249, 424, 1466, 991, 5361, 3735, 1398, 6299, 7617, 5603, 7818, 3090, 2354,
                            3443, 6984, 7157, 6869, 4704, 1997, 8090, 6942, 8421, 3586, 8266, 699, 3535, 5011, 2039,
                            3638, 7045, 4744, 4346, 231, 3978, 2738, 1957, 5805, 4662, 5346, 5246, 8231, 2089, 1005,
                            6505, 5020, 6206, 994, 6423, 4608, 7765, 7231, 7474, 8339, 6954, 3544, 6818, 6603, 2217,
                            315, 3844, 8238, 184, 3979, 7349, 2944, 7150, 151, 1757, 4519, 4269, 1450, 4239, 7041, 6280,
                            8271, 3987, 3657, 6737, 3135, 5142, 1071, 4030, 1870, 3157, 841, 2469, 639, 3600, 8504,
                            2811, 6805, 7505, 1422, 7126, 4095, 8403, 2032, 3413, 2230, 1939, 7053, 5492, 2889, 6, 4289,
                            2416, 6690, 7690, 7324, 4769, 795, 7393, 1228, 5592, 1823, 7211, 2615, 4937, 4104, 4700,
                            5366, 3858, 604, 6822, 1920, 8029, 5466, 7752, 749, 7205, 2030, 5740, 4509, 5231, 3911,
                            6126, 4670, 3796, 6974, 4426, 2780, 5083, 1886, 6152, 584, 754, 8024, 255, 6069, 887, 2158,
                            2047, 132, 6295, 1164, 5311, 2964, 5242, 1878, 2895, 2091, 4134, 4255, 1082, 3687, 77, 1687,
                            6977, 5130, 3210, 1616, 3730, 557, 8177, 4685, 102, 4606, 1168, 3201, 1309, 8230, 1651,
                            6431, 4649, 1289, 6468, 5793, 4228, 6418, 4436, 850, 7721, 3935, 7106, 1476, 5602, 11, 2653,
                            3212, 5736, 5514, 396, 1680, 3126, 435, 1100, 2201, 4749, 3099, 5531, 7082, 3933, 1965,
                            8207, 7169, 553, 140, 1824, 6548, 1113, 6528, 1433, 2404, 4591, 682, 7422, 3930, 8450, 5078,
                            4247, 155, 5731, 5866, 4337, 6351, 6158, 6583, 5411, 5410, 3213, 927, 6743, 2690, 7997,
                            7054, 7326, 1492, 4310, 8167, 7659, 7302, 194, 38, 8264, 4912, 7893, 7377, 7496, 1509, 8235,
                            6336, 1017, 4190, 7050, 3989, 2081, 2301, 1434, 5894, 2232, 7574, 834, 1937, 8057, 1543,
                            3515, 4055, 2845, 3325, 3257, 710, 3010, 6104, 733, 7025, 4639, 2979, 4972, 302, 6243, 3939,
                            6264, 1110, 4884, 6184, 1200, 2518, 8201, 3762, 4495, 3821, 7816, 7720, 3411, 3887, 1975,
                            6961]

VALIDATION_SPLIT_PHYSIONET = [1388, 3290, 3709, 5667, 3358, 5888, 3523, 1696, 2276, 3899, 674, 3527, 2357, 5738, 4420,
                              1042, 5589, 3960, 2130, 3504, 5853, 8179, 4491, 4923, 6947, 67, 7869, 6694, 1240, 1613,
                              2708, 1732, 2923, 2548, 2486, 5148, 1067, 7130, 2029, 7741, 8462, 5988, 2094, 8518, 2101,
                              6072, 4085, 4393, 4513, 7740, 1306, 652, 6843, 6499, 6247, 4800, 1931, 1111, 5282, 2947,
                              1172, 1175, 5842, 3381, 7760, 5070, 603, 4316, 386, 8125, 7902, 7456, 7782, 1319, 827,
                              1618, 5715, 3026, 2671, 1050, 1513, 3637, 2831, 1371, 3432, 6166, 7876, 2282, 1579, 5312,
                              3764, 5724, 2478, 5381, 361, 1766, 8037, 2055, 2924, 4917, 473, 5470, 2577, 7279, 4921,
                              4968, 3922, 368, 6121, 8114, 1731, 3815, 4349, 5016, 5232, 6519, 2491, 1353, 7215, 4181,
                              1275, 7837, 4433, 7176, 6847, 3400, 4694, 5039, 6488, 1154, 2608, 6806, 8460, 4033, 7727,
                              134, 6308, 4221, 8444, 5966, 4657, 5944, 3980, 676, 648, 7787, 4635, 6760, 5610, 5880,
                              2959, 1855, 3782, 385, 7998, 1948, 1333, 7418, 5970, 6770, 4493, 410, 1080, 5841, 4641,
                              4896, 1360, 3037, 8001, 3291, 8466, 3881, 7558, 5213, 8060, 3864, 3606, 470, 72, 5173,
                              1620, 469, 276, 1467, 8249, 4229, 7158, 8512, 2507, 2841, 3481, 2202, 2992, 7323, 4865,
                              4681, 2263, 7916, 236, 4761, 3949, 4840, 2237, 6615, 2594, 590, 7361, 6858, 4040, 6825,
                              1774, 5247, 4703, 1544, 5269, 3085, 3558, 2445, 2946, 4775, 7809, 270, 1759, 1902, 8115,
                              6179, 6853, 5863, 5477, 7663, 5072, 5349, 8437, 6448, 3741, 2837, 6161, 6044, 1830, 76,
                              2038, 2846, 7237, 4877, 3471, 2302, 5623, 5697, 3236, 7062, 3339, 6382, 7544, 4755, 5968,
                              501, 1737, 3819, 3685, 4563, 4554, 4827, 2192, 6657, 1334, 6025, 1889, 101, 7429, 8193,
                              7080, 404, 500, 5878, 8152, 5067, 5196, 6623, 300, 2607, 6385, 2512, 4019, 3397, 3808,
                              4602, 4948, 387, 7679, 5625, 3797, 1033, 6229, 3435, 5864, 1376, 1967, 7023, 5693, 6931,
                              5843, 5362, 8075, 675, 1405, 4689, 1345, 5062, 6475, 7588, 2980, 959, 3968, 1097, 5262,
                              7493, 3246, 1646, 5945, 1864, 6532, 1512, 341, 7293, 2568, 4099, 3294, 5656, 1602, 4376,
                              4636, 2064, 2460, 4521, 2756, 1295, 4306, 1795, 7383, 2371, 8448, 2920, 2254, 5607, 6959,
                              2564, 6636, 2936, 7005, 7950, 5581, 4705, 5673, 1070, 4638, 2850, 7488, 6861, 1767, 5499,
                              7172, 7217, 5025, 1369, 4179, 4566, 233, 4620, 7646, 383, 6164, 4235, 2728, 5467, 5392,
                              5972, 3993, 1201, 6170, 6357, 7141, 1254, 7228, 7791, 3736, 1893, 2555, 4803, 5177, 7072,
                              5637, 228, 8306, 2844, 6793, 7247, 1880, 5060, 2538, 4730, 6220, 4096, 433, 2595, 3824,
                              5048, 2048, 964, 6108, 4680, 1063, 7019, 1649, 3752, 6156, 8503, 3682, 5897, 6059, 5932,
                              1040, 4701, 1674, 7347, 1794, 7805, 1785, 723, 4722, 562, 8135, 2242, 1600, 5094, 5521,
                              2574, 5339, 4916, 7296, 2793, 2795, 3649, 3042, 4881, 7563, 1485, 5495, 7596, 5136, 5469,
                              836, 8240, 3045, 3570, 5998, 2641, 3287, 7390, 1178, 1146, 6205, 5695, 8474, 2662, 3494,
                              3390, 1399, 2937, 638, 1724, 6646, 5293, 3537, 6788, 8190, 7533, 1973, 6287, 3981, 4481,
                              2805, 1118, 6746, 7580, 115, 2407, 4986, 8479, 2434, 7914, 1209, 8007, 668, 5433, 2085,
                              6485, 2212, 4297, 1058, 883, 5074, 83, 2701, 801, 2973, 6771, 6707, 4178, 6223, 8371,
                              5005, 5396, 1817, 1206, 1654, 8098, 4068, 2753, 4894, 725, 4396, 7381, 449, 214, 4476,
                              4740, 833, 5357, 5403, 3084, 8051, 5163, 1897, 520, 4572, 2352, 8447, 5117, 3732, 5883,
                              8212, 6202, 7566, 5054, 5604, 5254, 4822, 952, 437, 6595, 5248, 2385, 5483, 1707, 5984,
                              6971, 3702, 742, 4205, 609, 770, 6363, 5271, 3754, 3543, 2678, 440, 6781, 1610, 1570,
                              4907, 2133, 2589, 2271, 7881, 7712, 8127, 2223, 1494, 3192, 6500, 3942, 8129, 5675, 4616,
                              6784, 7373, 1567, 2883, 7586, 6933, 6504, 1294, 1868, 3605, 4832, 5613, 1993, 8373, 1047,
                              7672, 6273, 5029, 4115, 8200, 66, 8477, 6212, 6369, 1506, 1012, 6894, 2293, 4583, 5886,
                              4961, 1020, 2291, 3321, 7198, 1963, 4327, 1941, 5201, 6144, 3929, 3840, 338, 5907, 37,
                              787, 3338, 779, 4151, 1847, 7210, 8320, 462, 1534, 7356, 8215, 3060, 728, 4578, 5836,
                              6091, 895, 6987, 5166, 3478, 5059, 3536, 914, 5645, 3550, 1187, 781, 6633, 6840, 3804,
                              5364, 4232, 7022, 1821, 3454, 7834, 7600, 3009, 1181, 4543, 4940, 571, 5969, 7103, 5896,
                              7281, 7931, 3745, 15, 2014, 2521, 8442, 3997, 6191, 2723, 280, 2545, 5753, 4060, 4774,
                              3002, 8526, 7271, 7061, 505, 1174, 8330, 980, 8478, 6579, 5146, 8191, 5397, 6828, 2797,
                              5205, 4811, 6683, 3286, 1465, 1366, 3871, 4499, 2675, 5790, 4869, 3770, 3057, 5851, 7341,
                              2716, 7386, 823, 5924, 7000, 3891, 3439, 2409, 7391, 7112, 6602, 3272, 1754, 7732, 3917,
                              2395, 5236, 1266, 5526, 4241, 5551, 4218, 6489, 3740, 2996, 3634, 5633, 2630, 237, 5106,
                              7079, 7559, 2190, 3906, 3572, 7798, 7398, 6901, 7813, 1884, 7402, 4120, 45, 2857, 3343,
                              8307, 7216, 3498, 53, 2533, 25, 4553, 4508, 7058, 7428, 2930, 6305, 1726, 292, 7288, 8255,
                              181, 7538, 1044, 1061, 6780, 6944, 8022, 175, 7083, 1496, 1286, 3861, 4867, 4595, 4836,
                              7936, 592, 5423, 6439, 4927, 5992, 534, 3401, 5561, 1642, 6723, 4249, 5628, 3534, 2570,
                              7645, 6521, 182, 4022, 1816, 1588, 5139, 780, 4061, 7756, 1619, 4196, 1217, 809, 6304,
                              6043, 3768, 7299, 6640, 1150, 3677, 1447, 573, 1031, 563, 6842, 319, 7523, 5379, 459,
                              3244, 4018, 6804, 8048, 3820, 8192, 7455, 290, 5562, 3822, 6810, 8325, 3669, 4214, 6008,
                              3613, 8344, 4850, 1207, 4992, 18, 409, 1964, 3509, 7868, 1484, 3695, 8296, 7623, 6079,
                              4090, 392, 4682, 4377, 679, 7757, 4804, 4164, 2009, 6841, 3957, 2526, 4677, 4416, 8277,
                              7305, 2667, 7901, 2626, 2558, 4778, 647, 2718, 8387, 5785, 6958, 6042, 7067, 6314, 4924,
                              4111, 1671, 4415, 2571, 4613, 789, 5189, 5746, 2005, 2205, 6820, 6542, 3314, 3812, 2635,
                              6866, 7057, 576, 4780, 1924, 4453, 8254, 3284, 6348, 5507, 3890, 6661, 2706, 7306, 418,
                              2899, 5512, 7494, 7392, 5371, 6349, 7071, 6067, 7633, 4828, 3422, 333, 7343, 4819, 2260,
                              2730, 1252, 4422, 48, 377, 2181, 690, 6567, 628, 7016, 3107, 8214, 1650, 7773, 3243, 1738,
                              2838, 8189, 3456, 5428, 1145, 1322, 7182, 8354, 5690, 8435, 5783, 6373, 3101, 6080, 4853,
                              3006, 3217, 7714, 821, 75, 4691, 970, 7789, 6322, 2107, 1898, 5660, 373, 6056, 4176, 6090,
                              7332, 2575, 2333, 3076, 8473, 765, 4001, 7249, 6296, 6031, 3659, 1290, 7233, 3992, 6218,
                              251, 4348, 7280, 2552, 633, 2147, 3062, 4320, 4010, 8198, 1574, 3465, 2022, 2332, 7529,
                              2993, 7747, 6885, 1755, 2767, 6888, 5107, 423, 3071, 2952, 1713, 1400, 5264, 3647, 6988,
                              2962, 6819, 5875, 3507, 7988, 3056, 2024, 4058, 4732, 6262, 156, 966, 2643, 49, 8439,
                              3574, 7692, 6071, 3725, 5877, 7725, 2612, 813, 224, 5520, 5460, 4996, 6914, 3835, 7550,
                              36, 1258, 8341, 7273, 4751, 129, 2438, 131, 3251, 1445, 7511, 6237, 7754, 1916, 6010, 625,
                              4084, 5111, 6520, 7218, 5314, 7762, 342, 3801, 1121, 7847, 6612, 2820, 5233, 3461, 4642,
                              7520, 4335, 6637, 2433, 1548, 2637, 5087, 2484, 2699, 7771, 7776, 6366, 3237, 434, 2323,
                              2900, 3538, 2546, 5184, 4860, 147, 2874, 422, 3661, 1043, 7858, 7268, 612, 7585, 2041,
                              7704, 1392, 4644, 1011, 3599, 3127, 1933, 5243, 8224, 125, 7093, 2497, 7661, 1226, 5368,
                              685, 4273, 6153, 6335, 8062, 7419, 317, 6867, 5615, 8157, 2794, 8141, 3361, 2758, 5494,
                              6258, 1141, 143, 3876, 5813, 7650, 5407, 2383, 7900, 1390, 843, 3174, 6920, 1571, 2204,
                              3994, 4265, 6026, 2071, 4117, 7240, 212, 941, 8315, 8069, 3708, 7348, 7551, 1170, 6577,
                              3146, 8173, 2912, 1460, 6855, 4673, 2176, 1586, 8286, 7120, 4766, 1843, 7891, 6834, 7230,
                              730, 6501, 2928, 5003, 1503, 488, 5527, 7137, 4382, 8246, 4362, 903, 6815, 1982, 4428,
                              5818, 5215, 7052, 5291, 1576, 1958, 1692, 5681, 6208, 4379, 2286, 6950, 2076, 4105, 8038,
                              3996, 993, 2499, 5455, 7888, 7867, 3841, 7527, 2658, 4434, 7656, 2027, 7136, 8070, 7177,
                              7490, 2061, 5506, 5705, 6329, 791, 8405, 6315, 249, 5331, 7167, 3623, 6188, 183, 7836,
                              5845, 3522, 6312, 698, 8013, 4792, 1697, 7807, 4505, 2909, 4443, 4718, 889, 7485, 6419,
                              3383, 6203, 7320, 4558, 3378, 8138, 7724, 5599, 904, 332, 1655, 8053, 6318, 2796, 1065,
                              2236, 1016, 897, 4128, 657, 5663, 2292, 3561, 2926, 5353, 2093, 5657, 7592, 2052, 248,
                              1153, 6297, 8470, 4813, 2972, 5021, 3625, 4973, 1980, 5643, 5463, 3063, 2906, 6460, 4363,
                              4526, 3794, 6445, 3389, 6306, 2684, 168, 5537, 7624, 4559, 7243, 5324, 2543, 3061, 5606,
                              7004, 7031, 3277, 8508, 4516, 4756, 1331, 3419, 417, 7778, 4696, 2097, 4760, 330, 6436,
                              766, 1112, 2159, 8092, 5622, 1771, 2569, 2163, 1224, 8525, 4541, 5991, 3703, 8505, 2487,
                              680, 4942, 2990, 5211, 2501, 6529, 7427, 2119, 7311, 3603, 3722, 8383, 3050, 3814, 617,
                              3359, 4093, 5963, 7282, 4130, 1911, 8148, 3562, 7565, 1211, 2942, 5061, 3783, 1413, 5710,
                              6745, 3270, 1764, 3044, 7143, 5229, 790, 8137, 2443, 5621, 8451, 6759, 2541, 3265, 3302,
                              3879, 2164, 8056, 8446, 3222, 8061, 3451, 2106, 7020, 7695, 3644, 4418, 4975, 5689, 8492,
                              4932, 4150, 7794, 6859, 3154, 4113, 7706, 5808, 5149, 230, 6991, 2149, 4919, 7472, 6585,
                              2961, 7436, 7784, 7638, 7468, 7831, 7084, 6317, 119, 5327, 7927, 8025, 7848, 5332, 5771,
                              3670, 8411, 2656, 5310, 2689, 7065, 1972, 5321, 7948, 1180, 4659, 1923, 4855, 7572, 163,
                              2108, 4311, 2143, 6274, 1903, 6453, 1782, 4945, 7037, 3771, 907, 1357, 8066, 1099, 262,
                              4347, 1123, 1800, 4549, 7043, 7864, 8065, 7242, 5981, 5175, 541, 7582, 7250, 8365, 416,
                              8456, 4647, 5686, 6371, 7653, 4168, 3161, 8290, 3565, 712, 6553, 8407, 3817, 7842, 250,
                              1195, 7185, 1921, 2250, 3621, 3691, 2355, 2650, 1303]

TRAINING_SPLIT_ICENTIA11K = list(range(10000))

VALIDATION_SPLIT_ICENTIA11K = list(range(10000, 11000))

VALIDATION_SEED_ICENTIA11K = 1904

TRAINING_SPLIT_CHALLANGE = [0, 1, 3, 8, 9, 11, 12, 14, 17, 18, 19, 22, 23, 25, 26, 30, 35, 38, 42, 43, 48, 49, 56, 60,
                            64, 65, 70, 72, 74, 81, 84, 86, 87, 93, 94, 101, 109, 113, 115, 117, 121, 123, 124, 125,
                            129, 131, 136, 140, 152, 153, 157, 160, 166, 167, 172, 177, 182, 188, 190, 191, 198, 199,
                            202, 205, 206, 214, 221, 224, 225, 233, 242, 244, 245, 250, 259, 261, 262, 263, 269, 273,
                            274, 275, 276, 281, 284, 287, 288, 292, 296, 297, 306, 307, 308, 312, 314, 317, 322, 323,
                            333, 340, 341, 343, 347, 349, 351, 358, 362, 367, 369, 384, 385, 386, 390, 391, 392, 405,
                            413, 414, 415, 420, 429, 431, 433, 443, 445, 450, 455, 457, 461, 467, 469, 471, 483, 485,
                            492, 496, 497, 502, 506, 513, 515, 523, 525, 526, 527, 534, 538, 545, 550, 553, 560, 562,
                            564, 566, 567, 570, 571, 575, 576, 578, 579, 581, 586, 587, 588, 600, 602, 605, 606, 607,
                            609, 611, 614, 617, 619, 620, 627, 628, 629, 630, 632, 636, 638, 662, 663, 670, 678, 679,
                            680, 682, 683, 684, 685, 686, 692, 699, 701, 708, 710, 712, 713, 717, 718, 727, 730, 732,
                            733, 740, 746, 752, 759, 763, 764, 767, 770, 776, 777, 778, 784, 787, 792, 793, 794, 798,
                            799, 802, 808, 810, 812, 813, 814, 820, 824, 832, 841, 844, 847, 851, 854, 856, 866, 874,
                            888, 889, 894, 895, 900, 907, 913, 914, 919, 927, 935, 936, 939, 940, 941, 942, 948, 952,
                            954, 956, 960, 961, 971, 973, 975, 976, 980, 983, 985, 989, 991, 992, 993, 996, 999, 1002,
                            1011, 1013, 1014, 1017, 1019, 1026, 1032, 1033, 1034, 1035, 1044, 1045, 1049, 1050, 1052,
                            1055, 1057, 1058, 1066, 1069, 1070, 1072, 1073, 1082, 1088, 1089, 1091, 1093, 1099, 1100,
                            1103, 1104, 1105, 1108, 1109, 1117, 1118, 1119, 1125, 1129, 1135, 1142, 1143, 1145, 1148,
                            1149, 1150, 1153, 1155, 1157, 1159, 1160, 1163, 1168, 1172, 1174, 1175, 1176, 1182, 1190,
                            1191, 1193, 1195, 1199, 1202, 1205, 1207, 1214, 1217, 1228, 1230, 1234, 1235, 1238, 1243,
                            1244, 1245, 1248, 1249, 1252, 1253, 1254, 1259, 1266, 1267, 1273, 1274, 1276, 1277, 1279,
                            1280, 1282, 1289, 1290, 1291, 1294, 1295, 1302, 1303, 1305, 1307, 1308, 1309, 1313, 1314,
                            1315, 1319, 1322, 1323, 1324, 1331, 1333, 1334, 1338, 1343, 1344, 1345, 1351, 1362, 1363,
                            1365, 1377, 1378, 1380, 1387, 1390, 1393, 1394, 1395, 1398, 1402, 1407, 1410, 1418, 1419,
                            1423, 1424, 1427, 1428, 1429, 1436, 1438, 1452, 1455, 1457, 1463, 1464, 1465, 1466, 1472,
                            1477, 1480, 1483, 1490, 1496, 1509, 1511, 1523, 1524, 1534, 1536, 1537, 1540, 1544, 1547,
                            1548, 1552, 1553, 1556, 1558, 1561, 1574, 1575, 1576, 1577, 1589, 1590, 1592, 1607, 1608,
                            1612, 1613, 1618, 1620, 1625, 1628, 1632, 1644, 1652, 1653, 1654, 1657, 1659, 1665, 1666,
                            1668, 1671, 1673, 1678, 1681, 1682, 1683, 1686, 1691, 1692, 1695, 1696, 1700, 1702, 1706,
                            1710, 1720, 1724, 1727, 1730, 1731, 1734, 1740, 1741, 1743, 1745, 1746, 1748, 1750, 1754,
                            1757, 1759, 1760, 1765, 1766, 1767, 1770, 1774, 1776, 1777, 1778, 1780, 1786, 1790, 1792,
                            1803, 1807, 1809, 1812, 1813, 1815, 1816, 1820, 1821, 1823, 1824, 1833, 1841, 1843, 1851,
                            1852, 1853, 1858, 1862, 1864, 1867, 1873, 1874, 1875, 1882, 1887, 1890, 1893, 1897, 1899,
                            1901, 1905, 1907, 1908, 1910, 1912, 1913, 1914, 1918, 1919, 1920, 1923, 1925, 1928, 1942,
                            1944, 1946, 1947, 1952, 1953, 1961, 1962, 1963, 1967, 1969, 1970, 1971, 1979, 1980, 1983,
                            1985, 1986, 1991, 1992, 1994, 1997, 1998, 2000, 2001, 2007, 2011, 2014, 2021, 2023, 2025,
                            2028, 2030, 2031, 2032, 2034, 2039, 2042, 2044, 2046, 2052, 2054, 2055, 2059, 2060, 2061,
                            2064, 2066, 2070, 2075, 2076, 2078, 2083, 2088, 2089, 2092, 2094, 2095, 2097, 2100, 2102,
                            2103, 2106, 2109, 2112, 2113, 2119, 2120, 2124, 2130, 2140, 2142, 2144, 2146, 2147, 2164,
                            2165, 2166, 2170, 2171, 2175, 2180, 2182, 2184, 2188, 2190, 2194, 2199, 2201, 2206, 2207,
                            2212, 2215, 2217, 2220, 2221, 2222, 2225, 2226, 2230, 2231, 2236, 2242, 2243, 2244, 2253,
                            2254, 2255, 2258, 2261, 2264, 2268, 2271, 2279, 2281, 2284, 2291, 2296, 2301, 2303, 2311,
                            2312, 2317, 2321, 2322, 2323, 2325, 2328, 2331, 2337, 2340, 2345, 2346, 2350, 2352, 2371,
                            2373, 2375, 2376, 2377, 2386, 2392, 2397, 2399, 2400, 2403, 2406, 2410, 2411, 2414, 2416,
                            2418, 2421, 2424, 2427, 2433, 2437, 2439, 2443, 2444, 2448, 2450, 2455, 2459, 2462, 2469,
                            2471, 2474, 2480, 2481, 2486, 2489, 2490, 2491, 2494, 2496, 2500, 2504, 2507, 2508, 2509,
                            2510, 2511, 2520, 2523, 2527, 2533, 2538, 2541, 2543, 2550, 2552, 2553, 2554, 2555, 2558,
                            2560, 2566, 2574, 2577, 2580, 2582, 2591, 2594, 2596, 2598, 2599, 2602, 2604, 2606, 2607,
                            2612, 2613, 2617, 2619, 2621, 2623, 2624, 2628, 2629, 2631, 2632, 2637, 2638, 2660, 2661,
                            2663, 2664, 2666, 2669, 2670, 2680, 2682, 2685, 2686, 2688, 2689, 2691, 2692, 2693, 2697,
                            2704, 2708, 2713, 2714, 2715, 2718, 2720, 2721, 2725, 2731, 2734, 2737, 2741, 2742, 2746,
                            2751, 2752, 2753, 2754, 2755, 2756, 2760, 2772, 2776, 2781, 2787, 2789, 2793, 2798, 2802,
                            2807, 2808, 2810, 2816, 2819, 2821, 2824, 2825, 2826, 2827, 2830, 2832, 2834, 2835, 2839,
                            2842, 2847, 2848, 2850, 2855, 2856, 2858, 2880, 2881, 2884, 2886, 2887, 2891, 2897, 2898,
                            2902, 2905, 2908, 2909, 2916, 2920, 2921, 2928, 2929, 2930, 2931, 2935, 2938, 2939, 2942,
                            2947, 2949, 2950, 2954, 2958, 2959, 2962, 2963, 2971, 2973, 2977, 2979, 2981, 2986, 2990,
                            2992, 2997, 2999, 3002, 3003, 3006, 3010, 3015, 3020, 3027, 3033, 3038, 3047, 3049, 3050,
                            3051, 3055, 3056, 3058, 3062, 3070, 3073, 3074, 3076, 3085, 3086, 3092, 3094, 3097, 3100,
                            3104, 3105, 3110, 3114, 3116, 3120, 3123, 3126, 3127, 3130, 3131, 3139, 3140, 3147, 3148,
                            3149, 3152, 3153, 3156, 3158, 3159, 3164, 3167, 3173, 3177, 3181, 3184, 3185, 3189, 3191,
                            3192, 3193, 3199, 3203, 3204, 3207, 3208, 3209, 3210, 3212, 3214, 3216, 3217, 3226, 3229,
                            3235, 3238, 3242, 3249, 3256, 3260, 3262, 3266, 3268, 3274, 3275, 3276, 3277, 3282, 3284,
                            3285, 3289, 3290, 3291, 3292, 3294, 3296, 3298, 3303, 3305, 3307, 3309, 3310, 3312, 3314,
                            3316, 3319, 3320, 3321, 3323, 3326, 3327, 3329, 3333, 3334, 3336, 3337, 3347, 3354, 3360,
                            3364, 3369, 3373, 3374, 3375, 3378, 3384, 3385, 3386, 3391, 3393, 3394, 3396, 3398, 3399,
                            3400, 3405, 3407, 3409, 3418, 3421, 3428, 3429, 3430, 3432, 3433, 3436, 3445, 3447, 3448,
                            3452, 3456, 3462, 3463, 3465, 3468, 3477, 3491, 3492, 3495, 3496, 3497, 3500, 3504, 3507,
                            3510, 3522, 3523, 3524, 3525, 3526, 3527, 3529, 3537, 3541, 3543, 3544, 3545, 3547, 3551,
                            3553, 3554, 3557, 3560, 3561, 3562, 3568, 3571, 3574, 3579, 3582, 3592, 3593, 3595, 3596,
                            3598, 3600, 3602, 3603, 3614, 3615, 3618, 3620, 3623, 3631, 3633, 3634, 3637, 3640, 3643,
                            3646, 3650, 3652, 3653, 3659, 3665, 3666, 3667, 3671, 3672, 3677, 3683, 3684, 3695, 3698,
                            3700, 3701, 3702, 3705, 3709, 3713, 3714, 3718, 3720, 3721, 3723, 3724, 3725, 3743, 3747,
                            3748, 3752, 3755, 3756, 3758, 3766, 3775, 3777, 3778, 3781, 3783, 3787, 3790, 3796, 3797,
                            3801, 3804, 3807, 3810, 3815, 3819, 3828, 3830, 3832, 3833, 3835, 3837, 3841, 3848, 3850,
                            3855, 3859, 3860, 3861, 3866, 3870, 3871, 3876, 3881, 3884, 3893, 3895, 3897, 3900, 3901,
                            3904, 3905, 3908, 3912, 3913, 3916, 3917, 3918, 3919, 3920, 3924, 3925, 3927, 3931, 3932,
                            3934, 3935, 3939, 3940, 3945, 3947, 3950, 3951, 3953, 3955, 3956, 3957, 3963, 3965, 3968,
                            3969, 3973, 3977, 3980, 3982, 3983, 3990, 3991, 3999, 4001, 4002, 4005, 4007, 4008, 4010,
                            4011, 4012, 4014, 4018, 4019, 4023, 4025, 4027, 4029, 4035, 4041, 4043, 4047, 4049, 4059,
                            4060, 4068, 4070, 4072, 4077, 4082, 4085, 4086, 4091, 4093, 4100, 4101, 4106, 4108, 4112,
                            4119, 4120, 4122, 4123, 4133, 4141, 4146, 4147, 4151, 4152, 4154, 4155, 4160, 4162, 4169,
                            4174, 4178, 4180, 4183, 4193, 4194, 4198, 4199, 4204, 4209, 4210, 4215, 4220, 4221, 4224,
                            4232, 4240, 4244, 4246, 4248, 4249, 4252, 4254, 4264, 4268, 4269, 4270, 4272, 4273, 4276,
                            4279, 4280, 4281, 4283, 4292, 4293, 4294, 4295, 4296, 4297, 4299, 4303, 4304, 4307, 4315,
                            4322, 4332, 4334, 4335, 4336, 4338, 4342, 4346, 4348, 4350, 4355, 4358, 4360, 4368, 4370,
                            4377, 4379, 4384, 4400, 4401, 4406, 4407, 4421, 4422, 4427, 4429, 4430, 4431, 4434, 4438,
                            4442, 4446, 4450, 4451, 4455, 4459, 4464, 4466, 4470, 4472, 4475, 4479, 4485, 4493, 4497,
                            4498, 4499, 4500, 4501, 4502, 4503, 4508, 4510, 4517, 4519, 4523, 4525, 4526, 4529, 4533,
                            4535, 4536, 4546, 4551, 4554, 4559, 4571, 4572, 4573, 4574, 4575, 4576, 4577, 4578, 4584,
                            4585, 4588, 4593, 4594, 4599, 4603, 4604, 4605, 4607, 4612, 4617, 4619, 4623, 4625, 4629,
                            4632, 4635, 4636, 4642, 4644, 4652, 4653, 4654, 4662, 4665, 4666, 4669, 4674, 4675, 4677,
                            4678, 4684, 4688, 4691, 4697, 4701, 4703, 4705, 4707, 4708, 4712, 4715, 4720, 4721, 4722,
                            4724, 4730, 4733, 4741, 4745, 4747, 4750, 4755, 4756, 4759, 4761, 4762, 4763, 4771, 4774,
                            4775, 4777, 4779, 4782, 4786, 4788, 4789, 4791, 4793, 4794, 4797, 4799, 4807, 4812, 4816,
                            4818, 4819, 4820, 4828, 4829, 4833, 4835, 4836, 4837, 4842, 4845, 4851, 4856, 4859, 4864,
                            4873, 4876, 4877, 4879, 4880, 4883, 4893, 4900, 4901, 4902, 4904, 4906, 4911, 4917, 4924,
                            4925, 4926, 4939, 4941, 4942, 4943, 4947, 4951, 4952, 4954, 4955, 4959, 4963, 4968, 4971,
                            4972, 4974, 4975, 4976, 4979, 4981, 4987, 4990, 4991, 4993, 4994, 4998, 5001, 5004, 5007,
                            5013, 5017, 5018, 5027, 5029, 5032, 5045, 5052, 5054, 5058, 5060, 5063, 5064, 5065, 5068,
                            5069, 5071, 5073, 5076, 5080, 5083, 5085, 5086, 5088, 5094, 5099, 5108, 5109, 5113, 5114,
                            5115, 5121, 5124, 5127, 5130, 5133, 5135, 5139, 5140, 5141, 5142, 5143, 5145, 5147, 5149,
                            5157, 5162, 5163, 5166, 5167, 5168, 5172, 5175, 5180, 5186, 5188, 5189, 5190, 5191, 5194,
                            5196, 5197, 5198, 5204, 5206, 5207, 5223, 5224, 5225, 5226, 5234, 5239, 5241, 5244, 5248,
                            5251, 5257, 5262, 5268, 5269, 5270, 5271, 5273, 5278, 5285, 5293, 5295, 5296, 5298, 5305,
                            5307, 5308, 5314, 5318, 5322, 5323, 5338, 5341, 5342, 5347, 5350, 5351, 5353, 5355, 5356,
                            5359, 5363, 5367, 5368, 5370, 5381, 5384, 5386, 5390, 5394, 5397, 5403, 5404, 5405, 5409,
                            5412, 5413, 5415, 5416, 5423, 5426, 5428, 5433, 5434, 5437, 5440, 5441, 5456, 5458, 5461,
                            5462, 5463, 5465, 5471, 5473, 5475, 5484, 5485, 5493, 5498, 5511, 5516, 5518, 5526, 5529,
                            5532, 5538, 5543, 5545, 5556, 5557, 5562, 5563, 5564, 5565, 5567, 5568, 5569, 5570, 5575,
                            5577, 5581, 5584, 5589, 5590, 5593, 5600, 5607, 5613, 5620, 5621, 5626, 5627, 5631, 5639,
                            5641, 5643, 5646, 5655, 5656, 5658, 5665, 5673, 5676, 5679, 5682, 5687, 5688, 5690, 5693,
                            5695, 5700, 5701, 5703, 5705, 5710, 5715, 5717, 5725, 5728, 5729, 5733, 5736, 5738, 5739,
                            5741, 5745, 5746, 5747, 5753, 5761, 5768, 5769, 5776, 5782, 5785, 5797, 5801, 5803, 5813,
                            5814, 5817, 5820, 5825, 5827, 5829, 5833, 5834, 5835, 5838, 5842, 5851, 5853, 5856, 5862,
                            5864, 5870, 5871, 5872, 5873, 5878, 5885, 5886, 5887, 5889, 5890, 5898, 5903, 5910, 5913,
                            5918, 5921, 5925, 5926, 5929, 5932, 5933, 5935, 5943, 5951, 5952, 5956, 5960, 5961, 5965,
                            5970, 5977, 5978, 5983, 5994, 5997, 6001, 6002, 6003, 6006, 6013, 6017, 6020, 6026, 6028,
                            6040, 6047, 6050, 6054, 6055, 6071, 6072, 6074, 6077, 6080, 6083, 6088, 6097, 6105, 6107,
                            6113, 6116, 6118, 6120, 6122, 6125, 6126, 6130, 6134, 6145, 6147, 6148, 6150, 6153, 6154,
                            6157, 6160, 6165, 6167, 6168, 6174, 6178, 6180, 6183, 6185, 6187, 6188, 6189, 6190, 6192,
                            6196, 6203, 6204, 6205, 6207, 6212, 6217, 6219, 6221, 6225, 6226, 6230, 6232, 6237, 6238,
                            6242, 6244, 6247, 6248, 6250, 6259, 6263, 6267, 6270, 6272, 6274, 6276, 6277, 6285, 6289,
                            6290, 6291, 6293, 6297, 6298, 6303, 6304, 6311, 6317, 6318, 6322, 6323, 6325, 6329, 6332,
                            6343, 6345, 6348, 6358, 6359, 6360, 6361, 6362, 6363, 6365, 6367, 6368, 6371, 6373, 6375,
                            6376, 6382, 6393, 6399, 6404, 6407, 6408, 6410, 6419, 6421, 6423, 6424, 6425, 6427, 6431,
                            6443, 6445, 6446, 6447, 6449, 6451, 6452, 6455, 6461, 6463, 6466, 6467, 6489, 6491, 6497,
                            6505, 6506, 6510, 6520, 6521, 6523, 6530, 6532, 6533, 6539, 6540, 6541, 6551, 6555, 6556,
                            6560, 6561, 6564, 6566, 6573, 6578, 6581, 6584, 6586, 6587, 6588, 6592, 6594, 6595, 6596,
                            6597, 6599, 6604, 6607, 6612, 6616, 6623, 6624, 6630, 6633, 6634, 6636, 6643, 6644, 6646,
                            6647, 6652, 6653, 6654, 6655, 6658, 6660, 6661, 6665, 6666, 6671, 6675, 6676, 6679, 6680,
                            6682, 6683, 6685, 6689, 6692, 6694, 6696, 6706, 6711, 6714, 6716, 6719, 6725, 6728, 6730,
                            6737, 6738, 6743, 6746, 6747, 6754, 6755, 6767, 6768, 6769, 6775, 6777, 6783, 6789, 6791,
                            6794, 6797, 6798, 6805, 6806, 6816, 6823, 6826, 6828, 6829, 6838, 6839, 6840, 6841, 6842,
                            6845, 6849, 6855, 6864, 6866, 6873, 6877, 6881, 6883, 6885, 6888, 6892, 6893, 6894, 6898,
                            6901, 6910, 6920, 6926, 6928, 6932, 6934, 6935, 6946, 6947, 6949, 6950, 6951, 6957, 6962,
                            6966, 6968, 6969, 6971, 6973, 6980, 6983, 6988, 6989, 6991, 6995, 6997, 6998, 7000, 7002,
                            7013, 7014, 7017, 7020, 7022, 7033, 7034, 7035, 7036, 7044, 7049, 7051, 7054, 7056, 7058,
                            7064, 7069, 7077, 7078, 7079, 7081, 7082, 7084, 7086, 7100, 7101, 7102, 7106, 7107, 7108,
                            7112, 7113, 7118, 7119, 7120, 7124, 7128, 7131, 7135, 7136, 7145, 7147, 7152, 7153, 7157,
                            7159, 7161, 7165, 7170, 7174, 7175, 7178, 7183, 7184, 7186, 7187, 7188, 7189, 7196, 7200,
                            7210, 7214, 7219, 7222, 7223, 7225, 7232, 7234, 7235, 7239, 7242, 7246, 7248, 7249, 7253,
                            7254, 7269, 7272, 7274, 7275, 7278, 7282, 7283, 7286, 7299, 7300, 7308, 7310, 7316, 7322,
                            7332, 7335, 7337, 7342, 7347, 7350, 7358, 7359, 7369, 7372, 7378, 7381, 7389, 7395, 7401,
                            7403, 7405, 7408, 7410, 7412, 7413, 7415, 7416, 7420, 7423, 7424, 7425, 7426, 7430, 7432,
                            7433, 7437, 7440, 7454, 7456, 7457, 7458, 7461, 7462, 7470, 7472, 7476, 7482, 7484, 7489,
                            7493, 7495, 7497, 7499, 7503, 7508, 7511, 7523, 7524, 7528, 7535, 7537, 7539, 7541, 7544,
                            7547, 7548, 7552, 7553, 7555, 7557, 7558, 7562, 7564, 7573, 7579, 7582, 7584, 7586, 7588,
                            7589, 7591, 7593, 7594, 7596, 7599, 7601, 7602, 7606, 7608, 7610, 7611, 7616, 7617, 7618,
                            7621, 7622, 7624, 7625, 7631, 7636, 7641, 7644, 7647, 7651, 7654, 7660, 7661, 7663, 7665,
                            7667, 7669, 7671, 7676, 7678, 7680, 7683, 7685, 7686, 7688, 7690, 7693, 7709, 7711, 7715,
                            7716, 7717, 7718, 7722, 7723, 7729, 7730, 7733, 7737, 7738, 7740, 7745, 7751, 7754, 7760,
                            7763, 7774, 7775, 7777, 7790, 7793, 7797, 7799, 7802, 7805, 7814, 7819, 7821, 7826, 7834,
                            7836, 7838, 7839, 7842, 7847, 7849, 7851, 7852, 7855, 7859, 7860, 7862, 7863, 7865, 7867,
                            7868, 7875, 7877, 7881, 7882, 7883, 7892, 7895, 7905, 7907, 7909, 7923, 7925, 7931, 7937,
                            7943, 7948, 7953, 7963, 7964, 7966, 7977, 7980, 7984, 7988, 7992, 7994, 7995, 7997, 7998,
                            8009, 8018, 8019, 8020, 8023, 8025, 8026, 8031, 8033, 8037, 8038, 8043, 8044, 8045, 8046,
                            8048, 8057, 8058, 8061, 8065, 8071, 8075, 8079, 8080, 8083, 8091, 8098, 8103, 8104, 8105,
                            8108, 8111, 8115, 8118, 8119, 8120, 8127, 8130, 8133, 8140, 8141, 8142, 8143, 8148, 8150,
                            8152, 8155, 8162, 8163, 8164, 8166, 8174, 8176, 8178, 8179, 8192, 8194, 8196, 8199, 8202,
                            8207, 8209, 8219, 8221, 8222, 8227, 8229, 8231, 8240, 8247, 8248, 8252, 8253, 8254, 8255,
                            8257, 8260, 8267, 8274, 8275, 8280, 8281, 8285, 8287, 8290, 8291, 8295, 8296, 8300, 8302,
                            8307, 8315, 8327, 8331, 8332, 8333, 8340, 8342, 8344, 8347, 8350, 8351, 8354, 8356, 8357,
                            8360, 8361, 8362, 8374, 8391, 8394, 8395, 8399, 8404, 8408, 8413, 8415, 8417, 8422, 8424,
                            8426, 8427, 8428, 8434, 8435, 8443, 8446, 8449, 8451, 8454, 8456, 8459, 8460, 8466, 8472,
                            8474, 8475, 8478, 8480, 8482, 8484, 8485, 8488, 8494, 8497, 8499, 8505, 8510, 8514, 8523,
                            8477, 6, 1539, 2545, 298, 4250, 4118, 5214, 2818, 3680, 5634, 2319, 5625, 4187, 7104,
                            3113, 7160, 7518, 3380, 5860, 4622, 2757, 8464, 2915, 821, 816, 1283, 2216, 6037, 4265,
                            8524, 2969, 2361, 3134, 674, 551, 6186, 1674, 2811, 3621, 1687, 7744, 8317, 8364, 6625,
                            6310, 4563, 7370, 2838, 786, 1156, 8210, 5819, 4992, 6136, 2578, 6546, 6562, 3339, 6031,
                            189, 1140, 5500, 2779, 867, 98, 7007, 2513, 4145, 6395, 4561, 3138, 3660, 6162, 7857, 5995,
                            3639, 1999, 2248, 4751, 7464, 5707, 7935, 1562, 3863, 658, 4067, 141, 2128, 3588, 6782,
                            7640, 7607, 7504, 3610, 75, 2650, 3542, 8258, 7672, 7062, 6848, 5677, 7068, 5794, 3417,
                            1059, 4586, 3817, 1376, 6773, 8051, 601, 8321, 33, 240, 3416, 7127, 3727, 4110, 2389, 4746,
                            5457, 4732, 6218, 7251, 5116, 6051, 417, 4433, 2343, 3989, 326, 1416, 6220, 7781, 2499,
                            3536, 6149, 6940, 5284, 412, 7515, 6070, 4476, 5912, 7769, 5612, 5300, 4831, 2512, 2050,
                            4814, 7759, 6488, 3757, 5010, 3406, 1514, 1287, 2223, 528, 5846, 2181, 719, 1382, 1722,
                            7070, 2588, 4671, 4888, 4140, 6474, 2342, 7391, 743, 4161, 6021, 6278, 1830, 5203, 4557,
                            7691, 6507, 3060, 2132, 7950, 6102, 4734, 6282, 7768, 5313, 7208, 5845, 7945, 1258, 2058,
                            2017, 1336, 1718, 1917, 1385, 7780, 3728, 3332, 3994, 5771, 6194, 2426, 1328, 3656, 4330,
                            7262, 5421, 4739, 543, 6394, 8066, 8251, 5973, 3410, 622, 7655, 6847, 5492, 6009, 930, 7880,
                            6518, 6439, 5611, 8286, 8377, 6115, 4482, 8517, 8373, 6434, 3081, 5228, 2369, 6069, 1126,
                            395, 2506, 5199, 4109, 3091, 2782, 3740, 8088, 3227, 7469, 3390, 1310, 1085, 4030, 7411,
                            3224, 2079, 5609, 5702, 7144, 6548, 967, 7816, 1981, 2401, 8040, 5240, 484, 1074, 3472,
                            4235, 3581, 5944, 1840, 3023, 4037, 2407, 6090, 1491, 8455, 3197, 833, 4683, 923, 1845,
                            5333, 3559, 399, 7349, 886, 489, 6718, 5319, 2895, 5671, 8022, 293, 5481, 338, 1197, 1787,
                            3836, 7414, 7874, 3240, 645, 3376, 7944, 5662, 7604, 1599, 7725, 4743, 5497, 3265, 7987,
                            475, 2964, 1206, 1715, 5210, 8131, 8527, 5697, 3699, 1904, 7697, 2354, 6529, 5021, 8328,
                            2468, 887, 3632, 5751, 187, 3890, 7670, 5104, 5539, 271, 2828, 6306, 3829, 4478, 6504, 6337,
                            2363, 4182, 5311, 6667, 4565, 2297, 1136, 7627, 6381, 3532, 5950, 7363, 6350, 7575, 1689,
                            1805, 3122, 1916, 5312, 7031, 3846, 8430, 593, 8324, 749, 1775, 6802, 1987, 8180, 5963,
                            1675, 3959, 6565, 7906, 2453, 769, 5146, 8303, 696, 7204, 4980, 3221, 3087, 2849, 5499,
                            2644, 5066, 1518, 3136, 1040, 4181, 1342, 7003, 6570, 5025, 3401, 7252, 1742, 7304, 7048,
                            92, 6094, 4630, 4527, 1663, 8463, 1004, 1877, 7266, 7918, 5936, 7361, 3520, 8186, 3519,
                            4694, 2982, 1672, 1974, 1933, 6253, 4778, 7701, 2260, 303, 3867, 4, 6837, 3763, 4973, 3988,
                            3080, 1166, 1097, 6453, 1610, 7556, 4540, 1772, 8007, 5796, 2417, 5802, 5735, 6674, 2976,
                            2461, 5875, 4620, 4099, 738, 8493, 8382, 667, 209, 6292, 7710, 237, 7025, 4870, 2423, 4205,
                            2122, 7021, 425, 3067, 2045, 7505, 828, 4326, 1158, 5474, 7739, 1359, 6296, 6302, 7526,
                            7951, 2485, 3196, 6402, 1113, 3026, 2590, 4045, 7452, 3163, 5519, 3288, 4970, 3584, 870,
                            3697, 4805, 1764, 3053, 7853, 7890, 1260, 6776, 3254, 4538, 2391, 1699, 2705, 672, 5884,
                            957, 3464, 1646, 7962, 3141, 723, 4504, 6418, 5222, 1064, 3949, 7060, 1020, 1633, 1269,
                            1397, 6903, 8099, 1752, 3616, 2041, 8418, 6984, 3459, 1586, 7237, 3037, 5015, 4233, 1948,
                            474, 4871, 7789, 8003, 6778, 4213, 8294, 207, 8370, 3048, 4381, 6819, 4648, 2065, 4454,
                            7091, 5971, 6909, 1060, 1247, 1076, 6339, 5588, 5100, 6058, 1239, 4520, 8191, 4071, 6121,
                            36, 3896, 1132, 2790, 4138, 4933, 336, 6938, 1958, 835, 3439, 4909, 6405, 997, 666, 353,
                            1744, 4409, 2385, 8096, 549, 7171, 5723, 360, 5596, 4135, 4452, 3679, 4589, 1332, 809, 845,
                            4752, 5049, 6579, 714, 7209, 3481, 7083, 4167, 5264, 8093, 2266, 6199, 2074, 3511, 3222,
                            1481, 2477, 6416, 7362, 1218, 4084, 5670, 6269, 4869, 272, 6613, 4865, 7485, 4611, 3654,
                            1200, 1456, 6048, 8149, 761, 3413, 78, 1115, 7133, 7779, 7393, 6907, 995, 8322, 1631, 1012,
                            6082, 1828, 6198, 7478, 2571, 5549, 8396, 3467, 6279, 3818, 6502, 3812, 406, 6041, 7974,
                            3423, 7864, 2888, 1180, 596, 6703, 4128, 7297, 462, 2204, 3948, 3342, 2004, 8271, 4416,
                            5169, 2780, 7592, 4740, 3179, 2608, 498, 5261, 7279, 1154, 3115, 1876, 8266, 4403, 8268,
                            5046, 3121, 2677, 8412, 7309, 3688, 7329, 4115, 8467, 8121, 3580, 1364, 3425, 5816, 3915,
                            7221, 2262, 4914, 2051, 4850, 573, 3840, 5945, 865, 3879, 1300, 840, 8421, 8187, 4509, 2904,
                            1284, 6498, 3494, 2218, 3689, 2502, 753, 2334, 7885, 7679, 4425, 6433, 4260, 751, 7075,
                            6987, 8319, 1872, 2179, 6144, 5591, 381, 7714, 1054, 2965, 5448, 8410, 860, 1468, 409, 79,
                            5406, 530, 2892, 2408, 34, 7677, 8092, 1008, 8392, 702, 3345, 4415, 7694, 2585, 7810, 5006,
                            324, 4547, 7315, 7053, 4243, 6112, 1847, 933, 1339, 6065, 964, 2454, 7532, 1413, 2726, 5719,
                            2561, 192, 3437, 7092, 7507, 4458, 7117, 6386, 6749, 4309, 966, 2820, 1795, 1571, 6166,
                            5766, 180, 178, 4689, 7597, 1360, 4921, 846, 5635, 90, 2379, 2465, 720, 8168, 5215, 449,
                            5880, 6043, 2526, 2936, 3762, 524, 3853, 2063, 6979, 5252, 2370, 7333, 7158, 383, 2156,
                            7301, 3753, 2924, 5628, 8515, 5668, 6356, 3144, 8393, 876, 6937, 3031, 59, 8270, 929, 1602,
                            3606, 2123, 7806, 3213, 2134, 5953, 910, 3857, 8390, 1964, 5233, 3889, 8264, 6501, 1264,
                            1515, 5176, 2542, 466, 6735, 4908, 7030, 253, 6944, 3578, 6266, 673, 435, 1421, 3186, 7675,
                            239, 1595, 734, 8014, 6815, 1422, 2367, 7236, 6818, 371, 8233, 905, 3451, 5362, 2980, 7955,
                            255, 955, 6440, 7705, 754, 5737, 5137, 7619, 2993, 3422, 5003, 926, 2349, 6079, 8230, 3565,
                            2948, 6857, 4858, 4076, 421, 7399, 1709, 8030, 5908, 7979, 4033, 4022, 1043, 5919, 1543,
                            5401, 7887, 6044, 4542, 8085, 6426, 5624, 170, 4844, 1227, 4567, 4760, 6992, 1585, 4843,
                            5521, 6482, 3308, 460, 6656, 6906, 7105, 4301, 6631, 2882, 5691, 849, 5561, 2799, 6364,
                            3566, 4698, 7728, 2783, 688, 1170, 4748, 925, 1373, 4967, 8298, 6331, 7463, 4944, 2562,
                            7473, 7985, 6011, 8457, 3188, 7981, 1527, 3245, 4024, 4667, 2766, 3746, 5451, 7303, 4744,
                            3974, 6124, 4390, 7846, 8153, 3514, 4595, 5839, 7047, 1788, 742, 3985, 5152, 5260, 2551,
                            1445, 1005, 582, 1446, 6812, 3286, 442, 231, 2745, 8308, 6374, 7292, 3782, 651, 3293, 1396,
                            7137, 4203, 3444, 5430, 2534, 5345, 7026, 5632, 5781, 5799, 5031, 8013, 6061, 2068, 7513,
                            2972, 7545, 4960, 4568, 7702, 3077, 6508, 6688, 2320, 7182, 3107, 6483, 6585, 7317, 5633,
                            3673, 4166, 2806, 7418, 7169, 6858, 3068, 8193, 2777, 154, 32, 1375, 1624, 6605, 313, 8135,
                            5301, 6010, 8170, 4641, 3009, 642, 1478, 7261, 4886, 1494, 2197, 8359, 2854, 896, 5726,
                            3211, 5087, 105, 7749, 7560, 6117, 2681, 8411, 6852, 7534, 2305, 6911, 5328, 7742, 6493,
                            7244, 3379, 5205, 5762, 2196, 3228, 4488, 3641, 4413, 3903, 5339, 862, 4803, 458, 1009,
                            7989, 1432, 8414, 1677, 3001, 504, 1837, 2384, 1588, 3162, 3488, 5, 8509, 6295, 863, 8052,
                            4731, 6305, 6922, 3180, 7364, 7569, 197, 3809, 3703, 2537, 4432, 858, 8425, 6931, 7257,
                            8365, 1007, 2214, 2995, 4443, 6223, 4838, 6795, 5061, 2984, 6450, 1605, 1739, 2922, 4256,
                            5078, 2795, 6336, 8211, 3685, 5310, 5200, 1348, 6645, 2940, 2727, 4862, 3531, 7756, 2013,
                            7772, 1892, 2868, 1430, 4058, 7684, 3576, 404, 71, 6982, 7162, 6437, 5780, 6956, 7491, 7871,
                            1475, 3690, 826, 2738, 537, 5011, 355, 3891, 7996, 260, 6398, 5102, 5527, 5144, 5645, 7071,
                            7024, 5594, 7404, 6417, 422, 3392, 555, 507, 8405, 990, 8123, 7326, 1784, 1783, 463, 4188,
                            6478, 7614, 1329, 6472, 6811, 7788, 4728, 3371, 7792, 4892, 107, 3096, 6593, 2380, 112,
                            4634, 965, 4781, 5299, 5795, 7479, 739, 2452, 4806, 2467, 5755, 373, 5800, 1286, 91, 1458,
                            5616, 5767, 2603, 1566, 3155, 7565, 5972, 4783, 2774, 4006, 7932, 4055, 7633, 459, 5982,
                            6027, 3712, 4940, 1535, 3726, 2690, 1369, 4592, 7179, 4995, 1645, 7015, 8117, 8465, 2615,
                            301, 5525, 1439, 511, 4735, 1941, 4163, 5249, 1579, 5490, 4184, 6233, 831, 6086, 7151, 3101,
                            7028, 1130, 1639, 8172, 864, 5098, 8188, 8525, 2579, 4324, 2293, 3388, 2750, 4107, 7753,
                            6684, 6454, 6503, 6321, 1817, 7649, 8074, 5664, 1850, 5863, 7587, 7212, 3252, 3330, 1601,
                            2193, 7827, 7689, 3344, 5449, 6569, 1403, 7930, 4590, 8388, 4017, 5861, 4680, 4919, 772,
                            4168, 372, 1493, 5905, 39, 4725, 2770, 3476, 2209, 6216, 4624, 728, 4823, 3146, 2568, 4796,
                            282, 7465, 3454, 2674, 8506, 3995, 6722, 320, 2202, 591, 7379, 2563, 5072, 6227, 4881, 2200,
                            536, 7595, 3715, 2484, 6066, 4367, 4291, 5854, 3411, 1201, 15, 7959, 2927, 1640, 4948, 248,
                            4374, 7916, 3483, 1485, 3902, 8273, 3865, 6531, 7019, 8496, 6641, 7870, 3706, 3626, 6924,
                            8238, 7580, 8436, 1312, 6179, 2198, 1047, 2033, 3043, 2532, 4253, 5622, 1285, 1626, 2378,
                            2029, 2353, 3839, 4723, 5091, 5242, 5095, 5389, 7202, 2912, 3946, 6063, 4042, 922, 2875,
                            4927, 5546, 4866, 5062, 5446, 908, 2584, 5372, 608, 5911, 4171, 1383, 379, 7656, 4996, 4606,
                            2308, 5844, 4770, 1693, 3175, 1761, 6429, 6576, 7139, 5128, 4420, 3302, 3923, 4826, 2483,
                            3205, 711, 2365, 3906, 5991, 6513, 6908, 5847, 3575, 3061, 3552, 1822, 2228, 6470, 4729,
                            6036, 1879, 108, 1028, 2155, 7561, 3717, 5019, 3696, 3885, 5373, 388, 5909, 2665, 2837,
                            2794, 6543, 2409, 5183, 3722, 3251, 3605, 568, 8380, 3016, 6457, 6727, 148, 5811, 3647,
                            6687, 7129, 4465, 133, 5760, 5547, 144, 5852, 5443, 6733, 2224, 6333, 3813, 5988, 3824,
                            4966, 729, 1225, 3882, 6762, 4597, 6300, 6580, 4637, 5663, 5044, 3710, 5488, 6084, 1832,
                            6827, 6890, 41, 7976, 3183, 5195, 4189, 3670, 3655, 5038, 8433, 7240, 4216, 944, 1425, 775,
                            1053, 5438, 1025, 6678, 4428, 5598, 7800, 3789, 5731, 7969, 1164, 8407, 2118, 5955, 7341,
                            616, 7406, 1860, 4316, 6018, 4709, 6736, 6871, 7040, 8246, 877, 4543, 3234, 1281, 7546,
                            1931, 3933, 7531, 8204, 2889, 7296, 7176, 3103, 1954, 331, 7510, 5579, 6261, 2498, 1517,
                            2442, 3516, 2913, 5855, 2724, 8138, 6538, 1516, 6078, 3348, 236, 1572, 3768, 1568, 7783,
                            6525, 706, 7822, 7009, 1615, 5605, 3125, 1198, 7629, 7746, 4558, 5922, 8242, 6619, 4473,
                            519, 7891, 1065, 5238, 3877, 7238, 7659, 5651, 7529, 2314, 1071, 382, 5442, 1614, 5030,
                            1551, 1855, 3065, 3232, 3426, 7320, 5654, 4930, 2763, 2867, 4827, 3017, 970, 807, 6486,
                            3124, 6355, 5467, 8507, 1304, 7889, 7712, 595, 6927, 4130, 5869, 3112, 1838, 3572, 2003,
                            4079, 6420, 7220, 3431, 4052, 7968, 2932, 6986, 8218, 5374, 5288, 2934, 951, 5283, 7195,
                            1406, 3984, 5170, 5948, 8010, 5985, 8450, 4857, 1106, 7417, 1888, 5272, 623, 6215, 2436,
                            1171, 1859, 5077, 228, 1619, 6699, 8171, 899, 8205, 2814, 3313, 533, 7758, 1849, 5573, 6710,
                            2430, 6169, 4736, 6867, 5974, 495, 3662, 5879, 7506, 4798, 2744, 368, 3145, 4962, 1386, 737,
                            6925, 5674, 1528, 4484, 1658, 7284, 5975, 2447, 4953, 8277, 4317, 2564, 3941, 4686, 981,
                            4907, 7795, 3738, 8070, 3206, 1891, 151, 6004, 304, 8387, 1839, 7390, 4764, 1811, 5969,
                            5246, 3764, 3498, 8029, 774, 3993, 4125, 268, 2894, 8126, 5542, 164, 8017, 3663, 62, 657,
                            7093, 428, 7901, 2324, 3958, 2172, 7787, 7757, 7637, 3874, 3822, 6836, 5720, 556, 4134,
                            8397, 5132, 705, 8381, 8059, 1137, 2943, 6089, 6936, 2996, 2111, 924, 4699, 2530, 2933,
                            7198, 656, 7971, 7061, 8438, 5344, 8310, 6878, 4228, 5503, 8056, 4308, 5601, 2098, 7776,
                            5035, 2062, 7321, 1598, 7459, 1114, 1272, 83, 1593, 918, 1609, 6955, 661, 1015, 6996, 7483,
                            7687, 5555, 6033, 3737, 6793, 232, 635, 3636, 7764, 3315, 7203, 2381, 6414, 8483, 8256, 880,
                            5630, 6354, 5724, 7967, 2269, 4495, 7804, 4245, 637, 756, 7006, 5582, 760, 1426, 8272, 6492,
                            6760, 6832, 8320, 4331, 201, 882, 6659, 7612, 106, 3649, 7467, 2237, 2275, 321, 2012, 3280,
                            4313, 4148, 3964, 5841, 325, 4003, 785, 4219, 8330, 3340, 610, 7807, 3231, 5657, 6384, 1179,
                            5211, 5321, 7206, 6792, 3161, 943, 2524, 8081, 904, 4354, 1186, 647, 7708, 921, 4278, 1526,
                            2247, 8379, 2420, 7382, 646, 7563, 1355, 47, 5360, 4124, 7664, 2431, 305, 6614, 5303, 1603,
                            7089, 4463, 6981, 7398, 3322, 1541, 4414, 745, 6378, 2355, 5059, 374, 8197, 346, 3844, 6993,
                            6008, 8284, 7218, 7168, 1124, 1814, 5039, 1927, 3739, 6664, 8015, 5290, 2778, 327, 681, 155,
                            3530, 5533, 3218, 7960, 5902, 3013, 7448, 441, 20, 2517, 988, 4341, 5586, 1957, 6075, 8076,
                            557, 569, 7720, 2581, 3938, 5906, 7666, 522, 3831, 2472, 7201, 6496, 6709, 928, 2622, 5103,
                            7348, 6287, 797, 7585, 2648, 8262, 3678, 1990, 3619, 5221, 7090, 6081, 3032, 2659, 7652,
                            7163, 4515, 4236, 1732, 6330, 7180, 7289, 6807, 1173, 650, 7143, 4713, 4656, 4564, 1768,
                            4702, 7345, 8384, 1978, 3791, 3106, 7352, 4915, 510, 6283, 6695, 5644, 6846, 668, 6632,
                            2101, 2178, 2251, 3480, 2364, 4787, 762, 4159, 3389, 5187, 5979, 868, 839, 5907, 5354, 7027,
                            8213, 1642, 1306, 8439, 2893, 3719, 6601, 4255, 2117, 387, 6751, 2946, 2874, 4097, 7576,
                            697, 3470, 1010, 4158, 6370, 3283, 2210, 747, 3198, 6401, 4435, 5192, 4353, 1937, 2298,
                            4285, 2730, 690, 3446, 6465, 2287, 881, 235, 7207, 2445, 8016, 359, 7190, 7260, 6884, 1956,
                            5402, 2872, 6155, 2716, 1219, 2570, 4361, 4046, 3044, 7097, 58, 3361, 5496, 8082, 7185,
                            5514, 8182, 4486, 7287, 7761, 920, 3820, 4718, 3872, 695, 5765, 3219, 1596, 972, 7449, 1827,
                            1501, 2871, 2463, 1635, 7388, 5830, 1368, 1773, 3220, 1688, 726, 4672, 7312, 6970, 7224,
                            4347, 1611, 5732, 6526, 4643, 2701, 7803, 6637, 3742, 4613, 3569, 1209, 8297, 757, 3143,
                            6985, 7280, 5067, 3281, 585, 1469, 2093, 1570, 580, 7811, 2735, 6202, 4999, 2154, 5453,
                            2396, 7972, 7011, 2219, 3440, 1565, 7154, 8367, 3063, 6068, 1751, 3387, 6400, 5024, 8500,
                            2736, 2091, 7832, 4608, 4780, 6369, 7074, 1167, 2719, 3733, 5958, 3195, 8306, 4894, 1949,
                            4802, 1938, 1391, 700, 2593, 183, 6772, 1122, 1834, 4663, 531, 8383, 139, 6558, 6698, 4890,
                            5891, 5610, 6016, 5550, 6000, 5022, 8479, 5614, 4514, 783, 176, 4337, 5680, 4600, 6799,
                            7050, 6265, 1943, 4918, 3487, 6173, 8311, 5422, 4175, 817, 1384, 1144, 1661, 8203, 5431,
                            8128, 6742, 438, 1676, 3135, 7658, 1513, 3324, 677, 1415, 6294, 3761, 5986, 4695, 7801, 335,
                            3350, 1301, 4447, 8006, 741, 771, 6257, 758, 3573, 5999, 6638, 1094, 5336, 7903, 8304, 4391,
                            4462, 145, 8403, 1275, 6843, 6209, 8223, 5495, 5005, 2544, 6127, 7896, 3735, 612, 4920,
                            1900, 5280, 565, 3424, 2877, 6142, 4288, 2235, 4289, 6473, 6744, 5056, 6724, 3943, 6490,
                            8420, 7109, 4218, 3505, 2859, 2336, 6268, 8461, 3269, 8063, 1945, 2569, 6589, 3414, 6353,
                            5232, 4553, 5276, 5274, 2053, 3506, 8429, 7063, 1582, 1271, 589, 6045, 4481, 3466, 5939,
                            6406, 1471, 4111, 3082, 765, 3854, 1016, 1495, 5477, 4899, 2168, 8526, 6098, 6053, 3625,
                            3041, 2801, 2616, 1533, 163, 2655, 4114, 6879, 1107, 6052, 4696, 3997, 2105, 7477, 7323,
                            4530, 7439, 5877, 962, 7645, 3811, 5692, 396, 2048, 4945, 1791, 859, 2090, 5279, 1265, 7255,
                            4661, 8241, 842, 1930, 4830, 1036, 1288, 8334, 7858, 2723, 773, 468, 499, 5653, 6137, 3267,
                            2020, 6535, 5990, 703, 1723, 2359, 7265, 5721, 2022, 5393, 7445, 2460, 5111, 2572, 1317,
                            1366, 4849, 6785, 1062, 6774, 2241, 2846, 8431, 2733, 3546, 1881, 822, 6831, 5629, 6677,
                            1489, 4405, 6326, 3952, 4290, 1003, 3230, 3278, 8504, 5020, 2019, 3362, 3648, 6349, 2356,
                            653, 3630, 7466, 6129, 4050, 6648, 4583, 7453, 5275, 68, 8489, 7828, 2169, 1278, 3751, 5081,
                            2514, 8032, 8002, 2831, 5382, 6476, 465, 1299, 4164, 7394, 1177, 210, 1224, 8145, 1063,
                            2440, 3622, 1443, 4172, 5949, 5291, 8167, 6328, 1357, 4185, 6161, 1370, 3239, 7177, 1660,
                            4157, 4467, 2535, 2748, 2817, 7735, 2161, 3449, 5263, 1960, 5253, 4302, 2525, 267, 7635,
                            1800, 3730, 1092, 7632, 8469, 7032, 8376, 8445, 5996, 4444, 3415, 6309, 8329, 8516, 1293,
                            3035, 5349, 5773, 3821, 1246, 7428, 6119, 2339, 7550, 4142, 7228, 6945, 1411, 5808, 6544,
                            2952, 3335, 3508, 6067, 4468, 2024, 7396, 5818, 6046, 226, 1898, 5537, 5583, 1648, 4460,
                            1484, 481, 2456, 8312, 3898, 3549, 4275, 3090, 6522, 4040, 1451, 4426, 2620, 3054, 4344,
                            116, 258, 5432, 6320, 6729, 6428, 1826, 69, 517, 3548, 5849, 6865, 337, 6241, 7706, 8481,
                            604, 3567, 5452, 2085, 855, 2458, 1233, 7494, 6468, 7268, 2903, 7704, 2273, 2739, 5181,
                            3438, 5899, 6403, 3971, 2476, 7938, 8244, 1388, 7911, 398, 5053, 4958, 2394, 2330, 7696,
                            2185, 4847, 6882, 4772, 4490, 4824, 6868, 8250, 3098, 2642, 80, 1268, 4351, 4251, 6106,
                            3000, 1525, 4494, 7638, 7856, 5786, 7554, 2636, 693, 3590, 4063, 6281, 1292, 1038, 5436,
                            2009, 871, 1297, 1580, 5934, 574, 6948, 3750, 6108, 366, 5171, 7029, 4230, 8129, 7840, 6745,
                            6860, 6657, 3849, 6422, 1885, 1630, 2288, 1869, 8042, 3045, 7023, 6563, 8276, 3540, 4891,
                            1563, 418, 5696, 2478, 5365, 5508, 290, 5558, 1242, 3921, 3434, 1737, 5957, 432, 3078, 2412,
                            454, 4988, 4258, 8122, 2043, 7166, 2540, 8154, 6854, 5706, 542, 6784, 2518, 5419, 6517,
                            2115, 1090, 146, 590, 4013, 5515, 4614, 2803, 4153, 5867, 4144, 1638, 4815, 8090, 6850,
                            5606, 4985, 5119, 872, 1431, 7820, 1728, 2671, 2918, 285, 7193, 6697, 6713, 8316, 3922,
                            2006, 2630, 2153, 3258, 8437, 6512, 977, 7784, 4832, 61, 5304, 4359, 1183, 5892, 456, 5089,
                            3555, 6918, 8352, 4048, 1623, 4247, 5711, 4821, 2707, 3770, 5366, 1152, 3046, 1241, 7045,
                            7443, 5134, 6972, 4263, 120, 111, 73, 1704, 5236, 8072, 3869, 4395, 1934, 251, 2611, 3961,
                            487, 4983, 7812, 5033, 5559, 558, 7662, 2429, 8343, 3108, 1884, 7731, 5604, 2907, 2358,
                            7975, 6444, 873, 6516, 5478, 7215, 6953, 6377, 5592, 4399, 7941, 6138, 6022, 99, 6128, 3970,
                            5472, 8492, 803, 7986, 4126, 134, 4626, 5302, 2769, 1101, 3929, 2698, 3682, 7719, 950, 4238,
                            2732, 4223, 7191, 4860, 3165, 2696, 4716, 1367, 8073, 2812, 5369, 5097, 1507, 946, 3539,
                            1404, 5730, 4089, 5230, 548, 815, 4054, 5566, 6060, 7695, 8345, 4931, 266, 3200, 7067, 6514,
                            2843, 5129, 2516, 8335, 7648, 2080, 5883, 5510, 1781, 27, 3975, 5649, 5504, 3171, 85, 5414,
                            3638, 3460, 2703, 7743, 3223, 1203, 4579, 291, 8062, 4237, 16, 7099, 1162, 6335, 2351, 1086,
                            7037, 3471, 2038, 2383, 1789, 1756, 6856, 5806, 1895, 7126, 2082, 4327, 1844, 5823, 6622,
                            4149, 7356, 715, 3244, 5096, 1098, 63, 6014, 8341, 7794, 4714, 4655, 4284, 6763, 7913, 8235,
                            5213, 1529, 1037, 3517, 7713, 5708, 5459, 2263, 563, 780, 5447, 1435, 5551, 490, 2633, 5012,
                            5524, 1763, 4587, 3427, 2639, 7912, 7516, 7043, 2238, 634, 2372, 2829, 6620, 2653, 1637,
                            3435, 1924, 7427, 4524, 8440, 241, 4075, 5512, 852, 5832, 6958, 7928, 4266, 6905, 4031,
                            5987, 1326, 938, 5770, 6959, 1685, 5287, 7915, 648, 6346, 1616, 3484, 6039, 3785, 2141, 88,
                            3270, 344, 1192, 7076, 3117, 4506, 6897, 6750, 4749, 4628, 2162, 654, 2466, 7899, 1836,
                            5560, 5826, 6347, 8217, 8386, 8084, 2722, 7319, 24, 7567, 52, 884, 1829, 2435, 4513, 5082,
                            8369, 6721, 7724, 843, 6603, 4874, 7949, 5694, 3645, 5420, 2415, 8021, 5153, 6704, 4117,
                            5138, 8269, 1433, 804, 1476, 603, 1462, 1808, 2010, 118, 984, 6964, 5361, 5686, 4190, 1408,
                            2589, 472, 6952, 664, 6640, 2673, 1707, 2482, 3250, 364, 4397, 3119, 4912, 3502, 7983, 215,
                            501, 4217, 5924, 6025, 584, 2390, 5417, 7577, 6383, 4229, 5535, 7367, 6780, 5659, 5536,
                            2758, 4300, 8214, 8237, 8371, 4227, 5993, 3875, 6385, 2335, 4541, 3299, 2008, 8522, 2910,
                            7973, 1560, 4402, 7957, 3981, 7922, 8156, 5418, 6327, 1237, 6312, 7615, 6156, 6863, 3858,
                            4615, 2675, 137, 4195, 5106, 1769, 4132, 2797, 2158, 3786, 5220, 830, 4717, 5571, 196, 2304,
                            5396, 2911, 7942, 1263, 6649, 4885, 4560, 393, 4383, 3589, 1250, 6800, 5576, 1374, 7256,
                            5681, 5603, 5306, 5155, 103, 3976, 7540, 4848, 8375, 7442, 4057, 4339, 8097, 4212, 7481,
                            1729, 3564, 342, 3512, 4053, 4453, 1401, 7773, 5859, 6341, 2885, 2300, 8001, 691, 5740,
                            3442, 7498, 5037, 6615, 4196, 4773, 721, 4685, 1810, 1906, 31, 4026, 7134, 2667, 7373, 1211,
                            7646, 7673, 1597, 6273, 5774, 7947, 3066, 6978, 348, 1557, 6175, 2699, 1221, 6464, 532,
                            4066, 4271, 6213, 8226, 3169, 6334, 5028, 6642, 7123, 5850, 66, 5216, 7884, 897, 7302, 7080,
                            451, 4929, 7741, 3304, 3079, 6639, 2800, 6436, 5309, 6670, 8067, 8159, 3944, 4754, 6844,
                            5202, 6210, 2662, 7281, 1470, 159, 982, 5714, 3538, 7377, 1240, 4491, 2559, 2546, 4065, 53,
                            1473, 2879, 2310, 626, 3644, 2809, 1629, 7247, 8147, 707, 2728, 7227, 7103, 8064, 476, 7940,
                            5619, 2565, 3028, 6500, 2917, 4051, 2764, 4436, 5876, 7965, 300, 1051, 5580, 3042, 4898,
                            4222, 8432, 3563, 4784, 350, 554, 4489, 3474, 2833, 6093, 6030, 1714, 6487, 6929, 1486,
                            7650, 3352, 3072, 7898, 912, 8215, 2047, 8078, 2493, 8520, 5772, 4532, 4074, 4372, 3137,
                            3658, 5229, 698, 3255, 3408, 916, 4211, 6029, 823, 3533, 5652, 3358, 3022, 1735, 2174, 5177,
                            3509, 779, 8160, 655, 2944, 6766, 4170, 7583, 5777, 4682, 1587, 5522, 4186, 6511, 309, 615,
                            3759, 7643, 8385, 8139, 5881, 6942, 4969, 5150, 8165, 6441, 1229, 3794, 2077, 4616, 1903,
                            5084, 1077, 4936, 7496, 6715, 7623, 352, 3151, 8337, 6229, 3773, 7924, 8282, 5079, 7400,
                            4687, 2138, 2280, 5208, 7451, 2344, 1188, 5976, 1641, 5051, 1968, 5185, 689, 4056, 174,
                            2955, 2651, 8047, 2332, 7407, 7327, 5125, 945, 5292, 4767, 7653, 5574, 3168, 3325, 6380,
                            4319, 2295, 1409, 5358, 6024, 1216, 5074, 4127, 219, 363, 7835, 2890, 3792, 1894, 6668,
                            2968, 6923, 2143, 7115, 3528, 4201, 1911, 5444, 4825, 669, 7698, 3349, 6536, 5927, 1027,
                            4036, 82, 2966, 7270, 2272, 5595, 7681, 5243, 494, 5092, 6734, 7052, 5980, 633, 7620, 850,
                            1215, 7250, 3475, 1414, 1649, 7837, 6527, 2441, 2822, 1442, 2970, 4137, 2951, 3779, 1048,
                            181, 2515, 4949, 5036, 6264, 7122, 7173, 7375, 1818, 7290, 8444, 3457, 126, 4387, 546, 3795,
                            1747, 2609, 7823, 4340, 4378, 2761, 1372, 1354, 4923, 5267, 1321, 3187, 4556, 744, 3243,
                            8220, 7767, 1448, 7829, 7142, 6861, 5047, 2107, 7038, 2309, 1112, 5329, 1880, 2073, 437,
                            6899, 3479, 2695, 6943, 7765, 6338, 3587, 185, 3661, 3708, 6307, 6275, 4343, 2773, 407,
                            6519, 3741, 4305, 2804, 6764, 7111, 5896, 4776, 2925, 5709, 7598, 594, 2529, 3461, 3247,
                            1915, 917, 8490, 249, 2749, 3486, 1591, 5277, 7376, 1993, 8305, 3469, 6552, 806, 1042, 7313,
                            2497, 3075, 4790, 1621, 5640, 4440, 7213, 3225, 6249, 1320, 283, 994, 4380, 2249, 2186,
                            4569, 3967, 1721, 376, 4658, 5112, 5000, 4369, 3420, 6032, 5491, 6701, 1434, 3341, 1046,
                            3586, 114, 5790, 4811, 801, 5126, 8095, 7073, 2501, 2307, 5787, 643, 6627, 5964, 7353, 625,
                            2573, 2548, 3366, 2967, 7383, 3962, 2614, 5954, 6801, 3693, 8124, 4986, 2522, 7094, 4562,
                            1467, 6172, 44, 2239, 7138, 2152, 162, 175, 2402, 8243, 6835, 1935, 1856, 8008, 4080, 1520,
                            3109, 6340, 7791, 470, 2627, 6874, 2203, 2923, 7172, 5968, 2945, 4645, 8406, 4516, 4234,
                            7755, 6184, 6397, 1680, 6387, 6732, 1400, 3478, 1955, 8236, 3128, 8473, 5684, 3910, 4088,
                            5517, 220, 3883, 2005, 142, 1567, 8200, 1123, 5454, 572, 6690, 5923, 5754, 6542, 2366, 3707,
                            2233, 3911, 8301, 3799, 2357, 3365, 7519, 4878, 4312, 6761, 21, 4206, 5805, 4239, 4306,
                            4932, 4394, 2700, 2649, 3241, 6240, 7055, 3802, 516, 2387, 6471, 4700, 3852, 1662, 4804,
                            6151, 3570, 3202, 931, 2896, 2257, 4078, 5294, 6469, 3129, 2679, 5008, 4325, 878, 1866, 891,
                            6389, 1311, 7155, 7933, 8442, 5395, 223, 4262, 7782, 2127, 5258, 3760, 6143, 1508, 3776,
                            6481, 5698, 2422, 735, 277, 4997, 3998, 1256, 902, 6182, 2851, 6933, 2333, 3629, 5237, 7330,
                            5572, 8338, 7231, 6618, 5914, 5718, 6164, 6413, 7590, 7245, 3864, 4518, 6509, 2702, 2640,
                            544, 791, 7492, 2813, 6765, 1670, 1318, 2645, 6390, 1510, 2316, 6820, 3359, 389, 4591, 1530,
                            3397, 8519, 7886, 6319, 4938, 4287, 3681, 1084, 6246, 7902, 974, 5439, 230, 8239, 4021,
                            3357, 1532, 5379, 8278, 3368, 2148, 2618, 3318, 2250, 6372, 2683, 3930, 800, 675, 7324, 453,
                            8224, 5297, 2900, 1902, 4647, 5392, 2852, 869, 2678, 7726, 7197, 1454, 7429, 1846, 411, 561,
                            4549, 1857, 110, 5385, 5055, 315, 8039, 1825, 3142, 709, 8055, 2767, 598, 2084, 8389, 3731,
                            5966, 6770, 3039, 2096, 8462, 1594, 4156, 2987, 2326, 5843, 448, 6255, 1779, 1771, 1716,
                            3862, 173, 6700, 5947, 3774, 299, 6707, 3808, 4320, 7217, 5489, 4795, 8036, 8050, 3215,
                            3363, 1078, 2762, 5540, 7692, 3800, 5090, 4177, 7626, 4419, 5530, 857, 1650, 5131, 8228,
                            1449, 6288, 2002, 7521, 4676, 7422, 7088, 7878, 7559, 4950, 8158, 8034, 45, 8348, 2229,
                            7639, 436, 7833, 644, 5201, 1936, 1353, 3501, 1039, 4935, 4398, 6023, 2998, 4884, 4404,
                            4855, 4922, 1327, 7721, 270, 3367, 8476, 6110, 4375, 1417, 8161, 6756, 6977, 5828, 4376,
                            4609, 488, 6432, 252, 8195, 6741, 1868, 7343, 6902, 879, 4345, 7762, 2556, 1006, 3732, 5184,
                            5148, 7125, 7230, 1030, 7450, 652, 3607, 5722, 330, 2957, 6577, 7468, 356, 5928, 2067, 5407,
                            1542, 6485, 302, 1210, 4389, 1690, 8409, 5009, 8185, 7571, 704, 6038, 1488, 559, 2991, 2853,
                            8077, 6869, 6712, 1347, 2160, 827, 2768, 1068, 5534, 3805, 3004, 5410, 4441, 520, 4801,
                            2844, 1755, 2668, 7243, 2985, 7978, 1569, 6726, 1871, 8261, 5002, 2157, 1622, 5608, 1519,
                            2840, 1793, 2347, 212, 1503, 8398, 6941, 3095, 5642, 8169, 2395, 6790, 6034, 7446, 4385,
                            1479, 8100, 8125, 2863, 3111, 6228, 486, 1726, 8366, 5513, 7264, 7328, 3297, 5165, 2743,
                            204, 3692, 8157, 6435, 1753, 4328, 4640, 2360, 3343, 2173, 3657, 7487, 7747, 3372, 7314,
                            4882, 2865, 6095, 3521, 1399, 3021, 4638, 1870, 3182, 4069, 998, 6872, 3246, 5450, 7952,
                            473, 1018, 3355, 286, 5938, 6316, 4808, 1982, 5810, 3083, 7549, 2625, 687, 7771, 2036, 3515,
                            6411, 8181, 5858, 8508, 5494, 1559, 7699, 2866, 2479, 6214, 5231, 6834, 2567, 5487, 5227,
                            6344, 1000, 3412, 1984, 7431, 4757, 97, 6007, 3011, 6913, 766, 1161, 4738, 1959, 6284, 7527,
                            641, 3377, 7141, 7263, 1578, 3441, 3729, 3118, 1989, 7384, 1842, 7815, 4511, 6236, 890,
                            4474, 5014, 8234, 5254, 3599, 1220, 6557, 2189, 5324, 541, 3834, 5585, 5798, 1835, 535,
                            3353, 7325, 4274, 2192, 1181, 2131, 345, 2137, 6702, 6409, 3306, 6315, 7642, 6366, 4711,
                            3612, 4423, 6262, 5315, 2388, 3174, 819, 4323, 3201, 3926, 4487, 1257, 892, 5107, 316, 3279,
                            7199, 4061, 7366, 4083, 2329, 2706, 3826, 7371, 2139, 3669, 401, 6708, 7514, 7211, 6049,
                            4692, 3317, 3301, 5901, 2994, 4121, 8175, 329, 5638, 5882, 1502, 3816, 2876, 218, 7825,
                            6176, 4531, 1669, 5026, 8259, 7908, 6851, 987, 3823, 6814, 2600, 289, 4483, 6254, 2108, 440,
                            7291, 1617, 5900, 6876, 1698, 6796, 8151, 3594, 6133, 7703, 1549, 2449, 1441, 2114, 6606,
                            5840, 7844, 6611, 4028, 6626, 2836, 2656, 500, 4064, 2292, 203, 6181, 1546, 1437, 439, 665,
                            2327, 853, 3873, 6651, 5501, 5821, 4457, 8423, 6880, 2283, 491, 6809, 2646, 3300, 6686,
                            5161, 7150, 7904, 8363, 3176, 6101, 6961, 8116, 6723, 4349, 825, 6786, 8401, 7530, 2151,
                            1554, 6748, 4020, 2177, 3036, 7042, 8112, 2857, 4681, 2475, 3992, 8318, 3986, 3018, 6158,
                            2446, 6092, 8349, 805, 3894, 2404, 2805, 2099, 7385, 1504, 7824, 4418, 6456, 4000, 7397,
                            3771, 6629, 7873, 1184, 7600, 6568, 3453, 161, 1939, 4846, 6859, 7910, 7934, 7628, 4792,
                            6822, 5789, 1717, 8087, 1487, 138, 4032, 3583, 3264, 7674, 5678, 4706, 7917, 4916, 2434,
                            4673, 3273, 28, 4439, 2026, 4298, 4131, 5704, 339, 2531, 3248, 4087, 6163, 10, 2451, 1165,
                            7946, 4242, 4910, 5122, 8292, 4424, 5164, 2539, 7920, 1758, 937, 7114, 5917, 5716, 5941, 96,
                            4116, 8419, 4984, 5320, 4261, 5915, 493, 8027, 7778, 7216, 2087, 3668, 222, 1719, 2937,
                            4512, 1506, 2035, 1950, 3928, 6567, 37, 2313, 7866, 6740, 1782, 3987, 319, 7894, 4768, 4719,
                            8513, 8326, 3803, 50, 3736, 1079, 7512, 3577, 229, 4314, 5256, 4363, 1453, 4102, 3942, 213,
                            5259, 119, 2869, 2488, 2016, 2267, 2318, 1001, 2652, 2121, 2037, 365, 2211, 2823, 7438,
                            2234, 4318, 5250, 5981, 3534, 4104, 5470, 6140, 2709, 6553, 4207, 1139, 5424, 3089, 6252,
                            8452, 5685, 7392, 1021, 529, 4679, 3236, 6458, 6019, 5218, 8068, 1127, 6342, 67, 3550, 8012,
                            6206, 2960, 1951, 4753, 444, 5505, 6193, 2205, 898, 4650, 4393, 597, 6388, 2956, 8265, 7750,
                            2018, 8368, 4670, 6076, 3443, 6104, 649, 2438, 2557, 7267, 6759, 4073, 8134, 2126, 7533,
                            7700, 5219, 5340, 5544, 4809, 1067, 6939, 7205, 1973, 403, 1583, 6442, 3892, 1643, 3856,
                            238, 5815, 8114, 6132, 1022, 5553, 1352, 6100, 4937, 6803, 3381, 514, 227, 4834, 2368, 3880,
                            4704, 8470, 6574, 5824, 4373, 2654, 254, 6904, 1736, 6391, 3253, 1080, 3535, 1647, 6201,
                            3972, 427, 5057, 2635, 2183, 5888, 6448, 8190, 6271, 1863, 7900, 1909, 3370, 6245, 6830,
                            5750, 4618, 4810, 6064, 5193, 5712, 6912, 4356, 2914, 6430, 4202, 2473, 7018, 2289, 5791,
                            2864, 1749, 6617, 4396, 8069, 5070, 7732, 6314, 2605, 2988, 95, 4286, 6462, 5411, 1564,
                            5212, 3287, 790, 5174, 8358, 4534, 7668, 6286, 1988, 4905, 5669, 2457, 6396, 4507, 4840,
                            5749, 4062, 5743, 6757, 7130, 3059, 4982, 2974, 837, 6073, 8146, 4214, 7293, 4978, 4357,
                            3845, 8325, 6197, 1389, 5689, 7436, 4631, 3154, 171, 7831, 8110, 4566, 5764, 5552, 624,
                            2282, 8011, 7486, 2348, 3194, 5398, 150, 2626, 6781, 7318, 1024, 1196, 8183, 1356, 4800,
                            4143, 2492, 7346, 8416, 7888, 7501, 5812, 6123, 6621, 583, 13, 547, 6693, 2694, 208, 4863,
                            4241, 4136, 3328, 3007, 2265, 6917, 2432, 446, 2129, 6547, 811, 4282, 5476, 7233, 5435,
                            1600, 7936, 2278, 4726, 7365, 7919, 968, 6324, 7634, 953, 8136, 7110, 6251, 318, 5289, 394,
                            89, 1185, 505, 6572, 6824, 7872, 949, 4412, 5331, 2878, 4989, 4522, 5779, 8299, 906, 1802,
                            1151, 6914, 1096, 4310, 640, 6771, 1550, 2057, 4895, 3754, 3455, 7409, 3093, 4867, 5836,
                            8447, 7817, 3886, 6235, 3160, 8283, 2740, 6379, 6515, 4417, 5286, 1341, 6200, 3914, 186,
                            1738, 2941, 3150, 748, 6753, 6313, 3025, 1854, 4934, 2086, 6990, 2961, 7570, 1440, 6930,
                            5650, 7502, 2495, 8372, 5666, 1965, 1497, 2405, 5599, 577, 5752, 6887, 165, 6886, 639, 2276,
                            7351, 724, 7818, 3052, 4872, 3878, 4633, 5742, 8495, 7095, 479, 5101, 6231, 1819, 2015,
                            3473, 7786, 911, 6976, 4875, 1381, 1110, 6135, 3030, 1447, 2277, 3383, 592, 1031, 8293,
                            5895, 3954, 1831, 7447, 3490, 5151, 6280, 3071, 750, 1340, 6610, 2710, 7568, 539, 6159,
                            1713, 2425, 2983, 5040, 1733, 1147, 3233, 1929, 1581, 7339, 5520, 5123, 552, 1029, 7311,
                            7116, 1848, 5460, 5647, 280, 1023, 8521, 1606, 3259, 6096, 8086, 4693, 4896, 5048, 7012,
                            5255, 2815, 3331, 1798, 3591, 1655, 3842, 7387, 7016, 6301, 195, 2104, 5617, 6590, 4887,
                            6779, 3608, 2110, 1111, 5502, 8486, 3617, 5959, 156, 2125, 796, 1512, 1799, 5942, 1940,
                            1976, 5683, 4231, 8378, 7538, 7072, 676, 5387, 7241, 4598, 3996, 2256, 7357, 4408, 5541,
                            8212, 2845, 217, 7841, 6672, 1358, 8487, 1146, 6963, 332, 7490, 5920, 1679, 1636, 4044,
                            3556, 5317, 2503, 4737, 3157, 7434, 6662, 1804, 5967, 2711, 3628, 6673, 6571, 5357, 4710,
                            5217, 7273, 2136, 5159, 4226, 6459, 6005, 7419, 618, 6109, 1461, 1878, 8132, 716, 6208,
                            4813, 947, 3686, 2145, 5266, 6234, 932, 179, 5429, 8208, 5178, 7796, 6752, 1921, 2775, 521,
                            3403, 8502, 5093, 3271, 7460, 2270, 2338, 3585, 2717, 4388, 4480, 6720, 1083, 6012, 2150,
                            1330, 660, 6681, 5623, 1335, 5778, 671, 102, 7271, 3040, 3172, 4081, 7421, 4657, 6545, 184,
                            4329, 963, 2487, 310, 6895, 5281, 5937, 6705, 5989, 755, 361, 2601, 246, 5399, 430, 7990,
                            4129, 3936, 2382, 5809, 4582, 2676, 2232, 7331, 2860, 659, 4208, 1538, 7334, 2227, 3966,
                            2634, 2306, 3064, 1379, 57, 2176, 4552, 6900, 6103, 147, 731, 1061, 8501, 1708, 3734, 7630,
                            7991, 3601, 6494, 1412, 4139, 76, 3338, 7441, 1522, 3099, 6669, 959, 447, 6415, 3356, 377,
                            3767, 7854, 7813, 3351, 1095, 1346, 8101, 7845, 7386, 2274, 6191, 1189, 7500, 7605, 7914,
                            1270, 8289, 2771, 1194, 4477, 5235, 4321, 1231, 631, 6817, 4437, 3780, 1926, 7164, 1325, 46,
                            3674, 7276, 5587, 5636, 2027, 397, 7435, 901, 1178, 2595, 6635, 5793, 5469, 464, 6804, 295,
                            6833, 3261, 3772, 4946, 4649, 5388, 7879, 3627, 7843, 8468, 278, 5455, 1883, 5023, 2049,
                            3676, 5378, 4392, 2647, 2862, 4364, 7226, 3493, 55, 5332, 1226, 1545, 6919, 3450, 1701,
                            6131, 3744, 357, 3604, 3888, 4200, 986, 7566, 1932, 1762, 8184, 7954, 426, 2294, 5865, 4191,
                            2071, 4449, 3609, 4259, 8453, 2187, 6853, 1667, 5788, 4365, 848, 7752, 5531, 4371, 4039,
                            2056, 7444, 5371, 4528, 3311, 7156, 127, 2953, 7734, 7848, 5904, 978, 3784, 8024, 1187,
                            4225, 2470, 7475, 6967, 4769, 7830, 1444, 8313, 8448, 8402, 5831, 6602, 3675, 5661, 6889,
                            6260, 6916, 6057, 2195, 7876, 2759, 8107, 6534, 2672, 4817, 3711, 4105, 4352, 885, 8049,
                            2975, 1922, 3827, 1664, 4445, 7707, 2978, 4956, 5744, 7096, 1420, 4961, 1337, 402, 5775,
                            400, 5507, 4964, 3237, 1349, 4095, 8346, 5509, 1697, 2597, 5648, 8518, 6583, 8089, 1450,
                            370, 1204, 1889, 408, 3382, 6663, 1584, 7982, 4841, 836, 5156, 8000, 599, 694, 1482, 2299,
                            1705, 294, 7609, 1505, 7065, 8102, 5866, 7869, 6015, 1694, 4601, 6171, 8177, 4098, 1573,
                            8035, 6896, 7808, 3057, 380, 7066, 6628, 5897, 3899, 3558, 2413, 2240, 1262, 4090, 7010,
                            6195, 8279, 1141, 7039, 4555, 6152, 4548, 3978, 788, 6258, 1169, 7285, 5962, 2592, 5343,
                            3395, 4461, 2576, 6821, 3847, 2374, 4742, 51, 4668, 8512, 3749, 3704, 5034, 6211, 1236,
                            4015, 838, 5326, 5316, 8201, 193, 1785, 3635, 613, 2159, 3485, 5946, 243, 4659, 5105, 7509,
                            3851, 3019, 7277, 5784, 7041, 2521, 5637, 5425, 3793, 4333, 7536, 104, 5173, 5209, 452, 378,
                            8144, 6650, 1223, 2536, 7148, 5118, 29, 4150, 7121, 2252, 5486, 6600, 2926, 4854, 265, 6915,
                            6256, 2583, 6475, 6554, 7355, 909, 3029, 1796, 3503, 1361, 5822, 2290, 1725, 1711, 8503,
                            1255, 6965, 4165, 416, 3132, 375, 3624, 2285, 7380, 2861, 4521, 7259, 5597, 3745, 7542,
                            3642, 7893, 8094, 5154, 8263, 7140, 1498, 4913, 2657, 8060, 6392, 6524, 3765, 2, 5578, 6114,
                            7146, 5464, 4267, 5352, 6146, 1886, 7340, 4785, 4113, 3263, 7929, 7522, 7525, 7336, 2796,
                            2191, 1996, 130, 234, 7520, 5783, 969, 2133, 5759, 3170, 6528, 3272, 2687, 3937, 8511, 6412,
                            903, 7085, 4492, 4362, 7748, 5660, 419, 4853, 4456, 5734, 1555, 4758, 1116, 6480, 5391,
                            6460, 1041, 5383, 7517, 4610, 979, 5602, 6788, 5110, 5346, 7307, 1977, 5894, 423, 834, 3518,
                            2791, 6954, 3178, 3716, 6550, 5117]

VALIDATION_SPLIT_CHALLANGE = [6862, 7809, 6999, 2883, 1492, 6224, 2641, 2712, 883, 6087, 6591, 5792, 6239, 4664, 7999,
                              1806, 7543, 7181, 6042, 2643, 7926, 8288, 3806, 7008, 5807, 6062, 128, 1651, 736, 6891,
                              1474, 5699, 5804, 5043, 1966, 4550, 3788, 8232, 168, 478, 3069, 6141, 7474, 3838, 2167,
                              5482, 7167, 4928, 1405, 7057, 2873, 5758, 781, 4192, 4366, 4016, 1634, 3014, 6177, 3825,
                              5376, 2315, 7770, 1861, 5893, 5756, 6549, 5748, 1684, 4602, 328, 4469, 1075, 2428, 782,
                              1134, 2040, 1794, 7581, 5675, 795, 6739, 3458, 7471, 2575, 1251, 4382, 6921, 6870, 3694,
                              861, 3404, 2765, 6099, 1350, 1972, 8189, 8109, 8471, 7258, 4690, 2419, 8173, 8053, 158,
                              8137, 7958, 2362, 5375, 2587, 5136, 4311, 5247, 6499, 5408, 818, 216, 194, 4646, 4570,
                              2464, 7798, 7727, 1604, 6609, 5837, 4861, 7005, 2528, 934, 1222, 8249, 7306, 2163, 7578,
                              4957, 5874, 2547, 256, 1703, 480, 2906, 4651, 8198, 1712, 8498, 5466, 3613, 5992, 7294,
                              1995, 2784, 149, 2286, 1500, 2116, 6477, 6994, 6974, 1131, 4660, 2785, 3257, 7192, 410,
                              2747, 4096, 7927, 4176, 1797, 1213, 2245, 725, 6495, 503, 7603, 5337, 2505, 3499, 1261,
                              2841, 8004, 3513, 40, 3084, 7736, 5120, 5335, 7001, 4965, 829, 4727, 3691, 7368, 8353,
                              6813, 4038, 257, 3960, 5868, 4505, 5848, 6243, 3190, 1133, 1296, 4448, 1128, 7132, 8245,
                              6758, 7344, 7305, 7574, 1081, 5400, 6035, 5528, 8314, 3024, 132, 3798, 512, 7087, 8106,
                              1232, 5075, 7, 482, 3907, 7861, 4103, 1212, 2213, 6479, 8323, 2208, 8400, 7004, 211, 6808,
                              3687, 6438, 6575, 5427, 5325, 1298, 5327, 4496, 7298, 5998, 4092, 3769, 6484, 424, 5554,
                              3012, 7572, 2259, 5763, 5667, 508, 8309, 2610, 169, 7059, 2135, 5377, 2519, 6351, 8491,
                              8458, 3843, 6537, 8113, 8206, 4537, 4765, 8339, 4627, 4545, 2919, 100, 7682, 4004, 5618,
                              5265, 5480, 3979, 1460, 6091, 5330, 518, 4034, 3346, 2341, 4977, 5334, 8054, 5713, 4471,
                              3887, 5041, 789, 3611, 6559, 6139, 6085, 5158, 7046, 5523, 3008, 4766, 4173, 5930, 1120,
                              2788, 1801, 1531, 2870, 509, 8041, 3102, 7480, 7229, 2792, 4868, 875, 6717, 477, 2658,
                              7961, 768, 1208, 7098, 5348, 1102, 7939, 6352, 1138, 7993, 8028, 5182, 4621, 4839, 5160,
                              2989, 4852, 5479, 6222, 3664, 2586, 7897, 7374, 54, 7354, 2302, 3419, 4903, 8225, 5727,
                              2393, 7613, 6810, 4822, 135, 7921, 2069, 2398, 4639, 1627, 434, 6357, 7360, 3005, 6059,
                              4581, 2149, 334, 1896, 4179, 6056, 3489, 6975, 7402, 2684, 4094, 5857, 1121, 4889, 5672,
                              5364, 200, 6598, 5548, 3651, 3402, 8441, 8216, 6299, 6787, 621, 4580, 1865, 915, 4386,
                              7338, 7766, 6608, 4539, 2786, 77, 1499, 4257, 311, 4277, 958, 3166, 6960, 6825, 5483,
                              4197, 3482, 5468, 7295, 6582, 4897, 1056, 5506, 1371, 7551, 6308, 8005, 7657, 6111, 279,
                              2729, 2072, 7850, 7149, 1656, 4596, 5916, 1316, 2901, 540, 7785, 5445, 4009, 7455, 7194,
                              7288, 6731, 3868, 354, 8355, 5984, 2246, 6170, 3088, 2549, 6691, 5940, 7488, 247, 2899,
                              3133, 3295, 5179, 3814, 5615, 4410, 7970, 5050, 3597, 122, 5042, 4411, 722, 5245, 1521,
                              1392, 3034, 7956, 1459, 5931, 6875, 5380, 8336, 264, 3909, 5016, 4544, 2081, 5282, 1087,
                              143, 5757, 1975, 893]

TRAINING_SPLIT_CHALLANGE_2_CLASSES = TRAINING_SPLIT_CHALLANGE
VALIDATION_SPLIT_CHALLANGE_2_CLASSES = VALIDATION_SPLIT_CHALLANGE