LAMMP 4.2.0
Lamina High-Precision Arithmetic Library
载入中...
搜索中...
未找到
is_prime_table.h
浏览该文件的文档.
1/**
2 * Copyright (C) 2026 HJimmyK(Jericho Knox)
3 *
4 * This file is part of LAMMP.
5 *
6 * LAMMP is free software: you can redistribute it and/or modify it under
7 * the terms of the GNU Lesser General Public License (LGPL) as published
8 * by the Free Software Foundation; either version 3 of the License, or
9 * (at your option) any later version.
10 *
11 * This program is distributed WITHOUT ANY WARRANTY.
12 *
13 * See <https://www.gnu.org/licenses/>.
14 */
15
16#ifndef __LAMMP_IS_PRIME_TABLE_H__
17#define __LAMMP_IS_PRIME_TABLE_H__
18
19#include <stdint.h>
20#include <stddef.h>
21
22/*
234kb hash table
24*/
25
26static const uint16_t dj_base49[2048] = {
27 6322, 3087, 1007, 1456, 490, 406, 2674, 6232, 1180, 579, 743, 1178, 619, 368, 3019, 1734,
28 4830, 36619, 874, 2327, 602, 8818, 1183, 1350, 390, 2227, 13407, 16444, 1416, 3263, 63, 4155,
29 1212, 1336, 162, 8568, 2466, 304, 274, 1010, 346, 139, 22880, 17319, 6163, 668, 203, 2036,
30 35, 2000, 2110, 496, 1020, 3620, 332, 671, 3734, 16, 4576, 14531, 2580, 10928, 5704, 919,
31 782, 16456, 1823, 2080, 3979, 388, 2054, 2124, 2688, 2435, 196, 116, 708, 162, 18326, 9614,
32 80, 760, 18462, 1023, 38, 10154, 274, 424, 1210, 2211, 9000, 5878, 3939, 1399, 1128, 4399,
33 463, 766, 120, 3058, 2703, 1844, 9402, 9266, 9374, 1452, 2731, 304, 10840, 406, 1014, 3320,
34 1684, 4232, 731, 8, 119, 5639, 1862, 1662, 13151, 26, 98, 818, 874, 662, 1092, 4016,
35 18010, 472, 375, 915, 3847, 1206, 2346, 2250, 36730, 364, 596, 758, 2075, 1346, 376, 5348,
36 479, 352, 872, 278, 598, 611, 187, 90, 588, 274, 1900, 2551, 6683, 18, 3742, 1774,
37 3436, 3574, 1202, 663, 830, 12034, 512, 6799, 276, 4126, 4930, 10272, 1562, 280, 3791, 386,
38 334, 106, 8239, 3363, 3636, 23, 7035, 1766, 5682, 4450, 20, 1858, 2379, 2434, 802, 9854,
39 6004, 1268, 116, 9395, 128, 448, 8788, 1579, 598, 1039, 20418, 2396, 4590, 383, 980, 740,
40 2052, 108, 406, 2932, 382, 491, 878, 1264, 164, 5064, 464, 1520, 519, 768, 32614, 2779,
41 352, 2490, 1532, 596, 6395, 315, 316, 102, 674, 13215, 7859, 112, 259, 259, 9510, 10,
42 21254, 276, 844, 374, 139, 102, 196, 283, 1775, 2960, 1654, 1031, 3198, 1476, 4955, 366,
43 352, 2432, 1444, 410, 1091, 0, 479, 7508, 523, 2094, 443, 1758, 1238, 894, 4394, 4816,
44 3278, 1298, 3178, 3804, 2044, 4324, 4231, 755, 1016, 4060, 224, 1246, 842, 611, 1142, 4462,
45 180, 2101, 399, 6164, 1604, 668, 4672, 792, 15998, 914, 3140, 2883, 8626, 1040, 1699, 12454,
46 588, 3414, 10, 7731, 295, 1141, 344, 92, 476, 12431, 20, 2363, 3047, 4418, 1052, 3996,
47 8396, 13728, 3096, 870, 654, 232, 1600, 1154, 644, 90, 2144, 384, 935, 260, 1626, 174,
48 368, 14632, 124, 1063, 1027, 5206, 214, 4590, 3100, 3234, 2700, 386, 314, 359, 2654, 820,
49 7160, 638, 4590, 98, 1200, 1399, 2240, 86, 1352, 3980, 2822, 490, 1955, 1327, 5799, 4265,
50 10883, 1134, 92, 1051, 4522, 3370, 1630, 186, 1400, 1950, 1628, 3148, 926, 348, 4948, 3667,
51 2750, 3275, 136, 1888, 114, 5134, 1047, 246, 999, 3691, 6574, 66, 1791, 464, 99, 563,
52 14902, 800, 3444, 5052, 2691, 3354, 9419, 1090, 342, 2446, 1176, 780, 4436, 431, 3730, 1610,
53 916, 667, 876, 2846, 4, 5099, 1806, 8843, 6730, 6903, 162, 6755, 1631, 170, 2492, 1462,
54 2215, 8475, 3987, 3616, 760, 5572, 276, 136, 38, 10, 176, 430, 711, 1815, 91, 771,
55 1770, 7516, 979, 392, 287, 1123, 182, 2959, 30586, 708, 2380, 94, 1168, 1348, 344, 4982,
56 7067, 331, 827, 2600, 40, 574, 1214, 3992, 412, 1822, 2340, 8227, 10447, 1639, 192, 2154,
57 2096, 17606, 276, 804, 80, 3306, 2250, 4848, 2, 13935, 16, 823, 20508, 1810, 9580, 2775,
58 175, 463, 1991, 1356, 6828, 36, 235, 516, 615, 12, 11748, 3176, 1199, 915, 2527, 4266,
59 906, 216, 171, 352, 7352, 1643, 854, 57654, 478, 468, 136, 894, 82, 1878, 2540, 1264,
60 1971, 2558, 2636, 520, 58, 211, 1738, 603, 6766, 5772, 12371, 2080, 576, 262, 3012, 315,
61 2564, 5398, 43, 2995, 4398, 4378, 7812, 630, 676, 228, 780, 888, 815, 7972, 628, 943,
62 3284, 3467, 2924, 1308, 270, 416, 423, 1202, 5908, 440, 566, 170, 4024, 234, 2844, 2650,
63 5264, 1979, 3483, 344, 1136, 938, 2071, 2004, 1030, 2339, 842, 644, 30, 5923, 5527, 248,
64 2459, 595, 2592, 278, 130, 594, 10102, 3672, 336, 16135, 1315, 2895, 176, 1886, 1786, 28,
65 1191, 74, 891, 388, 7432, 946, 1294, 1310, 740, 5950, 3400, 1516, 648, 11610, 372, 1404,
66 12676, 407, 208, 10379, 763, 574, 162, 975, 8867, 12, 652, 2906, 468, 5804, 3638, 1774,
67 4298, 1619, 986, 376, 2106, 10896, 395, 2066, 1310, 382, 3538, 468, 28, 538, 530, 2779,
68 680, 96, 31, 3256, 1007, 3370, 2364, 1231, 1802, 186, 28759, 414, 1351, 3184, 2539, 171,
69 47943, 23, 1883, 18666, 9394, 3236, 2431, 212, 7210, 10, 2838, 1299, 35, 938, 3406, 1190,
70 431, 4060, 2483, 1908, 114, 3455, 2583, 1030, 7080, 806, 520, 10238, 139, 5808, 2666, 671,
71 182, 2083, 1212, 1240, 3060, 5783, 64, 28292, 2847, 3348, 570, 944, 370, 230, 1946, 6146,
72 6190, 208, 266, 5980, 2234, 3396, 7879, 1676, 3942, 8239, 1386, 43, 695, 106, 5168, 350,
73 6770, 142, 619, 7306, 571, 1955, 504, 2316, 4007, 1360, 35, 606, 1330, 276, 3476, 1271,
74 260, 1415, 343, 6546, 280, 440, 2166, 17202, 6071, 730, 3519, 434, 1471, 347, 1064, 1891,
75 1816, 1104, 262, 155, 372, 391, 2850, 3388, 144, 302, 530, 772, 3004, 116, 395, 1672,
76 623, 12, 2618, 502, 7723, 4675, 2475, 13394, 2280, 383, 3116, 1066, 4684, 1028, 66, 982,
77 2831, 4912, 1443, 21480, 2951, 220, 3402, 4394, 944, 4546, 283, 29198, 4896, 634, 522, 3706,
78 4226, 11434, 236, 728, 110, 1214, 204, 7066, 352, 79, 2262, 852, 7498, 14560, 130, 300,
79 446, 8811, 60327, 1035, 1958, 112, 774, 312, 2899, 547, 202, 2466, 6202, 2711, 1763, 8,
80 132, 7143, 3914, 1100, 1104, 3203, 410, 1531, 1258, 515, 344, 548, 3796, 1963, 13803, 4212,
81 271, 778, 1602, 370, 383, 2504, 6415, 4642, 663, 4895, 223, 671, 338, 16534, 795, 904,
82 1004, 4764, 570, 444, 1596, 248, 5954, 919, 2928, 2798, 492, 16320, 636, 4454, 2580, 3100,
83 814, 1164, 98, 2587, 2230, 4906, 934, 4126, 22355, 1523, 120, 1894, 847, 2152, 1108, 4592,
84 6154, 388, 8316, 3771, 1726, 1426, 1344, 2282, 2610, 3324, 52, 12, 980, 26096, 1043, 5182,
85 255, 7926, 6031, 152, 5771, 1332, 7995, 710, 4671, 2635, 404, 884, 8, 3795, 366, 8114,
86 128, 5632, 318, 2060, 9518, 1030, 1196, 367, 4702, 3884, 8076, 2811, 744, 916, 711, 6124,
87 1487, 831, 9618, 276, 1580, 706, 302, 3188, 408, 10, 643, 3547, 510, 863, 294, 3438,
88 2870, 627, 890, 3480, 26547, 1495, 539, 6458, 4259, 2107, 743, 40, 3554, 9062, 1847, 52,
89 128, 4179, 3104, 4495, 8647, 6302, 1200, 3691, 3774, 651, 131, 1891, 1244, 2776, 188, 3544,
90 48, 555, 8999, 19, 1058, 1580, 3679, 576, 1352, 680, 739, 3630, 476, 534, 492, 3490,
91 470, 280, 352, 16970, 942, 1666, 280, 308, 11406, 2540, 567, 5016, 114, 1882, 1912, 404,
92 220, 18884, 2984, 1587, 939, 2610, 3210, 6972, 934, 862, 284, 1147, 83, 458, 16791, 82,
93 16695, 34766, 936, 3488, 26, 1955, 44, 1384, 523, 4766, 440, 246, 160, 4215, 92, 4102,
94 8954, 363, 1078, 3844, 180, 254, 1108, 1338, 3974, 176, 3554, 5876, 320, 748, 458, 1682,
95 1727, 2079, 820, 11682, 663, 1030, 4008, 60, 10, 566, 80, 2622, 14398, 1496, 784, 1166,
96 30, 1343, 463, 324, 940, 708, 8511, 2412, 606, 1982, 899, 1167, 2419, 391, 162, 506,
97 152, 32919, 62, 2324, 8987, 6650, 446, 5046, 520, 199, 244, 5154, 770, 4759, 3095, 1362,
98 120, 976, 3948, 1008, 730, 354, 1975, 6507, 312, 542, 4387, 4774, 6076, 2422, 743, 26,
99 54894, 70, 540, 10283, 620, 5578, 942, 98, 1644, 3206, 5495, 2928, 294, 819, 96, 1378,
100 5062, 170, 448, 62, 1194, 30142, 754, 7338, 21570, 1638, 22036, 940, 1783, 506, 1966, 3180,
101 6639, 108, 1190, 475, 162, 4264, 3528, 128, 356, 8692, 99, 406, 1302, 66, 3862, 3666,
102 1299, 250, 5552, 322, 3982, 13103, 9922, 1394, 1660, 374, 631, 4954, 954, 4434, 40, 62,
103 215, 2351, 727, 15276, 44, 403, 1090, 142, 1659, 1648, 2548, 826, 755, 766, 10188, 487,
104 895, 802, 454, 180, 1751, 6332, 556, 407, 1894, 244, 1180, 1519, 654, 324, 4895, 640,
105 803, 764, 426, 30, 8206, 906, 3739, 3994, 6602, 191, 169, 2252, 796, 6228, 419, 956,
106 5498, 1182, 5082, 7207, 3384, 20266, 2366, 250, 895, 2286, 2, 322, 62, 1718, 216, 196,
107 847, 7047, 3248, 18798, 3860, 7635, 12, 1006, 1935, 348, 626, 359, 386, 3008, 918, 2922,
108 1786, 2838, 242, 4802, 1192, 416, 103, 1671, 2794, 299, 5060, 763, 942, 990, 12099, 3104,
109 604, 1639, 1094, 654, 3102, 88, 262, 1148, 675, 1508, 670, 112, 4940, 1160, 3386, 311,
110 314, 4098, 4892, 7714, 4268, 574, 4360, 930, 2931, 363, 676, 932, 667, 1796, 2016, 439,
111 7312, 927, 4043, 2554, 1983, 535, 1911, 175, 2620, 174, 13807, 690, 99, 714, 83, 1515,
112 242, 111, 614, 582, 5310, 5838, 11036, 26680, 9356, 12295, 2367, 1099, 3571, 478, 1424, 699,
113 730, 780, 1566, 2615, 943, 544, 40, 458, 443, 766, 856, 154, 1398, 234, 4267, 1658,
114 16343, 943, 868, 130, 3556, 795, 8108, 4014, 6199, 320, 59, 932, 1958, 11503, 4180, 1094,
115 1450, 154, 2584, 1814, 943, 154, 274, 202, 1146, 13383, 2947, 27, 1064, 1488, 299, 1312,
116 10424, 615, 510, 1922, 1310, 2540, 8362, 1051, 4632, 327, 10522, 686, 556, 10, 13680, 3008,
117 33646, 978, 1278, 1056, 5298, 442, 16531, 1826, 98, 1935, 4876, 258, 3563, 8467, 8626, 1044,
118 200, 732, 1359, 872, 432, 607, 859, 423, 4038, 356, 3655, 176, 6664, 1183, 4239, 3496,
119 35, 14907, 851, 339, 41178, 1482, 2723, 320, 691, 8, 3690, 4304, 3172, 16008, 1259, 732,
120 908, 268, 2322, 1004, 4035, 462, 1706, 9296, 3682, 1208, 1574, 14510, 2123, 1987, 1756, 268,
121 662, 7951, 828, 1071, 5346, 5419, 304, 670, 126, 200, 471, 238, 28486, 4060, 4039, 474,
122 2728, 1772, 2678, 171, 2259, 2094, 5627, 3723, 6612, 376, 1200, 264, 4754, 62, 1486, 3042,
123 7676, 34, 178, 619, 7840, 2822, 1131, 5507, 859, 2310, 1918, 8927, 16566, 234, 591, 2159,
124 2951, 3766, 3784, 12, 878, 236, 2624, 12886, 314, 1959, 3434, 1376, 938, 3000, 1228, 208,
125 5146, 339, 259, 7255, 5352, 759, 2155, 2040, 12016, 3370, 160, 1382, 1268, 1864, 639, 476,
126 1378, 962, 1742, 4920, 664, 1424, 783, 11307, 3087, 755, 2499, 814, 607, 323, 100, 1355,
127 3964, 5218, 3778, 3118, 771, 276, 851, 4035, 255, 1324, 1867, 26, 9384, 22655, 5060, 284,
128 4214, 366, 154, 14020, 6232, 1519, 18, 414, 3002, 5887, 4935, 37238, 6655, 2890, 819, 11884,
129 203, 2586, 9474, 2066, 3864, 9724, 174, 642, 4336, 903, 2635, 139, 4118, 5258, 2815, 238,
130 182, 279, 15996, 84, 1282, 5370, 7987, 632, 4423, 2296, 1802, 734, 926, 627, 2376, 9422,
131 782, 14964, 383, 7083, 1063, 3115, 6202, 1832, 5231, 2259, 1864, 1866, 1658, 996, 158, 1774,
132 3691, 996, 2102, 4215, 378, 2566, 2675, 628, 922, 11499, 100, 2784, 2118, 662, 556, 3758,
133 1051, 260, 2046, 659, 1070, 1647, 455, 131, 1748, 700, 431, 388, 176, 3391, 88, 1927,
134 48652, 5008, 1931, 1552, 2195, 8012, 19751, 1564, 1475, 1462, 304, 3599, 930, 2523, 364, 1150,
135 1198, 652, 908, 112, 4292, 1052, 11672, 732, 638, 4986, 1796, 8419, 8546, 427, 23411, 6231,
136 214, 366, 1754, 926, 594, 88, 455, 5204, 6090, 191, 2095, 6059, 1079, 10374, 15014, 13199,
137 2596, 8870, 806, 2964, 15356, 114, 3170, 24075, 782, 439, 2976, 16207, 4766, 2396, 4664, 2787,
138 1148, 84, 2774, 11080, 535, 1992, 906, 1398, 5358, 19175, 5790, 2590, 2311, 9084, 4208, 6712,
139 1966, 4366, 346, 5766, 316, 2463, 5091, 8215, 776, 5620, 43, 1452, 316, 3371, 2562, 524,
140 659, 13920, 2224, 3015, 2092, 1236, 3364, 1364, 2023, 916, 2166, 1219, 994, 379, 5051, 708,
141 107, 7634, 302, 3890, 1352, 55, 754, 7194, 111, 1842, 2908, 5066, 1630, 2044, 25746, 319,
142 2600, 260, 26, 302, 199, 1806, 4387, 79, 1234, 2124, 7340, 1510, 387, 4543, 5171, 436,
143 4196, 3238, 2518, 1155, 1314, 1126, 1430, 2882, 546, 6030, 2946, 3735, 3198, 139, 924, 162,
144 752, 1536, 872, 3322, 2202, 812, 158, 76, 364, 206, 938, 1406, 3011, 15770, 210, 96,
145 1936, 9106, 918, 2178, 1059, 5575, 88, 3239, 1056, 215, 1959, 20035, 187, 3476, 6118, 674,
146 2486, 680, 640, 11411, 1202, 712, 912, 2532, 303, 1967, 538, 22379, 6087, 25684, 154, 2,
147 431, 74, 614, 142, 391, 266, 2352, 26, 282, 748, 603, 751, 1478, 1527, 16788, 5830,
148 1738, 3854, 390, 720, 4526, 1067, 6143, 1435, 448, 1212, 1618, 6771, 560, 922, 6027, 1030,
149 772, 4930, 216, 7503, 1923, 728, 262, 1392, 854, 2374, 494, 30535, 3314, 643, 7003, 1219,
150 674, 31936, 3242, 411, 1083, 770, 627, 854, 436, 160, 776, 375, 630, 1298, 5822, 1032,
151 138, 55, 3434, 3407, 5674, 2623, 310, 276, 3286, 1136, 14031, 900, 4704, 2836, 866, 830,
152 2895, 859, 2182, 4352, 4676, 2415, 1820, 26, 1992, 148, 986, 823, 542, 696, 696, 1519,
153 3462, 3736, 204, 1139, 30019, 738, 4312, 6135, 218, 370, 7979, 1023, 2210, 818, 111, 4830,
154 7690, 4308, 170, 5492, 572, 2439, 374, 578, 7274, 220, 3664, 2407, 650, 1967, 646, 1944};
155
156/*
15732kb hash table
158*/
159
160static const uint16_t dj_base64[16384] = {
161 2983, 1279, 127, 866, 13963, 14, 6170, 2035, 1519, 768, 158, 3743, 940, 302, 579, 5875,
162 111, 6940, 442, 1462, 395, 2948, 32, 17702, 1556, 506, 94, 615, 2280, 1704, 814, 14206,
163 688, 482, 1092, 2236, 2902, 10946, 10390, 248, 1274, 4291, 238, 2430, 3116, 559, 190, 6022,
164 379, 271, 134, 3212, 3156, 311, 334, 138, 1098, 1698, 92, 1298, 6819, 2062, 136, 302,
165 127, 234, 11998, 603, 1430, 536, 367, 658, 531, 3598, 26, 352, 164, 774, 1999, 1776,
166 659, 618, 235, 8842, 17271, 106, 764, 368, 8795, 1662, 7631, 572, 13582, 3091, 74, 1238,
167 406, 314, 556, 2632, 70, 4160, 491, 294, 102, 1359, 1611, 675, 1538, 3994, 28, 1046,
168 4114, 4086, 1051, 62, 10, 2519, 1536, 2459, 9778, 2903, 895, 14, 711, 2343, 646, 1132,
169 14, 250, 236, 2491, 1644, 746, 532, 202, 4540, 840, 1934, 62, 471, 1459, 79, 551,
170 670, 1927, 2030, 455, 120, 1059, 388, 1423, 4260, 1186, 192, 595, 343, 2526, 782, 48,
171 4376, 499, 272, 1278, 255, 798, 6564, 1960, 923, 263, 218, 646, 819, 348, 323, 1886,
172 2010, 494, 1742, 2502, 4191, 2784, 840, 1199, 18756, 59, 27584, 2635, 28034, 467, 255, 1323,
173 1692, 1370, 10, 1514, 4374, 4879, 250, 1454, 511, 636, 4732, 2423, 130, 763, 270, 115,
174 2186, 566, 624, 322, 7232, 636, 1027, 2207, 451, 142, 371, 2195, 250, 1692, 2478, 108,
175 564, 1514, 3898, 174, 5922, 891, 580, 543, 418, 2315, 2926, 674, 682, 38, 259, 1340,
176 40, 2430, 2712, 3076, 339, 2722, 348, 666, 480, 531, 2442, 206, 1070, 1643, 468, 94,
177 4987, 190, 59, 11683, 4836, 579, 768, 2195, 1036, 740, 467, 620, 1216, 64, 548, 17938,
178 3619, 1976, 1054, 1354, 208, 420, 3947, 30640, 3351, 2062, 18, 91, 1515, 375, 936, 1766,
179 7308, 1115, 1538, 902, 1546, 1203, 444, 2095, 884, 1083, 1494, 2142, 806, 650, 131, 458,
180 1523, 1616, 103, 7795, 114, 180, 554, 1016, 180, 248, 1098, 11103, 1062, 1340, 460, 111,
181 570, 3620, 778, 186, 148, 2552, 1556, 24011, 668, 1392, 684, 1215, 1091, 2871, 98, 130,
182 2158, 1975, 3700, 999, 128, 935, 899, 58, 303, 266, 11492, 316, 5723, 1830, 503, 1356,
183 423, 1111, 262, 10436, 724, 184, 1240, 710, 364, 1874, 579, 516, 1538, 394, 1334, 627,
184 8655, 1311, 2582, 62, 17560, 172, 824, 84, 1244, 508, 771, 694, 3112, 52, 1446, 2078,
185 10788, 1100, 2668, 10, 727, 806, 1270, 1491, 39, 1290, 3350, 2190, 91, 2610, 1194, 79,
186 830, 480, 10, 136, 511, 467, 746, 160, 1376, 856, 1240, 1535, 352, 75, 3348, 411,
187 2088, 1200, 1298, 182, 7227, 1426, 34, 778, 555, 2456, 155, 6166, 2195, 292, 923, 454,
188 934, 1324, 2119, 1115, 382, 707, 687, 4356, 464, 9938, 1807, 348, 2171, 2314, 60, 124,
189 172, 6932, 1768, 991, 7655, 1020, 2148, 108, 207, 328, 1192, 13366, 1248, 4535, 14396, 168,
190 768, 127, 2040, 1622, 7683, 4674, 745, 79, 1191, 3258, 810, 1447, 207, 3252, 2958, 2740,
191 114, 228, 460, 1235, 822, 902, 3735, 20544, 995, 156, 1144, 34386, 840, 758, 2524, 2704,
192 288, 496, 858, 4862, 2468, 8228, 2570, 2952, 140, 356, 3860, 1727, 38, 30604, 968, 108,
193 271, 3316, 284, 1350, 624, 1734, 1692, 260, 2802, 10796, 946, 160, 4224, 716, 5184, 631,
194 4734, 2692, 1419, 7274, 9996, 1226, 574, 1274, 1351, 778, 3551, 450, 3999, 248, 106, 1075,
195 690, 3826, 808, 3012, 6766, 270, 86, 3436, 508, 430, 2346, 263, 490, 218, 1850, 4434,
196 192, 1620, 895, 2654, 3428, 800, 420, 3886, 850, 4020, 820, 1208, 168, 988, 2418, 694,
197 200, 931, 899, 211, 1804, 34, 971, 856, 584, 303, 8995, 138, 1932, 80, 1656, 176,
198 916, 2530, 1556, 304, 1015, 126, 82, 36, 2082, 1160, 3604, 99, 2616, 2024, 1426, 1904,
199 298, 750, 18470, 1054, 412, 8, 370, 1208, 39, 6494, 150, 674, 262, 6007, 160, 38,
200 1000, 284, 1984, 576, 787, 226, 155, 643, 278, 2500, 290, 294, 1395, 551, 1360, 30,
201 1831, 351, 246, 271, 811, 252, 5608, 798, 1126, 468, 895, 19230, 3519, 102, 1234, 28,
202 1639, 5843, 442, 66, 151, 338, 510, 482, 2684, 1710, 170, 508, 148, 2436, 1931, 115,
203 1819, 2016, 1507, 3632, 310, 998, 5543, 574, 4438, 1660, 1168, 14920, 392, 2946, 668, 192,
204 2263, 302, 3127, 74, 952, 1354, 470, 1162, 1360, 283, 1023, 1272, 1235, 304, 28, 176,
205 3334, 3220, 4606, 558, 600, 7192, 2651, 16, 1854, 21651, 3119, 676, 1171, 5843, 114, 472,
206 1376, 452, 10168, 1866, 1200, 986, 32, 638, 810, 170, 3348, 106, 7106, 4662, 956, 58,
207 294, 2716, 290, 178, 59, 480, 920, 226, 8152, 464, 314, 1598, 686, 32980, 1618, 2983,
208 3380, 2975, 43, 748, 382, 86, 4808, 758, 592, 128, 795, 1831, 375, 2396, 1267, 844,
209 278, 7314, 319, 158, 2106, 1632, 9030, 3390, 698, 2282, 167, 508, 5250, 1026, 190, 4724,
210 119, 1551, 790, 62, 891, 1855, 1120, 8, 3000, 362, 1755, 2086, 263, 2690, 1391, 20,
211 2298, 1243, 3412, 114, 139, 2007, 2610, 1224, 346, 115, 2499, 3792, 206, 1808, 1279, 4156,
212 550, 1795, 3060, 512, 580, 2286, 542, 991, 5553, 7768, 232, 2708, 911, 390, 4196, 284,
213 1936, 256, 5315, 3506, 376, 1260, 156, 99, 4915, 582, 2640, 3634, 4159, 2243, 211, 3500,
214 935, 4174, 134, 618, 344, 90, 684, 2879, 874, 8668, 346, 859, 739, 2258, 5498, 1876,
215 164, 1422, 111, 1654, 490, 5068, 690, 1639, 218, 380, 2783, 416, 112, 148, 638, 99,
216 1470, 4288, 3587, 1735, 634, 1538, 6996, 758, 758, 1456, 34, 7767, 624, 199, 11084, 998,
217 980, 20699, 704, 666, 2534, 1172, 2056, 856, 4140, 2396, 17502, 202, 1243, 13342, 1362, 7816,
218 35, 482, 60, 1774, 608, 4066, 1334, 339, 7214, 256, 699, 3535, 664, 319, 1603, 6542,
219 416, 4732, 643, 383, 124, 4474, 982, 859, 1460, 7762, 3756, 943, 463, 308, 142, 21338,
220 4807, 2299, 910, 640, 52, 280, 9804, 315, 3934, 2708, 1996, 458, 316, 10, 431, 2708,
221 3767, 234, 96, 4530, 2342, 15895, 1227, 1255, 48, 7806, 972, 10404, 39, 344, 499, 1528,
222 338, 86, 10464, 44, 9708, 758, 1448, 1936, 163, 7919, 938, 15040, 5290, 2326, 403, 1571,
223 4198, 695, 3788, 326, 9287, 2380, 1764, 1170, 91, 590, 3762, 114, 2382, 532, 3298, 2018,
224 1580, 6426, 59, 2458, 1478, 1031, 236, 11, 188, 1115, 1202, 2019, 488, 1194, 230, 2970,
225 40, 278, 116, 5250, 416, 311, 4171, 543, 890, 190, 8299, 4108, 639, 7978, 414, 1010,
226 110, 634, 1195, 835, 4742, 1768, 9223, 751, 414, 2446, 184, 188, 1143, 252, 8490, 1340,
227 806, 4354, 171, 866, 3426, 178, 442, 439, 260, 32, 728, 4064, 4774, 82, 3824, 1498,
228 748, 426, 44, 1183, 375, 5811, 1150, 9604, 3938, 6447, 808, 356, 275, 624, 416, 2775,
229 902, 1058, 4214, 1390, 922, 207, 330, 187, 1852, 206, 1740, 4856, 35, 82, 467, 2342,
230 706, 6700, 442, 952, 626, 1494, 1100, 712, 1662, 7956, 88, 5262, 5602, 1839, 596, 40,
231 2266, 142, 1651, 500, 706, 546, 288, 355, 495, 15492, 11, 33342, 2179, 2108, 102, 464,
232 88, 474, 572, 1135, 9679, 1244, 248, 168, 522, 756, 294, 4855, 58, 938, 470, 1311,
233 3042, 1306, 1072, 178, 9212, 192, 152, 3487, 218, 1620, 979, 155, 502, 770, 263, 31,
234 2140, 282, 7322, 710, 5118, 86, 260, 2824, 5600, 408, 362, 1387, 1792, 648, 202, 210,
235 812, 409, 2046, 1220, 1498, 354, 1991, 80, 248, 1784, 1752, 44, 4314, 1195, 219, 6255,
236 2350, 912, 938, 846, 2035, 1242, 10544, 48, 374, 512, 1106, 972, 383, 5111, 104, 6124,
237 282, 7184, 91, 2451, 911, 542, 5830, 5999, 2047, 935, 40, 2016, 34, 6996, 62, 2012,
238 596, 3076, 308, 4118, 4352, 272, 284, 2484, 2856, 856, 1046, 226, 354, 196, 2792, 414,
239 448, 120, 43, 434, 18075, 2266, 3506, 518, 508, 274, 482, 343, 4864, 542, 9383, 55,
240 23832, 54, 507, 482, 2028, 3336, 224, 2422, 36, 96, 2446, 246, 832, 475, 2407, 1050,
241 154, 630, 260, 348, 676, 5030, 2403, 379, 174, 868, 94, 370, 1672, 108, 2103, 384,
242 80, 4355, 184, 1515, 811, 2459, 1132, 167, 1664, 2280, 4684, 320, 2560, 8694, 6898, 407,
243 532, 966, 1196, 62, 1183, 124, 14918, 26, 164, 410, 4728, 5552, 624, 1164, 414, 64,
244 71, 310, 514, 816, 531, 2988, 830, 2440, 22652, 1370, 164, 558, 966, 268, 3576, 5512,
245 216, 590, 76, 2774, 395, 5076, 176, 287, 1582, 518, 84, 1096, 548, 146, 1095, 2776,
246 2336, 4416, 216, 134, 4368, 3722, 910, 2228, 3004, 2563, 862, 70, 1458, 3782, 308, 516,
247 8894, 2494, 2098, 1898, 420, 170, 243, 383, 1739, 760, 430, 188, 1667, 264, 86, 4723,
248 338, 1580, 1987, 2603, 1715, 12292, 15962, 1711, 1302, 6708, 1310, 446, 727, 760, 780, 5828,
249 403, 112, 844, 238, 531, 476, 9039, 434, 1006, 2458, 3118, 3034, 55, 1931, 3011, 66,
250 28, 6966, 454, 1796, 4700, 1748, 420, 1155, 8204, 4634, 2028, 711, 116, 2196, 208, 1932,
251 2940, 1282, 311, 2311, 1228, 52, 9783, 1856, 218, 1148, 3515, 8028, 4499, 2908, 86, 1139,
252 2254, 590, 2787, 3902, 6983, 940, 288, 624, 6160, 594, 1391, 2019, 10164, 2615, 1132, 2864,
253 5966, 3634, 519, 1534, 10055, 36, 3564, 58, 516, 1507, 875, 3772, 155, 172, 9218, 266,
254 1006, 152, 775, 3299, 1232, 5056, 31, 2272, 112, 274, 8051, 4503, 1552, 1414, 3198, 496,
255 1114, 290, 1538, 6539, 155, 82, 560, 751, 518, 11783, 2884, 1367, 264, 758, 326, 50,
256 4174, 1354, 3370, 4234, 10414, 3716, 3702, 2590, 686, 956, 12690, 204, 894, 1070, 334, 322,
257 2896, 139, 368, 2228, 851, 486, 1226, 808, 490, 90, 1014, 3206, 1223, 192, 230, 852,
258 180, 655, 5120, 344, 1191, 24875, 4158, 112, 2034, 50, 1019, 531, 1824, 1864, 3135, 3014,
259 688, 156, 9807, 520, 266, 1696, 187, 966, 1623, 332, 4863, 3100, 860, 8636, 603, 1240,
260 704, 1003, 1826, 592, 468, 942, 1268, 1020, 2244, 215, 98, 10000, 2675, 758, 114, 50,
261 103, 5846, 2146, 854, 124, 1298, 1304, 126, 320, 164, 8036, 80, 4131, 2570, 1910, 203,
262 1395, 702, 6428, 2864, 110, 3378, 4623, 1692, 2712, 376, 10, 3872, 4003, 1287, 638, 274,
263 332, 1208, 3643, 83, 231, 966, 954, 5818, 540, 1526, 1096, 11743, 1014, 2551, 3671, 290,
264 202, 150, 234, 606, 8671, 16760, 4492, 3876, 175, 2747, 908, 4996, 6788, 26, 547, 918,
265 595, 4062, 554, 2830, 56, 956, 742, 460, 1502, 2168, 154, 1508, 816, 84, 23, 31,
266 876, 138, 259, 514, 1038, 1744, 4274, 223, 4374, 2124, 2984, 12974, 7667, 6152, 191, 1922,
267 860, 14698, 63, 1582, 375, 168, 648, 13584, 4644, 582, 667, 728, 542, 704, 612, 2299,
268 1551, 5112, 28555, 455, 1176, 784, 435, 382, 248, 1982, 204, 595, 30, 5306, 1294, 995,
269 771, 618, 12220, 430, 39, 350, 13930, 918, 11, 17700, 1176, 1352, 10118, 1514, 44, 336,
270 67, 5006, 16838, 938, 5799, 938, 4, 767, 6308, 67, 9171, 130, 11020, 5278, 1078, 410,
271 1440, 1218, 999, 5103, 2416, 940, 5062, 219, 5691, 211, 612, 2066, 2246, 2572, 2967, 110,
272 500, 114, 13560, 1734, 2170, 748, 1242, 75, 8454, 184, 2114, 319, 304, 1684, 1667, 119,
273 2102, 1226, 586, 3648, 60, 519, 696, 226, 1158, 982, 562, 1495, 440, 1198, 11735, 600,
274 523, 2514, 96, 3204, 460, 1622, 2075, 3340, 280, 3504, 1103, 1970, 639, 398, 1164, 1234,
275 208, 7406, 1727, 32504, 1004, 68, 822, 430, 860, 5470, 3343, 192, 3998, 2286, 524, 146,
276 2503, 3030, 196, 169, 8762, 896, 10, 1159, 450, 1635, 1688, 2068, 1914, 750, 7826, 988,
277 332, 2927, 527, 1150, 1336, 823, 138, 2774, 488, 2863, 3050, 1640, 11210, 60, 506, 854,
278 2244, 18807, 1028, 7810, 680, 2088, 1178, 520, 5275, 4471, 14308, 2230, 1140, 80, 126, 170,
279 370, 295, 220, 292, 28, 780, 2418, 111, 542, 2031, 3528, 472, 1383, 810, 208, 415,
280 1170, 3051, 3492, 396, 1158, 527, 59, 1488, 283, 32, 675, 1443, 4824, 416, 870, 355,
281 1071, 3002, 5082, 476, 91, 284, 5548, 4895, 5214, 1246, 3418, 1603, 1640, 426, 750, 20870,
282 1967, 668, 148, 387, 396, 26, 162, 692, 806, 336, 7831, 646, 202, 788, 254, 1246,
283 1084, 104, 474, 8959, 931, 2294, 3098, 56, 4276, 182, 3355, 768, 928, 2492, 3835, 8148,
284 540, 446, 806, 4788, 163, 1036, 1868, 1651, 962, 1768, 195, 354, 2352, 11306, 1940, 15362,
285 874, 327, 1978, 2812, 11468, 40, 3134, 2183, 294, 691, 559, 450, 8826, 570, 1883, 62,
286 414, 3263, 4306, 1486, 1574, 632, 1810, 759, 2315, 9792, 1944, 306, 5180, 2480, 3463, 3844,
287 48, 1764, 1404, 612, 656, 3762, 296, 686, 202, 835, 1918, 620, 114, 11259, 2580, 496,
288 3214, 202, 2394, 475, 642, 2284, 1871, 4151, 558, 168, 510, 6474, 1095, 98, 4884, 3355,
289 2344, 584, 1394, 567, 2083, 152, 254, 4771, 1618, 164, 1523, 2895, 1460, 6314, 1690, 512,
290 17115, 131, 4570, 432, 614, 6139, 1248, 854, 3491, 134, 947, 883, 1487, 478, 1148, 136,
291 4252, 1824, 2015, 2528, 3839, 634, 23004, 1404, 924, 3704, 2324, 594, 938, 352, 6562, 591,
292 4890, 2256, 283, 12819, 67, 334, 1616, 598, 1904, 500, 704, 963, 1804, 1198, 1414, 296,
293 787, 628, 1098, 278, 396, 1990, 198, 14990, 1768, 4082, 2280, 538, 902, 4144, 380, 30,
294 154, 3380, 3094, 2220, 852, 1419, 1239, 138, 2656, 312, 2476, 1132, 2931, 2318, 1260, 230,
295 1103, 319, 556, 311, 56, 1084, 184, 3064, 2863, 510, 383, 4200, 2290, 724, 5212, 910,
296 2044, 1024, 5260, 496, 559, 411, 306, 391, 426, 819, 824, 523, 1419, 1432, 1638, 243,
297 295, 332, 635, 167, 290, 2662, 139, 6404, 471, 1628, 826, 650, 7644, 1568, 460, 347,
298 451, 1487, 12719, 654, 290, 750, 434, 2424, 2170, 1087, 503, 502, 7267, 1430, 3795, 418,
299 9283, 18496, 3978, 698, 171, 523, 1844, 368, 2922, 338, 248, 155, 2302, 56, 992, 251,
300 4690, 736, 3922, 434, 992, 764, 2914, 11304, 384, 3046, 5830, 1251, 1068, 851, 391, 712,
301 559, 236, 799, 680, 1142, 250, 470, 1296, 13187, 400, 3203, 4728, 406, 268, 514, 428,
302 832, 3138, 264, 1144, 70, 4900, 692, 1200, 9384, 1326, 160, 1774, 164, 1903, 1076, 175,
303 4255, 2566, 7576, 2348, 706, 48, 39, 4084, 298, 4694, 155, 574, 316, 1878, 203, 2399,
304 862, 1019, 5690, 142, 106, 44, 4044, 2459, 650, 696, 107, 2562, 10755, 440, 3412, 1095,
305 387, 934, 8564, 192, 1154, 304, 2286, 448, 4611, 276, 84, 1506, 206, 310, 251, 900,
306 216, 183, 2595, 2578, 1346, 3011, 200, 1415, 3156, 3539, 1060, 192, 2516, 218, 430, 522,
307 283, 1070, 2246, 58, 3006, 212, 1544, 699, 13510, 1576, 2306, 5195, 220, 630, 2300, 828,
308 4759, 2939, 2416, 328, 2131, 1095, 68, 4271, 664, 134, 670, 2914, 316, 1211, 219, 1490,
309 2016, 1654, 506, 3403, 6306, 5558, 578, 5140, 407, 108, 7988, 268, 679, 154, 1599, 3488,
310 284, 2428, 950, 1907, 991, 218, 652, 387, 860, 4072, 498, 2235, 36, 3659, 142, 295,
311 682, 116, 198, 1223, 322, 7307, 8095, 79, 110, 2878, 5399, 383, 534, 1668, 1103, 190,
312 9590, 370, 999, 490, 3574, 1523, 2038, 1058, 86, 388, 1262, 496, 180, 10448, 223, 398,
313 1862, 578, 35250, 1614, 96, 1007, 7174, 8390, 763, 84, 2494, 391, 6198, 1268, 512, 103,
314 784, 1847, 13044, 58, 935, 1344, 260, 244, 1983, 1072, 560, 6708, 596, 444, 636, 464,
315 2223, 19108, 1588, 224, 2295, 482, 4540, 1696, 654, 302, 3746, 586, 136, 1108, 2491, 80,
316 2896, 446, 700, 1291, 787, 26403, 628, 2964, 642, 696, 1134, 1096, 1254, 10, 791, 558,
317 2918, 1264, 1808, 940, 392, 1078, 1020, 1164, 4792, 1278, 367, 195, 1520, 36, 128, 252,
318 2936, 715, 392, 3304, 690, 116, 6256, 724, 538, 1202, 5939, 368, 14670, 327, 3160, 999,
319 231, 3368, 4451, 64, 818, 1048, 5007, 207, 1843, 1819, 3160, 1014, 2211, 1730, 356, 5767,
320 228, 2691, 4956, 911, 9751, 1176, 6114, 310, 2819, 2921, 7160, 2588, 92, 34026, 3352, 248,
321 19, 30980, 203, 3448, 2036, 2478, 700, 28, 1426, 1558, 60, 2294, 4275, 1334, 799, 2620,
322 814, 207, 630, 1848, 6086, 416, 763, 1140, 2188, 259, 1282, 1791, 3275, 748, 4376, 43,
323 283, 304, 8216, 127, 2088, 3558, 152, 16, 1014, 316, 1402, 1752, 731, 890, 1002, 4208,
324 3648, 2146, 2146, 2106, 1940, 91, 200, 1235, 446, 4896, 568, 188, 2900, 10, 7183, 7531,
325 536, 1324, 1386, 2499, 328, 858, 1676, 322, 458, 1886, 584, 4900, 9988, 319, 2280, 174,
326 120, 5936, 646, 3422, 2191, 2424, 36, 634, 2966, 946, 1002, 1314, 5747, 1228, 2226, 22504,
327 8508, 2296, 224, 420, 3186, 158, 496, 475, 390, 1300, 1022, 59, 184, 980, 179, 535,
328 1334, 328, 4572, 1786, 90, 3136, 395, 1471, 3074, 4887, 1040, 250, 1770, 900, 1280, 74,
329 2498, 860, 6554, 955, 764, 2180, 2718, 4590, 1995, 863, 976, 716, 8, 495, 272, 427,
330 272, 1834, 170, 3620, 1256, 2006, 912, 4891, 5639, 424, 476, 2488, 976, 620, 10416, 9624,
331 35711, 1132, 120, 4446, 10502, 187, 3140, 682, 1315, 106, 11, 56, 283, 9951, 1859, 900,
332 1596, 1300, 1747, 1988, 2120, 3931, 4792, 808, 1362, 9156, 4012, 154, 16472, 2018, 7395, 190,
333 136, 1831, 579, 452, 1914, 156, 3008, 23650, 1975, 1066, 4, 4086, 982, 4516, 1034, 2052,
334 62, 303, 299, 2024, 2816, 8728, 12962, 5851, 283, 60, 211, 1503, 2179, 443, 152, 134,
335 3082, 752, 54, 1296, 1146, 188, 115, 96, 1996, 966, 298, 859, 319, 1340, 923, 66,
336 4118, 2800, 14, 271, 3570, 23994, 388, 6823, 514, 678, 164, 20, 11, 4276, 84, 1503,
337 2016, 6292, 652, 33394, 1380, 8791, 74, 178, 426, 186, 135, 700, 1223, 1474, 543, 751,
338 558, 691, 14, 384, 4959, 4, 774, 74, 71, 1492, 1151, 8, 2631, 316, 5126, 428,
339 3650, 466, 3788, 2710, 4838, 2316, 1159, 211, 498, 111, 1714, 110, 83, 8210, 30884, 680,
340 200, 2606, 486, 33547, 6903, 68, 359, 2004, 2334, 6070, 390, 3308, 1818, 1296, 1692, 107,
341 6814, 1000, 539, 7371, 1274, 14076, 2382, 28756, 975, 2448, 1260, 7134, 836, 1043, 488, 1799,
342 1423, 4095, 564, 224, 474, 1134, 944, 304, 1219, 1178, 6260, 396, 1548, 424, 1136, 4516,
343 5211, 780, 200, 2842, 2195, 1847, 292, 2954, 1034, 10466, 119, 767, 3931, 1876, 100, 984,
344 1350, 702, 270, 4772, 4744, 14, 1120, 818, 106, 1095, 347, 714, 9020, 74, 298, 444,
345 700, 16996, 850, 1312, 1135, 1024, 227, 2107, 8, 642, 666, 1848, 1203, 14370, 6878, 740,
346 424, 6375, 344, 4, 619, 54, 514, 1444, 2480, 762, 2166, 1468, 4660, 1851, 6978, 511,
347 172, 846, 576, 39912, 23, 1664, 2232, 2416, 2004, 338, 231, 68, 6115, 1019, 4256, 198,
348 3192, 1019, 5090, 1192, 14154, 392, 1291, 827, 2654, 284, 98, 912, 151, 452, 3140, 848,
349 120, 552, 9552, 2303, 2379, 4510, 1368, 816, 8772, 203, 484, 6848, 18252, 3191, 116, 1099,
350 194, 1575, 310, 2472, 728, 7468, 2332, 2162, 363, 138, 119, 28, 1908, 2243, 3462, 1152,
351 327, 3646, 2759, 1951, 1016, 2236, 4787, 7826, 518, 543, 378, 32, 530, 742, 330, 176,
352 960, 1364, 2478, 318, 656, 124, 288, 5108, 9304, 2799, 236, 54, 1483, 1106, 1850, 8134,
353 1566, 1962, 3544, 44, 598, 982, 8887, 276, 7650, 3228, 1194, 9872, 478, 36924, 391, 90,
354 4535, 134, 2072, 428, 406, 8572, 1479, 2128, 2900, 220, 2615, 2666, 68, 423, 64, 272,
355 334, 194, 1275, 759, 570, 143, 6911, 446, 74, 192, 2259, 2314, 36, 307, 3051, 991,
356 638, 392, 3256, 1454, 459, 530, 3880, 1160, 470, 555, 62, 186, 196, 1496, 424, 387,
357 7720, 1572, 678, 270, 6874, 1688, 982, 1030, 507, 10652, 2354, 907, 329, 98, 367, 848,
358 1114, 278, 146, 2300, 1736, 362, 912, 160, 1310, 2179, 46547, 2007, 11507, 3234, 6036, 1303,
359 5300, 4300, 1906, 88, 2123, 144, 160, 224, 1262, 2328, 2240, 742, 79, 5375, 1371, 1435,
360 600, 250, 1066, 1606, 7554, 628, 828, 1274, 1614, 1628, 106, 1902, 712, 7042, 20, 804,
361 2180, 618, 4720, 2898, 830, 428, 4494, 256, 2240, 43512, 1064, 150, 359, 530, 280, 512,
362 1275, 208, 1884, 986, 2302, 818, 218, 302, 339, 1198, 10, 350, 1248, 703, 1074, 1614,
363 862, 114, 998, 790, 564, 1160, 1034, 322, 2546, 539, 4292, 3356, 1407, 1934, 4631, 1838,
364 5435, 2764, 1788, 496, 1440, 700, 802, 370, 7032, 4590, 1062, 8212, 167, 40, 872, 1706,
365 68, 2004, 7082, 7808, 3598, 88, 2874, 204, 8771, 2962, 11911, 9610, 986, 1888, 7044, 1278,
366 12934, 1190, 891, 270, 4864, 135, 140, 578, 2006, 2850, 1628, 690, 3655, 60, 2731, 32798,
367 32, 1976, 764, 3823, 1744, 795, 1370, 3156, 1964, 454, 3279, 7118, 987, 1866, 662, 403,
368 13282, 2664, 38, 2299, 1362, 1155, 592, 404, 1870, 8, 986, 923, 742, 190, 36151, 214,
369 664, 1935, 472, 1408, 1146, 376, 66, 1052, 3226, 7280, 6731, 4244, 419, 555, 826, 24292,
370 3700, 1060, 454, 404, 206, 9712, 670, 2016, 562, 599, 1810, 6280, 310, 3388, 14232, 5128,
371 307, 1304, 687, 12886, 459, 463, 19199, 680, 854, 148, 4327, 1923, 39167, 3028, 1164, 1096,
372 4, 4035, 288, 1571, 148, 5488, 9291, 2566, 1759, 7460, 2452, 984, 36, 4, 695, 451,
373 660, 252, 13392, 5223, 1706, 3998, 108, 2262, 1194, 30, 1747, 956, 114, 660, 418, 1342,
374 1922, 330, 570, 31, 1592, 1336, 804, 234, 106, 1107, 856, 314, 104, 2788, 2250, 2174,
375 566, 2362, 3044, 1982, 606, 1200, 4928, 2424, 4906, 995, 143, 5430, 272, 34, 80, 3066,
376 430, 379, 566, 195, 8140, 218, 999, 179, 9864, 100, 312, 25042, 648, 972, 1066, 3835,
377 136, 288, 52, 935, 2488, 608, 6696, 352, 14, 74, 374, 2107, 1160, 1175, 2064, 4839,
378 190, 1818, 1014, 1534, 546, 5127, 1135, 410, 6908, 60, 7560, 70, 2794, 742, 3163, 10016,
379 4935, 4276, 226, 91, 538, 3632, 1954, 578, 530, 598, 362, 359, 1192, 598, 743, 1754,
380 1460, 2942, 1007, 2088, 7404, 756, 2464, 14, 52, 3932, 820, 256, 552, 2998, 787, 216,
381 6539, 39, 2552, 176, 600, 223, 6204, 866, 1642, 2851, 187, 307, 770, 124, 250, 215,
382 2043, 1210, 139, 574, 1088, 5980, 6778, 1486, 174, 866, 5244, 347, 128, 2236, 1146, 1480,
383 1548, 347, 155, 4675, 786, 48, 324, 191, 2047, 90, 9295, 2050, 92, 17450, 250, 804,
384 1506, 10406, 183, 796, 886, 4126, 131, 26431, 218, 1306, 318, 5451, 1331, 468, 2860, 3830,
385 268, 110, 1682, 2682, 755, 7427, 16911, 9300, 1220, 67, 882, 3206, 155, 204, 2124, 110,
386 3786, 219, 619, 120, 292, 1643, 1719, 7070, 6967, 7359, 206, 75, 1716, 418, 655, 17080,
387 160, 1311, 86, 806, 8, 3407, 92, 639, 1916, 4964, 488, 214, 711, 908, 626, 168,
388 1156, 2018, 495, 2811, 5498, 1234, 4359, 3296, 579, 3192, 62, 955, 102, 4844, 26, 632,
389 3346, 404, 248, 228, 5714, 792, 871, 3256, 656, 1532, 1204, 119, 280, 304, 2214, 2771,
390 24586, 2879, 5391, 62, 4115, 990, 459, 2386, 114, 6580, 822, 1782, 551, 1430, 2396, 208,
391 528, 2602, 1111, 6488, 99, 906, 1763, 5192, 148, 830, 815, 4554, 5587, 2358, 85, 90,
392 362, 1242, 926, 16503, 600, 778, 538, 1726, 296, 1348, 850, 1088, 1856, 7684, 48, 126,
393 2866, 1050, 107, 3812, 986, 6235, 434, 1832, 155, 2291, 376, 960, 232, 1768, 154, 5655,
394 2378, 307, 1164, 6299, 3743, 151, 836, 670, 478, 218, 3460, 238, 135, 158, 1634, 2294,
395 696, 920, 642, 6244, 730, 848, 29854, 1284, 1495, 216, 178, 1196, 1779, 975, 1486, 5286,
396 302, 2568, 3428, 552, 2670, 2183, 556, 27798, 687, 176, 698, 1388, 3903, 3498, 1839, 296,
397 675, 922, 20, 1132, 1146, 204, 114, 394, 596, 6720, 324, 1238, 3619, 1482, 702, 6478,
398 292, 299, 3244, 3758, 278, 1002, 102, 8, 7136, 32, 162, 243, 1855, 167, 1160, 7060,
399 4615, 18564, 206, 2420, 488, 2326, 7303, 3287, 2964, 426, 94, 98, 918, 772, 664, 928,
400 318, 580, 4296, 854, 7676, 3110, 1050, 2044, 184, 556, 8142, 479, 1308, 2258, 266, 226,
401 636, 36, 555, 1758, 2224, 782, 396, 178, 946, 262, 1140, 156, 104, 2948, 1056, 3631,
402 142, 30, 3250, 14050, 1771, 74, 878, 142, 300, 5096, 374, 563, 560, 17687, 606, 582,
403 2938, 632, 880, 1646, 3135, 511, 120, 724, 1108, 632, 164, 543, 1938, 1664, 608, 1402,
404 2114, 476, 354, 390, 846, 1263, 1283, 4723, 4315, 14971, 2922, 3384, 102, 383, 1944, 2298,
405 2294, 424, 106, 5474, 7878, 1354, 1760, 32, 2790, 92, 650, 1191, 2411, 2116, 2374, 616,
406 3458, 684, 3100, 1419, 523, 346, 39, 1163, 311, 1688, 3652, 2103, 2222, 790, 1988, 347,
407 700, 950, 14, 4739, 998, 307, 23, 478, 35, 599, 12128, 503, 1428, 9451, 128, 8518,
408 431, 246, 976, 506, 1660, 2582, 390, 2207, 2691, 2946, 620, 178, 1927, 803, 2242, 180,
409 646, 404, 3698, 1092, 316, 2772, 654, 2539, 5167, 984, 1674, 211, 2256, 55, 334, 1622,
410 10726, 5727, 1564, 1160, 3099, 1692, 828, 4710, 5994, 3875, 1570, 475, 448, 82, 452, 102,
411 4603, 1244, 1464, 1299, 119, 586, 212, 330, 799, 108, 192, 2942, 594, 1298, 2630, 234,
412 984, 370, 491, 1479, 666, 1618, 2976, 228, 168, 1018, 476, 330, 3168, 1583, 18, 6250,
413 5096, 236, 6922, 496, 10796, 1044, 666, 2943, 831, 2478, 8, 334, 1422, 268, 390, 55,
414 3654, 662, 870, 3276, 778, 360, 294, 350, 3634, 374, 176, 1028, 8255, 3176, 4502, 4338,
415 18, 102, 58, 774, 432, 34, 600, 1012, 79, 4248, 1546, 743, 308, 5047, 943, 292,
416 890, 1642, 7231, 2795, 1803, 3078, 1763, 851, 171, 3024, 922, 98, 114, 1432, 322, 1154,
417 566, 4718, 1351, 298, 512, 3506, 2262, 2635, 94, 10, 407, 2223, 1066, 1374, 4484, 1287,
418 114, 60, 966, 614, 100, 2027, 1136, 834, 40, 196, 1202, 16248, 378, 3020, 1348, 492,
419 8504, 9539, 775, 1962, 2640, 336, 292, 1034, 212, 114, 1254, 428, 668, 820, 538, 3775,
420 187, 192, 4099, 891, 1110, 2704, 666, 1139, 12114, 2494, 1608, 3450, 55, 238, 202, 1324,
421 824, 300, 190, 1571, 98, 34, 1312, 674, 4850, 204, 1858, 3886, 1798, 1659, 7268, 306,
422 2455, 406, 224, 1803, 2863, 1778, 710, 759, 388, 18, 16860, 11, 1492, 466, 462, 52,
423 1726, 1160, 430, 831, 3588, 226, 338, 1739, 4819, 462, 1120, 180, 4347, 191, 1406, 300,
424 79, 90, 36, 2560, 135, 2651, 94, 1956, 686, 1694, 8144, 520, 1304, 3616, 858, 1740,
425 4279, 258, 3632, 3398, 331, 836, 795, 298, 2380, 908, 17264, 35, 426, 3468, 280, 1914,
426 2866, 7286, 1771, 11740, 552, 674, 13668, 4639, 824, 420, 1662, 6298, 220, 978, 398, 1712,
427 1111, 18, 834, 332, 1488, 355, 434, 5923, 4368, 1211, 811, 33111, 440, 304, 7006, 1540,
428 116, 324, 6358, 1972, 2268, 2012, 2306, 7480, 236, 4923, 2964, 908, 1892, 320, 534, 986,
429 5014, 918, 535, 2726, 1415, 36, 1115, 480, 2614, 546, 474, 6815, 1482, 266, 1003, 824,
430 1734, 600, 1615, 170, 354, 15416, 4187, 3294, 5162, 986, 6271, 946, 714, 2272, 435, 510,
431 2918, 3190, 322, 1676, 855, 10320, 164, 1188, 328, 262, 126, 26, 4578, 2780, 2007, 1420,
432 1399, 706, 1664, 35074, 4116, 36, 3455, 11598, 1764, 12530, 282, 538, 1120, 1210, 2294, 1220,
433 164, 3338, 4244, 492, 4811, 856, 2059, 20, 278, 151, 1059, 326, 454, 18, 4116, 355,
434 1367, 1004, 2583, 5115, 263, 2326, 895, 94, 920, 534, 1052, 16, 2043, 818, 3406, 636,
435 116, 4620, 338, 3958, 216, 7818, 562, 2591, 9455, 2708, 1652, 616, 14194, 4890, 3392, 1946,
436 12494, 171, 2356, 1604, 154, 2895, 488, 236, 706, 410, 284, 284, 1536, 274, 680, 503,
437 6802, 1791, 14626, 1876, 1690, 250, 346, 1243, 488, 1464, 2, 84, 734, 728, 1559, 2742,
438 355, 584, 194, 3194, 884, 860, 3178, 196, 34498, 1500, 1414, 68, 1204, 270, 2927, 303,
439 15142, 627, 199, 7199, 164, 652, 198, 4435, 1239, 274, 194, 3326, 3630, 16, 18358, 376,
440 834, 5042, 1684, 1262, 1338, 1400, 2394, 63, 1624, 1096, 1115, 2558, 1906, 176, 3667, 83,
441 818, 4136, 1359, 1291, 52, 899, 663, 30015, 6263, 4010, 904, 176, 1215, 24275, 4464, 3218,
442 903, 4746, 12722, 91, 28, 590, 116, 7910, 659, 1434, 2262, 150, 708, 27415, 3946, 6184,
443 62, 158, 708, 18, 523, 2174, 2334, 156, 19, 23, 300, 215, 10, 515, 499, 356,
444 2976, 2070, 112, 2588, 1047, 138, 1659, 768, 960, 1140, 3192, 84, 194, 3490, 502, 44,
445 343, 399, 120, 63, 922, 696, 984, 6331, 1195, 406, 1186, 638, 3936, 1888, 236, 710,
446 230, 120, 2667, 1506, 322, 28, 384, 530, 2778, 17664, 66, 18, 1019, 227, 1012, 48,
447 1548, 1314, 120, 567, 1806, 1024, 308, 426, 1038, 218, 200, 1480, 628, 91, 1288, 951,
448 2526, 1292, 96, 867, 1360, 32216, 1516, 1962, 7518, 13704, 6175, 776, 1156, 444, 1462, 1571,
449 614, 6490, 120, 2278, 1826, 176, 2078, 5487, 687, 6819, 74, 343, 90, 2174, 590, 90,
450 1446, 1459, 500, 2490, 1496, 92, 324, 722, 110, 982, 251, 100, 127, 472, 388, 506,
451 1223, 3832, 260, 164, 6198, 1102, 179, 2850, 1672, 727, 6276, 886, 2816, 328, 5076, 8262,
452 170, 3142, 124, 588, 76, 71, 7454, 155, 5667, 1564, 20, 296, 2266, 508, 728, 170,
453 2192, 248, 31, 379, 5455, 54, 2224, 443, 1271, 804, 600, 1908, 724, 1304, 532, 2003,
454 1574, 334, 550, 126, 7016, 1918, 3651, 496, 1643, 643, 4252, 6738, 1506, 312, 1075, 86,
455 1050, 10, 4271, 2474, 2315, 915, 12167, 4095, 2498, 3196, 190, 1831, 911, 2294, 1768, 512,
456 7747, 1054, 1332, 4351, 684, 795, 1115, 1026, 2032, 4631, 343, 739, 618, 731, 300, 754,
457 1108, 2350, 34, 110, 3062, 528, 3040, 190, 6626, 710, 2300, 1516, 2456, 260, 278, 506,
458 1106, 715, 968, 476, 274, 2799, 1028, 320, 148, 80, 4163, 1308, 114, 2798, 1939, 366,
459 518, 60, 268, 1580, 1316, 1838, 3620, 798, 270, 1128, 810, 722, 507, 1816, 7791, 1742,
460 4580, 208, 976, 758, 5938, 603, 2083, 3048, 2956, 920, 268, 550, 1574, 1640, 4990, 2591,
461 124, 172, 2187, 1992, 522, 600, 1042, 2734, 1014, 284, 70, 226, 436, 2438, 1935, 4204,
462 1259, 3928, 146, 2672, 3242, 548, 176, 852, 595, 12391, 11112, 1114, 744, 200, 2634, 790,
463 344, 336, 694, 3878, 1079, 295, 5995, 279, 4796, 252, 1118, 578, 656, 1587, 1342, 67,
464 456, 963, 628, 228, 250, 1436, 2966, 352, 854, 196, 1262, 2190, 576, 3114, 1351, 3462,
465 88, 800, 900, 2396, 870, 699, 459, 5464, 152, 592, 67, 88, 576, 128, 464, 3802,
466 18855, 275, 596, 108, 854, 2322, 106, 3190, 476, 1408, 4370, 348, 4842, 48, 20, 474,
467 3435, 1043, 1255, 212, 1443, 520, 1882, 92, 134, 55, 651, 612, 514, 114, 1123, 4331,
468 2624, 100, 1856, 2035, 2826, 246, 318, 676, 2314, 76, 667, 552, 472, 668, 13056, 1092,
469 14, 3864, 538, 1543, 1304, 2415, 663, 38424, 268, 3630, 4291, 13516, 9556, 1079, 746, 39,
470 4656, 780, 44, 1656, 212, 2062, 512, 740, 7975, 283, 495, 2812, 7015, 2380, 160, 28092,
471 5443, 103, 35063, 3910, 2144, 2820, 82, 947, 1472, 7210, 2919, 6399, 8119, 1746, 520, 26,
472 2684, 6880, 3006, 775, 318, 36, 1170, 4800, 530, 1860, 13286, 8490, 227, 1864, 5023, 3699,
473 448, 1808, 900, 1726, 1816, 783, 14, 252, 171, 2330, 14012, 698, 1042, 652, 1584, 211,
474 6578, 74, 654, 184, 1507, 514, 66, 1363, 1864, 759, 5195, 108, 8, 106, 3810, 256,
475 571, 826, 8287, 692, 111, 3103, 1198, 178, 923, 1350, 2712, 5142, 11, 1370, 246, 435,
476 172, 5550, 4459, 400, 4344, 5280, 5584, 1202, 5788, 124, 410, 380, 84, 1744, 75, 4427,
477 400, 44, 420, 554, 2262, 1163, 870, 444, 3282, 963, 674, 507, 2807, 5806, 2075, 4738,
478 21094, 1466, 158, 258, 995, 4471, 1734, 634, 5803, 1259, 870, 579, 824, 290, 2599, 55571,
479 262, 2066, 767, 238, 7992, 3425, 2019, 1790, 742, 15646, 832, 96, 2354, 74, 18331, 988,
480 112, 996, 243, 1192, 254, 631, 2151, 106, 2540, 1480, 1964, 1315, 275, 88, 40, 540,
481 8358, 110, 411, 4791, 16, 135, 5962, 578, 326, 110, 1770, 1130, 12615, 1798, 1624, 2632,
482 860, 1948, 2519, 158, 279, 410, 628, 234, 1206, 796, 170, 9128, 2176, 5448, 43, 499,
483 2043, 5076, 1098, 411, 1632, 5702, 84, 1862, 154, 2482, 2472, 2932, 232, 468, 554, 2070,
484 7132, 1839, 31, 8826, 2915, 70, 2944, 508, 5578, 300, 75, 691, 2602, 4775, 215, 1088,
485 6718, 67, 350, 88, 124, 1139, 287, 84, 62, 1054, 160, 34568, 2342, 440, 254, 4631,
486 1354, 258, 2234, 3112, 492, 1188, 1254, 2222, 423, 2606, 1654, 4898, 1058, 312, 495, 331,
487 3040, 718, 3279, 494, 1564, 714, 332, 2454, 546, 123, 174, 4219, 271, 1560, 180, 368,
488 2740, 3278, 652, 4146, 572, 2708, 1572, 558, 1826, 906, 764, 9635, 754, 394, 40, 1956,
489 9688, 4427, 346, 322, 1078, 678, 106, 560, 795, 450, 7183, 2260, 2544, 776, 3392, 1102,
490 2028, 534, 43, 5512, 16930, 5504, 86, 1582, 10, 116, 632, 8406, 728, 3891, 471, 1418,
491 1514, 3303, 1058, 743, 855, 594, 210, 9288, 5578, 1498, 548, 1042, 472, 135, 4940, 16571,
492 70, 742, 2200, 1882, 814, 850, 1875, 591, 1720, 379, 446, 362, 552, 3843, 911, 264,
493 4636, 1710, 590, 351, 90, 44, 31, 356, 9698, 2934, 410, 2446, 28, 802, 10979, 1586,
494 6130, 783, 1208, 3666, 558, 690, 280, 2070, 6914, 1751, 10271, 1811, 6867, 94, 7699, 298,
495 1334, 1600, 844, 906, 2419, 1671, 640, 2416, 1044, 1747, 628, 3564, 2728, 503, 384, 1582,
496 5552, 4668, 230, 13319, 1336, 384, 10031, 2187, 59, 2104, 17003, 1543, 911, 226, 10692, 1004,
497 455, 2680, 10252, 4159, 1064, 615, 554, 64, 1275, 2779, 114, 1506, 396, 2522, 7720, 27614,
498 275, 124, 19, 616, 227, 246, 224, 912, 2144, 2492, 699, 1512, 396, 400, 534, 2564,
499 116, 970, 955, 482, 3930, 2919, 1004, 279, 58, 456, 351, 13471, 778, 67, 503, 4632,
500 675, 388, 44, 10380, 5311, 250, 782, 1511, 1780, 590, 386, 234, 1006, 499, 758, 446,
501 186, 4275, 2446, 591, 186, 200, 6135, 435, 12227, 4654, 1048, 4184, 259, 182, 68, 1243,
502 455, 48, 2435, 30, 3163, 691, 94, 1230, 1003, 1075, 1136, 2119, 275, 2351, 279, 34,
503 7338, 1559, 1948, 1470, 714, 2224, 2591, 154, 3267, 5931, 1028, 5386, 576, 1444, 322, 764,
504 6758, 306, 1726, 371, 3265, 5352, 123, 252, 558, 3738, 742, 5647, 8644, 3356, 19, 1504,
505 7036, 4615, 254, 32, 306, 650, 96, 484, 590, 70, 287, 1107, 304, 400, 1940, 318,
506 163, 2083, 375, 600, 236, 2674, 176, 511, 7739, 566, 1106, 1939, 15271, 218, 476, 2158,
507 312, 12020, 111, 1292, 707, 2356, 1730, 2578, 1991, 206, 21771, 2244, 2254, 580, 2984, 90,
508 22954, 288, 374, 407, 554, 848, 564, 500, 684, 543, 10, 1300, 1575, 2087, 1200, 343,
509 546, 528, 8876, 691, 536, 31, 347, 1151, 1043, 350, 319, 5794, 1420, 1456, 1514, 116,
510 32984, 8066, 1620, 4231, 2720, 80, 4378, 210, 6970, 2324, 326, 3508, 2856, 228, 154, 552,
511 314, 2756, 52, 2314, 131, 904, 106, 868, 446, 2360, 86, 1444, 3080, 512, 28364, 407,
512 4448, 32, 834, 288, 330, 259, 119, 32562, 62, 1368, 476, 299, 1138, 1215, 274, 35,
513 226, 5679, 43, 10532, 1796, 790, 3391, 1351, 3131, 566, 1072, 931, 804, 296, 400, 9236,
514 739, 71, 2032, 4546, 10, 3887, 244, 694, 427, 887, 1688, 168, 1115, 131, 234, 2434,
515 6447, 1724, 1843, 198, 71, 674, 198, 47602, 94, 3648, 426, 188, 211, 376, 2490, 5472,
516 1199, 1656, 80, 1451, 4211, 13887, 431, 339, 5658, 572, 3986, 1048, 2638, 1520, 3479, 3578,
517 959, 6447, 13307, 148, 3468, 14, 62, 67, 378, 815, 8716, 7230, 734, 2500, 1264, 1152,
518 1752, 907, 2647, 2891, 452, 700, 1134, 1868, 4012, 1348, 415, 17654, 1151, 1318, 226, 654,
519 130, 995, 2171, 2838, 791, 391, 70, 27148, 2888, 382, 714, 2420, 84, 2380, 478, 1388,
520 2031, 1456, 878, 1835, 16027, 350, 292, 17406, 164, 323, 1527, 5490, 6399, 7726, 2870, 2208,
521 50, 2812, 332, 403, 812, 1270, 176, 636, 21403, 2516, 208, 642, 404, 30, 244, 964,
522 659, 2788, 1890, 534, 326, 3423, 770, 192, 459, 342, 276, 5146, 4054, 7711, 196, 4012,
523 1135, 238, 316, 808, 4644, 28, 348, 275, 511, 880, 2428, 596, 1130, 1551, 650, 1350,
524 978, 966, 2696, 740, 8158, 148, 3295, 2360, 234, 2327, 2454, 902, 1898, 6446, 935, 386,
525 2892, 4199, 2228, 1106, 304, 1418, 1154, 164, 2587, 304, 44, 382, 331, 3034, 1210, 1298,
526 168, 1992, 792, 258, 986, 850, 467, 13696, 94, 1543, 430, 3756, 3906, 1120, 2210, 511,
527 788, 91, 62, 4270, 183, 182, 1106, 96, 412, 156, 4886, 186, 2494, 674, 1555, 1059,
528 4480, 2107, 9336, 675, 448, 1127, 858, 127, 642, 2620, 2028, 596, 1548, 535, 3664, 718,
529 143, 559, 4298, 811, 1504, 108, 406, 17634, 86, 212, 688, 866, 2018, 1578, 7856, 348,
530 182, 492, 168, 1644, 491, 1052, 2115, 279, 1312, 3470, 3082, 3144, 664, 5978, 475, 2215,
531 192, 5139, 368, 12166, 276, 3782, 35698, 2346, 2466, 9192, 1694, 460, 7619, 391, 2234, 292,
532 448, 20555, 908, 6400, 112, 344, 510, 2607, 1746, 847, 711, 1968, 988, 623, 10408, 452,
533 2200, 1143, 124, 4674, 2319, 258, 124, 54, 62, 206, 364, 10, 2811, 23, 2082, 1192,
534 5220, 324, 4744, 555, 75, 1204, 243, 106, 2150, 2350, 4595, 5628, 823, 256, 1758, 310,
535 79, 2568, 1343, 648, 110, 282, 695, 2359, 2018, 2218, 250, 4, 5220, 4512, 628, 2456,
536 346, 1260, 422, 1978, 631, 1896, 934, 12411, 114, 298, 282, 290, 1514, 500, 136, 250,
537 1796, 135, 2096, 840, 1424, 1432, 5051, 3210, 26864, 308, 3375, 390, 1188, 9436, 307, 1542,
538 3858, 5343, 268, 738, 2408, 6024, 1027, 76, 2826, 4576, 1656, 9770, 971, 1827, 3338, 8974,
539 84, 75, 5260, 511, 3863, 7779, 1862, 2291, 10, 244, 5468, 3035, 5044, 839, 1128, 1148,
540 4295, 1600, 884, 547, 295, 263, 236, 30, 1156, 414, 3376, 1256, 743, 2452, 226, 2347,
541 252, 5628, 1350, 3034, 959, 603, 951, 1226, 2336, 1862, 4, 196, 334, 872, 528, 1390,
542 283, 663, 184, 1144, 3663, 943, 128, 4490, 922, 516, 1018, 116, 446, 42804, 4114, 196,
543 1839, 172, 126, 58, 48, 214, 62, 528, 1496, 528, 2103, 7159, 114, 244, 74, 1200,
544 887, 852, 1208, 568, 140, 15240, 1580, 34, 219, 268, 2711, 426, 13386, 10, 1472, 2126,
545 927, 160, 1271, 303, 1412, 7392, 5512, 146, 238, 1268, 33628, 722, 18940, 411, 98, 3896,
546 270, 1262, 20, 124, 39, 816, 1094, 2776, 56, 1676, 24407, 2595, 1043, 4512, 464, 36,
547 134, 3903, 6272, 6706, 1316, 3086, 676, 266, 1266, 699, 275, 374, 740, 1322, 231, 5064,
548 3092, 11334, 1544, 6864, 22856, 787, 151, 4622, 150, 2515, 1835, 1698, 840, 1340, 776, 539,
549 4839, 172, 179, 434, 296, 7290, 743, 2100, 22732, 414, 2507, 210, 1199, 1539, 739, 3410,
550 2282, 1463, 2224, 4431, 859, 178, 514, 130, 1859, 1808, 2656, 11359, 499, 60, 283, 1092,
551 203, 3042, 3732, 2451, 886, 1655, 2048, 943, 17011, 135, 1158, 3152, 586, 1240, 1127, 370,
552 2087, 1627, 188, 64, 4387, 1964, 1203, 355, 1730, 1566, 11712, 23166, 127, 4770, 920, 4726,
553 4128, 1632, 1283, 18756, 5228, 834, 590, 2911, 558, 298, 6123, 976, 860, 484, 946, 619,
554 474, 558, 3180, 124, 666, 475, 306, 528, 170, 8610, 14, 35, 200, 423, 1966, 3000,
555 2302, 1184, 2516, 7284, 1938, 123, 152, 567, 32, 2044, 298, 624, 179, 978, 703, 1228,
556 217, 268, 1352, 28, 494, 34, 884, 4187, 252, 510, 3162, 1416, 387, 296, 692, 208,
557 14086, 1319, 572, 2116, 283, 120, 624, 1202, 15607, 1918, 255, 3774, 2742, 1680, 208, 663,
558 1084, 99, 2900, 244, 28, 200, 8712, 204, 1932, 2682, 112, 31160, 31535, 446, 114, 1487,
559 260, 270, 418, 54, 151, 606, 1850, 234, 4840, 378, 1502, 754, 5371, 3239, 2191, 836,
560 2807, 786, 4156, 931, 2918, 535, 86, 566, 2486, 1172, 3176, 944, 108, 5752, 582, 1428,
561 84, 3354, 1646, 395, 5956, 2006, 426, 1639, 404, 603, 180, 4919, 26, 260, 2078, 2120,
562 2107, 1483, 172, 59, 2596, 1010, 5176, 168, 7558, 48, 2492, 794, 14279, 8168, 63, 567,
563 511, 36, 3108, 315, 868, 595, 1708, 992, 1060, 307, 1016, 14, 1166, 91, 187, 3279,
564 194, 66, 703, 71, 2484, 80, 139, 466, 4876, 3783, 3182, 546, 2323, 2906, 840, 1351,
565 2159, 892, 58, 867, 968, 367, 58, 5151, 1358, 2600, 35, 260, 846, 2664, 212, 176,
566 7592, 843, 170, 9968, 2576, 3371, 152, 767, 230, 30, 1100, 10399, 1336, 742, 343, 36,
567 5882, 82, 310, 1710, 2647, 862, 3643, 362, 7386, 407, 1242, 5470, 759, 67, 294, 1096,
568 1448, 784, 524, 322, 516, 6322, 6166, 976, 48, 628, 83, 1110, 1506, 539, 698, 639,
569 1530, 1775, 1108, 2028, 1075, 226, 276, 76, 116, 3018, 951, 1530, 334, 8892, 5283, 674,
570 310, 414, 2534, 490, 3074, 854, 642, 5664, 4543, 1570, 3462, 4275, 4996, 528, 1976, 1014,
571 2550, 75, 516, 1782, 1876, 416, 2203, 718, 270, 3008, 754, 890, 1876, 59, 2824, 2766,
572 1052, 82, 79, 288, 492, 1251, 2528, 2506, 1900, 296, 610, 5294, 451, 5552, 454, 788,
573 1895, 1719, 736, 863, 1783, 296, 919, 11100, 1915, 1550, 1795, 635, 9020, 388, 2823, 463,
574 6912, 1216, 714, 311, 9411, 734, 124, 618, 755, 943, 151, 482, 6022, 2128, 556, 10174,
575 344, 126, 414, 771, 188, 1998, 742, 5144, 1271, 74, 624, 5190, 276, 666, 2790, 2016,
576 1188, 13658, 2490, 14, 1040, 1099, 4143, 756, 1000, 1071, 470, 13736, 199, 1544, 220, 1804,
577 1350, 2482, 416, 131, 443, 976, 1503, 1607, 1734, 7186, 899, 659, 2302, 2436, 11, 2654,
578 1098, 1887, 7904, 176, 3560, 2758, 1763, 1748, 2696, 3259, 3710, 226, 2436, 4675, 1646, 2638,
579 426, 850, 378, 10010, 386, 5050, 19716, 584, 582, 4256, 315, 5259, 220, 708, 8874, 331,
580 386, 3766, 67, 143, 3194, 18322, 2464, 610, 244, 1456, 2855, 1927, 5082, 18, 3058, 1126,
581 3008, 1895, 510, 9806, 766, 3418, 5115, 1714, 2836, 8623, 1008, 3468, 31, 283, 156, 41,
582 362, 3158, 1079, 1736, 310, 2174, 6300, 1168, 4692, 702, 826, 450, 3147, 1152, 1732, 15138,
583 522, 634, 3960, 1264, 1176, 6490, 1090, 3168, 1728, 2786, 935, 4484, 3156, 270, 2338, 2120,
584 494, 2103, 232, 1560, 322, 250, 315, 2928, 307, 2479, 1008, 219, 458, 3807, 1164, 186,
585 332, 436, 248, 391, 4778, 11, 5892, 1096, 2504, 1156, 764, 802, 190, 1056, 2176, 48,
586 182, 1200, 364, 620, 4252, 3006, 568, 10, 835, 1676, 256, 220, 140, 131, 380, 2792,
587 2154, 974, 970, 2451, 188, 2906, 3776, 102, 832, 5264, 28756, 1278, 2618, 320, 116, 38,
588 924, 974, 2334, 507, 210, 1722, 1660, 1983, 9547, 3506, 382, 6632, 326, 538, 810, 76,
589 451, 1159, 1778, 2904, 171, 68, 1622, 302, 990, 328, 518, 1220, 474, 990, 3364, 1510,
590 19, 1630, 2500, 155, 1790, 1078, 142, 790, 195, 1538, 752, 1251, 4512, 458, 100, 302,
591 2019, 2638, 422, 862, 4750, 12572, 7152, 2134, 11, 1695, 396, 2496, 1334, 954, 627, 716,
592 2639, 379, 4000, 1690, 1240, 6399, 262, 203, 96, 1922, 583, 16238, 5378, 566, 66, 1304,
593 71, 2338, 38, 456, 1608, 322, 26, 3434, 119, 170, 514, 1907, 1019, 2780, 1304, 90,
594 854, 7474, 19170, 724, 31, 3723, 1110, 11408, 620, 274, 515, 26, 1099, 720, 2650, 3296,
595 508, 387, 4432, 703, 5466, 18, 884, 1350, 474, 612, 7111, 366, 716, 736, 1216, 94,
596 1120, 258, 547, 195, 656, 276, 6422, 1732, 40, 635, 50, 524, 1067, 20436, 4760, 2219,
597 412, 3570, 443, 130, 400, 6062, 658, 650, 4446, 5896, 448, 1818, 22750, 6050, 5283, 1478,
598 200, 667, 2576, 418, 463, 220, 4235, 4994, 467, 2358, 1632, 13003, 2560, 5410, 4908, 2531,
599 112, 636, 727, 1847, 4740, 9820, 2098, 946, 195, 5078, 4092, 639, 496, 5924, 1942, 446,
600 380, 1202, 3176, 746, 204, 1668, 218, 5250, 564, 2324, 1343, 419, 666, 306, 751, 4504,
601 506, 66, 12370, 4100, 590, 223, 1116, 664, 512, 36, 759, 1391, 968, 56, 9504, 1080,
602 3686, 638, 1596, 1150, 706, 3636, 195, 6728, 62, 2940, 1688, 32, 2987, 2108, 99, 676,
603 262, 904, 570, 44, 244, 1322, 552, 999, 666, 718, 3602, 978, 140, 274, 1164, 768,
604 1483, 1836, 3492, 63, 3215, 502, 2178, 323, 64, 80, 1570, 20, 1064, 210, 847, 206,
605 104, 436, 2442, 196, 1136, 4960, 8232, 4940, 56, 134, 3064, 2820, 6764, 798, 5372, 2494,
606 471, 1340, 1967, 1798, 528, 114, 18318, 6935, 528, 804, 736, 898, 4596, 1377, 164, 692,
607 1356, 282, 106, 1702, 2784, 410, 2378, 588, 1050, 3398, 1202, 160, 2730, 1010, 1652, 746,
608 195, 5670, 448, 5006, 4843, 3274, 2236, 454, 890, 76, 238, 1078, 36, 492, 2136, 707,
609 512, 12567, 1198, 298, 10, 542, 202, 10, 1046, 3846, 1123, 52, 1783, 596, 214, 1216,
610 872, 35, 560, 199, 1487, 206, 730, 3543, 971, 31, 192, 892, 2347, 366, 911, 384,
611 387, 92, 511, 535, 152, 2070, 1671, 1238, 334, 199, 1034, 1756, 223, 2756, 422, 220,
612 1184, 328, 3343, 1427, 1324, 1967, 2274, 1206, 1356, 371, 1330, 574, 4, 123, 458, 1007,
613 182, 1075, 20, 2178, 2507, 891, 1130, 558, 84, 1255, 1515, 52, 804, 200, 2114, 55,
614 6326, 252, 586, 10, 574, 403, 15003, 6570, 2335, 208, 1487, 13584, 420, 712, 663, 1151,
615 1760, 2819, 258, 1635, 338, 1438, 3231, 1903, 956, 1314, 150, 542, 158, 1402, 3006, 48,
616 1563, 750, 464, 2106, 106, 860, 2911, 1383, 403, 1915, 371, 1590, 1936, 148, 1186, 2892,
617 354, 556, 156, 10, 651, 3143, 420, 1766, 4424, 6164, 2131, 3706, 220, 1030, 1946, 2886,
618 576, 4340, 1354, 350, 3168, 174, 432, 671, 1178, 702, 604, 1727, 498, 2031, 12244, 604,
619 112, 398, 1478, 796, 311, 40, 1751, 655, 1944, 7696, 1282, 3055, 164, 214, 10098, 11755,
620 923, 140, 2423, 940, 4428, 170, 339, 206, 752, 2246, 134, 168, 17286, 11544, 890, 1992,
621 1524, 1810, 1719, 271, 614, 972, 1506, 936, 5367, 170, 322, 243, 724, 3164, 184, 439,
622 652, 10482, 391, 1074, 1238, 346, 796, 1551, 227, 139, 668, 450, 2358, 1546, 163, 76,
623 2552, 776, 1666, 100, 2418, 223, 2544, 8683, 5758, 1175, 1598, 13467, 926, 2930, 9358, 3012,
624 667, 10803, 348, 5276, 1616, 754, 3150, 360, 2118, 318, 10406, 350, 9026, 13554, 2308, 10,
625 610, 154, 1799, 1154, 1228, 8596, 506, 684, 330, 4134, 1096, 4614, 4416, 1979, 71, 156,
626 411, 106, 3964, 16, 39, 68, 5367, 10504, 134, 28943, 176, 632, 5390, 2514, 114, 3290,
627 320, 644, 1874, 1052, 1535, 502, 34, 7543, 2020, 99, 102, 366, 1306, 722, 9920, 1312,
628 432, 567, 1280, 5674, 2420, 1771, 688, 28, 379, 612, 298, 36, 8843, 2595, 999, 19,
629 675, 5447, 382, 524, 4634, 1911, 14735, 316, 926, 116, 631, 1090, 1824, 1818, 187, 4530,
630 8292, 556, 920, 13132, 2112, 3028, 386, 112, 2170, 2136, 496, 284, 919, 1006, 7607, 532,
631 1312, 670, 38, 3686, 26, 588, 1058, 2836, 636, 1926, 1632, 494, 760, 1256, 476, 302,
632 875, 6430, 1364, 1760, 455, 363, 179, 1203, 3938, 1363, 5514, 378, 98, 642, 310, 270,
633 1276, 90, 74, 276, 106, 952, 6987, 322, 459, 1404, 1062, 294, 2422, 28936, 890, 271,
634 1834, 11244, 9036, 4696, 454, 9131, 4512, 154, 1204, 1232, 2323, 475, 344, 5938, 954, 4306,
635 1794, 3742, 659, 2103, 28, 259, 536, 296, 11255, 1236, 2051, 6771, 598, 214, 1410, 2224,
636 2375, 196, 11282, 13626, 2068, 538, 776, 256, 1508, 1316, 5736, 1382, 468, 738, 1827, 107,
637 278, 4086, 1651, 2126, 4598, 168, 376, 68, 5958, 227, 268, 2275, 104, 30, 876, 582,
638 20, 440, 1178, 278, 1716, 1098, 563, 2172, 262, 148, 17762, 3670, 867, 210, 5759, 554,
639 3222, 3719, 535, 702, 152, 2211, 7499, 536, 13395, 810, 1624, 1286, 3308, 376, 352, 156,
640 76, 571, 1951, 6087, 26, 546, 30106, 802, 40, 3064, 21036, 1688, 3326, 114, 128, 2716,
641 2000, 390, 434, 1620, 192, 2595, 2255, 36, 151, 36, 2079, 836, 8798, 2471, 523, 1056,
642 6044, 4618, 3755, 374, 12274, 13958, 439, 7884, 1072, 478, 4611, 1908, 38, 36, 571, 603,
643 266, 1506, 4215, 79, 8143, 50, 6778, 1348, 246, 1068, 1035, 434, 734, 3051, 1176, 2319,
644 468, 2898, 4771, 2260, 1106, 1543, 720, 55, 2655, 2670, 7838, 1315, 1160, 408, 2179, 1915,
645 1630, 332, 210, 656, 490, 6522, 418, 211, 130, 170, 1736, 1896, 148, 706, 94, 192,
646 254, 382, 195, 6834, 638, 1548, 491, 595, 663, 1792, 1186, 1196, 2820, 3174, 208, 1158,
647 384, 7580, 2644, 823, 6078, 604, 1926, 3332, 644, 3135, 2260, 98, 4700, 962, 2382, 1318,
648 1814, 3682, 1739, 110, 370, 338, 4708, 2488, 866, 90, 574, 2559, 290, 1926, 3827, 283,
649 668, 960, 1914, 1215, 4804, 2012, 776, 338, 208, 540, 2098, 5799, 1186, 1978, 296, 56,
650 218, 3192, 1468, 708, 324, 218, 4488, 339, 503, 2146, 140, 1187, 2507, 5160, 1503, 2658,
651 434, 4148, 3686, 700, 3144, 106, 234, 276, 3910, 5222, 256, 1870, 2514, 452, 7916, 230,
652 1282, 518, 332, 158, 354, 12244, 588, 396, 1074, 1611, 1782, 899, 1100, 2083, 38, 334,
653 4806, 1562, 3891, 228, 143, 967, 1450, 184, 411, 1140, 399, 2451, 11912, 396, 3175, 56,
654 119, 274, 55, 5819, 203, 374, 1018, 164, 1223, 3248, 731, 1024, 344, 964, 36, 734,
655 15660, 184, 383, 2367, 7411, 1031, 8560, 1283, 2416, 1478, 896, 812, 582, 44, 188, 6428,
656 1811, 75, 24343, 3832, 764, 103, 1200, 3331, 603, 740, 1619, 1279, 36, 2514, 847, 2328,
657 948, 3412, 1990, 4244, 3052, 231, 5167, 990, 500, 12252, 2139, 2371, 123, 3274, 392, 860,
658 334, 2388, 1738, 1371, 3099, 2355, 860, 656, 804, 98, 2770, 4140, 1310, 1078, 524, 386,
659 1794, 60, 768, 478, 3118, 660, 98, 342, 748, 2422, 19, 1214, 644, 290, 1291, 4119,
660 2088, 3618, 314, 2382, 223, 568, 462, 6046, 223, 4478, 3367, 116, 632, 54, 1062, 6506,
661 302, 848, 7678, 342, 1947, 1007, 158, 1372, 431, 135, 220, 292, 378, 905, 2811, 388,
662 64, 1046, 80, 806, 5787, 64, 3634, 818, 767, 6288, 1264, 506, 127, 1036, 4030, 96,
663 30895, 119, 1162, 116, 482, 1964, 6587, 1803, 30, 2828, 4814, 2914, 582, 486, 1183, 106,
664 711, 2410, 596, 2348, 1386, 379, 6055, 766, 179, 712, 4652, 4, 364, 32, 1166, 154,
665 834, 614, 1315, 560, 571, 23864, 82, 664, 470, 998, 275, 2435, 1744, 524, 371, 406,
666 279, 288, 3724, 1098, 1148, 2590, 5066, 2110, 63, 136, 960, 492, 1699, 363, 6046, 2734,
667 158, 1164, 214, 5031, 254, 592, 424, 2514, 4452, 2148, 19576, 1420, 8734, 1524, 58, 392,
668 703, 2059, 1662, 3862, 1703, 415, 1127, 363, 791, 19655, 1475, 898, 320, 1762, 128, 1186,
669 124, 656, 2370, 4348, 10, 13263, 856, 390, 3892, 336, 4235, 4110, 4867, 76, 2180, 1808,
670 316, 30, 1155, 6211, 1720, 994, 244, 328, 5490, 2172, 1723, 1152, 486, 85, 1304, 728,
671 243, 231, 455, 1579, 2366, 256, 220, 1099, 5343, 1074, 1995, 1483, 136, 1042, 3279, 6692,
672 964, 274, 207, 76, 3856, 76, 638, 1951, 604, 106, 115, 414, 266, 6307, 1248, 590,
673 1179, 1458, 2882, 2294, 443, 308, 224, 876, 3330, 559, 7950, 92, 856, 383, 1910, 1311,
674 86, 315, 600, 202, 214, 302, 2482, 3418, 39, 400, 96, 2128, 114, 58, 1363, 716,
675 114, 5750, 475, 204, 20156, 140, 7, 283, 1978, 756, 694, 1994, 268, 764, 2063, 3188,
676 926, 190, 1251, 624, 479, 1824, 2350, 1048, 168, 74, 656, 631, 354, 2323, 988, 1376,
677 722, 18922, 226, 516, 1670, 1374, 376, 703, 378, 114, 451, 463, 552, 882, 2700, 4000,
678 2236, 3142, 514, 640, 456, 524, 1815, 2086, 98, 2835, 1078, 416, 124, 478, 2131, 2298,
679 338, 224, 6512, 2567, 1458, 4767, 2692, 1612, 1511, 4159, 792, 2270, 770, 472, 3688, 5152,
680 4294, 1020, 96, 14, 866, 299, 806, 283, 306, 808, 3527, 882, 1199, 74, 446, 514,
681 412, 604, 3864, 270, 955, 252, 235, 1438, 192, 707, 1824, 996, 18366, 434, 1030, 15290,
682 1104, 2972, 2648, 619, 2388, 479, 164, 470, 58, 2392, 2702, 2426, 1944, 3519, 514, 2092,
683 1271, 23, 695, 3390, 1071, 762, 464, 6151, 655, 1606, 4359, 13168, 8391, 1854, 1003, 135,
684 6596, 194, 71, 14583, 900, 7654, 3458, 4031, 2710, 1367, 272, 450, 722, 4160, 298, 2188,
685 16294, 3942, 1082, 34, 1156, 271, 32, 2136, 9660, 1420, 586, 175, 364, 4286, 80, 2823,
686 418, 1235, 1714, 218, 254, 66, 3376, 640, 206, 1484, 679, 158, 79, 5387, 103, 270,
687 29532, 1435, 206, 626, 4866, 626, 2883, 968, 2628, 310, 588, 4636, 1296, 3074, 506, 11588,
688 984, 1760, 146, 806, 59, 98, 1187, 131, 3495, 216, 28622, 567, 319, 1342, 1184, 1755,
689 7290, 976, 7727, 2758, 488, 1298, 3944, 7391, 383, 98, 10994, 2754, 426, 508, 219, 1039,
690 1436, 7499, 754, 854, 4580, 3376, 190, 412, 255, 470, 463, 2690, 379, 56, 399, 16,
691 1196, 260, 536, 3580, 942, 9136, 499, 136, 5018, 3976, 318, 535, 339, 566, 71, 379,
692 124, 40, 316, 671, 8, 3892, 572, 675, 50, 288, 36, 320, 3439, 1744, 11650, 1412,
693 20, 251, 959, 4158, 2884, 1523, 524, 131, 826, 1330, 1912, 306, 212, 520, 4808, 11238,
694 35226, 440, 479, 2006, 1652, 492, 1495, 160, 1308, 94, 1262, 1294, 2496, 212, 94, 268,
695 288, 346, 2423, 424, 2012, 604, 23, 16394, 70, 2542, 34, 1382, 442, 1611, 950, 1880,
696 324, 804, 1763, 912, 136, 3972, 1894, 11, 280, 191, 126, 174, 36462, 2555, 940, 1463,
697 1551, 7442, 284, 216, 2026, 591, 2440, 91, 2832, 1570, 116, 1072, 1800, 384, 131, 439,
698 304, 607, 4070, 112, 7364, 655, 2196, 3564, 18775, 690, 263, 4976, 404, 1782, 1676, 2034,
699 216, 3408, 3123, 35, 9235, 1779, 1406, 395, 680, 1371, 512, 7110, 943, 1791, 1843, 246,
700 775, 1526, 1142, 54, 486, 1106, 5604, 4646, 14796, 3260, 68, 1152, 63, 831, 388, 3644,
701 1358, 32882, 799, 14296, 626, 3506, 2935, 182, 258, 150, 4076, 1068, 896, 503, 572, 308,
702 36, 1014, 1259, 103, 1486, 451, 180, 266, 4383, 192, 139, 786, 52, 4402, 2499, 1082,
703 2508, 1720, 13678, 58, 598, 10818, 2511, 192, 5428, 2614, 66, 458, 1288, 1016, 566, 7815,
704 1519, 2922, 668, 232, 656, 6002, 52, 38408, 396, 258, 16, 720, 5531, 498, 1046, 1503,
705 407, 419, 26, 404, 530, 908, 7963, 471, 111, 1288, 4255, 1214, 2843, 344, 2274, 439,
706 1690, 1699, 1558, 1190, 1464, 175, 76, 8863, 3379, 467, 979, 380, 2006, 1056, 18, 143,
707 2198, 1412, 160, 696, 319, 366, 3458, 6424, 5311, 243, 1450, 466, 4311, 2134, 143, 1371,
708 2499, 4219, 566, 3296, 2758, 359, 1016, 450, 408, 3006, 8288, 2586, 34, 1746, 38, 966,
709 4123, 55, 296, 4482, 34396, 4, 2123, 4055, 1034, 19223, 2243, 580, 1492, 1535, 3364, 182,
710 84, 5667, 1091, 3023, 640, 891, 2586, 4967, 175, 991, 106, 1228, 339, 680, 1819, 2579,
711 1728, 182, 656, 4088, 328, 823, 548, 387, 194, 36, 419, 512, 379, 3256, 4550, 688,
712 196, 5558, 1052, 2674, 820, 4270, 70, 320, 210, 1318, 1010, 130, 114, 35347, 276, 70,
713 604, 314, 1348, 7192, 1071, 1084, 2823, 302, 251, 4183, 844, 220, 66, 32859, 35408, 158,
714 783, 127, 11687, 407, 248, 754, 4819, 2039, 646, 204, 415, 234, 1338, 1180, 1071, 1132,
715 150, 1424, 396, 235, 2344, 174, 2743, 555, 184, 434, 2083, 3015, 68, 1908, 1338, 2535,
716 510, 518, 3787, 1138, 794, 670, 388, 655, 676, 1168, 3344, 1088, 4443, 2159, 2287, 3878,
717 178, 4196, 566, 2410, 3848, 4074, 5152, 2284, 1403, 2308, 3842, 615, 1682, 1160, 6884, 3312,
718 3006, 398, 16, 748, 612, 470, 108, 1190, 595, 1426, 2550, 88, 10188, 4015, 2343, 4214,
719 643, 2432, 658, 8530, 5703, 58, 1526, 2360, 3962, 474, 1598, 380, 2595, 5516, 3194, 1960,
720 2218, 618, 2275, 2384, 792, 66, 1526, 3734, 434, 296, 1970, 56, 14648, 2830, 1232, 88,
721 7902, 2852, 36, 1070, 15420, 1883, 5688, 788, 394, 5244, 546, 207, 14820, 1642, 2616, 11334,
722 32891, 671, 219, 5084, 2626, 250, 1159, 1451, 170, 400, 816, 984, 13930, 180, 96, 950,
723 403, 88, 114, 556, 6442, 383, 560, 6714, 6026, 1910, 2707, 1374, 880, 771, 323, 946,
724 1200, 1140, 446, 4292, 3059, 26082, 3682, 936, 4572, 3483, 2148, 2196, 3766, 904, 802, 66,
725 3623, 766, 302, 488, 4412, 14, 1590, 632, 2138, 1271, 734, 651, 1016, 1127, 32, 1252,
726 504, 1492, 1686, 8, 272, 1171, 495, 384, 256, 2475, 3110, 695, 1343, 947, 1414, 2680,
727 394, 2868, 1520, 1184, 1667, 19, 68, 52, 4808, 914, 52, 2544, 1356, 603, 3248, 379,
728 490, 894, 5683, 596, 5694, 178, 5883, 4388, 1270, 208, 1719, 259, 232, 882, 116, 4680,
729 116, 1316, 274, 412, 2098, 1172, 3439, 415, 48, 1110, 522, 387, 943, 2367, 2568, 907,
730 214, 2444, 754, 30228, 224, 1707, 3576, 32960, 490, 974, 1530, 114, 604, 1076, 2834, 1468,
731 1375, 6158, 2068, 2632, 111, 1595, 2078, 592, 450, 1362, 194, 1903, 700, 420, 34, 110,
732 1926, 1143, 115, 2114, 423, 67, 704, 262, 6346, 4052, 7780, 2264, 428, 3404, 28, 682,
733 2326, 1459, 658, 599, 4078, 3255, 674, 746, 2884, 114, 126, 254, 1110, 1199, 342, 1954,
734 674, 388, 940, 2448, 1210, 178, 1880, 103, 188, 1199, 79, 1100, 262, 1954, 3839, 2320,
735 951, 378, 228, 158, 535, 994, 476, 3042, 1083, 570, 514, 1406, 1956, 916, 3348, 1422,
736 2838, 1564, 1524, 1188, 6118, 771, 2804, 508, 2828, 308, 111, 915, 490, 532, 1602, 16,
737 720, 1386, 208, 3335, 131, 1278, 256, 50, 12534, 1930, 5976, 336, 13163, 1095, 1972, 1155,
738 459, 255, 16438, 2020, 4600, 2290, 1882, 346, 1158, 603, 230, 2650, 2448, 484, 2519, 244,
739 307, 2714, 190, 1136, 2800, 3934, 1044, 179, 27832, 2538, 768, 74, 494, 278, 86, 10766,
740 3676, 1131, 2366, 559, 471, 406, 1768, 92, 478, 2190, 1364, 98, 2290, 26792, 20794, 594,
741 418, 232, 282, 627, 16032, 2028, 923, 839, 14495, 5146, 362, 1134, 3516, 9171, 2324, 650,
742 152, 1466, 36, 2196, 1440, 414, 1766, 150, 323, 64, 1147, 450, 5852, 2110, 1532, 188,
743 490, 24211, 1928, 1350, 94, 947, 534, 199, 2203, 378, 2306, 1972, 1064, 6582, 1187, 915,
744 988, 1478, 1103, 314, 914, 546, 698, 1970, 307, 26, 1188, 6420, 2256, 320, 571, 1475,
745 1148, 30714, 3894, 48, 306, 1388, 52, 660, 76, 5020, 780, 2566, 3560, 207, 180, 962,
746 3055, 1791, 362, 5124, 1036, 190, 3427, 511, 4451, 502, 94, 1450, 314, 199, 4440, 2002,
747 788, 1194, 276, 786, 756, 4226, 54, 2360, 966, 2422, 770, 1460, 382, 1750, 4394, 4200,
748 2583, 176, 5008, 7046, 1220, 1864, 1111, 298, 503, 1826, 218, 275, 3511, 2059, 20, 3324,
749 5090, 32, 794, 724, 210, 1824, 448, 9972, 218, 562, 891, 106, 3302, 1792, 776, 29446,
750 718, 2318, 1694, 2743, 280, 54, 10780, 339, 1096, 344, 755, 460, 786, 1267, 2972, 235,
751 634, 6155, 1250, 134, 4730, 599, 282, 218, 4, 4184, 251, 11028, 759, 522, 4, 598,
752 1751, 11, 1108, 2608, 4075, 33594, 383, 34471, 568, 2464, 2508, 2440, 2415, 1362, 1594, 436,
753 1220, 146, 2751, 954, 294, 1640, 4550, 179, 3652, 540, 430, 2026, 3438, 52, 75, 4043,
754 730, 998, 722, 3098, 412, 1774, 79, 758, 312, 16508, 124, 290, 2736, 5732, 208, 2070,
755 1278, 920, 860, 1407, 1868, 150, 143, 376, 25639, 278, 275, 1308, 656, 843, 470, 104,
756 3587, 818, 2060, 4331, 782, 1547, 6490, 187, 674, 1623, 43, 1407, 1460, 458, 2015, 2690,
757 598, 1312, 1108, 6256, 155, 678, 208, 71, 992, 430, 12571, 1716, 3019, 3083, 88, 3060,
758 2243, 996, 856, 10142, 35303, 1831, 754, 43, 179, 380, 586, 1508, 175, 418, 2610, 3394,
759 2910, 163, 2760, 167, 38, 342, 3972, 154, 467, 1303, 3886, 1720, 1720, 44, 1838, 10,
760 799, 294, 630, 106, 1090, 2370, 416, 4208, 4172, 436, 1619, 148, 2010, 1360, 736, 10724,
761 2042, 63, 350, 307, 5063, 5320, 664, 1250, 1312, 54, 190, 516, 104, 799, 2000, 23,
762 2103, 880, 3519, 2148, 84, 99, 1798, 930, 276, 226, 542, 236, 226, 598, 139, 174,
763 1512, 1531, 572, 654, 693, 262, 298, 543, 79, 1548, 588, 3358, 668, 1568, 3710, 139,
764 934, 34, 830, 6784, 4710, 2394, 244, 243, 1946, 1543, 2850, 508, 3907, 3075, 648, 3282,
765 6630, 444, 1558, 548, 50, 786, 7950, 11630, 834, 820, 3227, 500, 6766, 3540, 662, 954,
766 802, 9518, 858, 304, 626, 942, 570, 275, 1034, 3828, 9606, 1027, 4006, 5646, 570, 2443,
767 1608, 3292, 2594, 1570, 282, 123, 1324, 1998, 1258, 3180, 1140, 1274, 727, 254, 1598, 1239,
768 2896, 9343, 2174, 2514, 3834, 1463, 712, 828, 2086, 1783, 791, 114, 2402, 43, 771, 1284,
769 1655, 2162, 1239, 1231, 1112, 1748, 626, 1570, 2582, 2660, 898, 71, 3010, 4140, 68, 554,
770 1498, 374, 3854, 1792, 514, 1143, 282, 4470, 198, 86, 120, 824, 320, 5284, 496, 1082,
771 6430, 1780, 328, 376, 82, 3332, 338, 142, 787, 128, 66, 10340, 5079, 139, 1091, 1523,
772 96, 466, 538, 244, 4110, 114, 766, 638, 1799, 2548, 1672, 2224, 474, 318, 52, 320,
773 219, 1320, 300, 322, 92, 355, 36, 2840, 2582, 278, 556, 35, 370, 939, 19482, 704,
774 206, 1899, 3046, 386, 35352, 1695, 6912, 74, 786, 2876, 784, 3879, 191, 295, 190, 4886,
775 426, 707, 1372, 2078, 414, 518, 444, 1192, 1986, 7079, 554, 2027, 84, 352, 9063, 512,
776 35, 1091, 1030, 19, 3054, 110, 1892, 722, 522, 527, 36, 395, 1778, 1480, 2480, 594,
777 618, 3403, 151, 708, 555, 596, 778, 399, 154, 388, 674, 26, 1072, 1407, 8548, 816,
778 426, 142, 131, 1144, 452, 866, 4928, 484, 26, 2051, 11086, 156, 106, 548, 230, 1478,
779 1881, 1747, 250, 2067, 2804, 2027, 208, 44039, 520, 4276, 2324, 523, 794, 2476, 7359, 923,
780 2068, 124, 384, 391, 1367, 4531, 436, 4994, 4091, 1060, 44, 1556, 75, 6196, 6387, 626,
781 2195, 44, 2312, 1960, 407, 494, 127, 16659, 2480, 284, 1632, 1864, 2828, 3956, 1387, 91,
782 7050, 10110, 954, 464, 539, 23055, 183, 3432, 1963, 8, 3739, 743, 5656, 8398, 11416, 1135,
783 551, 1427, 1094, 108, 404, 3896, 580, 1399, 3914, 55, 8782, 39, 15932, 70, 282, 90,
784 18, 1332, 1143, 123, 232, 8891, 16, 1394, 236, 878, 1318, 1160, 4731, 3008, 160, 1198,
785 758, 62, 90, 1822, 994, 1446, 16, 195, 34, 450, 346, 3382, 451, 486, 4382, 1068,
786 5327, 1432, 503, 230, 1899, 332, 108, 2886, 3211, 6900, 532, 13167, 194, 6315, 230, 811,
787 332, 556, 110, 76, 58, 306, 4967, 92, 1314, 2432, 907, 10507, 5464, 342, 4022, 2411,
788 2844, 646, 1982, 1612, 284, 116, 2611, 1128, 648, 259, 9399, 722, 580, 628, 403, 466,
789 392, 54, 5222, 591, 644, 272, 170, 40, 403, 59, 1066, 6391, 22115, 443, 120, 510,
790 1659, 3882, 527, 1008, 738, 687, 318, 1594, 1934, 455, 10, 496, 142, 499, 551, 800,
791 1432, 62, 1311, 2796, 999, 823, 506, 194, 2891, 1036, 922, 2999, 564, 530, 1332, 536,
792 2376, 1128, 218, 1482, 120, 3058, 634, 110, 10, 1796, 8354, 6100, 298, 4320, 1452, 1843,
793 99, 270, 396, 1188, 1206, 192, 911, 9731, 2048, 1544, 1515, 12564, 4986, 39, 835, 1295,
794 1738, 3422, 529, 274, 136, 102, 10986, 322, 6843, 5203, 708, 3495, 150, 21080, 2138, 538,
795 922, 134, 66, 391, 1226, 216, 406, 2992, 3151, 1260, 2746, 1826, 440, 634, 856, 607,
796 356, 310, 403, 2923, 847, 1596, 12004, 1339, 2154, 307, 527, 1179, 3320, 146, 1806, 17286,
797 12048, 38, 2286, 1214, 3740, 234, 23080, 5511, 264, 1007, 231, 1952, 1419, 33692, 970, 1938,
798 708, 8, 724, 83, 64, 971, 62, 1668, 818, 882, 746, 1072, 1216, 10, 4531, 180,
799 1762, 3204, 610, 4670, 3100, 246, 4050, 1839, 63, 1379, 574, 4139, 588, 148, 1036, 300,
800 370, 158, 2118, 94, 1378, 54, 50, 7610, 43, 208, 1306, 5387, 5278, 338, 834, 2166,
801 1551, 260, 3532, 446, 4128, 454, 114, 1016, 530, 2724, 1342, 2592, 63, 2448, 1968, 730,
802 480, 1078, 1372, 3332, 318, 131, 131, 2788, 14770, 152, 822, 5494, 5839, 32, 2707, 128,
803 14, 5403, 163, 243, 70, 1908, 12419, 976, 304, 138, 3110, 4991, 607, 2350, 154, 2055,
804 2047, 2188, 152, 1396, 320, 7196, 506, 1460, 1220, 1407, 28, 190, 322, 1319, 55, 1951,
805 1280, 486, 616, 211, 455, 255, 6408, 359, 7915, 1564, 744, 92, 13016, 266, 1250, 1616,
806 740, 1026, 8372, 126, 4771, 1167, 923, 7844, 766, 292, 19, 18, 110, 52, 2571, 1058,
807 4978, 108, 5996, 592, 7178, 180, 883, 276, 3795, 23, 937, 5047, 294, 1378, 1038, 480,
808 23, 4336, 62, 2430, 544, 6658, 146, 1476, 444, 682, 876, 5216, 436, 112, 190, 194,
809 8676, 4672, 33264, 290, 1070, 4, 1084, 90, 1387, 6364, 11, 779, 586, 1842, 894, 3559,
810 324, 150, 52, 1170, 600, 1180, 1092, 256, 191, 2638, 572, 4960, 494, 2690, 282, 299,
811 300, 84, 246, 272, 2078, 1196, 2216, 671, 3980, 740, 88, 1472, 282, 2046, 446, 1752,
812 460, 311, 4887, 3290, 388, 300, 3024, 6192, 4942, 2111, 918, 2638, 164, 1318, 762, 13300,
813 6140, 4611, 5782, 5286, 1374, 1283, 395, 130, 111, 587, 3306, 2120, 318, 176, 788, 178,
814 314, 2619, 231, 1190, 570, 3240, 558, 1706, 330, 7522, 2146, 99, 204, 5716, 1079, 4043,
815 4724, 2068, 60, 98, 2578, 346, 3008, 1056, 548, 206, 4300, 260, 418, 1191, 1108, 22647,
816 511, 1608, 3143, 578, 292, 28, 11434, 694, 1359, 1306, 568, 151, 1304, 762, 1916, 1335,
817 83, 1035, 34, 1162, 180, 7915, 328, 784, 230, 1103, 3291, 1064, 370, 1178, 818, 840,
818 1034, 1563, 1004, 15250, 3335, 5794, 968, 2246, 2536, 16370, 452, 268, 2808, 514, 1650, 280,
819 3240, 9748, 1036, 867, 886, 2270, 63, 70, 596, 763, 1907, 898, 7571, 1508, 594, 4639,
820 2360, 10954, 1214, 435, 1931, 158, 3732, 1144, 608, 3646, 364, 4718, 506, 8144, 84, 1418,
821 210, 415, 799, 6436, 5122, 1054, 1087, 803, 772, 3644, 779, 379, 220, 1946, 2628, 936,
822 1114, 806, 495, 2374, 1000, 2310, 1190, 890, 1522, 2932, 167, 175, 2866, 28, 952, 2566,
823 1787, 80, 1271, 810, 1866, 439, 266, 863, 2734, 2660, 444, 392, 4072, 206, 2334, 2336,
824 14398, 3016, 96, 243, 2522, 139, 1548, 2160, 184, 548, 2356, 572, 90, 9044, 63, 190,
825 4887, 1650, 1490, 290, 1800, 17566, 730, 2396, 4440, 116, 608, 5098, 2002, 8708, 127, 202,
826 230, 2384, 114, 2868, 439, 5211, 9098, 1322, 50, 2663, 3259, 274, 1643, 6132, 1959, 464,
827 2703, 611, 2154, 1303, 336, 243, 268, 396, 599, 11939, 391, 76, 10252, 1807, 3228, 432,
828 20, 92, 1630, 112, 338, 312, 2944, 7258, 1506, 608, 3099, 184, 1664, 5426, 4240, 10626,
829 199, 282, 3004, 1408, 1448, 906, 362, 116, 1466, 2946, 1911, 162, 4352, 62, 636, 1276,
830 1842, 1176, 2200, 1368, 50, 794, 13618, 443, 1528, 4700, 951, 532, 31, 2268, 370, 116,
831 523, 2368, 703, 182, 22452, 2695, 702, 4474, 692, 4874, 2039, 2038, 396, 715, 472, 10454,
832 408, 514, 88, 238, 820, 44, 471, 6510, 1067, 434, 811, 6387, 684, 4144, 264, 480,
833 814, 422, 452, 1646, 404, 192, 140, 3016, 52, 640, 148, 1152, 160, 36, 254, 1816,
834 1320, 2242, 75, 246, 802, 1324, 1523, 187, 58, 1394, 366, 566, 1651, 1695, 4, 150,
835 1624, 11332, 1124, 142, 580, 3639, 4598, 371, 363, 660, 6914, 1092, 5332, 1248, 160, 407,
836 554, 4862, 715, 56, 2222, 260, 1063, 979, 258, 124, 2430, 836, 1134, 1758, 227, 104,
837 1922, 2124, 1392, 1178, 35, 74, 1625, 2254, 2771, 412, 66, 432, 14, 275, 3042, 154,
838 410, 4396, 1987, 4840, 1258, 264, 3686, 2930, 870, 724, 788, 338, 1062, 976, 3616, 4310,
839 800, 2739, 31, 252, 5226, 16983, 528, 274, 1503, 74, 112, 146, 3279, 5540, 26, 10,
840 898, 1415, 14151, 2242, 11092, 50, 826, 1536, 538, 76, 1954, 2036, 214, 8744, 4903, 586,
841 100, 562, 674, 155, 180, 1202, 13904, 99, 1004, 184, 364, 910, 932, 4554, 1702, 3579,
842 772, 256, 11619, 566, 260, 5892, 3002, 491, 184, 4856, 108, 112, 5500, 311, 38, 9811,
843 3163, 998, 931, 495, 36790, 187, 67, 1412, 4659, 15372, 6772, 1883, 10, 50, 608, 1350,
844 1094, 4168, 436, 5400, 459, 836, 1238, 862, 28504, 728, 204, 596, 1976, 1078, 486, 1622,
845 114, 248, 17619, 566, 135, 15855, 460, 603, 272, 6944, 1994, 506, 224, 727, 5130, 463,
846 1160, 3011, 2470, 459, 488, 631, 636, 3384, 208, 1398, 4842, 106, 468, 1358, 1815, 516,
847 760, 636, 780, 30, 7687, 1684, 306, 116, 550, 5303, 3414, 148, 1424, 3807, 2227, 170,
848 1318, 100, 20, 1019, 4887, 970, 1918, 84, 208, 6044, 2534, 2246, 6595, 62, 871, 896,
849 738, 388, 1463, 6643, 578, 10942, 138, 107, 108, 8300, 290, 2176, 198, 4840, 759, 348,
850 13322, 3419, 294, 3811, 206, 2312, 3207, 3378, 99, 603, 4020, 92, 1254, 32, 7191, 3890,
851 924, 348, 468, 819, 292, 23358, 6714, 2947, 1066, 5807, 587, 2222, 1167, 134, 5414, 3283,
852 1390, 7982, 522, 688, 2982, 2514, 2487, 64, 4339, 1767, 70, 970, 1987, 1704, 5695, 550,
853 164, 1519, 5910, 83, 182, 535, 38, 70, 6574, 283, 3043, 264, 4412, 2776, 300, 347,
854 795, 1984, 76, 1979, 68, 3242, 718, 10176, 318, 352, 2926, 302, 387, 292, 8135, 230,
855 1956, 480, 199, 262, 5107, 542, 208, 900, 139, 6186, 594, 2003, 6487, 44, 1118, 224,
856 287, 1496, 4004, 4012, 298, 6004, 1334, 695, 9926, 1479, 15055, 1792, 1391, 8972, 2768, 444,
857 8116, 496, 1508, 452, 912, 10, 984, 2420, 3070, 840, 1343, 608, 2960, 20, 148, 68,
858 2548, 2124, 5404, 9862, 2002, 1760, 279, 4886, 904, 2986, 776, 1692, 1198, 2376, 1134, 1203,
859 1370, 1256, 2330, 6615, 2988, 467, 2012, 1750, 518, 6816, 299, 839, 8160, 586, 5075, 284,
860 916, 579, 250, 68, 91, 1566, 370, 356, 2136, 947, 387, 28, 548, 1776, 11290, 2494,
861 300, 1924, 251, 8034, 370, 287, 616, 568, 506, 679, 1031, 84, 3364, 1580, 1762, 1772,
862 900, 516, 2251, 542, 982, 1087, 1154, 366, 1375, 1284, 120, 616, 1030, 1096, 10154, 395,
863 7283, 2708, 1198, 1202, 986, 19972, 3411, 991, 230, 342, 322, 1903, 226, 1824, 68, 6367,
864 986, 448, 180, 4595, 135, 2450, 14106, 12748, 2075, 3174, 6982, 620, 4406, 511, 1114, 584,
865 644, 555, 1918, 11416, 962, 1100, 591, 1156, 386, 616, 420, 311, 79, 1554, 471, 36,
866 1580, 406, 2252, 952, 520, 454, 12495, 563, 1035, 1163, 404, 2178, 10831, 322, 584, 2794,
867 2454, 220, 754, 388, 595, 1179, 9211, 1046, 5443, 192, 18991, 1413, 3847, 754, 3131, 310,
868 858, 152, 1940, 49070, 60, 22267, 512, 5682, 139, 111, 436, 162, 8442, 232, 2608, 83,
869 1316, 3758, 92, 294, 55, 911, 232, 2908, 550, 1515, 154, 50, 3086, 1924, 1538, 947,
870 5230, 2796, 1659, 978, 1708, 1426, 760, 6392, 446, 558, 4756, 990, 24974, 2176, 1448, 4882,
871 1843, 542, 642, 14, 624, 1256, 379, 220, 41336, 4324, 2704, 810, 3320, 551, 18, 88,
872 2683, 15399, 1330, 5166, 59, 463, 119, 3586, 1006, 3663, 2546, 2380, 823, 5322, 427, 330,
873 578, 3612, 5436, 2296, 4335, 619, 700, 7432, 659, 3556, 762, 1587, 698, 3740, 531, 4095,
874 1486, 80, 2784, 2155, 2046, 2356, 2562, 151, 396, 6318, 163, 62, 1862, 4151, 595, 594,
875 532, 1298, 116, 1223, 596, 120, 18, 884, 4007, 2534, 434, 4480, 182, 1998, 2908, 548,
876 64, 34828, 1754, 570, 839, 326, 2000, 4526, 1283, 896, 1090, 1951, 716, 7682, 496, 3314,
877 307, 235, 167, 1182, 1408, 398, 1464, 183, 1931, 66, 5647, 832, 576, 476, 6850, 9599,
878 639, 4035, 968, 104, 795, 64, 382, 663, 10850, 4871, 520, 1991, 5918, 68, 1920, 17856,
879 10203, 140, 1048, 6000, 12843, 336, 1031, 976, 1338, 6090, 142, 107, 1603, 720, 2951, 494,
880 1192, 280, 1928, 452, 135, 187, 935, 1162, 120, 1574, 444, 263, 1652, 182, 44, 724,
881 263, 354, 2551, 603, 2972, 1304, 266, 4964, 354, 3238, 1504, 2466, 284, 484, 630, 3466,
882 612, 292, 499, 114, 23974, 6200, 292, 28, 610, 43, 331, 604, 9222, 1372, 59, 394,
883 296, 1539, 1418, 1932, 351, 507, 667, 2744, 178, 674, 3454, 508, 4031, 442, 2824, 80,
884 179, 3063, 510, 730, 2798, 4068, 2114, 494, 1375, 4166, 639, 415, 1223, 170, 2332, 55,
885 472, 476, 298, 1552, 1035, 1995, 172, 2911, 584, 13127, 2196, 2302, 714, 804, 1048, 2715,
886 518, 1015, 498, 384, 216, 771, 395, 790, 1400, 543, 407, 14, 680, 110, 451, 375,
887 928, 88, 7944, 1656, 214, 820, 456, 1456, 631, 10, 66, 2228, 342, 2988, 1216, 80,
888 98, 31950, 226, 3243, 5972, 266, 1040, 1544, 630, 703, 1091, 2016, 2014, 532, 14, 27724,
889 424, 348, 4860, 415, 790, 235, 1184, 4252, 352, 234, 538, 510, 5630, 700, 260, 468,
890 1990, 275, 583, 878, 2376, 18, 458, 1674, 678, 3676, 638, 499, 862, 764, 754, 355,
891 1552, 266, 840, 698, 7302, 2380, 92, 258, 2172, 112, 3163, 90, 312, 7919, 203, 146,
892 434, 2383, 1330, 1780, 998, 3363, 603, 15040, 5707, 1471, 108, 991, 4356, 3010, 236, 1458,
893 2048, 3255, 71, 1278, 328, 3139, 2311, 1707, 2998, 352, 1310, 336, 90, 215, 5434, 646,
894 814, 1371, 5600, 366, 140, 3786, 11023, 343, 26, 7212, 1216, 1400, 626, 266, 659, 288,
895 2451, 4543, 1434, 450, 1835, 40, 259, 1807, 1262, 4727, 1756, 1743, 730, 774, 318, 1858,
896 139, 722, 640, 2003, 974, 718, 1555, 623, 1616, 224, 8630, 1639, 518, 546, 904, 1075,
897 7948, 1884, 108, 560, 188, 3727, 2378, 2651, 139, 692, 68, 800, 430, 5404, 398, 5540,
898 1434, 1663, 2930, 7423, 475, 14408, 246, 114, 98, 896, 606, 170, 203, 74, 544, 1499,
899 108, 2234, 68, 836, 678, 11220, 220, 7252, 1964, 912, 172, 119, 472, 2075, 2056, 15918,
900 148, 5631, 1619, 276, 35076, 4278, 266, 2100, 114, 359, 1959, 1996, 366, 1314, 875, 2414,
901 662, 558, 1820, 662, 414, 16172, 2439, 16758, 4180, 803, 3018, 56, 1063, 2507, 1303, 7714,
902 238, 2991, 450, 711, 634, 1256, 631, 612, 740, 390, 1692, 198, 367, 6227, 8, 326,
903 234, 524, 8944, 1310, 84, 1379, 816, 2878, 20, 4404, 6722, 7736, 1495, 296, 32, 1528,
904 992, 2627, 3470, 1060, 5532, 4520, 662, 3307, 187, 1074, 94, 3936, 492, 3566, 246, 71,
905 2960, 752, 579, 460, 779, 626, 828, 3608, 1782, 2160, 7002, 2839, 2139, 1662, 13902, 88,
906 863, 160, 4410, 350, 1184, 696, 8, 1090, 314, 2926, 3234, 4658, 10, 168, 760, 1955,
907 1770, 1203, 730, 28, 20, 406, 2474, 696, 443, 4014, 566, 6935, 415, 2356, 763, 8695,
908 708, 1012, 300, 6710, 134, 322, 850, 2488, 255, 304, 3786, 767, 1003, 4444, 12006, 2587,
909 347, 1238, 576, 5239, 380, 480, 938, 10476, 3875, 2604, 91, 2886, 331, 3002, 1102, 1110,
910 168, 336, 74, 962, 2452, 68, 6283, 5492, 1038, 1208, 7714, 4640, 146, 472, 3146, 74,
911 2879, 752, 324, 84, 1064, 8474, 244, 1048, 39, 350, 21214, 1808, 1172, 454, 376, 751,
912 311, 546, 6267, 9312, 2571, 98, 1788, 624, 8090, 2302, 1058, 319, 1310, 3507, 346, 2807,
913 2011, 1307, 596, 5730, 3063, 294, 114, 731, 931, 428, 7278, 211, 79, 834, 2119, 370,
914 1634, 3523, 1200, 312, 6598, 348, 3364, 143, 1690, 3396, 854, 1819, 2015, 638, 1634, 124,
915 3314, 160, 2750, 1108, 3108, 80, 456, 1674, 1826, 5600, 847, 4656, 156, 290, 14120, 6895,
916 594, 854, 4442, 198, 58, 655, 996, 151, 4378, 1028, 35, 243, 143, 218, 7067, 5614,
917 4471, 1270, 1106, 398, 1920, 1619, 182, 90, 2820, 294, 403, 1180, 1620, 251, 1087, 1544,
918 5232, 375, 2496, 3756, 868, 2136, 768, 414, 1146, 5296, 230, 322, 262, 3784, 60, 412,
919 1417, 1722, 100, 302, 3550, 1090, 750, 3146, 5246, 4828, 14276, 1684, 16544, 2810, 332, 2058,
920 850, 1178, 567, 1286, 3978, 516, 4571, 2754, 2090, 600, 4316, 442, 823, 284, 2279, 1838,
921 558, 2366, 443, 346, 227, 4207, 750, 3056, 2230, 2586, 416, 3208, 370, 511, 120, 210,
922 1784, 2831, 1014, 579, 26, 1295, 928, 2512, 2326, 475, 1000, 38, 1140, 2274, 363, 1012,
923 370, 3767, 4062, 1302, 590, 2620, 6822, 2259, 2314, 1134, 1446, 3536, 128, 802, 128, 540,
924 582, 234, 1580, 988, 16, 236, 1432, 271, 1068, 468, 255, 3130, 1094, 2424, 1020, 175,
925 446, 462, 456, 4816, 1866, 98, 150, 1242, 716, 1575, 882, 2218, 3660, 204, 156, 1479,
926 1311, 722, 11223, 156, 287, 574, 3060, 374, 219, 1674, 400, 748, 4964, 1296, 276, 2114,
927 484, 376, 6194, 4432, 50, 4, 3732, 2136, 1526, 34, 911, 215, 619, 2132, 6706, 104,
928 432, 6719, 880, 3898, 206, 436, 10716, 2987, 455, 124, 2526, 1671, 1502, 728, 2344, 654,
929 894, 2912, 20, 14588, 144, 531, 968, 1016, 1862, 407, 1622, 1407, 4, 2399, 3727, 2975,
930 264, 650, 968, 604, 1236, 303, 3379, 1114, 928, 707, 367, 1162, 1002, 164, 4366, 136,
931 1806, 7464, 182, 1936, 1160, 8350, 210, 1667, 534, 17058, 6710, 1304, 44, 742, 164, 873,
932 2722, 43, 266, 394, 299, 1344, 264, 416, 306, 518, 4098, 1287, 432, 1094, 684, 470,
933 1882, 254, 1484, 680, 1076, 2179, 1196, 2166, 62, 1144, 1952, 3155, 180, 1278, 999, 24580,
934 4303, 5298, 670, 432, 162, 743, 2546, 90, 502, 356, 4520, 1246, 1458, 331, 324, 962,
935 98, 1906, 186, 308, 4406, 66, 338, 567, 235, 1067, 502, 18, 278, 1348, 2162, 11162,
936 1400, 2611, 1720, 2370, 7411, 4084, 28, 7851, 131, 151, 883, 643, 71, 7876, 7208, 1002,
937 580, 1002, 1044, 7180, 5247, 76, 257, 142, 1052, 60, 262, 1191, 1179, 3408, 3436, 1303,
938 339, 1210, 700, 2171, 680, 368, 956, 702, 4467, 524, 990, 2072, 420, 1372, 2252, 911,
939 6103, 200, 1724, 4204, 4287, 3355, 576, 198, 138, 172, 716, 642, 528, 458, 1675, 3582,
940 2079, 663, 2984, 570, 386, 2663, 7950, 283, 742, 528, 82, 1135, 1296, 206, 13308, 3734,
941 182, 3807, 578, 2262, 2098, 822, 194, 467, 8434, 1894, 1302, 990, 703, 3164, 2372, 2647,
942 982, 12436, 156, 570, 2356, 1042, 5764, 376, 1106, 387, 76, 1134, 218, 90, 3892, 4410,
943 922, 528, 8144, 1364, 899, 1306, 223, 936, 1440, 460, 215, 2836, 1874, 2866, 1363, 1002,
944 1646, 2479, 4182, 1538, 4552, 295, 760, 432, 6498, 1971, 359, 399, 128, 603, 606, 11678,
945 190, 310, 2216, 2952, 422, 1667, 3959, 798, 54, 1640, 298, 1512, 864, 1344, 1576, 638,
946 599, 370, 727, 3826, 2666, 371, 2068, 4862, 648, 2754, 1848, 490, 8914, 2146, 2136, 5696,
947 1356, 440, 1330, 26, 3307, 1499, 2567, 37560, 1743, 220, 280, 67, 786, 855, 636, 1262,
948 778, 20, 519, 1156, 2226, 19094, 1059, 6530, 154, 123, 128, 467, 2707, 952, 198, 1568,
949 419, 94, 216, 9400, 3227, 2747, 71, 478, 1771, 76, 551, 154, 1175, 330, 2794, 498,
950 6640, 2920, 236, 382, 3042, 11190, 252, 2015, 2146, 1182, 1350, 3202, 1343, 464, 3323, 8426,
951 544, 552, 2223, 4040, 1776, 336, 4736, 755, 2682, 566, 607, 156, 226, 62, 6554, 10874,
952 640, 190, 268, 582, 4046, 256, 654, 1380, 3562, 519, 4419, 458, 11623, 4867, 6992, 718,
953 68, 2277, 2316, 824, 2003, 1671, 2434, 736, 878, 942, 496, 1608, 250, 558, 974, 1746,
954 28, 1375, 5444, 2224, 1822, 1723, 2055, 1110, 6876, 479, 74, 170, 278, 627, 138, 930,
955 1570, 519, 5607, 80, 316, 876, 115, 56, 143, 5252, 1362, 140, 1020, 390, 818, 456,
956 488, 56, 1192, 4955, 4362, 1975, 3348, 182, 4676, 98, 164, 8935, 1284, 1083, 2076, 1448,
957 26, 406, 28586, 268, 323, 371, 323, 1767, 138, 350, 2288, 2087, 1487, 199, 2752, 1472,
958 294, 2964, 2960, 727, 250, 108, 2450, 471, 192, 1150, 14706, 679, 831, 1792, 2140, 1048,
959 740, 3440, 1276, 635, 5746, 536, 8255, 2210, 1514, 2426, 5610, 10350, 303, 110, 743, 587,
960 2563, 1432, 124, 2282, 607, 3995, 996, 55, 7867, 1828, 1886, 138, 464, 4536, 98, 2512,
961 1256, 5151, 2504, 556, 17864, 13499, 146, 10, 804, 168, 203, 2382, 1672, 5747, 202, 2419,
962 3968, 208, 2780, 784, 2502, 92, 1059, 2650, 3055, 1364, 250, 1859, 1660, 387, 6706, 371,
963 5288, 278, 407, 96, 3496, 238, 535, 20, 1140, 311, 636, 38, 4307, 1439, 440, 827,
964 2214, 4439, 116, 1582, 26, 407, 391, 890, 1902, 759, 498, 740, 124, 7051, 16, 6362,
965 419, 1206, 1232, 50, 836, 1395, 179, 6806, 5314, 1836, 79, 9354, 3007, 62, 4058, 1164,
966 352, 480, 3472, 506, 119, 210, 3160, 38, 3650, 223, 2288, 1688, 111, 8, 846, 3330,
967 1579, 10, 475, 275, 1916, 30, 1562, 19, 868, 668, 2476, 303, 272, 220, 190, 244,
968 370, 5708, 378, 230, 1640, 1750, 2916, 187, 294, 720, 1526, 476, 410, 2027, 7859, 142,
969 1020, 415, 1624, 244, 296, 546, 13334, 1927, 86, 68, 2506, 160, 2422, 106, 626, 3578,
970 116, 120, 98, 823, 10327, 1831, 2068, 216, 75, 383, 442, 1863, 618, 6752, 3578, 230,
971 512, 2543, 184, 910, 1580, 800, 138, 198, 1387, 9947, 1656, 13751, 470, 574, 308, 431,
972 3115, 264, 816, 778, 1414, 346, 3396, 490, 586, 295, 528, 1096, 1106, 34, 18, 218,
973 2483, 710, 1450, 418, 754, 152, 3002, 382, 68, 2958, 1191, 74, 1748, 1179, 534, 214,
974 1723, 188, 2908, 326, 736, 1600, 802, 3332, 196, 902, 70, 1344, 5362, 2290, 126, 6976,
975 426, 2771, 79, 846, 2682, 4051, 4, 9923, 791, 2862, 2568, 34, 4203, 3626, 1458, 803,
976 34, 656, 314, 1684, 706, 3251, 6446, 330, 120, 106, 114, 88, 255, 3830, 336, 5835,
977 642, 1672, 16628, 67, 492, 114, 1051, 527, 308, 1528, 2604, 164, 5916, 4050, 862, 2820,
978 779, 3380, 3915, 2384, 1564, 990, 416, 760, 628, 84, 272, 1598, 354, 43, 96, 778,
979 218, 16, 1506, 130, 80, 63, 2736, 5479, 168, 282, 4578, 442, 31, 380, 730, 268,
980 3954, 3302, 520, 576, 1067, 3507, 152, 4466, 3828, 4, 144, 731, 387, 408, 228, 198,
981 407, 3054, 1444, 36640, 175, 1900, 4075, 1838, 1374, 6740, 1879, 270, 920, 820, 71, 2402,
982 1183, 180, 124, 639, 35, 212, 2414, 75, 38, 2462, 10343, 268, 574, 2556, 3844, 322,
983 5138, 98, 38, 91, 632, 8, 4395, 974, 2632, 1108, 119, 666, 624, 5222, 6532, 570,
984 490, 24358, 852, 466, 260, 1251, 1103, 595, 2727, 3384, 244, 10758, 460, 844, 1190, 603,
985 30, 664, 779, 319, 3116, 171, 9347, 391, 64, 3638, 12083, 467, 9870, 511, 290, 4755,
986 548, 404, 8844, 583, 588, 5238, 48, 356, 140, 96, 2302, 3279, 266, 456, 3079, 1242,
987 1022, 1140, 23576, 4994, 1574, 16356, 1199, 190, 1108, 256, 3210, 4080, 3679, 204, 763, 3726,
988 1810, 38, 4826, 1474, 2694, 1854, 1996, 1436, 2420, 436, 635, 686, 906, 94, 19, 190,
989 367, 26, 1076, 918, 1183, 626, 171, 1970, 908, 2215, 3751, 1255, 50, 2006, 1354, 204,
990 262, 26884, 2095, 18106, 966, 590, 268, 212, 802, 5298, 203, 583, 1946, 1643, 1832, 1132,
991 5242, 1187, 654, 4079, 512, 1356, 322, 1012, 2480, 422, 1823, 3964, 1150, 5380, 2968, 646,
992 23168, 5180, 36, 856, 1580, 16368, 34, 5476, 2014, 2590, 5410, 5264, 496, 280, 306, 850,
993 636, 259, 1188, 1150, 2148, 264, 1336, 430, 6627, 5048, 1067, 326, 528, 498, 2074, 2883,
994 442, 26, 18154, 7514, 374, 570, 378, 52, 1124, 1235, 644, 1034, 520, 1050, 56, 146,
995 570, 500, 578, 5042, 2368, 1318, 832, 446, 520, 490, 1774, 1434, 896, 100, 66, 2400,
996 9220, 642, 446, 355, 2018, 1682, 35603, 3043, 248, 543, 104, 94, 4262, 288, 1644, 3360,
997 8290, 1768, 3155, 562, 444, 366, 198, 495, 244, 2536, 2196, 3599, 603, 520, 360, 2554,
998 80, 16, 1019, 1010, 30, 60, 55, 200, 582, 692, 3056, 114, 158, 8515, 270, 2136,
999 91, 1039, 200, 6422, 555, 155, 216, 214, 1994, 1374, 40, 720, 374, 2166, 808, 131,
1000 120, 2679, 207, 37292, 882, 10456, 6358, 3234, 1215, 1034, 472, 2798, 555, 891, 4112, 4636,
1001 404, 186, 31, 92, 1878, 2046, 346, 744, 806, 5028, 524, 84, 374, 8, 174, 18762,
1002 2847, 138, 4082, 3567, 59, 1703, 10, 92, 108, 792, 44, 692, 2077, 13260, 5167, 1850,
1003 399, 2310, 10, 3026, 311, 56, 886, 1754, 2292, 2452, 640, 871, 1235, 1315, 344, 296,
1004 176, 716, 4330, 2604, 2150, 1406, 6748, 80, 1823, 763, 164, 1182, 3266, 2816, 3107, 14348,
1005 82, 3287, 223, 4510, 546, 2450, 3014, 103, 211, 3944, 380, 64, 378, 9156, 3987, 243,
1006 2420, 1568, 2762, 20, 1432, 715, 10, 315, 83, 1832, 103, 952, 1754, 1572, 348, 3170,
1007 1727, 167, 1784, 275, 399, 368, 8728, 396, 322, 4300, 3460, 463, 350, 948, 62, 1346,
1008 295, 1740, 182, 1375, 5311, 60, 2319, 1980, 3136, 664, 592, 5335, 151, 2560, 272, 1390,
1009 160, 751, 3331, 175, 650, 1603, 104, 1174, 19362, 652, 350, 1147, 595, 1891, 9503, 754,
1010 48, 844, 179, 634, 320, 546, 320, 1463, 424, 1107, 696, 29144, 202, 149, 1360, 18,
1011 3955, 6458, 18, 48, 106, 5827, 798, 16, 388, 1091, 1832, 1120, 2006, 4187, 3883, 4060,
1012 1692, 788, 199, 962, 16703, 34, 130, 499, 320, 124, 2839, 2216, 74, 5314, 378, 2891,
1013 2927, 904, 1155, 2832, 1392, 174, 258, 658, 4134, 3604, 6416, 1816, 150, 4952, 116, 52,
1014 1834, 254, 999, 9264, 1798, 599, 795, 4027, 174, 4935, 560, 5350, 330, 180, 768, 9442,
1015 108, 4704, 108, 624, 12350, 338, 26, 28424, 1250, 60, 511, 272, 9562, 210, 432, 1292,
1016 3362, 106, 703, 3035, 2826, 6454, 128, 1711, 4562, 19906, 244, 863, 428, 1248, 466, 502,
1017 2590, 1774, 628, 6043, 142, 1855, 140, 1034, 30, 2296, 1795, 6244, 615, 176, 2604, 8266,
1018 1039, 386, 131, 244, 708, 802, 64, 86, 7508, 1155, 3874, 599, 8, 3078, 1632, 1667,
1019 391, 1490, 556, 1843, 6288, 43, 195, 559, 7248, 458, 1654, 988, 563, 378, 1132, 315,
1020 1515, 1339, 3904, 539, 3426, 704, 724, 7839, 4366, 736, 776, 3614, 940, 1384, 2138, 64,
1021 2258, 380, 1380, 12411, 2440, 715, 426, 280, 268, 2031, 520, 782, 2535, 2232, 740, 566,
1022 371, 436, 514, 164, 760, 1020, 2846, 1278, 8916, 8766, 760, 164, 734, 946, 23, 1339,
1023 33935, 3067, 1635, 260, 282, 5691, 2391, 712, 2326, 798, 684, 659, 195, 315, 2278, 5320,
1024 192, 2578, 18670, 676, 4952, 2134, 424, 55, 1064, 175, 851, 475, 5390, 227, 176, 236,
1025 86, 152, 142, 752, 1007, 1242, 298, 324, 1358, 4306, 2443, 416, 306, 100, 2706, 20,
1026 1383, 880, 768, 76, 1140, 1599, 18210, 708, 2334, 2208, 686, 568, 94, 2031, 14218, 2018,
1027 2668, 636, 1867, 5855, 2994, 819, 1298, 4224, 2574, 9062, 12948, 1763, 1315, 3370, 966, 1064,
1028 9236, 5730, 1740, 182, 1128, 248, 2606, 2910, 956, 423, 1786, 3168, 103, 778, 1202, 192,
1029 259, 2550, 450, 516, 1152, 218, 4824, 871, 2590, 187, 342, 5852, 820, 1835, 680, 366,
1030 182, 1936, 963, 1580, 1420, 12842, 824, 218, 3084, 1071, 70, 2116, 874, 1018, 3190, 90,
1031 1106, 1300, 3090, 2770, 1220, 2028, 746, 576, 1170, 3026, 6686, 15168, 192, 2318, 707, 418,
1032 664, 4440, 3950, 392, 5159, 9202, 11, 1406, 12527, 6448, 178, 1368, 259, 284, 12028, 1155,
1033 2499, 4180, 1447, 1542, 28499, 4219, 334, 1550, 2208, 2002, 6688, 2519, 730, 187, 2972, 5630,
1034 742, 12219, 1296, 4652, 1004, 2612, 246, 968, 271, 1187, 2544, 2871, 756, 367, 215, 371,
1035 1031, 991, 4854, 1738, 1706, 532, 426, 4082, 263, 2739, 363, 2540, 130, 59, 26, 1028,
1036 3955, 11163, 936, 4790, 10772, 1096, 6666, 903, 5758, 3814, 92, 19471, 1330, 223, 1228, 6934,
1037 1558, 316, 1610, 1506, 300, 506, 580, 5744, 448, 1715, 1224, 140, 17396, 1566, 1027, 1411,
1038 831, 6443, 4600, 708, 56, 348, 2268, 210, 2178, 3676, 560, 7868, 1115, 3243, 794, 446,
1039 290, 255, 1151, 2443, 1408, 1095, 600, 275, 2252, 2980, 2883, 1674, 5296, 920, 34, 211,
1040 735, 2774, 1318, 1411, 378, 6548, 115, 810, 14, 27616, 308, 516, 464, 2530, 492, 7998,
1041 903, 1834, 382, 826, 64, 4151, 404, 660, 1196, 35, 243, 2439, 663, 4522, 2374, 1184,
1042 116, 1890, 244, 256, 707, 10, 2263, 119, 812, 694, 514, 4084, 39, 196, 475, 1095,
1043 3928, 2404, 344, 164, 892, 5338, 539, 548, 1118, 34, 198, 423, 540, 2930, 3316, 11386,
1044 2126, 1746, 251, 3507, 536, 106, 2146, 552, 742, 2103, 332, 2856, 4924, 44, 396, 44,
1045 9555, 114, 476, 62, 30, 143, 3080, 1891, 155, 480, 155, 179, 1359, 635, 707, 1539,
1046 3106, 254, 2246, 1924, 190, 12468, 1094, 128, 168, 160, 998, 852, 3842, 2226, 3819, 30,
1047 1396, 368, 1400, 2751, 5747, 171, 2822, 506, 5770, 308, 982, 364, 3524, 4388, 2634, 2499,
1048 6052, 94, 216, 836, 1147, 131, 44, 676, 782, 22436, 6799, 2518, 16224, 620, 5375, 32960,
1049 158, 1891, 618, 606, 1406, 2387, 162, 336, 3855, 70, 2838, 188, 694, 243, 382, 6468,
1050 1410, 4894, 468, 963, 37268, 299, 895, 1710, 506, 1311, 58, 330, 370, 739, 780, 4028,
1051 3194, 3308, 1399, 2968, 444, 1094, 4178, 710, 855, 800, 1052, 7464, 19235, 2284, 1078, 2930,
1052 2192, 20, 316, 2091, 3162, 367, 436, 1336, 84, 180, 4490, 4831, 1484, 266, 74, 480,
1053 384, 1790, 1486, 4676, 986, 2207, 1066, 256, 182, 408, 1084, 678, 2352, 1974, 19, 2132,
1054 375, 188, 823, 110, 522, 1644, 1636, 1412, 5202, 5828, 338, 4034, 996, 80, 8076, 2106,
1055 11808, 255, 466, 4988, 3286, 6450, 692, 1307, 64, 2527, 511, 926, 2800, 8, 808, 2366,
1056 454, 7563, 3786, 1235, 407, 5426, 2014, 2102, 2568, 1044, 2128, 250, 4019, 1983, 96, 5702,
1057 27962, 359, 138, 1456, 1340, 1648, 338, 510, 1346, 2030, 4096, 922, 4344, 424, 446, 710,
1058 262, 1054, 2196, 183, 1156, 1050, 3759, 443, 13580, 2115, 542, 1239, 2511, 1700, 519, 120,
1059 190, 3439, 34, 574, 179, 2488, 150, 5815, 3110, 1154, 276, 274, 12434, 810, 4234, 626,
1060 5900, 1996, 748, 818, 770, 528, 2140, 803, 642, 1035, 607, 418, 292, 880, 6774, 1180,
1061 908, 8195, 698, 315, 2723, 3242, 1554, 836, 456, 2192, 498, 278, 219, 136, 235, 3534,
1062 662, 452, 12578, 1598, 639, 710, 1754, 80, 114, 970, 1504, 3342, 570, 1306, 316, 2484,
1063 11255, 6768, 680, 4908, 26, 790, 352, 714, 296, 5328, 6331, 542, 116, 2271, 1010, 464,
1064 1614, 880, 1912, 320, 8958, 770, 236, 972, 848, 666, 3639, 4943, 3830, 3646, 716, 1286,
1065 740, 6538, 1110, 4790, 4936, 386, 1768, 178, 2570, 1107, 235, 812, 3670, 896, 766, 1192,
1066 33191, 7150, 1646, 2231, 1528, 1435, 774, 107, 418, 1966, 235, 1482, 1542, 1066, 2258, 524,
1067 114, 776, 59, 295, 199, 2814, 207, 1514, 475, 1468, 3190, 62, 1952, 128, 436, 550,
1068 23, 2964, 70, 1504, 12010, 638, 140, 2712, 363, 4708, 2002, 96, 819, 1715, 114, 1536,
1069 1726, 3035, 6202, 2571, 1331, 991, 92, 284, 3107, 2048, 883, 1174, 9120, 1882, 3744, 1263,
1070 82, 218, 62, 258, 462, 5258, 322, 2016, 306, 818, 3684, 268, 1075, 490, 1394, 652,
1071 6762, 1156, 176, 170, 499, 1856, 8986, 2495, 8, 214, 279, 8854, 238, 7838, 4651, 178,
1072 262, 7052, 14, 1858, 2183, 2058, 19, 431, 16667, 592, 600, 374, 819, 108, 318, 532,
1073 5156, 25987, 6566, 1252, 16684, 5362, 492, 390, 190, 5766, 8964, 570, 522, 418, 848, 7592,
1074 724, 4400, 2328, 243, 736, 223, 8196, 21468, 640, 5070, 422, 4382, 4419, 3147, 14120, 4339,
1075 5682, 2106, 996, 1867, 84, 3950, 3818, 1506, 18, 1412, 3002, 1352, 1648, 1074, 29383, 6244,
1076 536, 4210, 1863, 1266, 590, 6804, 536, 10720, 511, 563, 2504, 223, 63, 2054, 1494, 1819,
1077 830, 4667, 470, 2256, 1854, 8228, 175, 2127, 1531, 114, 3147, 339, 458, 3350, 314, 1792,
1078 1744, 64, 1430, 988, 546, 1014, 562, 143, 13088, 3208, 6790, 8391, 1612, 1700, 758, 1324,
1079 2675, 34, 2388, 1770, 387, 444, 36, 752, 623, 676, 9824, 954, 2467, 124, 48, 890,
1080 2063, 712, 47427, 3671, 1968, 203, 627, 744, 464, 4360, 255, 5524, 1434, 75, 1279, 3184,
1081 906, 319, 2572, 4727, 187, 2215, 2500, 5507, 20127, 2371, 616, 1087, 1920, 2792, 1611, 271,
1082 2416, 1732, 120, 128, 9682, 163, 246, 208, 4983, 410, 480, 735, 30, 131, 55, 36,
1083 5063, 882, 2604, 194, 2238, 416, 435, 454, 2803, 1318, 6286, 1748, 2036, 271, 403, 383,
1084 2492, 3488, 2895, 223, 3503, 432, 376, 2303, 858, 498, 566, 3954, 1604, 459, 2183, 3128,
1085 44, 176, 2248, 1326, 33466, 4207, 919, 840, 968, 727, 140, 552, 736, 290, 878, 1931,
1086 186, 1283, 559, 2770, 4952, 416, 327, 5791, 660, 848, 203, 1674, 210, 6090, 474, 4460,
1087 1579, 63, 3620, 128, 647, 7320, 3124, 640, 3875, 172, 326, 2762, 96, 4182, 160, 374,
1088 396, 30320, 1507, 400, 566, 111, 102, 54, 1468, 1575, 195, 1350, 378, 179, 1356, 1174,
1089 1716, 464, 424, 266, 112, 1959, 1270, 33244, 660, 62, 8004, 1520, 496, 6112, 446, 199,
1090 603, 274, 268, 3443, 43, 4347, 10054, 108, 3152, 634, 626, 1464, 448, 1490, 2219, 755,
1091 8, 6071, 13392, 3470, 460, 582, 3416, 1231, 1046, 2964, 232, 307, 482, 1278, 356, 5668,
1092 2540, 2042, 171, 3344, 120, 1046, 994, 2594, 572, 10636, 35275, 698, 13892, 1344, 2144, 50,
1093 2160, 4708, 339, 174, 168, 219, 3760, 550, 40, 7644, 356, 3143, 114, 724, 1634, 738,
1094 852, 436, 1096, 2650, 311, 1019, 815, 584, 7908, 1195, 1044, 1400, 266, 695, 739, 9722,
1095 1784, 1811, 1336, 350, 1199, 912, 18, 511, 610, 3815, 567, 252, 2848, 4131, 1752, 187,
1096 710, 5014, 626, 503, 2127, 4604, 826, 1083, 300, 10767, 494, 1424, 1159, 9975, 1674, 799,
1097 2090, 1426, 1771, 3440, 1050, 472, 1210, 292, 792, 1451, 440, 646, 320, 23, 1996, 28554,
1098 2876, 148, 64, 1076, 100, 1014, 254, 3496, 2242, 627, 9431, 38, 104, 175, 178, 1594,
1099 1819, 90, 590, 1768, 472, 214, 64, 8964, 194, 686, 5811, 1855, 244, 1335, 218, 196,
1100 1194, 2056, 442, 598, 680, 2954, 776, 1910, 759, 808, 779, 190, 1808, 1130, 3262, 2506,
1101 648, 203, 1696, 1388, 7422, 10958, 752, 599, 1088, 784, 390, 794, 266, 439, 799, 2196,
1102 2871, 530, 292, 455, 3263, 1632, 384, 184, 1052, 931, 3530, 1955, 822, 1267, 356, 1052,
1103 712, 11548, 3882, 136, 307, 5636, 3400, 2588, 216, 4022, 983, 822, 734, 220, 15814, 1408,
1104 616, 548, 435, 1028, 2228, 498, 538, 642, 666, 25507, 1638, 1574, 1238, 90, 54, 903,
1105 623, 2440, 135, 1168, 398, 927, 568, 1034, 587, 3095, 366, 86, 1735, 570, 632, 534,
1106 2268, 755, 10428, 212, 244, 16, 1496, 448, 135, 275, 1110, 2624, 7267, 784, 1776, 2798,
1107 2062, 6412, 263, 6318, 4620, 1895, 6458, 6827, 518, 446, 800, 5930, 3302, 774, 684, 586,
1108 992, 752, 10, 826, 307, 254, 926, 2528, 1410, 420, 563, 4632, 1738, 582, 5834, 30,
1109 2387, 4406, 448, 106, 170, 595, 7126, 382, 435, 648, 4152, 1700, 10128, 2888, 728, 2150,
1110 10222, 2415, 460, 183, 1504, 151, 1776, 2579, 90, 4160, 3234, 900, 632, 1736, 520, 96,
1111 300, 1674, 919, 238, 7102, 2235, 790, 8331, 2783, 187, 412, 299, 660, 974, 476, 986,
1112 572, 771, 3906, 2702, 1616, 522, 1394, 1606, 432, 951, 524, 628, 4100, 496, 1118, 551,
1113 2964, 970, 1064, 659, 2263, 3702, 2118, 28510, 320, 600, 252, 1310, 634, 103, 170, 2930,
1114 536, 1516, 634, 119, 550, 2391, 2578, 1498, 414, 2551, 3844, 1632, 1246, 36, 452, 34,
1115 606, 976, 2130, 2072, 3474, 6202, 375, 1780, 292, 284, 498, 7776, 2132, 2572, 2107, 1256,
1116 388, 26204, 972, 1426, 711, 150, 1064, 6688, 5531, 4255, 826, 250, 376, 802, 1540, 82,
1117 662, 191, 415, 7400, 854, 5654, 2255, 31, 3728, 2656, 510, 736, 746, 70, 368, 1822,
1118 874, 692, 199, 8, 3240, 63, 1974, 120, 9470, 79, 12508, 446, 1588, 1234, 182, 576,
1119 1483, 227, 2798, 3538, 83, 55, 408, 936, 852, 4359, 638, 651, 1035, 1374, 748, 560,
1120 1516, 110, 1338, 9019, 3783, 212, 736, 5451, 156, 1270, 4550, 396, 260, 136, 5186, 5400,
1121 1047, 258, 794, 108, 34, 3816, 538, 724, 134, 692, 164, 1767, 1082, 427, 508, 1294,
1122 551, 223, 876, 128, 1059, 1627, 3618, 314, 98, 1368, 884, 202, 770, 276, 13088, 4108,
1123 951, 440, 330, 96, 104, 444, 20, 1480, 403, 2102, 255, 579, 966, 156, 1460, 8287,
1124 3138, 4078, 6104, 100, 4994, 3155, 270, 4651, 298, 68, 347, 6350, 3155, 256, 663, 3114,
1125 160, 2616, 419, 2952, 98, 99, 2564, 2666, 3943, 155, 2433, 119, 619, 264, 5834, 4658,
1126 128, 264, 1790, 788, 82, 2879, 8539, 3440, 959, 562, 1116, 290, 1260, 1956, 2574, 2444,
1127 202, 883, 6682, 178, 3914, 414, 3024, 347, 8959, 398, 614, 436, 2498, 208, 1410, 2462,
1128 2878, 5260, 3778, 1031, 2751, 364, 16526, 218, 148, 472, 6683, 743, 326, 728, 3028, 3496,
1129 2108, 1479, 614, 5112, 2112, 628, 4868, 1430, 484, 7810, 359, 4687, 3023, 494, 25692, 1836,
1130 1611, 3958, 2172, 919, 1927, 703, 862, 170, 160, 224, 318, 1402, 302, 2086, 868, 64,
1131 844, 1742, 1151, 1170, 420, 872, 210, 108, 551, 236, 7626, 5863, 1228, 2867, 942, 563,
1132 8838, 8, 314, 2338, 1030, 491, 431, 2172, 2338, 1238, 4896, 43, 514, 288, 1143, 1560,
1133 1668, 6192, 3368, 7836, 648, 896, 1626, 3818, 476, 191, 1047, 1216, 114, 516, 946, 200,
1134 4851, 2379, 634, 831, 195, 16423, 1610, 572, 627, 579, 486, 475, 107, 1142, 1226, 484,
1135 76, 1046, 4499, 2424, 58, 35, 192, 878, 618, 4382, 319, 6583, 851, 3723, 2424, 1486,
1136 2250, 4687, 203, 336, 30879, 9186, 1974, 703, 650, 2864, 748, 139, 1175, 871, 871, 64,
1137 4238, 7751, 6448, 2975, 274, 711, 8036, 130, 1875, 1759, 419, 1596, 1791, 2474, 687, 13856,
1138 3955, 898, 275, 1339, 1978, 5718, 2548, 5966, 376, 116, 266, 14, 99, 4456, 1064, 1828,
1139 3740, 66, 996, 562, 1003, 532, 431, 700, 4190, 10728, 342, 304, 2990, 1103, 227, 276,
1140 514, 6236, 826, 1014, 120, 160, 135, 180, 324, 290, 220, 870, 1775, 1960, 126, 1140,
1141 3275, 554, 1751, 76, 1187, 156, 976, 4530, 7776, 43, 1662, 634, 326, 211, 532, 1412,
1142 4575, 5587, 4483, 1124, 5754, 1475, 3430, 663, 1542, 4419, 1443, 2839, 1395, 280, 2328, 244,
1143 1698, 1831, 647, 94, 88, 29823, 455, 1387, 114, 1900, 675, 8178, 63, 74, 119, 9678,
1144 13094, 947, 1500, 1282, 258, 148, 134, 1649, 571, 362, 5286, 230, 846, 4180, 2703, 926,
1145 1746, 1368, 1062, 202, 992, 1330, 546, 1166, 862, 1223, 563, 790, 1600, 670, 148, 3043,
1146 1926, 5936, 3744, 310, 656, 1887, 930, 202, 140, 155, 2482, 431, 624, 4, 82, 328,
1147 114, 791, 13650, 284, 83, 2430, 244, 494, 595, 4464, 1134, 347, 1586, 715, 856, 858,
1148 2174, 386, 382, 378, 8052, 196, 3926, 700, 1078, 3524, 499, 88, 634, 880, 4020, 2531,
1149 1778, 302, 2543, 407, 398, 4936, 387, 1688, 126, 488, 5682, 227, 2570, 503, 3412, 2954,
1150 11166, 892, 388, 811, 408, 943, 35, 52, 1647, 368, 22446, 1194, 3860, 1599, 3416, 2098,
1151 268, 586, 696, 6459, 1647, 367, 100, 603, 1136, 76, 330, 3738, 840, 4, 1302, 7520,
1152 1326, 1858, 588, 115, 120, 1968, 460, 1063, 5716, 2554, 6958, 6870, 4138, 9692, 1012, 1290,
1153 2846, 548, 328, 519, 1130, 254, 1330, 992, 392, 2720, 1483, 886, 4464, 3896, 1839, 1996,
1154 2570, 3075, 130, 64, 542, 579, 3667, 6386, 804, 5706, 679, 8192, 908, 18044, 10266, 3555,
1155 2232, 151, 2324, 2542, 554, 1119, 283, 292, 4550, 103, 7795, 74, 2035, 216, 5495, 136,
1156 1979, 1590, 427, 37354, 1072, 1031, 742, 1279, 3668, 524, 1510, 11962, 1635, 114, 576, 938,
1157 2014, 1406, 5699, 224, 991, 211, 1344, 303, 590, 472, 33320, 895, 319, 10, 3824, 626,
1158 996, 426, 498, 3200, 1208, 380, 1038, 306, 204, 376, 1142, 10116, 6424, 552, 1108, 134,
1159 6256, 536, 448, 34, 316, 111, 400, 2412, 4331, 16, 651, 2232, 23123, 2552, 506, 502,
1160 76, 986, 5214, 2015, 92, 1640, 5380, 44, 640, 8843, 1038, 40, 964, 4831, 230, 4515,
1161 388, 2588, 898, 14, 1084, 2443, 2593, 1435, 1050, 386, 5252, 368, 13650, 3486, 3898, 1095,
1162 1155, 1794, 127, 258, 200, 3175, 954, 292, 6871, 34, 250, 230, 88, 454, 610, 2418,
1163 1811, 292, 266, 1682, 170, 4220, 2154, 3275, 2218, 406, 1435, 3188, 550, 700, 640, 13382,
1164 711, 1759, 344, 206, 14514, 1095, 1303, 8471, 496, 440, 832, 3216, 38, 320, 3998, 1180,
1165 3110, 244, 3839, 1370, 3899, 1915, 962, 75, 2484, 980, 1946, 351, 4768, 962, 7836, 3768,
1166 2160, 330, 1040, 6847, 5224, 1556, 632, 3919, 776, 486, 2386, 143, 1395, 1134, 1251, 426,
1167 880, 738, 300, 1746, 3418, 3911, 140, 1384, 140, 11704, 1406, 232, 560, 155, 1580, 5342,
1168 2148, 614, 2040, 1148, 16, 34324, 1935, 26554, 548, 126, 435, 3882, 3799, 16228, 2779, 468,
1169 6023, 1010, 3174, 2216, 3266, 603, 292, 403, 3518, 82, 1028, 318, 4051, 1336, 1268, 4944,
1170 1382, 600, 54, 832, 968, 308, 5011, 1070, 162, 706, 154, 1603, 314, 1860, 2190, 2436,
1171 10763, 155, 1318, 668, 54, 907, 758, 600, 1308, 1298, 2016, 474, 262, 63, 148, 158,
1172 2075, 1250, 2150, 388, 882, 755, 1230, 686, 5044, 283, 1751, 608, 7528, 931, 775, 62,
1173 103, 63, 2000, 1714, 231, 26, 6175, 212, 4874, 1042, 1354, 6930, 1378, 1203, 999, 84,
1174 11486, 4667, 32, 90, 572, 13623, 1076, 570, 6176, 439, 1235, 3227, 192, 586, 399, 780,
1175 467, 652, 1106, 163, 1268, 308, 339, 163, 872, 226, 2004, 534, 814, 4594, 1072, 1035,
1176 2546, 306, 108, 2079, 3278, 290, 344, 90, 1310, 236, 1396, 212, 14, 300, 4366, 3536,
1177 3768, 592, 288, 350, 623, 1523, 3548, 1390, 276, 13252, 3946, 2406, 2578, 638, 466, 5627,
1178 76, 3520, 4072, 1683, 1043, 1648, 1556, 3968, 960, 3508, 1167, 1092, 3687, 703, 810, 4862,
1179 1902, 1538, 280, 164, 854, 30, 16895, 680, 1724, 506, 406, 658, 1120, 11384, 746, 792,
1180 1556, 260, 9275, 11578, 404, 2114, 13352, 10420, 479, 1594, 1039, 292, 1806, 80, 202, 499,
1181 2388, 112, 1704, 1178, 1466, 2356, 446, 3662, 16022, 1152, 1214, 1402, 215, 219, 11786, 302,
1182 131, 7803, 1274, 6188, 1404, 926, 2655, 742, 322, 967, 311, 907, 311, 230, 3410, 10,
1183 63, 1007, 1511, 810, 9096, 3616, 272, 1066, 215, 2004, 647, 703, 232, 2126, 3598, 200,
1184 437, 972, 2931, 412, 336, 6706, 311, 1822, 262, 107, 336, 3906, 16766, 38, 184, 2464};
1185
1186#endif // __LAMMP_IS_PRIME_TABLE_H__
dj_base49
static const uint16_t dj_base49[2048]
Copyright (C) 2026 HJimmyK(Jericho Knox)
Definition is_prime_table.h:26
dj_base64
static const uint16_t dj_base64[16384]
Definition is_prime_table.h:160