import math
# numerot kivaksi listaksi:
# 1 1 1 0 0 0 0 0 0 0 -> [0, 1, 2]
maarat = input().split()
numerot = []
for luku, maara in enumerate(maarat):
maara = int(maara)
for i in range(maara):
numerot.append(luku) # ---tyhmä tyypitys juttu, kannattaa poistaa jotta voi käyttää esim. summaa
numerot.sort()
def unfactorial(luku):
jakaja = 2
while luku > 1:
luku = luku / jakaja
jakaja += 1
return jakaja-1
# check from array
factoriallens = [1, 1, 1, 2, 3, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 18, 19, 20, 22, 23, 24, 26, 27, 29, 30, 31, 33, 34, 36, 37, 39, 41, 42, 44, 45, 47, 48, 50, 52, 53, 55, 57, 58, 60, 62, 63, 65, 67, 68, 70, 72, 74, 75, 77, 79, 81, 82, 84, 86, 88, 90, 91, 93, 95, 97, 99, 101, 102, 104, 106, 108, 110, 112, 114, 116, 117, 119, 121, 123, 125, 127, 129, 131, 133, 135, 137, 139, 141, 143, 145, 147, 149, 150, 152, 154, 156, 158, 160, 162, 164, 167, 169, 171, 173, 175, 177, 179, 181, 183, 185, 187, 189, 191, 193, 195, 197, 199, 201, 203, 206, 208, 210, 212, 214, 216, 218, 220, 222, 225, 227, 229, 231, 233, 235, 237, 239, 242, 244, 246, 248, 250, 252, 255, 257, 259, 261, 263, 265, 268, 270, 272, 274, 276, 279, 281, 283, 285, 287, 290, 292, 294, 296, 298, 301, 303, 305, 307, 310, 312, 314, 316, 319, 321, 323, 325, 328, 330, 332, 334, 337, 339, 341, 343, 346, 348, 350, 352, 355, 357, 359, 362, 364, 366, 369, 371, 373, 375, 378, 380, 382, 385, 387, 389, 392, 394, 396, 399, 401, 403, 406, 408, 410, 413, 415, 417, 420, 422, 424, 427, 429, 431, 434, 436, 438, 441, 443, 445, 448, 450, 452, 455, 457, 460, 462, 464, 467, 469, 471, 474, 476, 479, 481, 483, 486, 488, 491, 493, 495, 498, 500, 503, 505, 507, 510, 512, 515, 517, 519, 522, 524, 527, 529, 532, 534, 536, 539, 541, 544, 546, 549, 551, 554, 556, 558, 561, 563, 566, 568, 571, 573, 576, 578, 580, 583, 585, 588, 590, 593, 595, 598, 600, 603, 605, 608, 610, 613, 615, 617, 620, 622, 625, 627, 630, 632, 635, 637, 640, 642, 645, 647, 650, 652, 655, 657, 660, 662, 665, 667, 670, 672, 675, 677, 680, 682, 685, 687, 690, 692, 695, 698, 700, 703, 705, 708, 710, 713, 715, 718, 720, 723, 725, 728, 730, 733, 736, 738, 741, 743, 746, 748, 751, 753, 756, 758, 761, 764, 766, 769, 771, 774, 776, 779, 781, 784, 787, 789, 792, 794, 797, 799, 802, 805, 807, 810, 812, 815, 817, 820, 823, 825, 828, 830, 833, 836, 838, 841, 843, 846, 849, 851, 854, 856, 859, 862, 864, 867, 869, 872, 875, 877, 880, 882, 885, 888, 890, 893, 895, 898, 901, 903, 906, 908, 911, 914, 916, 919, 922, 924, 927, 929, 932, 935, 937, 940, 943, 945, 948, 950, 953, 956, 958, 961, 964, 966, 969, 972, 974, 977, 980, 982, 985, 987, 990, 993, 995, 998, 1001, 1003, 1006, 1009, 1011, 1014, 1017, 1019, 1022, 1025, 1027, 1030, 1033, 1035, 1038, 1041, 1043, 1046, 1049, 1051, 1054, 1057, 1059, 1062, 1065, 1067, 1070, 1073, 1075, 1078, 1081, 1083, 1086, 1089, 1092, 1094, 1097, 1100, 1102, 1105, 1108, 1110, 1113, 1116, 1118, 1121, 1124, 1126, 1129, 1132, 1135, 1137, 1140, 1143, 1145, 1148, 1151, 1154, 1156, 1159, 1162, 1164, 1167, 1170, 1172, 1175, 1178, 1181, 1183, 1186, 1189, 1191, 1194, 1197, 1200, 1202, 1205, 1208, 1211, 1213, 1216, 1219, 1221, 1224, 1227, 1230, 1232, 1235, 1238, 1241, 1243, 1246, 1249, 1251, 1254, 1257, 1260, 1262, 1265, 1268, 1271, 1273, 1276, 1279, 1282, 1284, 1287, 1290, 1293, 1295, 1298, 1301, 1304, 1306, 1309, 1312, 1315, 1317, 1320, 1323, 1326, 1328, 1331, 1334, 1337, 1339, 1342, 1345, 1348, 1350, 1353, 1356, 1359, 1361, 1364, 1367, 1370, 1373, 1375, 1378, 1381, 1384, 1386, 1389, 1392, 1395, 1397, 1400, 1403, 1406, 1409, 1411, 1414, 1417, 1420, 1423, 1425, 1428, 1431, 1434, 1436, 1439, 1442, 1445, 1448, 1450, 1453, 1456, 1459, 1462, 1464, 1467, 1470, 1473, 1475, 1478, 1481, 1484, 1487, 1489, 1492, 1495, 1498, 1501, 1503, 1506, 1509, 1512, 1515, 1518, 1520, 1523, 1526, 1529, 1532, 1534, 1537, 1540, 1543, 1546, 1548, 1551, 1554, 1557, 1560, 1562, 1565, 1568, 1571, 1574, 1577, 1579, 1582, 1585, 1588, 1591, 1594, 1596, 1599, 1602, 1605, 1608, 1610, 1613, 1616, 1619, 1622, 1625, 1627, 1630, 1633, 1636, 1639, 1642, 1644, 1647, 1650, 1653, 1656, 1659, 1661, 1664, 1667, 1670, 1673, 1676, 1679, 1681, 1684, 1687, 1690, 1693, 1696, 1698, 1701, 1704, 1707, 1710, 1713, 1716, 1718, 1721, 1724, 1727, 1730, 1733, 1735, 1738, 1741, 1744, 1747, 1750, 1753, 1755, 1758, 1761, 1764, 1767, 1770, 1773, 1776, 1778, 1781, 1784, 1787, 1790, 1793, 1796, 1798, 1801, 1804, 1807, 1810, 1813, 1816, 1819, 1821, 1824, 1827, 1830, 1833, 1836, 1839, 1842, 1844, 1847, 1850, 1853, 1856, 1859, 1862, 1865, 1867, 1870, 1873, 1876, 1879, 1882, 1885, 1888, 1891, 1893, 1896, 1899, 1902, 1905, 1908, 1911, 1914, 1917, 1919, 1922, 1925, 1928, 1931, 1934, 1937, 1940, 1943, 1945, 1948, 1951, 1954, 1957, 1960, 1963, 1966, 1969, 1972, 1974, 1977, 1980, 1983, 1986, 1989, 1992, 1995, 1998, 2001, 2004, 2006, 2009, 2012, 2015, 2018, 2021, 2024, 2027, 2030, 2033, 2036, 2038, 2041, 2044, 2047, 2050, 2053, 2056, 2059, 2062, 2065, 2068, 2071, 2073, 2076, 2079, 2082, 2085, 2088, 2091, 2094, 2097, 2100, 2103, 2106, 2109, 2112, 2114, 2117, 2120, 2123, 2126, 2129, 2132, 2135, 2138, 2141, 2144, 2147, 2150, 2153, 2155, 2158, 2161, 2164, 2167, 2170, 2173, 2176, 2179, 2182, 2185, 2188, 2191, 2194, 2197, 2200, 2203, 2205, 2208, 2211, 2214, 2217, 2220, 2223, 2226, 2229, 2232, 2235, 2238, 2241, 2244, 2247, 2250, 2253, 2256, 2259, 2261, 2264, 2267, 2270, 2273, 2276, 2279, 2282, 2285, 2288, 2291, 2294, 2297, 2300, 2303, 2306, 2309, 2312, 2315, 2318, 2321, 2324, 2327, 2330, 2332, 2335, 2338, 2341, 2344, 2347, 2350, 2353, 2356, 2359, 2362, 2365, 2368, 2371, 2374, 2377, 2380, 2383, 2386, 2389, 2392, 2395, 2398, 2401, 2404, 2407, 2410, 2413, 2416, 2419, 2422, 2425, 2428, 2431, 2434, 2437, 2440, 2442, 2445, 2448, 2451, 2454, 2457, 2460, 2463, 2466, 2469, 2472, 2475, 2478, 2481, 2484, 2487, 2490, 2493, 2496, 2499, 2502, 2505, 2508, 2511, 2514, 2517, 2520, 2523, 2526, 2529, 2532, 2535, 2538, 2541, 2544, 2547, 2550, 2553, 2556, 2559, 2562, 2565, 2568, 2571, 2574, 2577, 2580, 2583, 2586, 2589, 2592, 2595, 2598, 2601, 2604, 2607, 2610, 2613, 2616, 2619, 2622, 2625, 2628, 2631, 2634, 2637, 2640, 2643, 2646, 2649, 2652, 2655, 2658, 2661, 2664, 2667, 2670, 2673, 2676, 2679, 2682, 2685, 2688, 2691, 2694, 2698, 2701, 2704, 2707, 2710, 2713, 2716, 2719, 2722, 2725, 2728, 2731, 2734, 2737, 2740, 2743, 2746, 2749, 2752, 2755, 2758, 2761, 2764, 2767, 2770, 2773, 2776, 2779, 2782, 2785, 2788, 2791, 2794, 2797, 2800, 2803, 2806, 2809, 2813, 2816, 2819, 2822, 2825, 2828, 2831, 2834, 2837, 2840, 2843, 2846, 2849, 2852, 2855, 2858, 2861, 2864, 2867, 2870, 2873, 2876, 2879, 2882, 2885, 2888, 2892, 2895, 2898, 2901, 2904, 2907, 2910, 2913, 2916, 2919, 2922, 2925, 2928, 2931, 2934, 2937, 2940, 2943, 2946, 2949, 2952, 2956, 2959, 2962, 2965, 2968, 2971, 2974, 2977, 2980, 2983, 2986, 2989, 2992, 2995, 2998, 3001, 3004, 3007, 3011, 3014, 3017, 3020, 3023, 3026, 3029, 3032, 3035, 3038, 3041, 3044, 3047, 3050, 3053, 3056, 3060, 3063, 3066, 3069, 3072, 3075, 3078, 3081, 3084, 3087, 3090, 3093, 3096, 3099, 3103, 3106, 3109, 3112, 3115, 3118, 3121, 3124, 3127, 3130, 3133, 3136, 3139, 3142, 3146, 3149, 3152, 3155, 3158, 3161, 3164, 3167, 3170, 3173, 3176, 3179, 3182, 3186, 3189, 3192, 3195, 3198, 3201, 3204, 3207, 3210, 3213, 3216, 3219, 3223, 3226, 3229, 3232, 3235, 3238, 3241, 3244, 3247, 3250, 3253, 3256, 3260, 3263, 3266, 3269, 3272, 3275, 3278, 3281, 3284, 3287, 3290, 3294, 3297, 3300, 3303, 3306, 3309, 3312, 3315, 3318, 3321, 3325, 3328, 3331, 3334, 3337, 3340, 3343, 3346, 3349, 3352, 3356, 3359, 3362, 3365, 3368, 3371, 3374, 3377, 3380, 3383, 3387, 3390, 3393, 3396, 3399, 3402, 3405, 3408, 3411, 3414, 3418, 3421, 3424, 3427, 3430, 3433, 3436, 3439, 3442, 3446, 3449, 3452, 3455, 3458, 3461, 3464, 3467, 3470, 3474, 3477, 3480, 3483, 3486, 3489, 3492, 3495, 3498, 3502, 3505, 3508, 3511, 3514, 3517, 3520, 3523, 3527, 3530, 3533, 3536, 3539, 3542, 3545, 3548, 3551, 3555, 3558, 3561, 3564, 3567, 3570, 3573, 3576, 3580, 3583, 3586, 3589, 3592, 3595, 3598, 3601, 3605, 3608, 3611, 3614, 3617, 3620, 3623, 3626, 3630, 3633, 3636, 3639, 3642, 3645, 3648, 3652, 3655, 3658, 3661, 3664, 3667, 3670, 3673, 3677, 3680, 3683, 3686, 3689, 3692, 3695, 3699, 3702, 3705, 3708, 3711, 3714, 3717, 3720, 3724, 3727, 3730, 3733, 3736, 3739, 3742, 3746, 3749, 3752, 3755, 3758, 3761, 3764, 3768, 3771, 3774, 3777, 3780, 3783, 3786, 3790, 3793, 3796, 3799, 3802, 3805, 3808, 3812, 3815, 3818, 3821, 3824, 3827, 3831, 3834, 3837, 3840, 3843, 3846, 3849, 3853, 3856, 3859, 3862, 3865, 3868, 3871, 3875, 3878, 3881, 3884, 3887, 3890, 3894, 3897, 3900, 3903, 3906, 3909, 3913, 3916, 3919, 3922, 3925, 3928, 3931, 3935, 3938, 3941, 3944, 3947, 3950, 3954, 3957, 3960, 3963, 3966, 3969, 3973, 3976, 3979, 3982, 3985, 3988, 3992, 3995, 3998, 4001, 4004, 4007, 4011, 4014, 4017, 4020, 4023, 4026, 4030, 4033, 4036, 4039, 4042, 4045, 4049, 4052, 4055, 4058, 4061, 4064, 4068, 4071, 4074, 4077, 4080, 4083, 4087, 4090, 4093, 4096, 4099, 4102, 4106, 4109, 4112, 4115, 4118, 4122, 4125, 4128, 4131, 4134, 4137, 4141, 4144, 4147, 4150, 4153, 4156, 4160, 4163, 4166, 4169, 4172, 4176, 4179, 4182, 4185, 4188, 4191, 4195, 4198, 4201, 4204, 4207, 4211, 4214, 4217, 4220, 4223, 4227, 4230, 4233, 4236, 4239, 4242, 4246, 4249, 4252, 4255, 4258, 4262, 4265, 4268, 4271, 4274, 4278, 4281, 4284, 4287, 4290, 4293, 4297, 4300, 4303, 4306, 4309, 4313, 4316, 4319, 4322, 4325, 4329, 4332, 4335, 4338, 4341, 4345, 4348, 4351, 4354, 4357, 4361, 4364, 4367, 4370, 4373, 4377, 4380, 4383, 4386, 4389, 4393, 4396, 4399, 4402, 4405, 4409, 4412, 4415, 4418, 4421, 4425, 4428, 4431, 4434, 4437, 4441, 4444, 4447, 4450, 4453, 4457, 4460, 4463, 4466, 4469, 4473, 4476, 4479, 4482, 4486, 4489, 4492, 4495, 4498, 4502, 4505, 4508, 4511, 4514, 4518, 4521, 4524, 4527, 4530, 4534, 4537, 4540, 4543, 4547, 4550, 4553, 4556, 4559, 4563, 4566, 4569, 4572, 4575, 4579, 4582, 4585, 4588, 4592, 4595, 4598, 4601, 4604, 4608, 4611, 4614, 4617, 4621, 4624, 4627, 4630, 4633, 4637, 4640, 4643, 4646, 4650, 4653, 4656, 4659, 4662, 4666, 4669, 4672, 4675, 4679, 4682, 4685, 4688, 4691, 4695, 4698, 4701, 4704, 4708, 4711, 4714, 4717, 4720, 4724, 4727, 4730, 4733, 4737, 4740, 4743, 4746, 4750, 4753, 4756, 4759, 4762, 4766, 4769, 4772, 4775, 4779, 4782, 4785, 4788, 4792, 4795, 4798, 4801, 4804, 4808, 4811, 4814, 4817, 4821, 4824, 4827, 4830, 4834, 4837, 4840, 4843, 4847, 4850, 4853, 4856, 4859, 4863, 4866, 4869, 4872, 4876, 4879, 4882, 4885, 4889, 4892, 4895, 4898, 4902, 4905, 4908, 4911, 4915, 4918, 4921, 4924, 4928, 4931, 4934, 4937, 4941, 4944, 4947, 4950, 4954, 4957, 4960, 4963, 4966, 4970, 4973, 4976, 4979, 4983, 4986, 4989, 4992, 4996, 4999, 5002, 5005, 5009, 5012, 5015, 5018, 5022, 5025, 5028, 5031, 5035, 5038, 5041, 5044, 5048, 5051, 5054, 5058, 5061, 5064, 5067, 5071, 5074, 5077, 5080, 5084, 5087, 5090, 5093, 5097, 5100, 5103, 5106, 5110, 5113, 5116, 5119, 5123, 5126, 5129, 5132, 5136, 5139, 5142, 5145, 5149, 5152, 5155, 5158, 5162, 5165, 5168, 5172, 5175, 5178, 5181, 5185, 5188, 5191, 5194, 5198, 5201, 5204, 5207, 5211, 5214, 5217, 5220, 5224, 5227, 5230, 5234, 5237, 5240, 5243, 5247, 5250, 5253, 5256, 5260, 5263, 5266, 5270, 5273, 5276, 5279, 5283, 5286, 5289, 5292, 5296, 5299, 5302, 5305, 5309, 5312, 5315, 5319, 5322, 5325, 5328, 5332, 5335, 5338, 5341, 5345, 5348, 5351, 5355, 5358, 5361, 5364, 5368, 5371, 5374, 5378, 5381, 5384, 5387, 5391, 5394, 5397, 5400, 5404, 5407, 5410, 5414, 5417, 5420, 5423, 5427, 5430, 5433, 5437, 5440, 5443, 5446, 5450, 5453, 5456, 5460, 5463, 5466, 5469, 5473, 5476, 5479, 5482, 5486, 5489, 5492, 5496, 5499, 5502, 5505, 5509, 5512, 5515, 5519, 5522, 5525, 5528, 5532, 5535, 5538, 5542, 5545, 5548, 5552, 5555, 5558, 5561, 5565, 5568, 5571, 5575, 5578, 5581, 5584, 5588, 5591, 5594, 5598, 5601, 5604, 5607, 5611, 5614, 5617, 5621, 5624, 5627, 5630, 5634, 5637, 5640, 5644, 5647, 5650, 5654, 5657, 5660, 5663, 5667, 5670, 5673, 5677, 5680, 5683, 5687, 5690, 5693, 5696, 5700, 5703, 5706, 5710, 5713, 5716, 5720, 5723, 5726, 5729, 5733, 5736, 5739, 5743, 5746, 5749, 5753, 5756, 5759, 5762, 5766, 5769, 5772, 5776, 5779, 5782, 5786, 5789, 5792, 5795, 5799, 5802, 5805, 5809, 5812, 5815, 5819, 5822, 5825, 5829, 5832, 5835, 5838, 5842, 5845, 5848, 5852, 5855, 5858, 5862, 5865, 5868, 5872, 5875, 5878, 5881, 5885, 5888, 5891, 5895, 5898, 5901, 5905, 5908, 5911, 5915, 5918, 5921, 5925, 5928, 5931, 5934, 5938, 5941, 5944, 5948, 5951, 5954, 5958, 5961, 5964, 5968, 5971, 5974, 5978, 5981, 5984, 5988, 5991, 5994, 5997, 6001, 6004, 6007, 6011, 6014, 6017, 6021, 6024, 6027, 6031, 6034, 6037, 6041, 6044, 6047, 6051, 6054, 6057, 6061, 6064, 6067, 6071, 6074, 6077, 6080, 6084, 6087, 6090, 6094, 6097, 6100, 6104, 6107, 6110, 6114, 6117, 6120, 6124, 6127, 6130, 6134, 6137, 6140, 6144, 6147, 6150, 6154, 6157, 6160, 6164, 6167, 6170, 6174, 6177, 6180, 6184, 6187, 6190, 6194, 6197, 6200, 6204, 6207, 6210, 6214, 6217, 6220, 6224, 6227, 6230, 6234, 6237, 6240, 6244, 6247, 6250, 6254, 6257, 6260, 6264, 6267, 6270, 6274, 6277, 6280, 6284, 6287, 6290, 6294, 6297, 6300, 6304, 6307, 6310, 6314, 6317, 6320, 6324, 6327, 6330, 6334, 6337, 6340, 6344, 6347, 6350, 6354, 6357, 6360, 6364, 6367, 6370, 6374, 6377, 6380, 6384, 6387, 6390, 6394, 6397, 6400, 6404, 6407, 6410, 6414, 6417, 6421, 6424, 6427, 6431, 6434, 6437, 6441, 6444, 6447, 6451, 6454, 6457, 6461, 6464, 6467, 6471, 6474, 6477, 6481, 6484, 6487, 6491, 6494, 6497, 6501, 6504, 6508, 6511, 6514, 6518, 6521, 6524, 6528, 6531, 6534, 6538, 6541, 6544, 6548, 6551, 6554, 6558, 6561, 6564, 6568, 6571, 6575, 6578, 6581, 6585, 6588, 6591, 6595, 6598, 6601, 6605, 6608, 6611, 6615, 6618, 6621, 6625, 6628, 6632, 6635, 6638, 6642, 6645, 6648, 6652, 6655, 6658, 6662, 6665, 6668, 6672, 6675, 6679, 6682, 6685, 6689, 6692, 6695, 6699, 6702, 6705, 6709, 6712, 6716, 6719, 6722, 6726, 6729, 6732, 6736, 6739, 6742, 6746, 6749, 6752, 6756, 6759, 6763, 6766, 6769, 6773, 6776, 6779, 6783, 6786, 6789, 6793, 6796, 6800, 6803, 6806, 6810, 6813, 6816, 6820, 6823, 6827, 6830, 6833, 6837, 6840, 6843, 6847, 6850, 6853, 6857, 6860, 6864, 6867, 6870, 6874, 6877, 6880, 6884, 6887, 6891, 6894, 6897, 6901, 6904, 6907, 6911, 6914, 6917, 6921, 6924, 6928, 6931, 6934, 6938, 6941, 6944, 6948, 6951, 6955, 6958, 6961, 6965, 6968, 6971, 6975, 6978, 6982, 6985, 6988, 6992, 6995, 6998, 7002, 7005, 7009, 7012, 7015, 7019, 7022, 7025, 7029, 7032, 7036, 7039, 7042, 7046, 7049, 7053, 7056, 7059, 7063, 7066, 7069, 7073, 7076, 7080, 7083, 7086, 7090, 7093, 7096, 7100, 7103, 7107, 7110, 7113, 7117, 7120, 7124, 7127, 7130, 7134, 7137, 7140, 7144, 7147, 7151, 7154, 7157, 7161, 7164, 7168, 7171, 7174, 7178, 7181, 7184, 7188, 7191, 7195, 7198, 7201, 7205, 7208, 7212, 7215, 7218, 7222, 7225, 7228, 7232, 7235, 7239, 7242, 7245, 7249, 7252, 7256, 7259, 7262, 7266, 7269, 7273, 7276, 7279, 7283, 7286, 7289, 7293, 7296, 7300, 7303, 7306, 7310, 7313, 7317, 7320, 7323, 7327, 7330, 7334, 7337, 7340, 7344, 7347, 7351, 7354, 7357, 7361, 7364, 7368, 7371, 7374, 7378, 7381, 7385, 7388, 7391, 7395, 7398, 7402, 7405, 7408, 7412, 7415, 7419, 7422, 7425, 7429, 7432, 7436, 7439, 7442, 7446, 7449, 7453, 7456, 7459, 7463, 7466, 7470, 7473, 7476, 7480, 7483, 7487, 7490, 7493, 7497, 7500, 7504, 7507, 7510, 7514, 7517, 7521, 7524, 7527, 7531, 7534, 7538, 7541, 7544, 7548, 7551, 7555, 7558, 7561, 7565, 7568, 7572, 7575, 7578, 7582, 7585, 7589, 7592, 7595, 7599, 7602, 7606, 7609, 7612, 7616, 7619, 7623, 7626, 7630, 7633, 7636, 7640, 7643, 7647, 7650, 7653, 7657, 7660, 7664, 7667, 7670, 7674, 7677, 7681, 7684, 7688, 7691, 7694, 7698, 7701, 7705, 7708, 7711, 7715, 7718, 7722, 7725, 7728, 7732, 7735, 7739, 7742, 7746, 7749, 7752, 7756, 7759, 7763, 7766, 7769, 7773, 7776, 7780, 7783, 7787, 7790, 7793, 7797, 7800, 7804, 7807, 7810, 7814, 7817, 7821, 7824, 7828, 7831, 7834, 7838, 7841, 7845, 7848, 7851, 7855, 7858, 7862, 7865, 7869, 7872, 7875, 7879, 7882, 7886, 7889, 7893, 7896, 7899, 7903, 7906, 7910, 7913, 7916, 7920, 7923, 7927, 7930, 7934, 7937, 7940, 7944, 7947, 7951, 7954, 7958, 7961, 7964, 7968, 7971, 7975, 7978, 7982, 7985, 7988, 7992, 7995, 7999, 8002, 8006, 8009, 8012, 8016, 8019, 8023, 8026, 8030, 8033, 8036, 8040, 8043, 8047, 8050, 8054, 8057, 8060, 8064, 8067, 8071, 8074, 8078, 8081, 8084, 8088, 8091, 8095, 8098, 8102, 8105, 8108, 8112, 8115, 8119, 8122, 8126, 8129, 8132, 8136, 8139, 8143, 8146, 8150, 8153, 8156, 8160, 8163, 8167, 8170, 8174, 8177, 8181, 8184, 8187, 8191, 8194, 8198, 8201, 8205, 8208, 8211, 8215, 8218, 8222, 8225, 8229, 8232, 8236, 8239, 8242, 8246, 8249, 8253, 8256, 8260, 8263, 8266, 8270, 8273, 8277, 8280, 8284, 8287, 8291, 8294, 8297, 8301, 8304, 8308, 8311, 8315, 8318, 8322, 8325, 8328, 8332, 8335, 8339, 8342, 8346, 8349, 8353, 8356, 8359, 8363, 8366, 8370, 8373, 8377, 8380, 8384, 8387, 8390, 8394, 8397, 8401, 8404, 8408, 8411, 8415, 8418, 8421, 8425, 8428, 8432, 8435, 8439, 8442, 8446, 8449, 8452, 8456, 8459, 8463, 8466, 8470, 8473, 8477, 8480, 8483, 8487, 8490, 8494, 8497, 8501, 8504, 8508, 8511, 8515, 8518, 8521, 8525, 8528, 8532, 8535, 8539, 8542, 8546, 8549, 8552, 8556, 8559, 8563, 8566, 8570, 8573, 8577, 8580, 8584, 8587, 8590, 8594, 8597, 8601, 8604, 8608, 8611, 8615, 8618, 8622, 8625, 8628, 8632, 8635, 8639, 8642, 8646, 8649, 8653, 8656, 8660, 8663, 8666, 8670, 8673, 8677, 8680, 8684, 8687, 8691, 8694, 8698, 8701, 8705, 8708, 8711, 8715, 8718, 8722, 8725, 8729, 8732, 8736, 8739, 8743, 8746, 8750, 8753, 8756, 8760, 8763, 8767, 8770, 8774, 8777, 8781, 8784, 8788, 8791, 8795, 8798, 8801, 8805, 8808, 8812, 8815, 8819, 8822, 8826, 8829, 8833, 8836, 8840, 8843, 8846, 8850, 8853, 8857, 8860, 8864, 8867, 8871, 8874, 8878, 8881, 8885, 8888, 8892, 8895, 8898, 8902, 8905, 8909, 8912, 8916, 8919, 8923, 8926, 8930, 8933, 8937, 8940, 8944, 8947, 8951, 8954, 8957, 8961, 8964, 8968, 8971, 8975, 8978, 8982, 8985, 8989, 8992, 8996, 8999, 9003, 9006, 9010, 9013, 9016, 9020, 9023, 9027, 9030, 9034, 9037, 9041, 9044, 9048, 9051, 9055, 9058, 9062, 9065, 9069, 9072, 9076, 9079, 9082, 9086, 9089, 9093, 9096, 9100, 9103, 9107, 9110, 9114, 9117, 9121, 9124, 9128, 9131, 9135, 9138, 9142, 9145, 9149, 9152, 9155, 9159, 9162, 9166, 9169, 9173, 9176, 9180, 9183, 9187, 9190, 9194, 9197, 9201, 9204, 9208, 9211, 9215, 9218, 9222, 9225, 9229, 9232, 9235, 9239, 9242, 9246, 9249, 9253, 9256, 9260, 9263, 9267, 9270, 9274, 9277, 9281, 9284, 9288, 9291, 9295, 9298, 9302, 9305, 9309, 9312, 9316, 9319, 9323, 9326, 9330, 9333, 9337, 9340, 9343, 9347, 9350, 9354, 9357, 9361, 9364, 9368, 9371, 9375, 9378, 9382, 9385, 9389, 9392, 9396, 9399, 9403, 9406, 9410, 9413, 9417, 9420, 9424, 9427, 9431, 9434, 9438, 9441, 9445, 9448, 9452, 9455, 9459, 9462, 9466, 9469, 9473, 9476, 9480, 9483, 9487, 9490, 9494, 9497, 9501, 9504, 9507, 9511, 9514, 9518, 9521, 9525, 9528, 9532, 9535, 9539, 9542, 9546, 9549, 9553, 9556, 9560, 9563, 9567, 9570, 9574, 9577, 9581, 9584, 9588, 9591, 9595, 9598, 9602, 9605, 9609, 9612, 9616, 9619, 9623, 9626, 9630, 9633, 9637, 9640, 9644, 9647, 9651, 9654, 9658, 9661, 9665, 9668, 9672, 9675, 9679, 9682, 9686, 9689, 9693, 9696, 9700, 9703, 9707, 9710, 9714, 9717, 9721, 9724, 9728, 9731, 9735, 9738, 9742, 9745, 9749, 9752, 9756, 9759, 9763, 9766, 9770, 9773, 9777, 9780, 9784, 9787, 9791, 9794, 9798, 9801, 9805, 9808, 9812, 9815, 9819, 9822, 9826, 9829, 9833, 9836, 9840, 9843, 9847, 9850, 9854, 9857, 9861, 9864, 9868, 9871, 9875, 9878, 9882, 9885, 9889, 9893, 9896, 9900, 9903, 9907, 9910, 9914, 9917, 9921, 9924, 9928, 9931, 9935, 9938, 9942, 9945, 9949, 9952, 9956, 9959, 9963, 9966, 9970, 9973, 9977, 9980, 9984, 9987, 9991, 9994, 9998, 10001, 10005, 10008, 10012, 10015, 10019, 10022, 10026, 10029, 10033, 10036, 10040, 10043, 10047, 10050, 10054, 10058, 10061, 10065, 10068, 10072, 10075, 10079, 10082, 10086, 10089, 10093, 10096, 10100, 10103, 10107, 10110, 10114, 10117, 10121, 10124, 10128, 10131, 10135, 10138, 10142, 10145, 10149, 10152, 10156, 10159, 10163, 10167, 10170, 10174, 10177, 10181, 10184, 10188, 10191, 10195, 10198, 10202, 10205, 10209, 10212, 10216, 10219, 10223, 10226, 10230, 10233, 10237, 10240, 10244, 10247, 10251, 10255, 10258, 10262, 10265, 10269, 10272, 10276, 10279, 10283, 10286, 10290, 10293, 10297, 10300, 10304, 10307, 10311, 10314, 10318, 10321, 10325, 10328, 10332, 10336, 10339, 10343, 10346, 10350, 10353, 10357, 10360, 10364, 10367, 10371, 10374, 10378, 10381, 10385, 10388, 10392, 10395, 10399, 10403, 10406, 10410, 10413, 10417, 10420, 10424, 10427, 10431, 10434, 10438, 10441, 10445, 10448, 10452, 10455, 10459, 10462, 10466, 10470, 10473, 10477, 10480, 10484, 10487, 10491, 10494, 10498, 10501, 10505, 10508, 10512, 10515, 10519, 10522, 10526, 10530, 10533, 10537, 10540, 10544, 10547, 10551, 10554, 10558, 10561, 10565, 10568, 10572, 10575, 10579, 10583, 10586, 10590, 10593, 10597, 10600, 10604, 10607, 10611, 10614, 10618, 10621, 10625, 10628, 10632, 10636, 10639, 10643, 10646, 10650, 10653, 10657, 10660, 10664, 10667, 10671, 10674, 10678, 10682, 10685, 10689, 10692, 10696, 10699, 10703, 10706, 10710, 10713, 10717, 10720, 10724, 10728, 10731, 10735, 10738, 10742, 10745, 10749, 10752, 10756, 10759, 10763, 10766, 10770, 10774, 10777, 10781, 10784, 10788, 10791, 10795, 10798, 10802, 10805, 10809, 10812, 10816, 10820, 10823, 10827, 10830, 10834, 10837, 10841, 10844, 10848, 10851, 10855, 10859, 10862, 10866, 10869, 10873, 10876, 10880, 10883, 10887, 10890, 10894, 10898, 10901, 10905, 10908, 10912, 10915, 10919, 10922, 10926, 10929, 10933, 10937, 10940, 10944, 10947, 10951, 10954, 10958, 10961, 10965, 10968, 10972, 10976, 10979, 10983, 10986, 10990, 10993, 10997, 11000, 11004, 11007, 11011, 11015, 11018, 11022, 11025, 11029, 11032, 11036, 11039, 11043, 11046, 11050, 11054, 11057, 11061, 11064, 11068, 11071, 11075, 11078, 11082, 11086, 11089, 11093, 11096, 11100, 11103, 11107, 11110, 11114, 11118, 11121, 11125, 11128, 11132, 11135, 11139, 11142, 11146, 11149, 11153, 11157, 11160, 11164, 11167, 11171, 11174, 11178, 11181, 11185, 11189, 11192, 11196, 11199, 11203, 11206, 11210, 11213, 11217, 11221, 11224, 11228, 11231, 11235, 11238, 11242, 11245, 11249, 11253, 11256, 11260, 11263, 11267, 11270, 11274, 11277, 11281, 11285, 11288, 11292, 11295, 11299, 11302, 11306, 11309, 11313, 11317, 11320, 11324, 11327, 11331, 11334, 11338, 11342, 11345, 11349, 11352, 11356, 11359, 11363, 11366, 11370, 11374, 11377, 11381, 11384, 11388, 11391, 11395, 11399, 11402, 11406, 11409, 11413, 11416, 11420, 11423, 11427, 11431, 11434, 11438, 11441, 11445, 11448, 11452, 11456, 11459, 11463, 11466, 11470, 11473, 11477, 11480, 11484, 11488, 11491, 11495, 11498, 11502, 11505, 11509, 11513, 11516, 11520, 11523, 11527, 11530, 11534, 11537, 11541, 11545, 11548, 11552, 11555, 11559, 11562, 11566, 11570, 11573, 11577, 11580, 11584, 11587, 11591, 11595, 11598, 11602, 11605, 11609, 11612, 11616, 11620, 11623, 11627, 11630, 11634, 11637, 11641, 11645, 11648, 11652, 11655, 11659, 11662, 11666, 11670, 11673, 11677, 11680, 11684, 11687, 11691, 11695, 11698, 11702, 11705, 11709, 11712, 11716, 11720, 11723, 11727, 11730, 11734, 11737, 11741, 11745, 11748, 11752, 11755, 11759, 11762, 11766, 11770, 11773, 11777, 11780, 11784, 11787, 11791, 11795, 11798, 11802, 11805, 11809, 11812, 11816, 11820, 11823, 11827, 11830, 11834, 11837, 11841, 11845, 11848, 11852, 11855, 11859, 11863, 11866, 11870, 11873, 11877, 11880, 11884, 11888, 11891, 11895, 11898, 11902, 11905, 11909, 11913, 11916, 11920, 11923, 11927, 11930, 11934, 11938, 11941, 11945, 11948, 11952, 11956, 11959, 11963, 11966, 11970, 11973, 11977, 11981, 11984, 11988, 11991, 11995, 11999, 12002, 12006, 12009, 12013, 12016, 12020, 12024, 12027, 12031, 12034, 12038, 12041, 12045, 12049, 12052, 12056, 12059, 12063, 12067, 12070, 12074, 12077, 12081, 12084, 12088, 12092, 12095, 12099, 12102, 12106, 12110, 12113, 12117, 12120, 12124, 12128, 12131, 12135, 12138, 12142, 12145, 12149, 12153, 12156, 12160, 12163, 12167, 12171, 12174, 12178, 12181, 12185, 12188, 12192, 12196, 12199, 12203, 12206, 12210, 12214, 12217, 12221, 12224, 12228, 12232, 12235, 12239, 12242, 12246, 12249, 12253, 12257, 12260, 12264, 12267, 12271, 12275, 12278, 12282, 12285, 12289, 12293, 12296, 12300, 12303, 12307, 12311, 12314, 12318, 12321, 12325, 12328, 12332, 12336, 12339, 12343, 12346, 12350, 12354, 12357, 12361, 12364, 12368, 12372, 12375, 12379, 12382, 12386, 12390, 12393, 12397, 12400, 12404, 12408, 12411, 12415, 12418, 12422, 12425, 12429, 12433, 12436, 12440, 12443, 12447, 12451, 12454, 12458, 12461, 12465, 12469, 12472, 12476, 12479, 12483, 12487, 12490, 12494, 12497, 12501, 12505, 12508, 12512, 12515, 12519, 12523, 12526, 12530, 12533, 12537, 12541, 12544, 12548, 12551, 12555, 12559, 12562, 12566, 12569, 12573, 12577, 12580, 12584, 12587, 12591, 12595, 12598, 12602, 12605, 12609, 12613, 12616, 12620, 12623, 12627, 12631, 12634, 12638, 12641, 12645, 12649, 12652, 12656, 12659, 12663, 12667, 12670, 12674, 12677, 12681, 12685, 12688, 12692, 12695, 12699, 12703, 12706, 12710, 12713, 12717, 12721, 12724, 12728, 12731, 12735, 12739, 12742, 12746, 12749, 12753, 12757, 12760, 12764, 12767, 12771, 12775, 12778, 12782, 12785, 12789, 12793, 12796, 12800, 12804, 12807, 12811, 12814, 12818, 12822, 12825, 12829, 12832, 12836, 12840, 12843, 12847, 12850, 12854, 12858, 12861, 12865, 12868, 12872, 12876, 12879, 12883, 12886, 12890, 12894, 12897, 12901, 12905, 12908, 12912, 12915, 12919, 12923, 12926, 12930, 12933, 12937, 12941, 12944, 12948, 12951, 12955, 12959, 12962, 12966, 12969, 12973, 12977, 12980, 12984, 12988, 12991, 12995, 12998, 13002, 13006, 13009, 13013, 13016, 13020, 13024, 13027, 13031, 13035, 13038, 13042, 13045, 13049, 13053, 13056, 13060, 13063, 13067, 13071, 13074, 13078, 13081, 13085, 13089, 13092, 13096, 13100, 13103, 13107, 13110, 13114, 13118, 13121, 13125, 13128, 13132, 13136, 13139, 13143, 13147, 13150, 13154, 13157, 13161, 13165, 13168, 13172, 13175, 13179, 13183, 13186, 13190, 13194, 13197, 13201, 13204, 13208, 13212, 13215, 13219, 13223, 13226, 13230, 13233, 13237, 13241, 13244, 13248, 13251, 13255, 13259, 13262, 13266, 13270, 13273, 13277, 13280, 13284, 13288, 13291, 13295, 13299, 13302, 13306, 13309, 13313, 13317, 13320, 13324, 13327, 13331, 13335, 13338, 13342, 13346, 13349, 13353, 13356, 13360, 13364, 13367, 13371, 13375, 13378, 13382, 13385, 13389, 13393, 13396, 13400, 13404, 13407, 13411, 13414, 13418, 13422, 13425, 13429, 13433, 13436, 13440, 13443, 13447, 13451, 13454, 13458, 13462, 13465, 13469, 13472, 13476, 13480, 13483, 13487, 13491, 13494, 13498, 13501, 13505, 13509, 13512, 13516, 13520, 13523, 13527, 13530, 13534, 13538, 13541, 13545, 13549, 13552, 13556, 13559, 13563, 13567, 13570, 13574, 13578, 13581, 13585, 13589, 13592, 13596, 13599, 13603, 13607, 13610, 13614, 13618, 13621, 13625, 13628, 13632, 13636, 13639, 13643, 13647, 13650, 13654, 13657, 13661, 13665, 13668, 13672, 13676, 13679, 13683, 13687, 13690, 13694, 13697, 13701, 13705, 13708, 13712, 13716, 13719, 13723, 13726, 13730, 13734, 13737, 13741, 13745, 13748, 13752, 13756, 13759, 13763, 13766, 13770, 13774, 13777, 13781, 13785, 13788, 13792, 13796, 13799, 13803, 13806, 13810, 13814, 13817, 13821, 13825, 13828, 13832, 13835, 13839, 13843, 13846, 13850, 13854, 13857, 13861, 13865, 13868, 13872, 13875, 13879, 13883, 13886, 13890, 13894, 13897, 13901, 13905, 13908, 13912, 13915, 13919, 13923, 13926, 13930, 13934, 13937, 13941, 13945, 13948, 13952, 13956, 13959, 13963, 13966, 13970, 13974, 13977, 13981, 13985, 13988, 13992, 13996, 13999, 14003, 14006, 14010, 14014, 14017, 14021, 14025, 14028, 14032, 14036, 14039, 14043, 14047, 14050, 14054, 14057, 14061, 14065, 14068, 14072, 14076, 14079, 14083, 14087, 14090, 14094, 14098, 14101, 14105, 14108, 14112, 14116, 14119, 14123, 14127, 14130, 14134, 14138, 14141, 14145, 14149, 14152, 14156, 14159, 14163, 14167, 14170, 14174, 14178, 14181, 14185, 14189, 14192, 14196, 14200, 14203, 14207, 14210, 14214, 14218, 14221, 14225, 14229, 14232, 14236, 14240, 14243, 14247, 14251, 14254, 14258, 14262, 14265, 14269, 14272, 14276, 14280, 14283, 14287, 14291, 14294, 14298, 14302, 14305, 14309, 14313, 14316, 14320, 14324, 14327, 14331, 14335, 14338, 14342, 14345, 14349, 14353, 14356, 14360, 14364, 14367, 14371, 14375, 14378, 14382, 14386, 14389, 14393, 14397, 14400, 14404, 14408, 14411, 14415, 14418, 14422, 14426, 14429, 14433, 14437, 14440, 14444, 14448, 14451, 14455, 14459, 14462, 14466, 14470, 14473, 14477, 14481, 14484, 14488, 14492, 14495, 14499, 14502, 14506, 14510, 14513, 14517, 14521, 14524, 14528, 14532, 14535, 14539, 14543, 14546, 14550, 14554, 14557, 14561, 14565, 14568, 14572, 14576, 14579, 14583, 14587, 14590, 14594, 14597, 14601, 14605, 14608, 14612, 14616, 14619, 14623, 14627, 14630, 14634, 14638, 14641, 14645, 14649, 14652, 14656, 14660, 14663, 14667, 14671, 14674, 14678, 14682, 14685, 14689, 14693, 14696, 14700, 14704, 14707, 14711, 14715, 14718, 14722, 14726, 14729, 14733, 14737, 14740, 14744, 14747, 14751, 14755, 14758, 14762, 14766, 14769, 14773, 14777, 14780, 14784, 14788, 14791, 14795, 14799, 14802, 14806, 14810, 14813, 14817, 14821, 14824, 14828, 14832, 14835, 14839, 14843, 14846, 14850, 14854, 14857, 14861, 14865, 14868, 14872, 14876, 14879, 14883, 14887, 14890, 14894, 14898, 14901, 14905, 14909, 14912, 14916, 14920, 14923, 14927, 14931, 14934, 14938, 14942, 14945, 14949, 14953, 14956, 14960, 14964, 14967, 14971, 14975, 14978, 14982, 14986, 14989, 14993, 14997, 15000, 15004, 15008, 15011, 15015, 15019, 15022, 15026, 15030, 15033, 15037, 15041, 15044, 15048, 15052, 15055, 15059, 15063, 15066, 15070, 15074, 15077, 15081, 15085, 15088, 15092, 15096, 15099, 15103, 15107, 15110, 15114, 15118, 15121, 15125, 15129, 15132, 15136, 15140, 15143, 15147, 15151, 15154, 15158, 15162, 15165, 15169, 15173, 15176, 15180, 15184, 15187, 15191, 15195, 15198, 15202, 15206, 15209, 15213, 15217, 15220, 15224, 15228, 15231, 15235, 15239, 15242, 15246, 15250, 15253, 15257, 15261, 15264, 15268, 15272, 15276, 15279, 15283, 15287, 15290, 15294, 15298, 15301, 15305, 15309, 15312, 15316, 15320, 15323, 15327, 15331, 15334, 15338, 15342, 15345, 15349, 15353, 15356, 15360, 15364, 15367, 15371, 15375, 15378, 15382, 15386, 15389, 15393, 15397, 15400, 15404, 15408, 15411, 15415, 15419, 15423, 15426, 15430, 15434, 15437, 15441, 15445, 15448, 15452, 15456, 15459, 15463, 15467, 15470, 15474, 15478, 15481, 15485, 15489, 15492, 15496, 15500, 15503, 15507, 15511, 15514, 15518, 15522, 15526, 15529, 15533, 15537, 15540, 15544, 15548, 15551, 15555, 15559, 15562, 15566, 15570, 15573, 15577, 15581, 15584, 15588, 15592, 15595, 15599, 15603, 15606, 15610, 15614, 15618, 15621, 15625, 15629, 15632, 15636, 15640, 15643, 15647, 15651, 15654, 15658, 15662, 15665, 15669, 15673, 15676, 15680, 15684, 15688, 15691, 15695, 15699, 15702, 15706, 15710, 15713, 15717, 15721, 15724, 15728, 15732, 15735, 15739, 15743, 15746, 15750, 15754, 15758, 15761, 15765, 15769, 15772, 15776, 15780, 15783, 15787, 15791, 15794, 15798, 15802, 15805, 15809, 15813, 15816, 15820, 15824, 15828, 15831, 15835, 15839, 15842, 15846, 15850, 15853, 15857, 15861, 15864, 15868, 15872, 15875, 15879, 15883, 15887, 15890, 15894, 15898, 15901, 15905, 15909, 15912, 15916, 15920, 15923, 15927, 15931, 15935, 15938, 15942, 15946, 15949, 15953, 15957, 15960, 15964, 15968, 15971, 15975, 15979, 15982, 15986, 15990, 15994, 15997, 16001, 16005, 16008, 16012, 16016, 16019, 16023, 16027, 16030, 16034, 16038, 16042, 16045, 16049, 16053, 16056, 16060, 16064, 16067, 16071, 16075, 16078, 16082, 16086, 16090, 16093, 16097, 16101, 16104, 16108, 16112, 16115, 16119, 16123, 16127, 16130, 16134, 16138, 16141, 16145, 16149, 16152, 16156, 16160, 16163, 16167, 16171, 16175, 16178, 16182, 16186, 16189, 16193, 16197, 16200, 16204, 16208, 16211, 16215, 16219, 16223, 16226, 16230, 16234, 16237, 16241, 16245, 16248, 16252, 16256, 16260, 16263, 16267, 16271, 16274, 16278, 16282, 16285, 16289, 16293, 16297, 16300, 16304, 16308, 16311, 16315, 16319, 16322, 16326, 16330, 16334, 16337, 16341, 16345, 16348, 16352, 16356, 16359, 16363, 16367, 16371, 16374, 16378, 16382, 16385, 16389, 16393, 16396, 16400, 16404, 16408, 16411, 16415, 16419, 16422, 16426, 16430, 16433, 16437, 16441, 16445, 16448, 16452, 16456, 16459, 16463, 16467, 16470, 16474, 16478, 16482, 16485, 16489, 16493, 16496, 16500, 16504, 16507, 16511, 16515, 16519, 16522, 16526, 16530, 16533, 16537, 16541, 16545, 16548, 16552, 16556, 16559, 16563, 16567, 16570, 16574, 16578, 16582, 16585, 16589, 16593, 16596, 16600, 16604, 16608, 16611, 16615, 16619, 16622, 16626, 16630, 16633, 16637, 16641, 16645, 16648, 16652, 16656, 16659, 16663, 16667, 16671, 16674, 16678, 16682, 16685, 16689, 16693, 16696, 16700, 16704, 16708, 16711, 16715, 16719, 16722, 16726, 16730, 16734, 16737, 16741, 16745, 16748, 16752, 16756, 16760, 16763, 16767, 16771, 16774, 16778, 16782, 16785, 16789, 16793, 16797, 16800, 16804, 16808, 16811, 16815, 16819, 16823, 16826, 16830, 16834, 16837, 16841, 16845, 16849, 16852, 16856, 16860, 16863, 16867, 16871, 16875, 16878, 16882, 16886, 16889, 16893, 16897, 16901, 16904, 16908, 16912, 16915, 16919, 16923, 16926, 16930, 16934, 16938, 16941, 16945, 16949, 16952, 16956, 16960, 16964, 16967, 16971, 16975, 16978, 16982, 16986, 16990, 16993, 16997, 17001, 17004, 17008, 17012, 17016, 17019, 17023, 17027, 17030, 17034, 17038, 17042, 17045, 17049, 17053, 17056, 17060, 17064, 17068, 17071, 17075, 17079, 17083, 17086, 17090, 17094, 17097, 17101, 17105, 17109, 17112, 17116, 17120, 17123, 17127, 17131, 17135, 17138, 17142, 17146, 17149, 17153, 17157, 17161, 17164, 17168, 17172, 17175, 17179, 17183, 17187, 17190, 17194, 17198, 17201, 17205, 17209, 17213, 17216, 17220, 17224, 17228, 17231, 17235, 17239, 17242, 17246, 17250, 17254, 17257, 17261, 17265, 17268, 17272, 17276, 17280, 17283, 17287, 17291, 17294, 17298, 17302, 17306, 17309, 17313, 17317, 17321, 17324, 17328, 17332, 17335, 17339, 17343, 17347, 17350, 17354, 17358, 17361, 17365, 17369, 17373, 17376, 17380, 17384, 17388, 17391, 17395, 17399, 17402, 17406, 17410, 17414, 17417, 17421, 17425, 17428, 17432, 17436, 17440, 17443, 17447, 17451, 17455, 17458, 17462, 17466, 17469, 17473, 17477, 17481, 17484, 17488, 17492, 17496, 17499, 17503, 17507, 17510, 17514, 17518, 17522, 17525, 17529, 17533, 17537, 17540, 17544, 17548, 17551, 17555, 17559, 17563, 17566, 17570, 17574, 17578, 17581, 17585, 17589, 17592, 17596, 17600, 17604, 17607, 17611, 17615, 17619, 17622, 17626, 17630, 17633, 17637, 17641, 17645, 17648, 17652, 17656, 17660, 17663, 17667, 17671, 17674, 17678, 17682, 17686, 17689, 17693, 17697, 17701, 17704, 17708, 17712, 17715, 17719, 17723, 17727, 17730, 17734, 17738, 17742, 17745, 17749, 17753, 17757, 17760, 17764, 17768, 17771, 17775, 17779, 17783, 17786, 17790, 17794, 17798, 17801, 17805, 17809, 17813, 17816, 17820, 17824, 17827, 17831, 17835, 17839, 17842, 17846, 17850, 17854, 17857, 17861, 17865, 17868, 17872, 17876, 17880, 17883, 17887, 17891, 17895, 17898, 17902, 17906, 17910, 17913, 17917, 17921, 17925, 17928, 17932, 17936, 17939, 17943, 17947, 17951, 17954, 17958, 17962, 17966, 17969, 17973, 17977, 17981, 17984, 17988, 17992, 17995, 17999, 18003, 18007, 18010, 18014, 18018, 18022, 18025, 18029, 18033, 18037, 18040, 18044, 18048, 18052, 18055, 18059, 18063, 18066, 18070, 18074, 18078, 18081, 18085, 18089, 18093, 18096, 18100, 18104, 18108, 18111, 18115, 18119, 18123, 18126, 18130, 18134, 18138, 18141, 18145, 18149, 18152, 18156, 18160, 18164, 18167, 18171, 18175, 18179, 18182, 18186, 18190, 18194, 18197, 18201, 18205, 18209, 18212, 18216, 18220, 18224, 18227, 18231, 18235, 18239, 18242, 18246, 18250, 18253, 18257, 18261, 18265, 18268, 18272, 18276, 18280, 18283, 18287, 18291, 18295, 18298, 18302, 18306, 18310, 18313, 18317, 18321, 18325, 18328, 18332, 18336, 18340, 18343, 18347, 18351, 18355, 18358, 18362, 18366, 18370, 18373, 18377, 18381, 18384, 18388, 18392, 18396, 18399, 18403, 18407, 18411, 18414, 18418, 18422, 18426, 18429, 18433, 18437, 18441, 18444, 18448, 18452, 18456, 18459, 18463, 18467, 18471, 18474, 18478, 18482, 18486, 18489, 18493, 18497, 18501, 18504, 18508, 18512, 18516, 18519, 18523, 18527, 18531, 18534, 18538, 18542, 18546, 18549, 18553, 18557, 18561, 18564, 18568, 18572, 18576, 18579, 18583, 18587, 18591, 18594, 18598, 18602, 18606, 18609, 18613, 18617, 18621, 18624, 18628, 18632, 18636, 18639, 18643, 18647, 18651, 18654, 18658, 18662, 18666, 18669, 18673, 18677, 18681, 18684, 18688, 18692, 18696, 18699, 18703, 18707, 18711, 18714, 18718, 18722, 18726, 18729, 18733, 18737, 18741, 18744, 18748, 18752, 18756, 18759, 18763, 18767, 18771, 18774, 18778, 18782, 18786, 18789, 18793, 18797, 18801, 18804, 18808, 18812, 18816, 18819, 18823, 18827, 18831, 18834, 18838, 18842, 18846, 18849, 18853, 18857, 18861, 18864, 18868, 18872, 18876, 18879, 18883, 18887, 18891, 18894, 18898, 18902, 18906, 18909, 18913, 18917, 18921, 18925, 18928, 18932, 18936, 18940, 18943, 18947, 18951, 18955, 18958, 18962, 18966, 18970, 18973, 18977, 18981, 18985, 18988, 18992, 18996, 19000, 19003, 19007, 19011, 19015, 19018, 19022, 19026, 19030, 19033, 19037, 19041, 19045, 19048, 19052, 19056, 19060, 19064, 19067, 19071, 19075, 19079, 19082, 19086, 19090, 19094, 19097, 19101, 19105, 19109, 19112, 19116, 19120, 19124, 19127, 19131, 19135, 19139, 19142, 19146, 19150, 19154, 19158, 19161, 19165, 19169, 19173, 19176, 19180, 19184, 19188, 19191, 19195, 19199, 19203, 19206, 19210, 19214, 19218, 19221, 19225, 19229, 19233, 19237, 19240, 19244, 19248, 19252, 19255, 19259, 19263, 19267, 19270, 19274, 19278, 19282, 19285, 19289, 19293, 19297, 19300, 19304, 19308, 19312, 19316, 19319, 19323, 19327, 19331, 19334, 19338, 19342, 19346, 19349, 19353, 19357, 19361, 19364, 19368, 19372, 19376, 19380, 19383, 19387, 19391, 19395, 19398, 19402, 19406, 19410, 19413, 19417, 19421, 19425, 19428, 19432, 19436, 19440, 19444, 19447, 19451, 19455, 19459, 19462, 19466, 19470, 19474, 19477, 19481, 19485, 19489, 19492, 19496, 19500, 19504, 19508, 19511, 19515, 19519, 19523, 19526, 19530, 19534, 19538, 19541, 19545, 19549, 19553, 19557, 19560, 19564, 19568, 19572, 19575, 19579, 19583, 19587, 19590, 19594, 19598, 19602, 19606, 19609, 19613, 19617, 19621, 19624, 19628, 19632, 19636, 19639, 19643, 19647, 19651, 19655, 19658, 19662, 19666, 19670, 19673, 19677, 19681, 19685, 19688, 19692, 19696, 19700, 19704, 19707, 19711, 19715, 19719, 19722, 19726, 19730, 19734, 19738, 19741, 19745, 19749, 19753, 19756, 19760, 19764, 19768, 19771, 19775, 19779, 19783, 19787, 19790, 19794, 19798, 19802, 19805, 19809, 19813, 19817, 19821, 19824, 19828, 19832, 19836, 19839, 19843, 19847, 19851, 19854, 19858, 19862, 19866, 19870, 19873, 19877, 19881, 19885, 19888, 19892, 19896, 19900, 19904, 19907, 19911, 19915, 19919, 19922, 19926, 19930, 19934, 19938, 19941, 19945, 19949, 19953, 19956, 19960, 19964, 19968, 19971, 19975, 19979, 19983, 19987, 19990, 19994, 19998, 20002, 20005, 20009, 20013, 20017, 20021, 20024, 20028, 20032, 20036, 20039, 20043, 20047, 20051, 20055, 20058, 20062, 20066, 20070, 20073, 20077, 20081, 20085, 20089, 20092, 20096, 20100, 20104, 20107, 20111, 20115, 20119, 20123, 20126, 20130, 20134, 20138, 20142, 20145, 20149, 20153, 20157, 20160, 20164, 20168, 20172, 20176, 20179, 20183, 20187, 20191, 20194, 20198, 20202, 20206, 20210, 20213, 20217, 20221, 20225, 20228, 20232, 20236, 20240, 20244, 20247, 20251, 20255, 20259, 20262, 20266, 20270, 20274, 20278, 20281, 20285, 20289, 20293, 20297, 20300, 20304, 20308, 20312, 20315, 20319, 20323, 20327, 20331, 20334, 20338, 20342, 20346, 20349, 20353, 20357, 20361, 20365, 20368, 20372, 20376, 20380, 20384, 20387, 20391, 20395, 20399, 20402, 20406, 20410, 20414, 20418, 20421, 20425, 20429, 20433, 20437, 20440, 20444, 20448, 20452, 20455, 20459, 20463, 20467, 20471, 20474, 20478, 20482, 20486, 20490, 20493, 20497, 20501, 20505, 20508, 20512, 20516, 20520, 20524, 20527, 20531, 20535, 20539, 20543, 20546, 20550, 20554, 20558, 20561, 20565, 20569, 20573, 20577, 20580, 20584, 20588, 20592, 20596, 20599, 20603, 20607, 20611, 20615, 20618, 20622, 20626, 20630, 20633, 20637, 20641, 20645, 20649, 20652, 20656, 20660, 20664, 20668, 20671, 20675, 20679, 20683, 20687, 20690, 20694, 20698, 20702, 20705, 20709, 20713, 20717, 20721, 20724, 20728, 20732, 20736, 20740, 20743, 20747, 20751, 20755, 20759, 20762, 20766, 20770, 20774, 20777, 20781, 20785, 20789, 20793, 20796, 20800, 20804, 20808, 20812, 20815, 20819, 20823, 20827, 20831, 20834, 20838, 20842, 20846, 20850, 20853, 20857, 20861, 20865, 20869, 20872, 20876, 20880, 20884, 20887, 20891, 20895, 20899, 20903, 20906, 20910, 20914, 20918, 20922, 20925, 20929, 20933, 20937, 20941, 20944, 20948, 20952, 20956, 20960, 20963, 20967, 20971, 20975, 20979, 20982, 20986, 20990, 20994, 20998, 21001, 21005, 21009, 21013, 21017, 21020, 21024, 21028, 21032, 21035, 21039, 21043, 21047, 21051, 21054, 21058, 21062, 21066, 21070, 21073, 21077, 21081, 21085, 21089, 21092, 21096, 21100, 21104, 21108, 21111, 21115, 21119, 21123, 21127, 21130, 21134, 21138, 21142, 21146, 21149, 21153, 21157, 21161, 21165, 21168, 21172, 21176, 21180, 21184, 21187, 21191, 21195, 21199, 21203, 21206, 21210, 21214, 21218, 21222, 21225, 21229, 21233, 21237, 21241, 21244, 21248, 21252, 21256, 21260, 21263, 21267, 21271, 21275, 21279, 21282, 21286, 21290, 21294, 21298, 21301, 21305, 21309, 21313, 21317, 21320, 21324, 21328, 21332, 21336, 21339, 21343, 21347, 21351, 21355, 21358, 21362, 21366, 21370, 21374, 21377, 21381, 21385, 21389, 21393, 21396, 21400, 21404, 21408, 21412, 21415, 21419, 21423, 21427, 21431, 21434, 21438, 21442, 21446, 21450, 21453, 21457, 21461, 21465, 21469, 21473, 21476, 21480, 21484, 21488, 21492, 21495, 21499, 21503, 21507, 21511, 21514, 21518, 21522, 21526, 21530, 21533, 21537, 21541, 21545, 21549, 21552, 21556, 21560, 21564, 21568, 21571, 21575, 21579, 21583, 21587, 21590, 21594, 21598, 21602, 21606, 21610, 21613, 21617, 21621, 21625, 21629, 21632, 21636, 21640, 21644, 21648, 21651, 21655, 21659, 21663, 21667, 21670, 21674, 21678, 21682, 21686, 21689, 21693, 21697, 21701, 21705, 21709, 21712, 21716, 21720, 21724, 21728, 21731, 21735, 21739, 21743, 21747, 21750, 21754, 21758, 21762, 21766, 21769, 21773, 21777, 21781, 21785, 21789, 21792, 21796, 21800, 21804, 21808, 21811, 21815, 21819, 21823, 21827, 21830, 21834, 21838, 21842, 21846, 21849, 21853, 21857, 21861, 21865, 21869, 21872, 21876, 21880, 21884, 21888, 21891, 21895, 21899, 21903, 21907, 21910, 21914, 21918, 21922, 21926, 21930, 21933, 21937, 21941, 21945, 21949, 21952, 21956, 21960, 21964, 21968, 21971, 21975, 21979, 21983, 21987, 21991, 21994, 21998, 22002, 22006, 22010, 22013, 22017, 22021, 22025, 22029, 22032, 22036, 22040, 22044, 22048, 22052, 22055, 22059, 22063, 22067, 22071, 22074, 22078, 22082, 22086, 22090, 22094, 22097, 22101, 22105, 22109, 22113, 22116, 22120, 22124, 22128, 22132, 22135, 22139, 22143, 22147, 22151, 22155, 22158, 22162, 22166, 22170, 22174, 22177, 22181, 22185, 22189, 22193, 22197, 22200, 22204, 22208, 22212, 22216, 22219, 22223, 22227, 22231, 22235, 22239, 22242, 22246, 22250, 22254, 22258, 22261, 22265, 22269, 22273, 22277, 22281, 22284, 22288, 22292, 22296, 22300, 22303, 22307, 22311, 22315, 22319, 22323, 22326, 22330, 22334, 22338, 22342, 22345, 22349, 22353, 22357, 22361, 22365, 22368, 22372, 22376, 22380, 22384, 22387, 22391, 22395, 22399, 22403, 22407, 22410, 22414, 22418, 22422, 22426, 22430, 22433, 22437, 22441, 22445, 22449, 22452, 22456, 22460, 22464, 22468, 22472, 22475, 22479, 22483, 22487, 22491, 22494, 22498, 22502, 22506, 22510, 22514, 22517, 22521, 22525, 22529, 22533, 22537, 22540, 22544, 22548, 22552, 22556, 22559, 22563, 22567, 22571, 22575, 22579, 22582, 22586, 22590, 22594, 22598, 22602, 22605, 22609, 22613, 22617, 22621, 22624, 22628, 22632, 22636, 22640, 22644, 22647, 22651, 22655, 22659, 22663, 22667, 22670, 22674, 22678, 22682, 22686, 22689, 22693, 22697, 22701, 22705, 22709, 22712, 22716, 22720, 22724, 22728, 22732, 22735, 22739, 22743, 22747, 22751, 22755, 22758, 22762, 22766, 22770, 22774, 22777, 22781, 22785, 22789, 22793, 22797, 22800, 22804, 22808, 22812, 22816, 22820, 22823, 22827, 22831, 22835, 22839, 22843, 22846, 22850, 22854, 22858, 22862, 22866, 22869, 22873, 22877, 22881, 22885, 22888, 22892, 22896, 22900, 22904, 22908, 22911, 22915, 22919, 22923, 22927, 22931, 22934, 22938, 22942, 22946, 22950, 22954, 22957, 22961, 22965, 22969, 22973, 22977, 22980, 22984, 22988, 22992, 22996, 23000, 23003, 23007, 23011, 23015, 23019, 23023, 23026, 23030, 23034, 23038, 23042, 23046, 23049, 23053, 23057, 23061, 23065, 23069, 23072, 23076, 23080, 23084, 23088, 23092, 23095, 23099, 23103, 23107, 23111, 23115, 23118, 23122, 23126, 23130, 23134, 23138, 23141, 23145, 23149, 23153, 23157, 23161, 23164, 23168, 23172, 23176, 23180, 23184, 23187, 23191, 23195, 23199, 23203, 23207, 23210, 23214, 23218, 23222, 23226, 23230, 23233, 23237, 23241, 23245, 23249, 23253, 23256, 23260, 23264, 23268, 23272, 23276, 23279, 23283, 23287, 23291, 23295, 23299, 23302, 23306, 23310, 23314, 23318, 23322, 23325, 23329, 23333, 23337, 23341, 23345, 23348, 23352, 23356, 23360, 23364, 23368, 23371, 23375, 23379, 23383, 23387, 23391, 23394, 23398, 23402, 23406, 23410, 23414, 23417, 23421, 23425, 23429, 23433, 23437, 23441, 23444, 23448, 23452, 23456, 23460, 23464, 23467, 23471, 23475, 23479, 23483, 23487, 23490, 23494, 23498, 23502, 23506, 23510, 23513, 23517, 23521, 23525, 23529, 23533, 23536, 23540, 23544, 23548, 23552, 23556, 23560, 23563, 23567, 23571, 23575, 23579, 23583, 23586, 23590, 23594, 23598, 23602, 23606, 23609, 23613, 23617, 23621, 23625, 23629, 23632, 23636, 23640, 23644, 23648, 23652, 23656, 23659, 23663, 23667, 23671, 23675, 23679, 23682, 23686, 23690, 23694, 23698, 23702, 23705, 23709, 23713, 23717, 23721, 23725, 23729, 23732, 23736, 23740, 23744, 23748, 23752, 23755, 23759, 23763, 23767, 23771, 23775, 23778, 23782, 23786, 23790, 23794, 23798, 23802, 23805, 23809, 23813, 23817, 23821, 23825, 23828, 23832, 23836, 23840, 23844, 23848, 23852, 23855, 23859, 23863, 23867, 23871, 23875, 23878, 23882, 23886, 23890, 23894, 23898, 23902, 23905, 23909, 23913, 23917, 23921, 23925, 23928, 23932, 23936, 23940, 23944, 23948, 23952, 23955, 23959, 23963, 23967, 23971, 23975, 23978, 23982, 23986, 23990, 23994, 23998, 24002, 24005, 24009, 24013, 24017, 24021, 24025, 24028, 24032, 24036, 24040, 24044, 24048, 24052, 24055, 24059, 24063, 24067, 24071, 24075, 24078, 24082, 24086, 24090, 24094, 24098, 24102, 24105, 24109, 24113, 24117, 24121, 24125, 24129, 24132, 24136, 24140, 24144, 24148, 24152, 24155, 24159, 24163, 24167, 24171, 24175, 24179, 24182, 24186, 24190, 24194, 24198, 24202, 24206, 24209, 24213, 24217, 24221, 24225, 24229, 24232, 24236, 24240, 24244, 24248, 24252, 24256, 24259, 24263, 24267, 24271, 24275, 24279, 24283, 24286, 24290, 24294, 24298, 24302, 24306, 24309, 24313, 24317, 24321, 24325, 24329, 24333, 24336, 24340, 24344, 24348, 24352, 24356, 24360, 24363, 24367, 24371, 24375, 24379, 24383, 24387, 24390, 24394, 24398, 24402, 24406, 24410, 24414, 24417, 24421, 24425, 24429, 24433, 24437, 24440, 24444, 24448, 24452, 24456, 24460, 24464, 24467, 24471, 24475, 24479, 24483, 24487, 24491, 24494, 24498, 24502, 24506, 24510, 24514, 24518, 24521, 24525, 24529, 24533, 24537, 24541, 24545, 24548, 24552, 24556, 24560, 24564, 24568, 24572, 24575, 24579, 24583, 24587, 24591, 24595, 24599, 24602, 24606, 24610, 24614, 24618, 24622, 24626, 24629, 24633, 24637, 24641, 24645, 24649, 24653, 24656, 24660, 24664, 24668, 24672, 24676, 24680, 24683, 24687, 24691, 24695, 24699, 24703, 24707, 24710, 24714, 24718, 24722, 24726, 24730, 24734, 24737, 24741, 24745, 24749, 24753, 24757, 24761, 24764, 24768, 24772, 24776, 24780, 24784, 24788, 24791, 24795, 24799, 24803, 24807, 24811, 24815, 24818, 24822, 24826, 24830, 24834, 24838, 24842, 24846, 24849, 24853, 24857, 24861, 24865, 24869, 24873, 24876, 24880, 24884, 24888, 24892, 24896, 24900, 24903, 24907, 24911, 24915, 24919, 24923, 24927, 24930, 24934, 24938, 24942, 24946, 24950, 24954, 24957, 24961, 24965, 24969, 24973, 24977, 24981, 24985, 24988, 24992, 24996, 25000, 25004, 25008, 25012, 25015, 25019, 25023, 25027, 25031, 25035, 25039, 25042, 25046, 25050, 25054, 25058, 25062, 25066, 25070, 25073, 25077, 25081, 25085, 25089, 25093, 25097, 25100, 25104, 25108, 25112, 25116, 25120, 25124, 25127, 25131, 25135, 25139, 25143, 25147, 25151, 25155, 25158, 25162, 25166, 25170, 25174, 25178, 25182, 25185, 25189, 25193, 25197, 25201, 25205, 25209, 25213, 25216, 25220, 25224, 25228, 25232, 25236, 25240, 25243, 25247, 25251, 25255, 25259, 25263, 25267, 25271, 25274, 25278, 25282, 25286, 25290, 25294, 25298, 25301, 25305, 25309, 25313, 25317, 25321, 25325, 25329, 25332, 25336, 25340, 25344, 25348, 25352, 25356, 25359, 25363, 25367, 25371, 25375, 25379, 25383, 25387, 25390, 25394, 25398, 25402, 25406, 25410, 25414, 25418, 25421, 25425, 25429, 25433, 25437, 25441, 25445, 25448, 25452, 25456, 25460, 25464, 25468, 25472, 25476, 25479, 25483, 25487, 25491, 25495, 25499, 25503, 25507, 25510, 25514, 25518, 25522, 25526, 25530, 25534, 25537, 25541, 25545, 25549, 25553, 25557, 25561, 25565, 25568, 25572, 25576, 25580, 25584, 25588, 25592, 25596, 25599, 25603, 25607, 25611, 25615, 25619, 25623, 25627, 25630, 25634, 25638, 25642, 25646, 25650, 25654, 25658, 25661, 25665, 25669, 25673, 25677, 25681, 25685, 25688, 25692, 25696, 25700, 25704, 25708, 25712, 25716, 25719, 25723, 25727, 25731, 25735, 25739, 25743, 25747, 25750, 25754, 25758, 25762, 25766, 25770, 25774, 25778, 25781, 25785, 25789, 25793, 25797, 25801, 25805, 25809, 25812, 25816, 25820, 25824, 25828, 25832, 25836, 25840, 25843, 25847, 25851, 25855, 25859, 25863, 25867, 25871, 25874, 25878, 25882, 25886, 25890, 25894, 25898, 25902, 25905, 25909, 25913, 25917, 25921, 25925, 25929, 25933, 25936, 25940, 25944, 25948, 25952, 25956, 25960, 25964, 25968, 25971, 25975, 25979, 25983, 25987, 25991, 25995, 25999, 26002, 26006, 26010, 26014, 26018, 26022, 26026, 26030, 26033, 26037, 26041, 26045, 26049, 26053, 26057, 26061, 26064, 26068, 26072, 26076, 26080, 26084, 26088, 26092, 26096, 26099, 26103, 26107, 26111, 26115, 26119, 26123, 26127, 26130, 26134, 26138, 26142, 26146, 26150, 26154, 26158, 26161, 26165, 26169, 26173, 26177, 26181, 26185, 26189, 26193, 26196, 26200, 26204, 26208, 26212, 26216, 26220, 26224, 26227, 26231, 26235, 26239, 26243, 26247, 26251, 26255, 26258, 26262, 26266, 26270, 26274, 26278, 26282, 26286, 26290, 26293, 26297, 26301, 26305, 26309, 26313, 26317, 26321, 26324, 26328, 26332, 26336, 26340, 26344, 26348, 26352, 26356, 26359, 26363, 26367, 26371, 26375, 26379, 26383, 26387, 26390, 26394, 26398, 26402, 26406, 26410, 26414, 26418, 26422, 26425, 26429, 26433, 26437, 26441, 26445, 26449, 26453, 26457, 26460, 26464, 26468, 26472, 26476, 26480, 26484, 26488, 26491, 26495, 26499, 26503, 26507, 26511, 26515, 26519, 26523, 26526, 26530, 26534, 26538, 26542, 26546, 26550, 26554, 26558, 26561, 26565, 26569, 26573, 26577, 26581, 26585, 26589, 26593, 26596, 26600, 26604, 26608, 26612, 26616, 26620, 26624, 26628, 26631, 26635, 26639, 26643, 26647, 26651, 26655, 26659, 26662, 26666, 26670, 26674, 26678, 26682, 26686, 26690, 26694, 26697, 26701, 26705, 26709, 26713, 26717, 26721, 26725, 26729, 26732, 26736, 26740, 26744, 26748, 26752, 26756, 26760, 26764, 26767, 26771, 26775, 26779, 26783, 26787, 26791, 26795, 26799, 26802, 26806, 26810, 26814, 26818, 26822, 26826, 26830, 26834, 26837, 26841, 26845, 26849, 26853, 26857, 26861, 26865, 26869, 26873, 26876, 26880, 26884, 26888, 26892, 26896, 26900, 26904, 26908, 26911, 26915, 26919, 26923, 26927, 26931, 26935, 26939, 26943, 26946, 26950, 26954, 26958, 26962, 26966, 26970, 26974, 26978, 26981, 26985, 26989, 26993, 26997, 27001, 27005, 27009, 27013, 27017, 27020, 27024, 27028, 27032, 27036, 27040, 27044, 27048, 27052, 27055, 27059, 27063, 27067, 27071, 27075, 27079, 27083, 27087, 27090, 27094, 27098, 27102, 27106, 27110, 27114, 27118, 27122, 27126, 27129, 27133, 27137, 27141, 27145, 27149, 27153, 27157, 27161, 27164, 27168, 27172, 27176, 27180, 27184, 27188, 27192, 27196, 27200, 27203, 27207, 27211, 27215, 27219, 27223, 27227, 27231, 27235, 27238, 27242, 27246, 27250, 27254, 27258, 27262, 27266, 27270, 27274, 27277, 27281, 27285, 27289, 27293, 27297, 27301, 27305, 27309, 27313, 27316, 27320, 27324, 27328, 27332, 27336, 27340, 27344, 27348, 27351, 27355, 27359, 27363, 27367, 27371, 27375, 27379, 27383, 27387, 27390, 27394, 27398, 27402, 27406, 27410, 27414, 27418, 27422, 27426, 27429, 27433, 27437, 27441, 27445, 27449, 27453, 27457, 27461, 27465, 27468, 27472, 27476, 27480, 27484, 27488, 27492, 27496, 27500, 27504, 27507, 27511, 27515, 27519, 27523, 27527, 27531, 27535, 27539, 27543, 27546, 27550, 27554, 27558, 27562, 27566, 27570, 27574, 27578, 27582, 27585, 27589, 27593, 27597, 27601, 27605, 27609, 27613, 27617, 27621, 27624, 27628, 27632, 27636, 27640, 27644, 27648, 27652, 27656, 27660, 27663, 27667, 27671, 27675, 27679, 27683, 27687, 27691, 27695, 27699, 27702, 27706, 27710, 27714, 27718, 27722, 27726, 27730, 27734, 27738, 27742, 27745, 27749, 27753, 27757, 27761, 27765, 27769, 27773, 27777, 27781, 27784, 27788, 27792, 27796, 27800, 27804, 27808, 27812, 27816, 27820, 27823, 27827, 27831, 27835, 27839, 27843, 27847, 27851, 27855, 27859, 27863, 27866, 27870, 27874, 27878, 27882, 27886, 27890, 27894, 27898, 27902, 27905, 27909, 27913, 27917, 27921, 27925, 27929, 27933, 27937, 27941, 27945, 27948, 27952, 27956, 27960, 27964, 27968, 27972, 27976, 27980, 27984, 27987, 27991, 27995, 27999, 28003, 28007, 28011, 28015, 28019, 28023, 28027, 28030, 28034, 28038, 28042, 28046, 28050, 28054, 28058, 28062, 28066, 28070, 28073, 28077, 28081, 28085, 28089, 28093, 28097, 28101, 28105, 28109, 28113, 28116, 28120, 28124, 28128, 28132, 28136, 28140, 28144, 28148, 28152, 28156, 28159, 28163, 28167, 28171, 28175, 28179, 28183, 28187, 28191, 28195, 28199, 28202, 28206, 28210, 28214, 28218, 28222, 28226, 28230, 28234, 28238, 28242, 28245, 28249, 28253, 28257, 28261, 28265, 28269, 28273, 28277, 28281, 28285, 28288, 28292, 28296, 28300, 28304, 28308, 28312, 28316, 28320, 28324, 28328, 28331, 28335, 28339, 28343, 28347, 28351, 28355, 28359, 28363, 28367, 28371, 28374, 28378, 28382, 28386, 28390, 28394, 28398, 28402, 28406, 28410, 28414, 28418, 28421, 28425, 28429, 28433, 28437, 28441, 28445, 28449, 28453, 28457, 28461, 28464, 28468, 28472, 28476, 28480, 28484, 28488, 28492, 28496, 28500, 28504, 28508, 28511, 28515, 28519, 28523, 28527, 28531, 28535, 28539, 28543, 28547, 28551, 28554, 28558, 28562, 28566, 28570, 28574, 28578, 28582, 28586, 28590, 28594, 28598, 28601, 28605, 28609, 28613, 28617, 28621, 28625, 28629, 28633, 28637, 28641, 28645, 28648, 28652, 28656, 28660, 28664, 28668, 28672, 28676, 28680, 28684, 28688, 28692, 28695, 28699, 28703, 28707, 28711, 28715, 28719, 28723, 28727, 28731, 28735, 28739, 28742, 28746, 28750, 28754, 28758, 28762, 28766, 28770, 28774, 28778, 28782, 28786, 28789, 28793, 28797, 28801, 28805, 28809, 28813, 28817, 28821, 28825, 28829, 28833, 28836, 28840, 28844, 28848, 28852, 28856, 28860, 28864, 28868, 28872, 28876, 28880, 28883, 28887, 28891, 28895, 28899, 28903, 28907, 28911, 28915, 28919, 28923, 28927, 28930, 28934, 28938, 28942, 28946, 28950, 28954, 28958, 28962, 28966, 28970, 28974, 28978, 28981, 28985, 28989, 28993, 28997, 29001, 29005, 29009, 29013, 29017, 29021, 29025, 29028, 29032, 29036, 29040, 29044, 29048, 29052, 29056, 29060, 29064, 29068, 29072, 29076, 29079, 29083, 29087, 29091, 29095, 29099, 29103, 29107, 29111, 29115, 29119, 29123, 29127, 29130, 29134, 29138, 29142, 29146, 29150, 29154, 29158, 29162, 29166, 29170, 29174, 29177, 29181, 29185, 29189, 29193, 29197, 29201, 29205, 29209, 29213, 29217, 29221, 29225, 29228, 29232, 29236, 29240, 29244, 29248, 29252, 29256, 29260, 29264, 29268, 29272, 29276, 29279, 29283, 29287, 29291, 29295, 29299, 29303, 29307, 29311, 29315, 29319, 29323, 29327, 29331, 29334, 29338, 29342, 29346, 29350, 29354, 29358, 29362, 29366, 29370, 29374, 29378, 29382, 29385, 29389, 29393, 29397, 29401, 29405, 29409, 29413, 29417, 29421, 29425, 29429, 29433, 29436, 29440, 29444, 29448, 29452, 29456, 29460, 29464, 29468, 29472, 29476, 29480, 29484, 29488, 29491, 29495, 29499, 29503, 29507, 29511, 29515, 29519, 29523, 29527, 29531, 29535, 29539, 29543, 29546, 29550, 29554, 29558, 29562, 29566, 29570, 29574, 29578, 29582, 29586, 29590, 29594, 29597, 29601, 29605, 29609, 29613, 29617, 29621, 29625, 29629, 29633, 29637, 29641, 29645, 29649, 29652, 29656, 29660, 29664, 29668, 29672, 29676, 29680, 29684, 29688, 29692, 29696, 29700, 29704, 29707, 29711, 29715, 29719, 29723, 29727, 29731, 29735, 29739, 29743, 29747, 29751, 29755, 29759, 29763, 29766, 29770, 29774, 29778, 29782, 29786, 29790, 29794, 29798, 29802, 29806, 29810, 29814, 29818, 29821, 29825, 29829, 29833, 29837, 29841, 29845, 29849, 29853, 29857, 29861, 29865, 29869, 29873, 29877, 29880, 29884, 29888, 29892, 29896, 29900, 29904, 29908, 29912, 29916, 29920, 29924, 29928, 29932, 29935, 29939, 29943, 29947, 29951, 29955, 29959, 29963, 29967, 29971, 29975, 29979, 29983, 29987, 29991, 29994, 29998, 30002, 30006, 30010, 30014, 30018, 30022, 30026, 30030, 30034, 30038, 30042, 30046, 30050, 30053, 30057, 30061, 30065, 30069, 30073, 30077, 30081, 30085, 30089, 30093, 30097, 30101, 30105, 30109, 30112, 30116, 30120, 30124, 30128, 30132, 30136, 30140, 30144, 30148, 30152, 30156, 30160, 30164, 30168, 30172, 30175, 30179, 30183, 30187, 30191, 30195, 30199, 30203, 30207, 30211, 30215, 30219, 30223, 30227, 30231, 30234, 30238, 30242, 30246, 30250, 30254, 30258, 30262, 30266, 30270, 30274, 30278, 30282, 30286, 30290, 30294, 30297, 30301, 30305, 30309, 30313, 30317, 30321, 30325, 30329, 30333, 30337, 30341, 30345, 30349, 30353, 30357, 30360, 30364, 30368, 30372, 30376, 30380, 30384, 30388, 30392, 30396, 30400, 30404, 30408, 30412, 30416, 30420, 30423, 30427, 30431, 30435, 30439, 30443, 30447, 30451, 30455, 30459, 30463, 30467, 30471, 30475, 30479, 30483, 30487, 30490, 30494, 30498, 30502, 30506, 30510, 30514, 30518, 30522, 30526, 30530, 30534, 30538, 30542, 30546, 30550, 30553, 30557, 30561, 30565, 30569, 30573, 30577, 30581, 30585, 30589, 30593, 30597, 30601, 30605, 30609, 30613, 30617, 30620, 30624, 30628, 30632, 30636, 30640, 30644, 30648, 30652, 30656, 30660, 30664, 30668, 30672, 30676, 30680, 30684, 30687, 30691, 30695, 30699, 30703, 30707, 30711, 30715, 30719, 30723, 30727, 30731, 30735, 30739, 30743, 30747, 30751, 30754, 30758, 30762, 30766, 30770, 30774, 30778, 30782, 30786, 30790, 30794, 30798, 30802, 30806, 30810, 30814, 30818, 30822, 30825, 30829, 30833, 30837, 30841, 30845, 30849, 30853, 30857, 30861, 30865, 30869, 30873, 30877, 30881, 30885, 30889, 30893, 30896, 30900, 30904, 30908, 30912, 30916, 30920, 30924, 30928, 30932, 30936, 30940, 30944, 30948, 30952, 30956, 30960, 30964, 30967, 30971, 30975, 30979, 30983, 30987, 30991, 30995, 30999, 31003, 31007, 31011, 31015, 31019, 31023, 31027, 31031, 31035, 31039, 31042, 31046, 31050, 31054, 31058, 31062, 31066, 31070, 31074, 31078, 31082, 31086, 31090, 31094, 31098, 31102, 31106, 31110, 31113, 31117, 31121, 31125, 31129, 31133, 31137, 31141, 31145, 31149, 31153, 31157, 31161, 31165, 31169, 31173, 31177, 31181, 31185, 31189, 31192, 31196, 31200, 31204, 31208, 31212, 31216, 31220, 31224, 31228, 31232, 31236, 31240, 31244, 31248, 31252, 31256, 31260, 31264, 31267, 31271, 31275, 31279, 31283, 31287, 31291, 31295, 31299, 31303, 31307, 31311, 31315, 31319, 31323, 31327, 31331, 31335, 31339, 31343, 31346, 31350, 31354, 31358, 31362, 31366, 31370, 31374, 31378, 31382, 31386, 31390, 31394, 31398, 31402, 31406, 31410, 31414, 31418, 31422, 31425, 31429, 31433, 31437, 31441, 31445, 31449, 31453, 31457, 31461, 31465, 31469, 31473, 31477, 31481, 31485, 31489, 31493, 31497, 31501, 31505, 31508, 31512, 31516, 31520, 31524, 31528, 31532, 31536, 31540, 31544, 31548, 31552, 31556, 31560, 31564, 31568, 31572, 31576, 31580, 31584, 31588, 31591, 31595, 31599, 31603, 31607, 31611, 31615, 31619, 31623, 31627, 31631, 31635, 31639, 31643, 31647, 31651, 31655, 31659, 31663, 31667, 31671, 31675, 31678, 31682, 31686, 31690, 31694, 31698, 31702, 31706, 31710, 31714, 31718, 31722, 31726, 31730, 31734, 31738, 31742, 31746, 31750, 31754, 31758, 31762, 31765, 31769, 31773, 31777, 31781, 31785, 31789, 31793, 31797, 31801, 31805, 31809, 31813, 31817, 31821, 31825, 31829, 31833, 31837, 31841, 31845, 31849, 31852, 31856, 31860, 31864, 31868, 31872, 31876, 31880, 31884, 31888, 31892, 31896, 31900, 31904, 31908, 31912, 31916, 31920, 31924, 31928, 31932, 31936, 31940, 31943, 31947, 31951, 31955, 31959, 31963, 31967, 31971, 31975, 31979, 31983, 31987, 31991, 31995, 31999, 32003, 32007, 32011, 32015, 32019, 32023, 32027, 32031, 32035, 32038, 32042, 32046, 32050, 32054, 32058, 32062, 32066, 32070, 32074, 32078, 32082, 32086, 32090, 32094, 32098, 32102, 32106, 32110, 32114, 32118, 32122, 32126, 32130, 32134, 32137, 32141, 32145, 32149, 32153, 32157, 32161, 32165, 32169, 32173, 32177, 32181, 32185, 32189, 32193, 32197, 32201, 32205, 32209, 32213, 32217, 32221, 32225, 32229, 32233, 32236, 32240, 32244, 32248, 32252, 32256, 32260, 32264, 32268, 32272, 32276, 32280, 32284, 32288, 32292, 32296, 32300, 32304, 32308, 32312, 32316, 32320, 32324, 32328, 32332, 32336, 32339, 32343, 32347, 32351, 32355, 32359, 32363, 32367, 32371, 32375, 32379, 32383, 32387, 32391, 32395, 32399, 32403, 32407, 32411, 32415, 32419, 32423, 32427, 32431, 32435, 32439, 32443, 32446, 32450, 32454, 32458, 32462, 32466, 32470, 32474, 32478, 32482, 32486, 32490, 32494, 32498, 32502, 32506, 32510, 32514, 32518, 32522, 32526, 32530, 32534, 32538, 32542, 32546, 32550, 32554, 32557, 32561, 32565, 32569, 32573, 32577, 32581, 32585, 32589, 32593, 32597, 32601, 32605, 32609, 32613, 32617, 32621, 32625, 32629, 32633, 32637, 32641, 32645, 32649, 32653, 32657, 32661, 32665, 32669, 32672, 32676, 32680, 32684, 32688, 32692, 32696, 32700, 32704, 32708, 32712, 32716, 32720, 32724, 32728, 32732, 32736, 32740, 32744, 32748, 32752, 32756, 32760, 32764, 32768, 32772, 32776, 32780, 32784, 32788, 32791, 32795, 32799, 32803, 32807, 32811, 32815, 32819, 32823, 32827, 32831, 32835, 32839, 32843, 32847, 32851, 32855, 32859, 32863, 32867, 32871, 32875, 32879, 32883, 32887, 32891, 32895, 32899, 32903, 32907, 32911, 32914, 32918, 32922, 32926, 32930, 32934, 32938, 32942, 32946, 32950, 32954, 32958, 32962, 32966, 32970, 32974, 32978, 32982, 32986, 32990, 32994, 32998, 33002, 33006, 33010, 33014, 33018, 33022, 33026, 33030, 33034, 33038, 33042, 33045, 33049, 33053, 33057, 33061, 33065, 33069, 33073, 33077, 33081, 33085, 33089, 33093, 33097, 33101, 33105, 33109, 33113, 33117, 33121, 33125, 33129, 33133, 33137, 33141, 33145, 33149, 33153, 33157, 33161, 33165, 33169, 33173, 33177, 33181, 33184, 33188, 33192, 33196, 33200, 33204, 33208, 33212, 33216, 33220, 33224, 33228, 33232, 33236, 33240, 33244, 33248, 33252, 33256, 33260, 33264, 33268, 33272, 33276, 33280, 33284, 33288, 33292, 33296, 33300, 33304, 33308, 33312, 33316, 33320, 33324, 33328, 33331, 33335, 33339, 33343, 33347, 33351, 33355, 33359, 33363, 33367, 33371, 33375, 33379, 33383, 33387, 33391, 33395, 33399, 33403, 33407, 33411, 33415, 33419, 33423, 33427, 33431, 33435, 33439, 33443, 33447, 33451, 33455, 33459, 33463, 33467, 33471, 33475, 33479, 33483, 33487, 33490, 33494, 33498, 33502, 33506, 33510, 33514, 33518, 33522, 33526, 33530, 33534, 33538, 33542, 33546, 33550, 33554, 33558, 33562, 33566, 33570, 33574, 33578, 33582, 33586, 33590, 33594, 33598, 33602, 33606, 33610, 33614, 33618, 33622, 33626, 33630, 33634, 33638, 33642, 33646, 33650, 33654, 33658, 33661, 33665, 33669, 33673, 33677, 33681, 33685, 33689, 33693, 33697, 33701, 33705, 33709, 33713, 33717, 33721, 33725, 33729, 33733, 33737, 33741, 33745, 33749, 33753, 33757, 33761, 33765, 33769, 33773, 33777, 33781, 33785, 33789, 33793, 33797, 33801, 33805, 33809, 33813, 33817, 33821, 33825, 33829, 33833, 33837, 33841, 33845, 33848, 33852, 33856, 33860, 33864, 33868, 33872, 33876, 33880, 33884, 33888, 33892, 33896, 33900, 33904, 33908, 33912, 33916, 33920, 33924, 33928, 33932, 33936, 33940, 33944, 33948, 33952, 33956, 33960, 33964, 33968, 33972, 33976, 33980, 33984, 33988, 33992, 33996, 34000, 34004, 34008, 34012, 34016, 34020, 34024, 34028, 34032, 34036, 34040, 34044, 34048, 34052, 34056, 34059, 34063, 34067, 34071, 34075, 34079, 34083, 34087, 34091, 34095, 34099, 34103, 34107, 34111, 34115, 34119, 34123, 34127, 34131, 34135, 34139, 34143, 34147, 34151, 34155, 34159, 34163, 34167, 34171, 34175, 34179, 34183, 34187, 34191, 34195, 34199, 34203, 34207, 34211, 34215, 34219, 34223, 34227, 34231, 34235, 34239, 34243, 34247, 34251, 34255, 34259, 34263, 34267, 34271, 34275, 34279, 34283, 34287, 34291, 34295, 34299, 34302, 34306, 34310, 34314, 34318, 34322, 34326, 34330, 34334, 34338, 34342, 34346, 34350, 34354, 34358, 34362, 34366, 34370, 34374, 34378, 34382, 34386, 34390, 34394, 34398, 34402, 34406, 34410, 34414, 34418, 34422, 34426, 34430, 34434, 34438, 34442, 34446, 34450, 34454, 34458, 34462, 34466, 34470, 34474, 34478, 34482, 34486, 34490, 34494, 34498, 34502, 34506, 34510, 34514, 34518, 34522, 34526, 34530, 34534, 34538, 34542, 34546, 34550, 34554, 34558, 34562, 34566, 34570, 34574, 34578, 34582, 34586, 34590, 34594, 34597, 34601, 34605, 34609, 34613, 34617, 34621, 34625, 34629, 34633, 34637, 34641, 34645, 34649, 34653, 34657, 34661, 34665, 34669, 34673, 34677, 34681, 34685, 34689, 34693, 34697, 34701, 34705, 34709, 34713, 34717, 34721, 34725, 34729, 34733, 34737, 34741, 34745, 34749, 34753, 34757, 34761, 34765, 34769, 34773, 34777, 34781, 34785, 34789, 34793, 34797, 34801, 34805, 34809, 34813, 34817, 34821, 34825, 34829, 34833, 34837, 34841, 34845, 34849, 34853, 34857, 34861, 34865, 34869, 34873, 34877, 34881, 34885, 34889, 34893, 34897, 34901, 34905, 34909, 34913, 34917, 34921, 34925, 34929, 34933, 34937, 34941, 34945, 34949, 34953, 34957, 34961, 34965, 34969, 34973, 34977, 34981, 34985, 34989, 34993, 34997, 35001, 35005, 35009, 35013, 35017, 35021, 35025, 35028, 35032, 35036, 35040, 35044, 35048, 35052, 35056, 35060, 35064, 35068, 35072, 35076, 35080, 35084, 35088, 35092, 35096, 35100, 35104, 35108, 35112, 35116, 35120, 35124, 35128, 35132, 35136, 35140, 35144, 35148, 35152, 35156, 35160, 35164, 35168, 35172, 35176, 35180, 35184, 35188, 35192, 35196, 35200, 35204, 35208, 35212, 35216, 35220, 35224, 35228, 35232, 35236, 35240, 35244, 35248, 35252, 35256, 35260, 35264, 35268, 35272, 35276, 35280, 35284, 35288, 35292, 35296, 35300, 35304, 35308, 35312, 35316, 35320, 35324, 35328, 35332, 35336, 35340, 35344, 35348, 35352, 35356, 35360, 35364, 35368, 35372, 35376, 35380, 35384, 35388, 35392, 35396, 35400, 35404, 35408, 35412, 35416, 35420, 35424, 35428, 35432, 35436, 35440, 35444, 35448, 35452, 35456, 35460, 35464, 35468, 35472, 35476, 35480, 35484, 35488, 35492, 35496, 35500, 35504, 35508, 35512, 35516, 35520, 35524, 35528, 35532, 35536, 35540, 35544, 35548, 35552, 35556, 35560, 35564, 35568, 35572, 35576, 35580, 35584, 35588, 35592, 35596, 35600, 35604, 35608, 35612, 35616, 35620, 35624, 35628, 35632, 35636, 35640, 35644, 35648, 35652, 35656]
x = len(numerot)
for idx, length in enumerate(factoriallens):
if length == x:
possible = idx
# brute the answer
for i in range(possible-20,possible+20):
if i < 2:
continue
x = math.factorial(i)
# https://stackoverflow.com/questions/21270320/turn-a-single-number-into-single-digits-python
test = [(x//(10**y))%10 for y in range(math.ceil(math.log(x, 10))-1, -1, -1)]
test.sort()
if numerot == test:
print(unfactorial(x))
break
# bruteforce
# test_int = 10
# while True:
# x = math.factorial(test_int)
# # https://stackoverflow.com/questions/21270320/turn-a-single-number-into-single-digits-python
# test = [(x//(10**y))%10 for y in range(math.ceil(math.log(x, 10))-1, -1, -1)]
# #test.sort()
# testisumma = sum(test)
# # print(test)
# # some binary searching
# print(test_int)
# print(numeroidensumma,testisumma)
# if numeroidensumma == testisumma:
# print(unfactorial(x))
# break
# elif testisumma > numeroidensumma:
# test_int += 10
# print("suurempi")
# elif testisumma < numeroidensumma:
# test_int -= 1
# print("pienempi")
# if numerot == test:
# pass
# # print(x)
# # print(unfactorial(x))
# # break
