-
Notifications
You must be signed in to change notification settings - Fork 0
/
sort_upperbounds.sf
28 lines (20 loc) · 66.9 KB
/
sort_upperbounds.sf
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
#!/usr/bin/ruby
var easy = Set(1, 2, 3, 4, 5, 7, 8, 9, 12, 13, 18, 19, 22, 27, 29, 32, 36, 37, 43, 45, 49, 50, 61, 64, 67, 72, 73, 81, 91, 98, 100, 101, 106, 109, 121, 128, 129, 133, 134, 137, 146, 148, 149, 152, 157, 162, 163, 169, 171, 173, 192, 193, 197, 199, 200, 202, 211, 217, 218, 219, 229, 241, 243, 256, 257, 259, 262, 268, 274, 277, 281, 283, 288, 289, 292, 301, 313, 314, 317, 324, 331, 333, 337, 338, 343, 347, 349, 353, 361, 367, 373, 379, 381, 386, 388, 392, 397, 400, 401, 404, 409, 411, 421, 422, 427, 441, 448, 450, 457, 458, 461, 463, 469, 484, 487, 489, 499, 505, 507, 509, 511, 512, 519, 523, 529, 541, 544, 547, 548, 549, 554, 556, 559, 562, 563, 566, 576, 577, 578, 579, 601, 613, 617, 625, 628, 633, 641, 643, 648, 652, 653, 657, 661, 662, 673, 676, 677, 691, 703, 709, 721, 722, 729, 733, 739, 746, 751, 757, 768, 772, 776, 787, 800, 802, 811, 821, 823, 829, 831, 841, 842, 843, 849, 853, 857, 859, 867, 871, 872, 876, 877, 882, 900, 907, 909, 937, 939, 949, 961, 968, 977, 982, 997, 1009, 1021, 1024, 1033, 1042, 1051, 1058, 1059, 1069, 1082, 1089, 1093, 1094, 1099, 1108, 1117, 1119, 1123, 1129, 1141, 1145, 1152, 1153, 1156, 1164, 1171, 1172, 1181, 1186, 1191, 1192, 1200, 1201, 1213, 1227, 1228, 1233, 1234, 1237, 1249, 1250, 1252, 1256, 1261, 1263, 1268, 1273, 1277, 1282, 1283, 1285, 1289, 1291, 1297, 1303, 1306, 1307, 1314, 1321, 1322, 1324, 1346, 1351, 1352, 1354, 1359, 1361, 1368, 1369, 1381, 1382, 1387, 1389, 1396, 1409, 1415, 1417, 1423, 1433, 1444, 1447, 1453, 1458, 1459, 1466, 1477, 1489, 1493, 1521, 1531, 1539, 1543, 1546, 1549, 1553, 1557, 1565, 1568, 1569, 1574, 1579, 1588, 1591, 1597, 1600, 1601, 1603, 1613, 1618, 1621, 1623, 1627, 1636, 1641, 1642, 1655, 1657, 1658, 1669, 1681, 1682, 1687, 1688, 1696, 1697, 1699, 1706, 1721, 1723, 1728, 1741, 1747, 1753, 1765, 1783, 1787, 1789, 1791, 1800, 1801, 1803, 1811, 1813, 1814, 1818, 1821, 1828, 1844, 1849, 1856, 1867, 1873, 1875, 1877, 1879, 1882, 1893, 1899, 1901, 1913, 1922, 1923, 1933, 1939, 1954, 1959, 1964, 1981, 1985, 1993, 1994, 1997, 2003, 2011, 2017, 2018, 2019, 2029, 2048, 2061, 2066, 2071, 2081, 2083, 2089, 2092, 2102, 2107, 2113, 2116, 2119, 2122, 2127, 2133, 2137, 2141, 2143, 2153, 2161, 2169, 2176, 2179, 2186, 2188, 2191, 2197, 2199, 2203, 2209, 2213, 2216, 2221, 2237, 2251, 2253, 2257, 2269, 2271, 2281, 2285, 2297, 2304, 2308, 2312, 2317, 2333, 2341, 2342, 2347, 2357, 2359, 2361, 2362, 2368, 2371, 2377, 2381, 2383, 2389, 2401, 2402, 2404, 2423, 2426, 2437, 2441, 2450, 2458, 2467, 2468, 2469, 2471, 2473, 2474, 2479, 2498, 2500, 2503, 2504, 2509, 2523, 2529, 2536, 2549, 2551, 2557, 2569, 2577, 2592, 2593, 2594, 2601, 2612, 2615, 2621, 2623, 2642, 2644, 2645, 2657, 2671, 2677, 2683, 2689, 2692, 2693, 2701, 2707, 2708, 2713, 2722, 2731, 2738, 2741, 2743, 2746, 2749, 2752, 2753, 2757, 2762, 2764, 2777, 2779, 2791, 2792, 2797, 2801, 2803, 2807, 2809, 2811, 2817, 2819, 2833, 2837, 2851, 2857, 2866, 2887, 2888, 2890, 2894, 2897, 2906, 2916, 2917, 2918, 2932, 2943, 2947, 2957, 2971, 2977, 2978, 2979, 2983, 2984, 2991, 3001, 3004, 3011, 3019, 3027, 3028, 3033, 3042, 3049, 3050, 3061, 3062, 3067, 3072, 3076, 3083, 3085, 3086, 3087, 3089, 3099, 3109, 3121, 3133, 3136, 3137, 3139, 3142, 3148, 3153, 3163, 3169, 3176, 3177, 3181, 3187, 3199, 3200, 3202, 3203, 3207, 3217, 3218, 3221, 3226, 3229, 3241, 3242, 3249, 3253, 3254, 3257, 3259, 3261, 3271, 3272, 3279, 3284, 3287, 3292, 3301, 3307, 3313, 3316, 3323, 3324, 3331, 3343, 3351, 3361, 3362, 3364, 3365, 3369, 3373, 3385, 3391, 3394, 3409, 3411, 3412, 3413, 3433, 3436, 3442, 3455, 3459, 3463, 3466, 3469, 3481, 3492, 3508, 3513, 3517, 3528, 3529, 3539, 3541, 3547, 3557, 3559, 3571, 3573, 3574, 3578, 3592, 3593, 3600, 3601, 3602, 3603, 3607, 3617, 3622, 3623, 3628, 3637, 3639, 3643, 3645, 3661, 3665, 3667, 3673, 3677, 3679, 3681, 3697, 3698, 3701, 3709, 3721, 3727, 3733, 3734, 3739, 3746, 3748, 3754, 3756, 3761, 3764, 3769, 3787, 3789, 3797, 3798, 3802, 3803, 3812, 3823, 3829, 3844, 3847, 3853, 3872, 3877, 3881, 3889, 3891, 3907, 3909, 3917, 3929, 3931, 3943, 3946, 3963, 3969, 3974, 3981, 3988, 3994, 4001, 4007, 4009, 4013, 4019, 4021, 4022, 4027, 4033, 4039, 4050, 4051, 4057, 4069, 4073, 4087, 4093, 4096, 4099, 4111, 4129, 4138, 4153, 4162, 4166, 4167, 4177, 4181, 4184, 4201, 4204, 4207, 4219, 4226, 4231, 4232, 4241, 4243, 4253, 4261, 4269, 4273, 4274, 4288, 4291, 4299, 4303, 4306, 4322, 4327, 4328, 4337, 4349, 4351, 4352, 4356, 4357, 4358, 4359, 4363, 4372, 4373, 4381, 4385, 4397, 4401, 4413, 4418, 4421, 4426, 4436, 4441, 4442, 4447, 4453, 4457, 4467, 4474, 4477, 4483, 4489, 4491, 4502, 4513, 4516, 4517, 4537, 4538, 4545, 4546, 4561, 4567, 4581, 4583, 4589, 4593, 4594, 4603, 4608, 4612, 4621, 4627, 4629, 4637, 4639, 4651, 4657, 4663, 4673, 4682, 4684, 4691, 4707, 4711, 4714, 4721, 4723, 4729, 4733, 4739, 4742, 4754, 4759, 4761, 4762, 4764, 4768, 4772, 4778, 4789, 4791, 4800, 4801, 4802, 4803, 4804, 4805, 4813, 4817, 4831, 4837, 4839, 4846, 4849, 4852, 4863, 4868, 4869, 4874, 4877, 4881, 4882, 4889, 4891, 4901, 4903, 4908, 4909, 4923, 4932, 4933, 4934, 4937, 4946, 4948, 4957, 4971, 4987, 4989, 4993, 4996, 5000, 5011, 5023, 5041, 5043, 5044, 5045, 5050, 5051, 5058, 5059, 5077, 5097, 5101, 5103, 5107, 5108, 5113, 5131, 5139, 5153, 5161, 5169, 5184, 5186, 5188, 5189, 5193, 5194, 5197, 5202, 5209, 5224, 5227, 5233, 5237, 5257, 5259, 5263, 5273, 5281, 5284, 5297, 5299, 5314, 5317, 5329, 5345, 5347, 5349, 5384, 5387, 5407, 5408, 5413, 5419, 5426, 5427, 5437, 5441, 5443, 5449, 5450, 5462, 5463, 5473, 5476, 5477, 5479, 5482, 5483, 5491, 5492, 5493, 5498, 5501, 5503, 5506, 5509, 5517, 5521, 5524, 5528, 5531, 5536, 5547, 5554, 5556, 5557, 5563, 5569, 5573, 5581, 5582, 5585, 5587, 5591, 5594, 5597, 5601, 5602, 5606, 5615, 5618, 5619, 5623, 5625, 5636, 5637, 5647, 5653, 5657, 5659, 5672, 5689, 5693, 5697, 5701, 5717, 5722, 5737, 5743, 5749, 5761, 5765, 5769, 5779, 5783, 5787, 5788, 5799, 5809, 5818, 5821, 5827, 5832, 5843, 5853, 5855, 5857, 5861, 5864, 5869, 5881, 5891, 5897, 5905, 5913, 5914, 5923, 5929, 5932, 5941, 5942, 5947, 5949, 5958, 5979, 5993, 6007, 6013, 6022, 6031, 6033, 6037, 6043, 6051, 6067, 6073, 6084, 6087, 6091, 6093, 6098, 6101, 6113, 6121, 6122, 6133, 6139, 6151, 6163, 6166, 6172, 6184, 6185, 6197, 6211, 6212, 6217, 6218, 6219, 6221, 6229, 6241, 6242, 6243, 6249, 6253, 6257, 6267, 6272, 6276, 6277, 6296, 6301, 6317, 6327, 6337, 6338, 6339, 6349, 6353, 6361, 6362, 6367, 6373, 6374, 6379, 6381, 6385, 6388, 6397, 6400, 6403, 6411, 6421, 6427, 6429, 6434, 6436, 6442, 6449, 6451, 6452, 6459, 6469, 6473, 6481, 6485, 6491, 6498, 6506, 6508, 6514, 6518, 6521, 6529, 6542, 6547, 6553, 6559, 6561, 6564, 6569, 6577, 6581, 6597, 6605, 6607, 6609, 6619, 6627, 6628, 6632, 6637, 6646, 6649, 6653, 6658, 6661, 6673, 6689, 6691, 6700, 6701, 6703, 6709, 6722, 6724, 6728, 6737, 6742, 6746, 6751, 6759, 6761, 6763, 6781, 6784, 6788, 6793, 6796, 6799, 6807, 6813, 6823, 6826, 6827, 6829, 6833, 6841, 6845, 6850, 6859, 6871, 6883, 6884, 6889, 6892, 6898, 6907, 6917, 6922, 6932, 6933, 6938, 6947, 6949, 6961, 6962, 6971, 6976, 6977, 6979, 6988, 6997, 6999, 7009, 7013, 7016, 7023, 7027, 7033, 7034, 7057, 7063, 7082, 7094, 7109, 7111, 7113, 7114, 7118, 7121, 7141, 7143, 7147, 7148, 7149, 7156, 7162, 7165, 7167, 7177, 7187, 7193, 7200, 7203, 7212, 7213, 7214, 7219, 7229, 7231, 7235, 7243, 7265, 7269, 7274, 7286, 7295, 7297, 7299, 7309, 7311, 7321, 7333, 7346, 7351, 7354, 7357, 7369, 7389, 7393, 7396, 7402, 7404, 7411, 7417, 7418, 7419, 7442, 7445, 7454, 7457, 7459, 7466, 7468, 7477, 7481, 7483, 7492, 7496, 7500, 7501, 7507, 7508, 7509, 7517, 7528, 7529, 7537, 7538, 7541, 7543, 7549, 7561, 7563, 7569, 7573, 7577, 7578, 7586, 7589, 7591, 7603, 7621, 7624, 7639, 7641, 7651, 7653, 7666, 7669, 7671, 7677, 7681, 7688, 7691, 7699, 7706, 7713, 7715, 7717, 7723, 7731, 7744, 7753, 7757, 7762, 7771, 7778, 7779, 7789, 7793, 7807, 7813, 7814, 7817, 7819, 7834, 7841, 7850, 7861, 7862, 7877, 7879, 7883, 7892, 7893, 7903, 7907, 7921, 7927, 7933, 7937, 7938, 7941, 7948, 7949, 7957, 7963, 7972, 7987, 7988, 7993, 7999, 8002, 8009, 8011, 8012, 8017, 8019, 8021, 8029, 8033, 8042, 8049, 8053, 8065, 8067, 8068, 8071, 8076, 8079, 8089, 8093, 8100, 8101, 8102, 8105, 8114, 8116, 8117, 8125, 8139, 8161, 8163, 8167, 8179, 8181, 8191, 8192, 8193, 8197, 8209, 8221, 8223, 8233, 8237, 8247, 8256, 8258, 8263, 8264, 8269, 8281, 8285, 8293, 8297, 8299, 8311, 8317, 8324, 8329, 8331, 8332, 8345, 8353, 8354, 8359, 8363, 8373, 8377, 8387, 8389, 8391, 8402, 8407, 8408, 8409, 8419, 8427, 8429, 8443, 8450, 8451, 8461, 8462, 8467, 8473, 8477, 8482, 8485, 8486, 8491, 8499, 8506, 8521, 8522, 8537, 8539, 8548, 8552, 8563, 8564, 8571, 8572, 8581, 8586, 8593, 8597, 8599, 8627, 8629, 8641, 8644, 8649, 8659, 8674, 8677, 8681, 8683, 8689, 8699, 8707, 8712, 8713, 8714, 8726, 8731, 8737, 8744, 8747, 8749, 8751, 8765, 8768, 8779, 8788, 8794, 8797, 8821, 8833, 8836, 8837, 8838, 8839, 8842, 8849, 8863, 8864, 8867, 8882, 8884, 8893, 8914, 8915, 8917, 8923, 8929, 8933, 8935, 8941, 8948, 8962, 8971, 8978, 8983, 8984, 8986, 8992, 9001, 9004, 9005, 9011, 9012, 9013, 9032, 9033, 9041, 9049, 9057, 9067, 9073, 9079, 9081, 9084, 9091, 9092, 9103, 9109, 9121, 9122, 9133, 9134, 9137, 9147, 9157, 9161, 9173, 9179, 9181, 9183, 9187, 9188, 9189, 9201, 9206, 9216, 9217, 9221, 9224, 9227, 9236, 9241, 9242, 9245, 9247, 9248, 9253, 9257, 9277, 9283, 9293, 9302, 9314, 9319, 9327, 9331, 9332, 9337, 9341, 9343, 9346, 9349, 9364, 9377, 9385, 9388, 9403, 9409, 9411, 9421, 9433, 9439, 9442, 9446, 9458, 9459, 9461, 9466, 9467, 9473, 9477, 9489, 9497, 9507, 9508, 9521, 9522, 9529, 9532, 9536, 9543, 9561, 9577, 9586, 9601, 9602, 9604, 9608, 9613, 9621, 9623, 9626, 9631, 9634, 9643, 9649, 9651, 9661, 9663, 9665, 9667, 9677, 9697, 9704, 9721, 9738, 9739, 9748, 9749, 9759, 9763, 9769, 9771, 9777, 9781, 9782, 9787, 9800, 9801, 9811, 9813, 9817, 9818, 9829, 9832, 9833, 9841, 9846, 9847, 9851, 9859, 9866, 9868, 9883, 9896, 9901, 9907, 9908, 9909, 9914, 9921, 9931, 9937, 9939, 9943, 9946, 9949, 9961, 9965, 9969, 9973, 9974, 9986, 10000, 10012, 10016, 10018, 10022, 10039, 10042, 10048, 10067, 10069, 10082, 10083, 10091, 10093, 10099, 10102, 10103, 10107, 10111, 10119, 10129, 10133, 10141, 10161, 10171, 10181, 10193, 10196, 10201, 10202, 10213, 10214, 10226, 10228, 10231, 10239, 10249, 10253, 10267, 10273, 10279, 10287, 10289, 10299, 10309, 10313, 10321, 10333, 10342, 10357, 10363, 10368, 10369, 10372, 10377, 10389, 10393, 10394, 10399, 10404, 10423, 10427, 10431, 10432, 10433, 10443, 10453, 10459, 10466, 10468, 10471, 10474, 10496, 10501, 10513, 10519, 10522, 10531, 10532, 10533, 10539, 10543, 10546, 10567, 10568, 10587, 10594, 10597, 10609, 10613, 10623, 10627, 10628, 10629, 10641, 10651, 10657, 10658, 10663, 10673, 10674, 10677, 10684, 10685, 10693, 10694, 10699, 10708, 10713, 10717, 10729, 10733, 10753, 10756, 10762, 10771, 10772, 10777, 10779, 10801, 10804, 10805, 10809, 10816, 10826, 10828, 10837, 10839, 10852, 10859, 10861, 10867, 10874, 10882, 10883, 10886, 10888, 10891, 10893, 10903, 10909, 10917, 10921, 10924, 10929, 10937, 10939, 10949, 10952, 10957, 10963, 10987, 10993, 11012, 11019, 11027, 11042, 11047, 11048, 11062, 11065, 11069, 11072, 11074, 11083, 11089, 11091, 11097, 11106, 11113, 11117, 11127, 11131, 11133, 11138, 11146, 11149, 11161, 11162, 11173, 11177, 11179, 11181, 11182, 11185, 11188, 11197, 11199, 11204, 11212, 11236, 11239, 11250, 11251, 11255, 11257, 11261, 11273, 11287, 11299, 11306, 11307, 11311, 11314, 11317, 11321, 11323, 11329, 11332, 11347, 11348, 11378, 11383, 11386, 11401, 11402, 11428, 11434, 11437, 11443, 11449, 11461, 11464, 11467, 11469, 11474, 11482, 11485, 11489, 11493, 11497, 11498, 11503, 11527, 11552, 11559, 11579, 11581, 11587, 11597, 11599, 11602, 11617, 11619, 11621, 11624, 11642, 11657, 11665, 11668, 11672, 11673, 11677, 11681, 11683, 11686, 11701, 11719, 11721, 11722, 11727, 11731, 11743, 11762, 11767, 11773, 11777, 11783, 11785, 11791, 11794, 11801, 11811, 11812, 11813, 11821, 11827, 11828, 11829, 11833, 11846, 11858, 11863, 11867, 11879, 11881, 11884, 11885, 11889, 11897, 11898, 11899, 11905, 11909, 11911, 11923, 11933, 11941, 11943, 11945, 11953, 11962, 11971, 11981, 12005, 12014, 12022, 12037, 12043, 12049, 12061, 12073, 12074, 12097, 12100, 12101, 12106, 12109, 12113, 12134, 12143, 12146, 12153, 12157, 12161, 12163, 12168, 12169, 12181, 12182, 12186, 12187, 12196, 12197, 12202, 12211, 12221, 12227, 12241, 12242, 12247, 12248, 12249, 12251, 12253, 12268, 12269, 12271, 12288, 12289, 12301, 12302, 12321, 12326, 12339, 12343, 12352, 12356, 12373, 12377, 12379, 12391, 12392, 12409, 12413, 12421, 12422, 12427, 12429, 12433, 12434, 12436, 12437, 12451, 12457, 12458, 12459, 12469, 12481, 12482, 12483, 12484, 12497, 12511, 12517, 12523, 12531, 12541, 12544, 12547, 12553, 12554, 12559, 12569, 12577, 12589, 12593, 12601, 12602, 12603, 12608, 12611, 12612, 12618, 12619, 12629, 12634, 12637, 12641, 12658, 12697, 12703, 12706, 12717, 12721, 12722, 12729, 12736, 12748, 12757, 12759, 12763, 12769, 12776, 12781, 12785, 12787, 12800, 12807, 12819, 12829, 12841, 12853, 12854, 12861, 12868, 12871, 12889, 12897, 12902, 12907, 12913, 12916, 12917, 12931, 12938, 12941, 12943, 12961, 12965, 12967, 12979, 12981, 12982, 13001, 13003, 13009, 13023, 13028, 13036, 13037, 13042, 13043, 13047, 13058, 13063, 13069, 13077, 13089, 13093, 13094, 13099, 13111, 13117, 13122, 13129, 13147, 13149, 13154, 13162, 13163, 13171, 13177, 13183, 13191, 13194, 13217, 13219, 13228, 13241, 13249, 13253, 13256, 13267, 13273, 13285, 13291, 13297, 13322, 13323, 13324, 13339, 13352, 13367, 13378, 13381, 13399, 13401, 13402, 13404, 13406, 13411, 13417, 13421, 13426, 13429, 13444, 13448, 13449, 13457, 13459, 13469, 13471, 13474, 13477, 13492, 13504, 13513, 13526, 13531, 13535, 13556, 13557, 13562, 13565, 13568, 13577, 13586, 13591, 13592, 13597, 13613, 13627, 13633, 13646, 13652, 13655, 13658, 13663, 13666, 13669, 13681, 13682, 13683, 13687, 13689, 13693, 13697, 13700, 13701, 13709, 13711, 13721, 13723, 13729, 13732, 13749, 13757, 13759, 13766, 13778, 13779, 13781, 13784, 13789, 13801, 13807, 13809, 13814, 13829, 13836, 13841, 13844, 13850, 13863, 13873, 13876, 13877, 13883, 13885, 13888, 13894, 13897, 13903, 13907, 13911, 13921, 13922, 13924, 13927, 13928, 13933, 13951, 13953, 13954, 13955, 13963, 13969, 13971, 13989, 13994, 13997, 14002, 14009, 14011, 14013, 14023, 14026, 14029, 14033, 14045, 14052, 14068, 14073, 14077, 14081, 14085, 14086, 14089, 14107, 14112, 14114, 14119, 14138, 14149, 14153, 14161, 14163, 14169, 14173, 14177, 14188, 14209, 14211, 14218, 14228, 14233, 14242, 14243, 14249, 14251, 14281, 14284, 14285, 14293, 14323, 14341, 14347, 14354, 14367, 14372, 14383, 14386, 14387, 14389, 14400, 14401, 14407, 14408, 14409, 14411, 14412, 14419, 14426, 14428, 14437, 14439, 14449, 14450, 14451, 14458, 14461, 14479, 14486, 14491, 14493, 14503, 14521, 14537, 14539, 14548, 14549, 14556, 14557, 14561, 14563, 14567, 14572, 14581, 14585, 14589, 14593, 14599, 14621, 14624, 14641, 14653, 14657, 14666, 14677, 14683, 14689, 14701, 14702, 14709, 14713, 14717, 14723, 14727, 14731, 14737, 14747, 14753, 14771, 14779, 14786, 14788, 14791, 14792, 14799, 14800, 14821, 14822, 14827, 14834, 14837, 14851, 14853, 14869, 14871, 14884, 14887, 14891, 14897, 14908, 14913, 14914, 14918, 14929, 14932, 14947, 14951, 14953, 14956, 14957, 14959, 14961, 14962, 14979, 14983, 14989, 15001, 15013, 15014, 15016, 15017, 15021, 15031, 15053, 15058, 15061, 15069, 15073, 15082, 15083, 15091, 15098, 15101, 15107, 15121, 15123, 15127, 15129, 15133, 15137, 15138, 15139, 15153, 15154, 15173, 15177, 15187, 15192, 15193, 15202, 15208, 15217, 15223, 15231, 15241, 15242, 15245, 15253, 15269, 15271, 15277, 15278, 15289, 15291, 15304, 15307, 15317, 15319, 15331, 15332, 15335, 15337, 15338, 15339, 15341, 15343, 15349, 15361, 15362, 15373, 15377, 15382, 15383, 15401, 15403, 15412, 15413, 15424, 15434, 15439, 15446, 15451, 15467, 15473, 15488, 15489, 15493, 15506, 15507, 15508, 15514, 15524, 15533, 15541, 15545, 15547, 15556, 15577, 15581, 15583, 15586, 15591, 15601, 15607, 15613, 15625, 15627, 15628, 15634, 15637, 15641, 15643, 15649, 15658, 15661, 15667, 15668, 15669, 15677, 15681, 15682, 15685, 15699, 15723, 15724, 15733, 15737, 15739, 15751, 15757, 15761, 15766, 15767, 15769, 15772, 15773, 15777, 15781, 15787, 15797, 15802, 15814, 15817, 15823, 15841, 15842, 15843, 15845, 15852, 15854, 15857, 15859, 15877, 15881, 15898, 15901, 15907, 15913, 15923, 15926, 15935, 15937, 15944, 15969, 15976, 15991, 16022, 16033, 16038, 16047, 16061, 16063, 16069, 16081, 16083, 16084, 16085, 16088, 16091, 16097, 16105, 16106, 16119, 16129, 16141, 16162, 16178, 16189, 16193, 16200, 16202, 16204, 16207, 16209, 16217, 16219, 16228, 16229, 16234, 16237, 16239, 16265, 16267, 16273, 16285, 16299, 16300, 16301, 16317, 16321, 16322, 16326, 16329, 16333, 16334, 16339, 16355, 16358, 16361, 16362, 16363, 16369, 16381, 16383, 16384, 16387, 16393, 16396, 16411, 16417, 16418, 16421, 16427, 16429, 16442, 16444, 16448, 16453, 16463, 16466, 16474, 16477, 16481, 16493, 16509, 16529, 16535, 16550, 16552, 16553, 16562, 16563, 16565, 16567, 16573, 16576, 16593, 16594, 16596, 16597, 16615, 16619, 16622, 16633, 16639, 16641, 16642, 16648, 16651, 16657, 16661, 16663, 16667, 16671, 16672, 16681, 16689, 16693, 16699, 16706, 16708, 16712, 16717, 16719, 16723, 16726, 16741, 16743, 16747, 16754, 16759, 16803, 16804, 16805, 16807, 16829, 16831, 16843, 16857, 16858, 16861, 16865, 16876, 16886, 16889, 16897, 16900, 16901, 16903, 16904, 16909, 16921, 16922, 16924, 16928, 16931, 16934, 16937, 16938, 16941, 16959, 16963, 16964, 16972, 16981, 16993, 17011, 17012, 17021, 17029, 17032, 17033, 17041, 17042, 17053, 17059, 17067, 17071, 17074, 17077, 17091, 17107, 17109, 17113, 17117, 17123, 17126, 17137, 17146, 17161, 17165, 17167, 17173, 17183, 17189, 17203, 17209, 17211, 17219, 17229, 17239, 17247, 17254, 17257, 17263, 17269, 17282, 17291, 17293, 17298, 17299, 17311, 17315, 17321, 17333, 17341, 17345, 17348, 17349, 17354, 17362, 17377, 17378, 17383, 17386, 17389, 17393, 17397, 17401, 17405, 17414, 17417, 17428, 17443, 17449, 17452, 17463, 17467, 17474, 17477, 17489, 17491, 17492, 17497, 17509, 17517, 17521, 17529, 17536, 17539, 17551, 17569, 17581, 17588, 17593, 17597, 17607, 17623, 17624, 17627, 17642, 17643, 17657, 17659, 17672, 17673, 17681, 17683, 17684, 17689, 17693, 17698, 17705, 17707, 17713, 17728, 17734, 17735, 17737, 17749, 17761, 17764, 17769, 17789, 17796, 17803, 17827, 17828, 17837, 17839, 17851, 17858, 17865, 17881, 17882, 17899, 17908, 17911, 17914, 17921, 17923, 17929, 17937, 17942, 17953, 17956, 17957, 17959, 17971, 17972, 17973, 17977, 17981, 17984, 17987, 17989, 18002, 18008, 18013, 18019, 18021, 18022, 18026, 18027, 18028, 18043, 18049, 18050, 18058, 18061, 18068, 18077, 18082, 18097, 18098, 18099, 18103, 18121, 18125, 18127, 18129, 18133, 18134, 18151, 18152, 18153, 18162, 18169, 18181, 18182, 18185, 18201, 18211, 18217, 18219, 18223, 18229, 18233, 18244, 18253, 18257, 18266, 18273, 18274, 18289, 18301, 18307, 18313, 18314, 18322, 18339, 18346, 18361, 18362, 18363, 18365, 18374, 18379, 18397, 18399, 18412, 18427, 18432, 18433, 18439, 18442, 18443, 18451, 18453, 18454, 18457, 18461, 18463, 18464, 18481, 18482, 18485, 18489, 18493, 18496, 18499, 18505, 18516, 18517, 18523, 18541, 18548, 18549, 18553, 18554, 18559, 18583, 18586, 18587, 18599, 18617, 18628, 18637, 18638, 18651, 18657, 18663, 18664, 18665, 18679, 18682, 18691, 18697, 18701, 18713, 18729, 18739, 18754, 18757, 18769, 18793, 18797, 18801, 18803, 18811, 18818, 18823, 18826, 18828, 18842, 18859, 18866, 18889, 18892, 18903, 18913, 18916, 18917, 18918, 18922, 18932, 18943, 18946, 18947, 18949, 18961, 18968, 18973, 18991, 19001, 19009, 19011, 19016, 19037, 19042, 19044, 19051, 19059, 19066, 19069, 19073, 19081, 19087, 19093, 19098, 19112, 19117, 19119, 19137, 19141, 19143, 19163, 19164, 19171, 19172, 19179, 19181, 19183, 19191, 19202, 19208, 19211, 19213, 19226, 19231, 19237, 19252, 19258, 19263, 19264, 19265, 19267, 19268, 19273, 19281, 19286, 19289, 19300, 19301, 19308, 19309, 19321, 19322, 19324, 19333, 19351, 19353, 19357, 19363, 19373, 19381, 19387, 19407, 19423, 19427, 19429, 19433, 19439, 19441, 19442, 19443, 19449, 19457, 19471, 19477, 19478, 19483, 19489, 19493, 19496, 19501, 19507, 19521, 19531, 19537, 19538, 19541, 19553, 19562, 19563, 19564, 19571, 19577, 19579, 19585, 19597, 19600, 19603, 19609, 19611, 19621, 19622, 19627, 19641, 19648, 19649, 19651, 19658, 19659, 19681, 19683, 19687, 19692, 19699, 19702, 19717, 19718, 19723, 19731, 19743, 19748, 19753, 19759, 19766, 19773, 19777, 19784, 19791, 19793, 19801, 19802, 19813, 19819, 19827, 19828, 19831, 19841, 19846, 19853, 19859, 19861, 19862, 19867, 19876, 19881, 19882, 19884, 19891, 19892, 19898, 19903, 19911, 19917, 19927, 19937, 19948, 19959, 19969, 19972, 19973, 19989, 19993, 19997, 19999, 20000, 20011, 20017, 20019, 20023, 20029, 20037, 20050, 20051, 20059, 20089, 20101, 20103, 20105, 20107, 20109, 20113, 20117, 20138, 20143, 20147, 20161, 20164, 20167, 20172, 20173, 20182, 20183, 20186, 20191, 20221, 20233, 20239, 20249, 20255, 20259, 20261, 20266, 20269, 20277, 20282, 20285, 20287, 20288, 20289, 20297, 20308, 20311, 20312, 20313, 20323, 20333, 20341, 20347, 20353, 20354, 20359, 20362, 20373, 20379, 20386, 20389, 20393, 20402, 20404, 20412, 20419, 20421, 20428, 20441, 20443, 20449, 20456, 20469, 20477, 20487, 20506, 20507, 20509, 20512, 20513, 20529, 20533, 20546, 20549, 20557, 20561, 20563, 20583, 20593, 20599, 20602, 20611, 20612, 20627, 20641, 20649, 20659, 20666, 20681, 20684, 20693, 20707, 20714, 20716, 20717, 20731, 20736, 20738, 20743, 20744, 20749, 20751, 20761, 20767, 20772, 20788, 20797, 20799, 20808, 20809, 20817, 20857, 20858, 20866, 20873, 20885, 20887, 20897, 20899, 20906, 20908, 20921, 20933, 20936, 20939, 20947, 20948, 20963, 20969, 20971, 20983, 20991, 21001, 21002, 21005, 21011, 21019, 21023, 21031, 21037, 21038, 21050, 21061, 21062, 21067, 21069, 21073, 21077, 21089, 21092, 21101, 21121, 21123, 21133, 21134, 21143, 21157, 21169, 21171, 21184, 21187, 21188, 21193, 21205, 21211, 21213, 21218, 21221, 21223, 21227, 21247, 21257, 21258, 21269, 21277, 21283, 21302, 21305, 21312, 21313, 21316, 21319, 21323, 21337, 21339, 21341, 21343, 21349, 21363, 21377, 21379, 21388, 21393, 21397, 21401, 21427, 21447, 21451, 21466, 21467, 21469, 21477, 21481, 21487, 21493, 21499, 21512, 21517, 21521, 21523, 21529, 21533, 21541, 21542, 21557, 21562, 21569, 21577, 21589, 21601, 21609, 21613, 21617, 21621, 21632, 21636, 21639, 21649, 21656, 21661, 21673, 21674, 21676, 21685, 21687, 21697, 21701, 21708, 21722, 21724, 21729, 21737, 21739, 21748, 21757, 21763, 21772, 21773, 21785, 21787, 21800, 21806, 21817, 21818, 21821, 21834, 21841, 21871, 21874, 21881, 21898, 21907, 21914, 21916, 21927, 21933, 21937, 21943, 21959, 21961, 21969, 21973, 21974, 21977, 21986, 21991, 21992, 21997, 21999, 22003, 22004, 22013, 22024, 22027, 22037, 22039, 22050, 22051, 22053, 22061, 22091, 22093, 22094, 22105, 22107, 22112, 22123, 22129, 22141, 22153, 22157, 22159, 22166, 22171, 22177, 22179, 22183, 22186, 22193, 22201, 22205, 22221, 22226, 22228, 22233, 22237, 22249, 22252, 22257, 22267, 22276, 22277, 22285, 22291, 22292, 22298, 22303, 22309, 22322, 22324, 22351, 22364, 22369, 22377, 22381, 22391, 22393, 22394, 22397, 22399, 22404, 22424, 22431, 22441, 22447, 22453, 22472, 22476, 22481, 22489, 22500, 22501, 22519, 22521, 22522, 22527, 22531, 22536, 22543, 22546, 22547, 22549, 22573, 22579, 22592, 22599, 22611, 22612, 22621, 22623, 22628, 22634, 22637, 22642, 22647, 22651, 22658, 22669, 22681, 22683, 22689, 22699, 22709, 22727, 22732, 22741, 22747, 22753, 22761, 22771, 22783, 22786, 22789, 22801, 22804, 22805, 22809, 22817, 22819, 22829, 22849, 22853, 22856, 22861, 22863, 22868, 22877, 22886, 22897, 22901, 22907, 22915, 22921, 22922, 22937, 22948, 22961, 22963, 22972, 22973, 22981, 22993, 22994, 22996, 22999, 23007, 23011, 23013, 23015, 23017, 23027, 23029, 23041, 23047, 23053, 23059, 23073, 23081, 23101, 23104, 23105, 23107, 23117, 23125, 23131, 23143, 23149, 23169, 23173, 23189, 23191, 23194, 23201, 23203, 23209, 23227, 23234, 23242, 23251, 23257, 23259, 23263, 23266, 23284, 23293, 23297, 23308, 23314, 23321, 23333, 23336, 23346, 23354, 23357, 23362, 23371, 23372, 23402, 23409, 23413, 23417, 23428, 23444, 23462, 23476, 23488, 23503, 23509, 23521, 23524, 23527, 23535, 23537, 23539, 23549, 23554, 23557, 23563, 23567, 23581, 23588, 23589, 23593, 23599, 23602, 23605, 23609, 23611, 23615, 23623, 23626, 23627, 23629, 23642, 23649, 23652, 23654, 23669, 23671, 23677, 23689, 23716, 23717, 23719, 23721, 23731, 23741, 23747, 23753, 23761, 23762, 23763, 23767, 23773, 23778, 23781, 23789, 23794, 23796, 23799, 23819, 23823, 23827, 23833, 23857, 23873, 23882, 23887, 23889, 23893, 23899, 23906, 23909, 23913, 23916, 23917, 23924, 23929, 23942, 23945, 23962, 23971, 23977, 24001, 24007, 24008, 24019, 24031, 24033, 24039, 24041, 24043, 24049, 24051, 24061, 24065, 24077, 24079, 24082, 24085, 24091, 24093, 24097, 24098, 24103, 24109, 24113, 24124, 24133, 24137, 24146, 24147, 24148, 24159, 24163, 24169, 24181, 24187, 24197, 24200, 24201, 24202, 24203, 24212, 24217, 24223, 24224, 24229, 24237, 24241, 24251, 24264, 24268, 24271, 24283, 24292, 24298, 24303, 24309, 24317, 24322, 24326, 24337, 24348, 24349, 24356, 24363, 24367, 24372, 24373, 24379, 24384, 24391, 24392, 24399, 24401, 24421, 24422, 24427, 24457, 24469, 24473, 24481, 24482, 24488, 24501, 24502, 24509, 24517, 24533, 24545, 24547, 24550, 24571, 24576, 24578, 24579, 24589, 24593, 24601, 24602, 24608, 24611, 24619, 24631, 24643, 24649, 24652, 24658, 24664, 24665, 24669, 24677, 24685, 24691, 24692, 24697, 24699, 24703, 24704, 24711, 24714, 24733, 24741, 24746, 24749, 24754, 24763, 24781, 24789, 24807, 24818, 24826, 24829, 24841, 24842, 24844, 24859, 24866, 24868, 24869, 24877, 24884, 24889, 24897, 24901, 24902, 24907, 24914, 24917, 24943, 24949, 24951, 24961, 24964, 24965, 24967, 24971, 24972, 24977, 24979, 24996, 25013, 25028, 25033, 25034, 25057, 25059, 25082, 25088, 25096, 25097, 25099, 25106, 25108, 25117, 25119, 25121, 25127, 25129, 25131, 25138, 25147, 25153, 25167, 25178, 25183, 25189, 25202, 25204, 25209, 25219, 25222, 25226, 25229, 25237, 25243, 25261, 25274, 25281, 25299, 25301, 25303, 25306, 25309, 25321, 25329, 25331, 25339, 25348, 25352, 25357, 25371, 25373, 25383, 25406, 25408, 25411, 25412, 25434, 25442, 25448, 25453, 25457, 25459, 25477, 25497, 25501, 25505, 25516, 25526, 25533, 25535, 25537, 25538, 25561, 25563, 25565, 25567, 25577, 25579, 25581, 25588, 25589, 25591, 25600, 25601, 25603, 25609, 25621, 25633, 25639, 25642, 25657, 25658, 25659, 25664, 25672, 25673, 25677, 25681, 25682, 25689, 25693, 25708, 25711, 25713, 25716, 25733, 25736, 25741, 25747, 25765, 25768, 25771, 25791, 25794, 25796, 25804, 25819, 25834, 25841, 25843, 25849, 25862, 25867, 25873, 25879, 25882, 25888, 25903, 25909, 25921, 25923, 25924, 25931, 25933, 25939, 25951, 25957, 25981, 25983, 25985, 25992, 25997, 26002, 26003, 26006, 26017, 26018, 26021, 26029, 26031, 26041, 26043, 26046, 26050, 26053, 26072, 26083, 26089, 26107, 26113, 26116, 26121, 26131, 26139, 26143, 26153, 26154, 26157, 26161, 26165, 26177, 26186, 26188, 26189, 26193, 26198, 26203, 26209, 26211, 26212, 26221, 26227, 26233, 26237, 26239, 26242, 26244, 26249, 26251, 26253, 26267, 26269, 26272, 26283, 26293, 26297, 26304, 26317, 26321, 26342, 26347, 26354, 26357, 26359, 26371, 26377, 26383, 26388, 26393, 26407, 26417, 26428, 26434, 26437, 26449, 26450, 26463, 26476, 26482, 26485, 26489, 26497, 26504, 26533, 26539, 26547, 26548, 26561, 26569, 26573, 26582, 26589, 26594, 26599, 26601, 26612, 26626, 26633, 26641, 26645, 26656, 26661, 26677, 26679, 26683, 26692, 26693, 26699, 26713, 26717, 26723, 26729, 26731, 26734, 26737, 26739, 26761, 26762, 26764, 26769, 26777, 26787, 26791, 26798, 26799, 26800, 26804, 26811, 26813, 26821, 26822, 26823, 26833, 26836, 26842, 26853, 26863, 26881, 26888, 26893, 26913, 26914, 26919, 26921, 26947, 26948, 26953, 26971, 26973, 26981, 26989, 26993, 27009, 27011, 27021, 27026, 27031, 27039, 27043, 27044, 27050, 27052, 27059, 27061, 27065, 27067, 27073, 27077, 27079, 27099, 27106, 27109, 27124, 27139, 27146, 27147, 27154, 27161, 27167, 27171, 27172, 27185, 27197, 27201, 27211, 27214, 27215, 27223, 27229, 27241, 27252, 27253, 27259, 27266, 27271, 27273, 27277, 27281, 27283, 27304, 27309, 27327, 27337, 27338, 27349, 27361, 27362, 27364, 27374, 27378, 27385, 27394, 27397, 27399, 27403, 27409, 27419, 27422, 27427, 27436, 27437, 27441, 27442, 27446, 27457, 27464, 27469, 27471, 27476, 27483, 27484, 27514, 27517, 27529, 27541, 27543, 27549, 27556, 27561, 27562, 27563, 27578, 27581, 27583, 27605, 27607, 27614, 27617, 27628, 27653, 27658, 27673, 27682, 27691, 27697, 27700, 27701, 27704, 27709, 27721, 27723, 27733, 27737, 27739, 27747, 27749, 27751, 27752, 27754, 27763, 27767, 27779, 27781, 27788, 27809, 27813, 27815, 27817, 27823, 27826, 27831, 27842, 27845, 27848, 27849, 27865, 27877, 27883, 27889, 27891, 27893, 27901, 27905, 27908, 27917, 27919, 27926, 27941, 27953, 27957, 27961, 27977, 27988, 27989, 27994, 27997, 28004, 28007, 28009, 28011, 28029, 28047, 28051, 28052, 28057, 28063, 28069, 28081, 28087, 28089, 28092, 28093, 28099, 28108, 28123, 28147, 28162, 28163, 28166, 28181, 28183, 28201, 28207, 28209, 28219, 28224, 28228, 28229, 28232, 28235, 28243, 28263, 28273, 28276, 28277, 28278, 28283, 28285, 28289, 28291, 28297, 28298, 28299, 28309, 28317, 28322, 28324, 28327, 28346, 28351, 28357, 28376, 28377, 28387, 28393, 28399, 28409, 28411, 28419, 28423, 28429, 28433, 28445, 28465, 28472, 28477, 28498, 28502, 28513, 28521, 28537, 28541, 28549, 28561, 28562, 28563, 28564, 28571, 28579, 28583, 28584, 28585, 28586, 28591, 28593, 28597, 28603, 28621, 28627, 28629, 28631, 28646, 28649, 28651, 28661, 28663, 28669, 28682, 28685, 28687, 28697, 28708, 28715, 28723, 28729, 28738, 28744, 28753, 28757, 28759, 28771, 28772, 28777, 28778, 28789, 28793, 28800, 28803, 28807, 28813, 28817, 28822, 28837, 28839, 28843, 28857, 28863, 28867, 28869, 28873, 28898, 28900, 28901, 28903, 28913, 28921, 28927, 28929, 28933, 28939, 28947, 28948, 28953, 28961, 28981, 28983, 28989, 29017, 29021, 29023, 29027, 29059, 29061, 29071, 29081, 29089, 29096, 29101, 29105, 29114, 29119, 29122, 29123, 29129, 29131, 29137, 29153, 29163, 29167, 29173, 29178, 29179, 29188, 29189, 29207, 29215, 29221, 29239, 29241, 29242, 29243, 29244, 29248, 29251, 29263, 29266, 29269, 29277, 29282, 29284, 29285, 29297, 29311, 29312, 29313, 29317, 29332, 29333, 29338, 29343, 29347, 29361, 29362, 29366, 29383, 29389, 29401, 29404, 29407, 29416, 29426, 29429, 29433, 29434, 29437, 29439, 29443, 29448, 29451, 29473, 29474, 29476, 29485, 29487, 29494, 29497, 29499, 29504, 29506, 29527, 29531, 29537, 29542, 29553, 29556, 29558, 29569, 29572, 29581, 29587, 29594, 29611, 29613, 29617, 29626, 29629, 29633, 29641, 29642, 29644, 29653, 29668, 29669, 29683, 29701, 29707, 29713, 29732, 29738, 29741, 29745, 29761, 29768, 29774, 29782, 29794, 29803, 29817, 29827, 29836, 29837, 29851, 29857, 29863, 29881, 29907, 29908, 29911, 29914, 29919, 29924, 29929, 29947, 29956, 29966, 29979, 29983, 29989, 30000, 30013, 30016, 30026, 30028, 30068, 30088, 30089, 30091, 30097, 30103, 30109, 30112, 30117, 30122, 30133, 30137, 30139, 30146, 30148, 30159, 30161, 30169, 30181, 30185, 30187, 30193, 30196, 30197, 30201, 30202, 30207, 30213, 30214, 30223, 30233, 30241, 30242, 30249, 30253, 30258, 30259, 30271, 30273, 30276, 30278, 30279, 30289, 30293, 30298, 30301, 30307, 30313, 30343, 30346, 30347, 30357, 30365, 30374, 30376, 30386, 30389, 30391, 30403, 30412, 30423, 30427, 30433, 30451, 30466, 30469, 30479, 30482, 30493, 30497, 30499, 30511, 30517, 30519, 30529, 30538, 30539, 30541, 30543, 30553, 30557, 30577, 30593, 30603, 30605, 30614, 30619, 30625, 30634, 30637, 30643, 30649, 30661, 30662, 30664, 30665, 30673, 30684, 30697, 30703, 30707, 30713, 30722, 30729, 30733, 30746, 30752, 30759, 30763, 30764, 30773, 30779, 30781, 30799, 30801, 30802, 30806, 30815, 30817, 30819, 30823, 30829, 30839, 30841, 30851, 30852, 30853, 30859, 30868, 30881, 30892, 30901, 30902, 30922, 30931, 30934, 30946, 30947, 30949, 30963, 30971, 30976, 30977, 30979, 30983, 30985, 30986, 30994, 30999, 31028, 31033, 31051, 31055, 31057, 31063, 31071, 31081, 31082, 31087, 31091, 31095, 31112, 31116, 31117, 31123, 31131, 31138, 31147, 31153, 31162, 31171, 31172, 31177, 31181, 31183, 31189, 31193, 31202, 31213, 31214, 31219, 31221, 31223, 31231, 31232, 31237, 31249, 31250, 31253, 31267, 31268, 31277, 31282, 31286, 31298, 31307, 31321, 31322, 31327, 31329, 31333, 31334, 31336, 31337, 31357, 31359, 31364, 31373, 31377, 31381, 31385, 31393, 31397, 31400, 31412, 31428, 31432, 31459, 31466, 31468, 31469, 31477, 31478, 31481, 31483, 31489, 31498, 31503, 31513, 31517, 31519, 31522, 31531, 31543, 31546, 31547, 31561, 31567, 31572, 31573, 31593, 31594, 31599, 31601, 31627, 31634, 31649, 31653, 31657, 31663, 31681, 31684, 31687, 31699, 31701, 31711, 31714, 31721, 31723, 31729, 31732, 31741, 31752, 31754, 31761, 31762, 31765, 31771, 31778, 31783, 31802, 31805, 31814, 31817, 31827, 31839, 31846, 31847, 31852, 31865, 31873, 31881, 31891, 31893, 31903, 31907, 31923, 31927, 31939, 31946, 31953, 31957, 31963, 31966, 31969, 31971, 31972, 31981, 31982, 31989, 32009, 32013, 32029, 32036, 32041, 32044, 32050, 32051, 32059, 32066, 32071, 32077, 32089, 32117, 32119, 32122, 32126, 32133, 32138, 32139, 32141, 32149, 32168, 32173, 32182, 32187, 32191, 32194, 32199, 32203, 32221, 32233, 32237, 32251, 32257, 32258, 32259, 32268, 32297, 32299, 32303, 32313, 32321, 32323, 32324, 32337, 32339, 32341, 32345, 32347, 32365, 32371, 32372, 32377, 32378, 32381, 32386, 32400, 32401, 32411, 32413, 32418, 32423, 32434, 32441, 32443, 32449, 32458, 32459, 32463, 32467, 32468, 32481, 32491, 32492, 32493, 32497, 32503, 32511, 32517, 32531, 32533, 32537, 32539, 32551, 32557, 32569, 32573, 32583, 32587, 32609, 32621, 32629, 32633, 32644, 32645, 32652, 32653, 32666, 32672, 32673, 32679, 32693, 32698, 32707, 32709, 32713, 32722, 32724, 32726, 32727, 32735, 32737, 32749, 32751, 32761, 32768, 32771, 32772, 32779, 32787, 32797, 32803, 32811, 32822, 32833, 32836, 32842, 32854, 32866, 32869, 32871, 32876, 32884, 32885, 32906, 32909, 32917, 32933, 32941, 32948, 32957, 32962, 32969, 32971, 32977, 32979, 32987, 32993, 33001, 33013, 33029, 33037, 33047, 33049, 33057, 33058, 33061, 33073, 33076, 33091, 33107, 33113, 33127, 33129, 33141, 33146, 33161, 33173, 33181, 33188, 33203, 33211, 33213, 33219, 33223, 33224, 33241, 33244, 33249, 33265, 33266, 33268, 33282, 33287, 33289, 33293, 33301, 33302, 33307, 33309, 33311, 33314, 33317, 33322, 33331, 33339, 33343, 33349, 33361, 33365, 33367, 33377, 33381, 33386, 33391, 33403, 33409, 33413, 33416, 33427, 33437, 33445, 33447, 33452, 33457, 33458, 33469, 33472, 33482, 33489, 33493, 33505, 33508, 33515, 33519, 33523, 33547, 33556, 33559, 33563, 33564, 33577, 33581, 33587, 33589, 33591, 33601, 33606, 33617, 33619, 33629, 33650, 33676, 33686, 33691, 33703, 33708, 33709, 33713, 33714, 33739, 33749, 33751, 33757, 33778, 33797, 33799, 33800, 33802, 33806, 33809, 33811, 33817, 33827, 33829, 33841, 33842, 33848, 33856, 33861, 33862, 33868, 33874, 33877, 33889, 33893, 33905, 33931, 33937, 33941, 33951, 33952, 33961, 33962, 33967, 33986, 33991, 33996, 33997, 34001, 34022, 34039, 34042, 34052, 34057, 34066, 34082, 34084, 34106, 34115, 34117, 34123, 34129, 34141, 34147, 34148, 34149, 34154, 34157, 34171, 34173, 34183, 34186, 34213, 34217, 34219, 34231, 34234, 34237, 34243, 34246, 34249, 34252, 34253, 34259, 34261, 34267, 34273, 34283, 34284, 34297, 34301, 34303, 34312, 34321, 34322, 34324, 34329, 34337, 34351, 34361, 34363, 34367, 34378, 34381, 34388, 34393, 34396, 34401, 34415, 34418, 34421, 34429, 34432, 34457, 34473, 34483, 34487, 34491, 34501, 34508, 34509, 34513, 34514, 34516, 34531, 34541, 34549, 34550, 34553, 34581, 34582, 34586, 34589, 34596, 34603, 34613, 34624, 34634, 34642, 34651, 34666, 34669, 34673, 34687, 34693, 34696, 34699, 34708, 34721, 34723, 34729, 34741, 34754, 34757, 34772, 34778, 34791, 34792, 34801, 34807, 34819, 34828, 34829, 34841, 34848, 34849, 34852, 34856, 34863, 34871, 34877, 34885, 34886, 34893, 34897, 34898, 34900, 34909, 34913, 34924, 34929, 34934, 34939, 34948, 34949, 34957, 34961, 34963, 34969, 34971, 34978, 34981, 34982, 34985, 34994, 35001, 35008, 35012, 35023, 35031, 35041, 35051, 35053, 35059, 35072, 35077, 35081, 35089, 35107, 35116, 35117, 35141, 35149, 35158, 35162, 35163, 35176, 35177, 35181, 35191, 35197, 35201, 35218, 35221, 35227, 35229, 35251, 35253, 35257, 35267, 35269, 35284, 35285, 35311, 35317, 35318, 35323, 35332, 35348, 35349, 35353, 35378, 35379, 35381, 35389, 35393, 35401, 35407, 35414, 35426, 35436, 35437, 35439, 35443, 35444, 35449, 35461, 35468, 35473, 35474, 35481, 35486, 35487, 35491, 35498, 35499, 35503, 35507, 35509, 35514, 35521, 35522, 35527, 35533, 35537, 35539, 35569, 35572, 35584, 35587, 35589, 35593, 35597, 35617, 35654, 35656, 35659, 35661, 35674, 35677, 35701, 35702, 35707, 35716, 35721, 35731, 35732, 35733, 35749, 35753, 35762, 35764, 35766, 35769, 35791, 35803, 35809, 35822, 35831, 35837, 35842, 35846, 35851, 35858, 35859, 35863, 35864, 35869, 35877, 35884, 35897, 35899, 35911, 35912, 35913, 35914, 35923, 35933, 35942, 35943, 35946, 35953, 35954, 35962, 35969, 35974, 35977, 35978, 35993, 36004, 36011, 36013, 36017, 36026, 36032, 36037, 36061, 36073, 36081, 36082, 36086, 36097, 36098, 36100, 36109, 36111, 36116, 36122, 36129, 36136, 36137, 36145, 36147, 36149, 36151, 36154, 36161, 36163, 36164, 36187, 36189, 36196, 36209, 36215, 36219, 36221, 36229, 36241, 36242, 36247, 36254, 36262, 36268, 36277, 36283, 36291, 36307, 36313, 36327, 36338, 36339, 36353, 36361, 36362, 36364, 36379, 36389, 36416, 36427, 36433, 36434, 36436, 36439, 36450, 36457, 36458, 36459, 36466, 36467, 36471, 36481, 36488, 36489, 36493, 36497, 36506, 36513, 36517, 36523, 36527, 36529, 36532, 36536, 36541, 36545, 36548, 36559, 36563, 36571, 36583, 36587, 36588, 36589, 36602, 36628, 36631, 36643, 36653, 36661, 36665, 36677, 36682, 36691, 36697, 36709, 36713, 36721, 36723, 36724, 36727, 36733, 36739, 36748, 36749, 36758, 36759, 36779, 36781, 36787, 36793, 36794, 36802, 36821, 36824, 36829, 36837, 36847, 36857, 36864, 36867, 36871, 36877, 36881, 36889, 36901, 36908, 36913, 36919, 36922, 36923, 36928, 36929, 36931, 36943, 36947, 36962, 36965, 36968, 36979, 36986, 36992, 36997, 36999, 37003, 37017, 37021, 37029, 37034, 37039, 37046, 37049, 37056, 37057, 37061, 37079, 37082, 37087, 37097, 37098, 37108, 37117, 37119, 37123, 37124, 37131, 37132, 37141, 37157, 37159, 37166, 37171, 37172, 37173, 37181, 37186, 37189, 37197, 37201, 37217, 37234, 37239, 37243, 37249, 37253, 37256, 37263, 37273, 37274, 37281, 37285, 37287, 37299, 37308, 37321, 37327, 37333, 37334, 37339, 37348, 37357, 37361, 37363, 37369, 37382, 37387, 37397, 37402, 37409, 37423, 37426, 37429, 37441, 37447, 37483, 37489, 37501, 37503, 37507, 37514, 37517, 37529, 37537, 37538, 37546, 37549, 37551, 37561, 37571, 37573, 37579, 37586, 37588, 37589, 37593, 37606, 37607, 37623, 37636, 37637, 37641, 37649, 37652, 37657, 37659, 37663, 37673, 37684, 37685, 37691, 37693, 37699, 37711, 37717, 37738, 37747, 37749, 37777, 37781, 37783, 37784, 37803, 37809, 37826, 37831, 37833, 37834, 37837, 37844, 37853, 37857, 37861, 37867, 37879, 37885, 37888, 37889, 37891, 37892, 37921, 37922, 37949, 37951, 37957, 37963, 37971, 37987, 37988, 37997, 38002, 38011, 38015, 38018, 38021, 38053, 38059, 38074, 38079, 38083, 38088, 38091, 38101, 38102, 38109, 38113, 38119, 38125, 38132, 38138, 38153, 38162, 38163, 38167, 38174, 38177, 38179, 38189, 38195, 38197, 38201, 38209, 38221, 38237, 38239, 38242, 38244, 38261, 38266, 38281, 38282, 38287, 38289, 38299, 38307, 38311, 38317, 38321, 38323, 38326, 38327, 38329, 38333, 38343, 38349, 38358, 38362, 38371, 38381, 38393, 38407, 38421, 38422, 38431, 38432, 38449, 38452, 38457, 38459, 38461, 38464, 38487, 38492, 38498, 38501, 38504, 38521, 38523, 38546, 38551, 38557, 38559, 38569, 38572, 38578, 38583, 38593, 38596, 38602, 38603, 38604, 38611, 38615, 38617, 38618, 38623, 38629, 38642, 38644, 38647, 38651, 38659, 38666, 38667, 38671, 38677, 38693, 38707, 38708, 38713, 38717, 38729, 38737, 38746, 38747, 38751, 38762, 38767, 38774, 38783, 38785, 38788, 38803, 38809, 38821, 38833, 38839, 38851, 38854, 38858, 38866, 38867, 38882, 38887, 38899, 38914, 38917, 38919, 38923, 38938, 38941, 38942, 38952, 38953, 38954, 38956, 38965, 38971, 38977, 38978, 38983, 38986, 38993, 39002, 39009, 39011, 39014, 39016, 39019, 39027, 39041, 39042, 39043, 39062, 39067, 39082, 39085, 39089, 39097, 39103, 39107, 39112, 39133, 39139, 39148, 39157, 39159, 39161, 39163, 39181, 39188, 39189, 39194, 39200, 39204, 39209, 39213, 39217, 39218, 39229, 39231, 39233, 39241, 39251, 39268, 39272, 39279, 39283, 39293, 39297, 39298, 39301, 39313, 39316, 39317, 39322, 39332, 39341, 39343, 39349, 39357, 39366, 39371, 39373, 39385, 39393, 39397, 39398, 39409, 39418, 39434, 39441, 39447, 39451, 39461, 39464, 39493, 39496, 39499, 39506, 39511, 39513, 39521, 39529, 39532, 39535, 39541, 39549, 39553, 39569, 39571, 39581, 39586, 39593, 39601, 39602, 39605, 39613, 39628, 39635, 39637, 39638, 39656, 39665, 39667, 39682, 39700, 39703, 39709, 39716, 39722, 39733, 39734, 39752, 39761, 39762, 39769, 39782, 39789, 39793, 39796, 39801, 39815, 39821, 39823, 39826, 39834, 39841, 39847, 39863, 39871, 39873, 39874, 39891, 39892, 39896, 39901, 39907, 39922, 39931, 39937, 39944, 39953, 39969, 39978, 39979, 39994, 40000, 40009, 40019, 40022, 40023, 40037, 40042, 40049, 40051, 40055, 40063, 40064, 40077, 40079, 40087, 40093, 40097, 40099, 40101, 40102, 40111, 40113, 40123, 40129, 40148, 40153, 40159, 40163, 40177, 40189, 40197, 40201, 40202, 40203, 40213, 40214, 40226, 40231, 40233, 40241, 40251, 40263, 40265, 40267, 40268, 40277, 40291, 40321, 40322, 40323, 40327, 40328, 40332, 40347, 40351, 40357, 40387, 40396, 40400, 40401, 40417, 40419, 40431, 40441, 40442, 40466, 40471, 40476, 40483, 40493, 40507, 40512, 40518, 40519, 40529, 40531, 40538, 40539, 40564, 40573, 40576, 40577, 40585, 40591, 40594, 40597, 40603, 40609, 40616, 40617, 40627, 40637, 40646, 40657, 40671, 40682, 40693, 40699, 40706, 40708, 40714, 40717, 40723, 40724, 40729, 40759, 40771, 40772, 40786, 40787, 40791, 40801, 40804, 40805, 40808, 40813, 40819, 40829, 40839, 40842, 40849, 40853, 40856, 40867, 40881, 40882, 40899, 40904, 40907, 40914, 40927, 40933, 40954, 40961, 40973, 40993, 40999, 41011, 41017, 41018, 41023, 41045, 41047, 41049, 41050, 41053, 41057, 41059, 41066, 41068, 41071, 41077, 41079, 41091, 41098, 41103, 41113, 41117, 41119, 41133, 41141, 41143, 41149, 41152, 41161, 41163, 41165, 41169, 41177, 41179, 41185, 41196, 41197, 41203, 41204, 41209, 41213, 41221, 41222, 41224, 41227, 41233, 41243, 41252, 41257, 41263, 41269, 41271, 41277, 41281, 41282, 41299, 41329, 41333, 41341, 41357, 41362, 41368, 41373, 41387, 41389, 41413, 41421, 41427, 41428, 41431, 41434, 41450, 41453, 41461, 41462, 41465, 41472, 41476, 41486, 41491, 41498, 41506, 41508, 41513, 41521, 41539, 41549, 41551, 41585, 41589, 41593, 41597, 41603, 41609, 41611, 41617, 41618, 41627, 41629, 41637, 41641, 41647, 41659, 41672, 41681, 41714, 41737, 41746, 41751, 41763, 41772, 41773, 41777, 41792, 41794, 41799, 41809, 41812, 41813, 41816, 41821, 41828, 41836, 41842, 41843, 41851, 41857, 41859, 41863, 41875, 41885, 41889, 41891, 41893, 41894, 41897, 41913, 41926, 41927, 41935, 41941, 41945, 41947, 41953, 41957, 41959, 41977, 41981, 41989, 41991, 42002, 42004, 42011, 42013, 42017, 42019, 42033, 42043, 42049, 42050, 42061, 42071, 42073, 42076, 42087, 42095, 42099, 42121, 42122, 42124, 42131, 42133, 42137, 42138, 42139, 42151, 42156, 42157, 42169, 42181, 42184, 42187, 42193, 42197, 42202, 42213, 42215, 42217, 42219, 42242, 42243, 42257, 42259, 42281, 42286, 42289, 42301, 42304, 42305, 42331, 42335, 42337, 42338, 42341, 42363, 42373, 42374, 42386, 42388, 42397, 42403, 42409, 42422, 42433, 42436, 42437, 42442, 42451, 42457, 42463, 42467, 42472, 42473, 42487, 42489, 42499, 42507, 42508, 42511, 42519, 42523, 42554, 42557, 42561, 42564, 42566, 42571, 42577, 42589, 42597, 42604, 42611, 42626, 42628, 42632, 42637, 42641, 42646, 42649, 42661, 42663, 42667, 42677, 42682, 42683, 42685, 42689, 42697, 42701, 42703, 42709, 42713, 42727, 42737, 42753, 42769, 42773, 42776, 42786, 42787, 42793, 42802, 42829, 42843, 42847, 42849, 42858, 42859, 42871, 42892, 42901, 42931, 42932, 42943, 42953, 42961, 42962, 42967, 42969, 42973, 42985, 42986, 42989, 42991, 43013, 43037, 43041, 43042, 43046, 43049, 43051, 43057, 43058, 43069, 43081, 43093, 43101, 43111, 43114, 43117, 43119, 43124, 43141, 43145, 43154, 43177, 43189, 43201, 43203, 43205, 43207, 43209, 43218, 43221, 43226, 43233, 43236, 43237, 43245, 43249, 43261, 43264, 43273, 43291, 43298, 43304, 43321, 43322, 43327, 43328, 43346, 43347, 43348, 43397, 43402, 43403, 43405, 43411, 43441, 43444, 43451, 43457, 43477, 43478, 43479, 43481, 43489, 43499, 43514, 43517, 43519, 43535, 43541, 43543, 43544, 43546, 43552, 43565, 43573, 43574, 43577, 43579, 43591, 43597, 43599, 43600, 43607, 43627, 43633, 43634, 43642, 43651, 43661, 43668, 43669, 43681, 43682, 43683, 43684, 43685, 43689, 43693, 43711, 43717, 43721, 43742, 43748, 43749, 43753, 43777, 43779, 43783, 43786, 43789, 43793, 43801, 43808, 43812, 43816, 43828, 43849, 43853, 43863, 43866, 43867, 43874, 43891, 43893, 43903, 43913, 43922, 43923, 43933, 43938, 43939, 43943, 43948, 43954, 43959, 43963, 43969, 43972, 43987, 43997, 44001, 44006, 44017, 44021, 44027, 44029, 44041, 44049, 44053, 44059, 44071, 44074, 44089, 44101, 44102, 44105, 44107, 44108, 44119, 44123, 44129, 44131, 44139, 44168, 44179, 44181, 44185, 44186, 44189, 44197, 44201, 44203, 44211, 44221, 44224, 44246, 44249, 44257, 44258, 44259, 44263, 44269, 44273, 44281, 44287, 44288, 44293, 44301, 44306, 44307, 44313, 44314, 44315, 44335, 44342, 44357, 44359, 44364, 44371, 44372, 44383, 44386, 44388, 44389, 44397, 44402, 44417, 44419, 44431, 44437, 44463, 44465, 44468, 44469, 44479, 44481, 44491, 44497, 44501, 44514, 44521, 44527, 44537, 44552, 44554, 44559, 44563, 44581, 44582, 44587, 44607, 44611, 44615, 44621, 44623, 44629, 44633, 44644, 44648, 44651, 44657, 44661, 44665, 44672, 44683, 44692, 44701, 44705, 44708, 44713, 44728, 44738, 44739, 44741, 44749, 44753, 44773, 44777, 44779, 44782, 44787, 44788, 44794, 44797, 44809, 44839, 44851, 44866, 44881, 44882, 44883, 44893, 44906, 44917, 44949, 44956, 44962, 44963, 44971, 44983, 44987, 44989, 45000, 45002, 45004, 45013, 45019, 45028, 45036, 45039, 45044, 45049, 45055, 45061, 45062, 45077, 45091, 45092, 45097, 45098, 45099, 45121, 45127, 45131, 45137, 45146, 45151, 45157, 45163, 45181, 45183, 45193, 45196, 45197, 45207, 45219, 45226, 45228, 45242, 45244, 45245, 45253, 45268, 45274, 45281, 45283, 45293, 45302, 45307, 45329, 45335, 45337, 45338, 45341, 45343, 45361, 45363, 45367, 45369, 45373, 45376, 45377, 45378, 45387, 45389, 45391, 45403, 45412, 45417, 45418, 45427, 45433, 45442, 45450, 45454, 45455, 45459, 45481, 45482, 45491, 45497, 45512, 45522, 45523, 45531, 45533, 45538, 45541, 45553, 45554, 45557, 45561, 45579, 45587, 45589, 45608, 45613, 45619, 45622, 45634, 45641, 45651, 45659, 45665, 45667, 45673, 45677, 45685, 45691, 45693, 45697, 45703, 45721, 45722, 45723, 45736, 45757, 45763, 45767, 45769, 45785, 45796, 45802, 45805, 45813, 45814, 45817, 45821, 45823, 45829, 45831, 45841, 45842, 45844, 45853, 45867, 45868, 45871, 45873, 45877, 45889, 45893, 45905, 45909, 45922, 45928, 45943, 45949, 45953, 45967, 45971, 45972, 45986, 45988, 45993, 46017, 46021, 46022, 46027, 46033, 46034, 46039, 46042, 46051, 46054, 46058, 46061, 46082, 46083, 46093, 46099, 46106, 46111, 46118, 46119, 46141, 46147, 46153, 46157, 46162, 46171, 46177, 46181, 46183, 46187, 46205, 46208, 46209, 46213, 46219, 46229, 46234, 46236, 46237, 46249, 46261, 46262, 46273, 46301, 46309, 46316, 46324, 46327, 46337, 46346, 46348, 46353, 46377, 46381, 46399, 46402, 46406, 46411, 46418, 46419, 46423, 46441, 46447, 46454, 46457, 46459, 46468, 46477, 46489, 46496, 46502, 46503, 46507, 46513, 46532, 46567, 46568, 46573, 46581, 46586, 46589, 46594, 46601, 46623, 46627, 46628, 46637, 46639, 46656, 46677, 46681, 46687, 46692, 46701, 46705, 46708, 46711, 46714, 46715, 46723, 46737, 46742, 46744, 46747, 46749, 46756, 46757, 46769, 46771, 46773, 46803, 46804, 46811, 46817, 46818, 46819, 46821, 46831, 46834, 46861, 46867, 46873, 46875, 46881, 46888, 46901, 46907, 46912, 46921, 46924, 46929, 46933, 46939, 46947, 46952, 46957, 46983, 46987, 46993, 46997, 46999, 47001, 47009, 47014, 47015, 47017, 47041, 47043, 47048, 47057, 47059, 47074, 47089, 47093, 47098, 47107, 47114, 47122, 47126, 47129, 47143, 47147, 47149, 47159, 47161, 47165, 47181, 47186, 47199, 47217, 47221, 47237, 47246, 47251, 47252, 47269, 47281, 47284, 47297, 47308, 47317, 47339, 47351, 47353, 47354, 47359, 47361, 47381, 47384, 47387, 47389, 47407, 47417, 47419, 47432, 47441, 47451, 47467, 47469, 47482, 47485, 47489, 47494, 47503, 47513, 47521, 47522, 47524, 47527, 47529, 47533, 47534, 47546, 47551, 47556, 47557, 47563, 47569, 47581, 47602, 47609, 47623, 47626, 47629, 47631, 47653, 47657, 47659, 47666, 47669, 47673, 47681, 47692, 47701, 47713, 47714, 47717, 47721, 47737, 47739, 47743, 47746, 47749, 47761, 47764, 47767, 47769, 47777, 47779, 47786, 47791, 47797, 47812, 47818, 47826, 47834, 47848, 47857, 47869, 47873, 47881, 47887, 47911, 47917, 47933, 47947, 47961, 47973, 47977, 47981, 47989, 48002, 48005, 48007, 48014, 48017, 48029, 48031, 48038, 48050, 48056, 48061, 48064, 48065, 48086, 48097, 48098, 48099, 48109, 48115, 48119, 48121, 48122, 48131, 48154, 48163, 48179, 48181, 48183, 48186, 48189, 48193, 48194, 48197, 48211, 48215, 48217, 48218, 48223, 48232, 48247, 48253, 48261, 48266, 48274, 48289, 48291, 48292, 48296, 48303, 48305, 48313, 48326, 48337, 48338, 48341, 48353, 48362, 48388, 48394, 48397, 48400, 48409, 48413, 48436, 48437, 48448, 48451, 48452, 48473, 48481, 48483, 48485, 48487, 48497, 48523, 48529, 48533, 48547, 48567, 48571, 48579, 48583, 48584, 48589, 48593, 48605, 48612, 48613, 48627, 48628, 48658, 48661, 48663, 48672, 48673, 48679, 48681, 48727, 48728, 48742, 48749, 48751, 48757, 48781, 48782, 48787, 48799, 48817, 48819, 48823, 48841, 48842, 48844, 48850, 48853, 48857, 48859, 48871, 48877, 48883, 48889, 48904, 48905, 48907, 48933, 48938, 48947, 48953, 48959, 48962, 48964, 48968, 48973, 48979, 48987, 48988, 48989, 48991, 48997, 48999, 49003, 49012, 49017, 49033, 49037, 49043, 49057, 49066, 49069, 49081, 49089, 49108, 49111, 49117, 49121, 49122, 49123, 49129, 49141, 49142, 49157, 49158, 49165, 49169, 49171, 49177, 49186, 49189, 49193, 49201, 49208, 49211, 49251, 49255, 49261, 49262, 49267, 49277, 49284, 49293, 49297, 49298, 49311, 49316, 49333, 49339, 49341, 49347, 49354, 49359, 49363, 49369, 49382, 49393, 49399, 49411, 49415, 49417, 49419, 49421, 49428, 49429, 49431, 49441, 49457, 49459, 49471, 49477, 49482, 49492, 49498, 49505, 49508, 49509, 49513, 49516, 49523, 49526, 49531, 49547, 49549, 49562, 49576, 49579, 49597, 49603, 49613, 49618, 49627, 49633, 49652, 49659, 49667, 49669, 49681, 49682, 49684, 49689, 49697, 49716, 49719, 49729, 49736, 49743, 49747, 49752, 49754, 49757, 49777, 49778, 49789, 49801, 49804, 49813, 49814, 49828, 49832, 49834, 49843, 49865, 49877, 49891, 49899, 49921, 49927, 49928, 49937, 49939, 49942, 49943, 49953, 49957, 49958, 49971, 49977, 49983, 49986, 49987, 49988, 49993, 49997, 50053, 50066, 50067, 50068, 50069, 50074, 50079, 50087, 50089, 50114, 50121, 50124, 50129, 50131, 50153, 50176, 50177, 50188, 50194, 50203, 50207, 50213, 50221, 50223, 50227, 50229, 50241, 50242, 50254, 50261, 50263, 50276, 50277, 50283, 50287, 50294, 50306, 50319, 50321, 50326, 50329, 50333, 50338, 50341, 50353, 50366, 50368, 50377, 50378, 50383, 50401, 50404, 50411, 50412, 50418, 50432, 50441, 50443, 50450, 50452, 50459, 50461, 50474, 50483, 50491, 50493, 50503, 50513, 50522, 50527, 50529, 50536, 50548, 50549, 50557, 50562, 50566, 50569, 50581, 50587, 50593, 50599, 50602, 50606, 50607, 50618, 50625, 50627, 50642, 50647, 50653, 50665, 50671, 50683, 50696, 50701, 50705, 50709, 50714, 50719, 50723, 50733, 50741, 50746, 50753, 50763, 50767, 50773, 50781, 50788, 50789, 50791, 50812, 50821, 50822, 50823, 50833, 50851, 50857, 50863, 50877, 50884, 50889, 50892, 50893, 50906, 50909, 50914, 50923, 50929, 50931, 50938, 50951, 50956, 50957, 50965, 50969, 50971, 50979, 50984, 50989, 50993, 51001, 51005, 51019, 51028, 51032, 51033, 51043, 51052, 51074, 51076, 51077, 51079, 51082, 51087, 51091, 51097, 51099, 51103, 51109, 51112, 51122, 51123, 51124, 51133, 51137, 51141, 51151, 51157, 51159, 51178, 51193, 51197, 51200, 51201, 51202, 51203, 51206, 51213, 51217, 51229, 51241, 51242, 51247, 51257, 51266, 51283, 51307, 51309, 51314, 51329, 51341, 51343, 51346, 51347, 51349, 51361, 51364, 51369, 51411, 51419, 51421, 51427, 51431, 51433, 51437, 51439, 51453, 51457, 51461, 51473, 51481, 51483, 51487, 51498, 51499, 51501, 51511, 51517, 51521, 51529, 51539, 51547, 51549, 51556, 51563, 51577, 51581, 51583, 51586, 51593, 51605, 51607, 51609, 51613, 51627, 51628, 51633, 51637, 51638, 51643, 51650, 51652, 51668, 51673, 51682, 51683, 51687, 51691, 51713, 51721, 51724, 51734, 51741, 51751, 51752, 51757, 51778, 51785, 51787, 51797, 51803, 51817, 51826, 51829, 51842, 51848, 51853, 51859, 51862, 51868, 51877, 51879, 51897, 51907, 51913, 51916, 51919, 51924, 51938, 51941, 51949, 51962, 51963, 51967, 51973, 51977, 51991, 52004, 52009, 52011, 52012, 52021, 52023, 52027, 52033, 52034, 52036, 52042, 52057, 52058, 52081, 52082, 52106, 52119, 52131, 52147, 52148, 52149, 52153, 52159, 52166, 52167, 52177, 52183, 52189, 52201, 52203, 52213, 52214, 52232, 52237, 52249, 52251, 52267, 52273, 52282, 52291, 52293, 52297, 52300, 52301, 52306, 52313, 52321, 52339, 52347, 52354, 52356, 52361, 52369, 52372, 52381, 52387, 52389, 52396, 52399, 52401, 52406, 52418, 52424, 52441, 52443, 52453, 52454, 52457, 52473, 52484, 52488, 52489, 52501, 52502, 52505, 52517, 52522, 52541, 52543, 52549, 52552, 52553, 52561, 52567, 52579, 52586, 52587, 52609, 52627, 52634, 52642, 52663, 52673, 52691, 52697, 52706, 52708, 52713, 52714, 52729, 52733, 52741, 52747, 52749, 52757, 52759, 52763, 52776, 52783, 52807, 52813, 52814, 52817, 52821, 52822, 52823, 52835, 52837, 52859, 52861, 52869, 52874, 52876, 52882, 52889, 52897, 52900, 52901, 52903, 52909, 52929, 52937, 52951, 52957, 52963, 52981, 52996, 53021, 53024, 53026, 53029, 53045, 53047, 53049, 53050, 53056, 53066, 53068, 53069, 53077, 53078, 53089, 53093, 53096, 53101, 53113, 53114, 53121, 53122, 53135, 53137, 53139, 53143, 53145, 53146, 53147, 53149, 53161, 53164, 53173, 53188, 53191, 53197, 53201, 53209, 53217, 53221, 53233, 53252, 53255, 53257, 53267, 53269, 53281, 53282, 53283, 53285, 53292, 53307, 53309, 53323, 53356, 53361, 53362, 53377, 53386, 53398, 53401, 53407, 53411, 53419, 53429, 53437, 53441, 53443, 53446, 53453, 53458, 53461, 53462, 53468, 53473, 53474, 53478, 53481, 53497, 53509, 53511, 53512, 53523, 53524, 53539, 53541, 53551, 53553, 53554, 53557, 53569, 53577, 53588, 53596, 53597, 53602, 53608, 53609, 53611, 53617, 53621, 53622, 53623, 53626, 53629, 53633, 53642, 53644, 53645, 53653, 53657, 53666, 53668, 53677, 53681, 53684, 53698, 53719, 53722, 53731, 53761, 53762, 53763, 53767, 53769, 53777, 53791, 53792, 53811, 53813, 53824, 53827, 53828, 53842, 53849, 53855, 53857, 53861, 53876, 53877, 53881, 53887, 53894, 53896, 53906, 53908, 53917, 53923, 53931, 53939, 53947, 53952, 53953, 53959, 53961, 53962, 53967, 53983, 53986, 53987, 53993, 54013, 54016, 54022, 54034, 54037, 54039, 54049, 54061, 54063, 54091, 54101, 54104, 54121, 54129, 54133, 54139, 54146, 54147, 54148, 54163, 54181, 54183, 54212, 54217, 54218, 54227, 54233, 54248, 54271, 54272, 54283, 54289, 54291, 54297, 54301, 54304, 54317, 54323, 54331, 54333, 54344, 54358, 54361, 54363, 54371, 54381, 54394, 54399, 54403, 54409, 54413, 54419, 54421, 54422, 54433, 54437, 54443, 54452, 54458, 54459, 54469, 54482, 54493, 54497, 54499, 54503, 54508, 54517, 54518, 54521, 54532, 54541, 54547, 54554, 54562, 54563, 54577, 54581, 54583, 54601, 54603, 54613, 54617, 54619, 54629, 54631, 54632, 54633, 54657, 54658, 54667, 54669, 54673, 54676, 54685, 54687, 54709, 54713, 54719, 54721, 54722, 54728, 54732, 54733, 54738, 54748, 54756, 54759, 54771, 54779, 54785, 54787, 54788, 54793, 54799, 54800, 54804, 54818, 54819, 54823, 54829, 54844, 54848, 54854, 54867, 54874, 54877, 54881, 54882, 54892, 54903, 54907, 54909, 54916, 54917, 54921, 54931, 54937, 54939, 54949, 54973, 54976, 54979, 55001, 55003, 55009, 55021, 55028, 55049, 55051, 55057, 55058, 55073, 55082, 55089, 55093, 55112, 55124, 55135, 55137, 55139, 55141, 55147, 55156, 55159, 55162, 55163, 55169, 55189, 55191, 55197, 55201, 55207, 55213, 55217, 55219, 55226, 55228, 55229, 55234, 55235, 55236, 55243, 55249, 55261, 55281, 55289, 55291, 55299, 55306, 55316, 55317, 55321, 55327, 55333, 55337, 55339, 55346, 55349, 55351, 55353, 55371, 55381, 55393, 55399, 55400, 55402, 55411, 55423, 55431, 55441, 55443, 55447, 55456, 55457, 55466, 55467, 55474, 55488, 55489, 55494, 55498, 55501, 55502, 55526, 55531, 55541, 55543, 55546, 55549, 55569, 55579, 55589, 55592, 55603, 55609, 55618, 55621, 55633, 55634, 55639, 55644, 55659, 55665, 55673, 55681, 55688, 55697, 55711, 55717, 55721, 55732, 55733, 55745, 55749, 55766, 55771, 55773, 55778, 55781, 55786, 55787, 55793, 55802, 55805, 55807, 55813, 55816, 55817, 55819, 55829, 55834, 55837, 55843, 55849, 55852, 55882, 55885, 55889, 55897, 55899, 55903, 55906, 55921, 55922, 55927, 55933, 55939, 55949, 55971, 55976, 55987, 55988, 55989, 55994, 56003, 56008, 56029, 56036, 56041, 56053, 56057, 56073, 56074, 56077, 56081, 56093, 56101, 56102, 56103, 56113, 56114, 56116, 56123, 56128, 56131, 56132, 56138, 56139, 56149, 56162, 56167, 56169, 56179, 56197, 56218, 56241, 56246, 56269, 56271, 56299, 56305, 56311, 56332, 56333, 56347, 56359, 56365, 56369, 56371, 56379, 56383, 56401, 56402, 56409, 56417, 56422, 56428, 56437, 56443, 56448, 56449, 56453, 56456, 56458, 56467, 56473, 56477, 56479, 56493, 56501, 56509, 56527, 56533, 56554, 56566, 56569, 56577, 56585, 56594, 56596, 56597, 56611, 56612, 56623, 56633, 56641, 56647, 56659, 56671, 56676, 56677, 56681, 56692, 56701, 56707, 56708, 56709, 56719, 56737, 56739, 56747, 56767, 56773, 56774, 56779, 56786, 56803, 56809, 56813, 56821, 56822, 56827, 56853, 56857, 56858, 56866, 56873, 56891, 56893, 56897, 56911, 56919, 56923, 56929, 56941, 56953, 56954, 56957, 56963, 56968, 56983, 56986, 56989, 56993, 56996, 57003, 57004, 57007, 57026, 57034, 57037, 57042, 57047, 57073, 57074, 57077, 57082, 57089, 57097, 57098, 57107, 57121, 57122, 57124, 57139, 57142, 57143, 57151, 57161, 57163, 57169, 57179, 57182, 57191, 57193, 57206, 57207, 57215, 57223, 57241, 57242, 57249, 57254, 57261, 57262, 57269, 57271, 57283, 57298, 57301, 57303, 57313, 57322, 57331, 57335, 57337, 57338, 57349, 57357, 57373, 57374, 57379, 57388, 57389, 57394, 57397, 57413, 57416, 57423, 57427, 57451, 57457, 57463, 57465, 57467, 57485, 57487, 57489, 57493, 57506, 57529, 57539, 57542, 57543, 57547, 57549, 57556, 57557, 57571, 57573, 57587, 57593, 57600, 57601, 57619, 57627, 57628, 57631, 57639, 57644, 57649, 57653, 57659, 57667, 57674, 57676, 57677, 57689, 57693, 57697, 57700, 57704, 57709, 57711, 57731, 57733, 57734, 57737, 57742, 57748, 57756, 57773, 57781, 57787, 57789, 57797, 57800, 57801, 57802, 57819, 57829, 57832, 57841, 57842, 57844, 57853, 57859, 57861, 57866, 57867, 57869, 57881, 57896, 57898, 57901, 57903, 57906, 57922, 57931, 57935, 57941, 57943, 57944, 57947, 57972, 57973, 57977, 57978, 57985, 57991, 58013, 58027, 58034, 58041, 58048, 58049, 58051, 58059, 58061, 58066, 58073, 58081, 58093, 58099, 58111, 58119, 58129, 58147, 58148, 58153, 58159, 58171, 58177, 58189, 58196, 58202, 58219, 58221, 58228, 58237, 58243, 58244, 58252, 58257, 58258, 58262, 58269, 58274, 58277, 58279, 58306, 58313, 58319, 58321, 58323, 58337, 58341, 58346, 58347, 58363, 58365, 58369, 58372, 58393, 58408, 58411, 58413, 58417, 58419, 58427, 58431, 58441, 58442, 58447, 58449, 58453, 58454, 58467, 58471, 58472, 58481, 58482, 58484, 58502, 58505, 58537, 58538, 58543, 58549, 58550, 58554, 58561, 58564, 58567, 58573, 58579, 58593, 58594, 58601, 58612, 58613, 58626, 58628, 58639, 58657, 58659, 58664, 58676, 58689, 58693, 58694, 58699, 58711, 58721, 58723, 58726, 58732, 58741, 58757, 58759, 58761, 58763, 58771, 58787, 58789, 58791, 58802, 58809, 58831, 58849, 58852, 58853, 58868, 58874, 58886, 58889, 58897, 58901, 58906, 58909, 58913, 58921, 58923, 58927, 58933, 58946, 58948, 58952, 58963, 58969, 58981, 58988, 58997, 59002, 59011, 59012, 59029, 59049, 59050, 59053, 59054, 59061, 59069, 59071, 59074, 59077, 59083, 59084, 59089, 59097, 59101, 59105, 59113, 59116, 59135, 59138, 59141, 59151, 59162, 59165, 59167, 59168, 59188, 59197, 59200, 59203, 59209, 59221, 59222, 59227, 59229, 59237, 59239, 59243, 59252, 59253, 59258, 59263, 59266, 59269, 59273, 59281, 59282, 59284, 59288, 59293, 59299, 59308, 59315, 59335, 59341, 59351, 59357, 59369, 59377, 59379, 59383, 59393, 59403, 59417, 59419, 59439, 59443, 59445, 59446, 59453, 59467, 59473, 59482, 59484, 59497, 59509, 59522, 59529, 59539, 59559, 59571, 59583, 59588, 59597, 59601, 59606, 59611, 59617, 59621, 59623, 59627, 59628, 59629, 59647, 59652, 59659, 59671, 59672, 59673, 59686, 59692, 59693, 59705, 59707, 59713, 59716, 59729, 59743, 59753, 59762, 59771, 59781, 59788, 59797, 59809, 59814, 59816, 59821, 59828, 59833, 59839, 59842, 59858, 59859, 59887, 59894, 59905, 59919, 59922, 59929, 59932, 59933, 59941, 59949, 59951, 59957, 59967, 59968, 59971, 59977, 59978, 60013, 60026, 60033, 60037, 60041, 60050, 60056, 60057, 60068, 60069, 60073, 60077, 60083, 60087, 60091, 60103, 60107, 60111, 60124, 60133, 60139, 60149, 60161, 60167, 60169, 60179, 60182, 60194, 60199, 60211, 60212, 60215, 60217, 60218, 60219, 60223, 60244, 60245, 60251, 60257, 60259, 60267, 60271, 60274, 60281, 60289, 60296, 60308, 60309, 60317, 60321, 60322, 60328, 60331, 60337, 60338, 60339, 60343, 60362, 60364, 60365, 60373, 60374, 60381, 60392, 60397, 60403, 60404, 60409, 60413, 60426, 60427, 60429, 60446, 60457, 60463, 60466, 60482, 60483, 60484, 60485, 60487, 60488, 60492, 60497, 60498, 60506, 60509, 60516, 60517, 60518, 60541, 60548, 60552, 60553, 60556, 60565, 60586, 60589, 60601, 60602, 60607, 60611, 60613, 60614, 60617, 60626, 60633, 60637, 60649, 60661, 60663, 60679, 60699, 60712, 60727, 60733, 60737, 60739, 60748, 60757, 60763, 60767, 60777, 60778, 60785, 60793, 60799, 60805, 60806, 60807, 60811, 60815, 60817, 60831, 60849, 60859, 60861, 60868, 60887, 60889, 60901, 60917, 60919, 60923, 60937, 60938, 60943, 60949, 60953, 60961, 60969, 60979, 60986, 60991, 60999, 61009, 61023, 61027, 61029, 61031, 61034, 61036, 61041, 61051, 61057, 61058, 61059, 61069, 61076, 61094, 61099, 61106, 61108, 61117, 61121, 61123, 61129, 61141, 61153, 61156, 61159, 61189, 61205, 61211, 61221, 61228, 61243, 61250, 61253, 61255, 61261, 61274, 61276, 61283, 61286, 61291, 61297, 61298, 61309, 61317, 61322, 61329, 61339, 61345, 61357, 61363, 61381, 61384, 61394, 61399, 61407, 61411, 61414, 61417, 61426, 61431, 61441, 61444, 61445, 61448, 61450, 61469, 61471, 61483, 61492, 61493, 61504, 61505, 61507, 61508, 61519, 61526, 61543, 61546, 61547, 61549, 61553, 61561, 61562, 61569, 61579, 61583, 61599, 61603, 61604, 61609, 61637, 61651, 61657, 61667, 61673, 61681, 61687, 61689, 61702, 61703, 61706, 61717, 61718, 61723, 61729, 61731, 61747, 61753, 61757, 61762, 61779, 61797, 61804, 61807, 61819, 61833, 61837, 61839, 61843, 61856, 61861, 61865, 61868, 61882, 61885, 61892, 61909, 61921, 61927, 61933, 61937, 61942, 61952, 61954, 61956, 61961, 61967, 61977, 61979, 61981, 61987, 62001, 62011, 62017, 62024, 62028, 62041, 62045, 62053, 62056, 62057, 62065, 62066, 62069, 62071, 62079, 62103, 62119, 62129, 62131, 62137, 62141, 62143, 62162, 62163, 62165, 62182, 62189, 62193, 62197, 62201, 62213, 62229, 62233, 62247, 62251, 62253, 62257, 62273, 62276, 62287, 62297, 62299, 62306, 62311, 62319, 62323, 62329, 62344, 62347, 62354, 62362, 62366, 62378, 62383, 62401, 62404, 62413, 62417, 62427, 62428, 62437, 62449, 62473, 62474, 62479, 62485, 62497, 62498, 62500, 62501, 62507, 62528, 62533, 62534, 62539, 62541, 62554, 62563, 62569, 62585, 62596, 62597, 62617, 62632, 62642, 62644, 62649, 62653, 62658, 62659, 62661, 62666, 62668, 62674, 62683, 62701, 62705, 62714, 62719, 62731, 62735, 62737, 62743, 62753, 62761, 62773, 62779, 62786, 62791, 62793, 62794, 62797, 62800, 62801, 62818, 62827, 62845, 62851, 62858, 62861, 62869, 62889, 62892, 62893, 62897, 62903, 62919, 62921, 62932, 62938, 62939, 62943, 62947, 62949, 62956, 62957, 62962, 62969, 62973, 62978, 62981, 62983, 62987, 62989, 63001, 63003, 63007, 63013, 63031, 63034, 63037, 63044, 63057, 63062, 63067, 63073, 63079, 63082, 63086, 63091, 63092, 63103, 63113, 63117, 63125, 63127, 63131, 63134, 63144, 63146, 63148, 63149, 63185, 63188, 63197, 63201, 63202, 63207, 63211, 63241, 63243, 63244, 63247, 63254, 63268, 63277, 63281, 63311, 63313, 63314, 63317, 63331, 63337, 63343, 63347, 63353, 63361, 63363, 63367, 63368, 63369, 63377, 63389, 63391, 63397, 63409, 63421, 63429, 63433, 63442, 63443, 63446, 63463, 63464, 63467, 63469, 63482, 63489, 63493, 63507, 63508, 63521, 63533, 63541, 63553, 63573, 63577, 63579, 63583, 63586, 63589, 63601, 63604, 63605, 63617, 63628, 63633, 63634, 63637, 63649, 63652, 63667, 63689, 63691, 63697, 63703, 63704, 63709, 63721, 63738, 63747, 63751, 63761, 63773, 63781, 63785, 63793, 63799, 63803, 63808, 63815, 63817, 63823, 63831, 63841, 63845, 63847, 63849, 63853, 63857, 63883, 63892, 63901, 63907, 63913, 63931, 63939, 63944, 63946, 63949, 63962, 63964, 63969, 63977, 63997, 64009, 64013, 64018, 64021, 64023, 64026, 64027, 64033, 64037, 64058, 64072, 64081, 64082, 64087, 64089, 64099, 64102, 64111, 64114, 64123, 64127, 64129, 64136, 64138, 64145, 64153, 64157, 64171, 64173, 64179, 64181, 64187, 64189, 64191, 64205, 64213, 64228, 64237, 64244, 64265, 64267, 64276, 64282, 64283, 64303, 64309, 64327, 64333, 64341, 64346, 64352, 64373, 64378, 64381, 64406, 64409, 64417, 64424, 64433, 64443, 64451, 64466, 64474, 64479, 64483, 64485, 64489, 64502, 64513, 64516, 64529, 64551, 64552, 64564, 64569, 64576, 64577, 64579, 64585, 64587, 64591, 64593, 64601, 64613, 64618, 64621, 64627, 64633, 64639, 64642, 64646, 64663, 64667, 64671, 64682, 64687, 64705, 64706, 64711, 64717, 64737, 64742, 64747, 64754, 64767, 64783, 64793, 64800, 64802, 64807, 64808, 64811, 64817, 64822, 64827, 64831, 64835, 64839, 64849, 64858, 64861, 64877, 64882, 64886, 64891, 64901, 64909, 64917, 64934, 64936, 64937, 64939, 64951, 64962, 64969, 64971, 64982, 64983, 64984, 64994, 64997, 65003, 65011, 65015, 65019, 65029, 65033, 65034, 65041, 65053, 65061, 65062, 65063, 65066, 65068, 65089, 65092, 65101, 65103, 65111, 65115, 65122, 65138, 65143, 65146, 65147, 65167, 65173, 65174, 65179, 65185, 65187, 65200, 65203, 65209, 65234, 65242, 65253, 65257, 65269, 65271, 65287, 65293, 65309, 65315, 65316, 65319, 65323, 65332, 65336, 65353, 65357, 65359, 65371, 65381, 65385, 65401, 65402, 65413, 65419, 65426, 65432, 65437, 65451, 65461, 65463, 65465, 65476, 65497, 65498, 65521, 65522, 65523, 65533, 65536, 65537, 65539, 65542, 65543, 65551, 65557, 65558, 65563, 65572, 65574, 65587, 65594, 65613, 65617, 65629, 65633, 65651, 65657, 65666, 65668, 65672, 65677, 65707, 65713, 65717, 65719, 65729, 65731, 65732, 65738, 65761, 65768, 65781, 65797, 65809, 65812, 65821, 65829, 65833, 65834, 65837, 65839, 65851, 65864, 65867, 65881, 65882, 65883, 65885, 65899, 65908, 65911, 65921, 65924, 65929, 65942, 65947, 65954, 65957, 65971, 65972, 65973, 65981, 65983, 65997, 66001, 66009, 66031, 66039, 66043, 66049, 66050, 66067, 66071, 66073, 66074, 66081, 66085, 66089, 66097, 66103, 66106, 66109, 66114, 66137, 66139, 66146, 66152, 66153, 66161, 66169, 66173, 66179, 66181, 66182, 66186, 66193, 66199, 66211, 66226, 66245, 66248, 66250, 66268, 66279, 66292, 66301, 66313, 66322, 66333, 66337, 66339, 66343, 66344, 66346, 66349, 66361, 66362, 66369, 66373, 66376, 66377, 66387, 66391, 66412, 66413, 66438)
var table = Hash()
ARGF.each{|line|
if (line =~ /^a\((\d+)\) <= (\d+)/) { |m|
var n = m[0]
var k = m[1].to_i
if (!table.has(n)) {
table{n} = k
}
if (k < table{n}) {
table{n} = k
}
}
}
for n in (table.keys.map{.to_i}.sort) {
next if (easy.has(n))
next if (n > table{n}) # ignore trivial solutions
say "a(#{n}) <= #{table{n}}"
}