/* * This file contains the list of all prime H-thick knots * with up to 13 crossings. * * The data was obtained using A. Shumakovitch's program KhoHo * available from http://www.geometrie.ch/KhoHo */ H_thick_K8 = [19]; H_thick_K9 = [42]; H_thick_K10 = [124, 128, 132, 136, 139, 145, 152, 153, 154, 161]; H_thick_K11n = [6, 9, 12, 19, 20, 24, 27, 31, 34, 38, 39, 42, 45, 49, \ 57, 61, 67, 70, 73, 74, 77, 79, 80, 81, 88, 92, 96, 97, 102, 104, \ 111, 116, 126, 133, 135, 138, 143, 145, 151, 152, 183]; H_thick_K12n = [7, 10, 16, 19, 20, 23, 25, 28, 31, 34, 41, 45, 51, 54, \ 56, 57, 59, 63, 65, 67, 68, 82, 87, 89, 91, 93, 96, 102, 105, 110, \ 115, 118, 119, 120, 121, 124, 129, 132, 134, 136, 138, 141, 143, \ 148, 149, 153, 156, 172, 175, 179, 184, 187, 192, 195, 198, 199, \ 200, 203, 207, 210, 214, 217, 218, 220, 221, 225, 228, 229, 230, \ 231, 232, 242, 243, 244, 251, 256, 257, 258, 260, 264, 265, 267, \ 268, 273, 276, 279, 282, 292, 293, 309, 310, 313, 314, 318, 321, \ 322, 328, 329, 332, 336, 346, 349, 351, 352, 354, 355, 362, 366, \ 368, 370, 371, 374, 377, 382, 386, 387, 394, 398, 402, 403, 404, \ 411, 417, 418, 419, 423, 425, 426, 430, 432, 433, 436, 437, 438, \ 439, 442, 446, 449, 456, 457, 464, 472, 473, 475, 483, 487, 488, \ 495, 499, 502, 503, 518, 519, 523, 526, 528, 535, 549, 552, 554, \ 558, 574, 575, 579, 591, 594, 601, 603, 605, 617, 624, 629, 630, \ 634, 638, 639, 640, 642, 644, 647, 648, 650, 655, 660, 665, 670, \ 672, 673, 676, 679, 680, 681, 688, 689, 690, 691, 692, 693, 694, \ 696, 697, 725, 739, 749, 750, 764, 801, 808, 809, 810, 812, 815, \ 830, 835, 850, 851, 868, 870, 888]; H_thick_K13n = [4, 7, 19, 24, 26, 29, 31, 33, 36, 40, 43, 46, 51, 56, \ 59, 60, 61, 62, 65, 68, 71, 74, 76, 79, 81, 83, 86, 90, 93, 99, \ 113, 116, 120, 125, 128, 133, 136, 139, 140, 141, 144, 148, 151, \ 155, 158, 159, 161, 162, 164, 168, 172, 173, 175, 176, 180, 182, \ 192, 193, 194, 201, 206, 207, 208, 210, 214, 215, 217, 227, 228, \ 233, 234, 237, 241, 246, 247, 250, 266, 269, 270, 273, 286, 287, \ 292, 293, 296, 300, 305, 307, 309, 312, 315, 318, 320, 322, 325, \ 326, 330, 332, 335, 338, 339, 345, 347, 348, 352, 354, 358, 360, \ 363, 366, 369, 372, 375, 378, 383, 388, 391, 396, 397, 400, 405, \ 407, 409, 412, 413, 414, 417, 419, 420, 421, 429, 430, 431, 433, \ 440, 441, 445, 446, 449, 450, 453, 456, 459, 462, 467, 468, 469, \ 472, 475, 478, 481, 484, 487, 490, 493, 496, 499, 500, 501, 504, \ 509, 510, 514, 516, 517, 521, 523, 524, 526, 528, 531, 533, 536, \ 539, 542, 543, 545, 547, 548, 551, 554, 557, 560, 564, 567, 571, \ 572, 573, 574, 577, 586, 588, 592, 593, 596, 601, 604, 611, 612, \ 616, 621, 624, 627, 628, 631, 641, 651, 652, 661, 664, 669, 689, \ 690, 694, 697, 700, 709, 715, 716, 724, 727, 729, 730, 731, 737, \ 739, 741, 743, 746, 751, 756, 761, 765, 766, 768, 770, 773, 776, \ 780, 783, 786, 789, 790, 792, 793, 795, 797, 800, 803, 809, 814, \ 818, 821, 826, 827, 833, 835, 839, 840, 845, 848, 851, 853, 856, \ 857, 860, 863, 866, 871, 872, 876, 880, 882, 883, 886, 888, 894, \ 897, 901, 906, 909, 911, 912, 917, 922, 925, 930, 931, 936, 939, \ 942, 945, 948, 951, 952, 954, 955, 958, 959, 961, 963, 964, 966, \ 968, 971, 973, 975, 978, 979, 981, 982, 983, 985, 986, 988, 993, \ 996, 999, 1001, 1002, 1003, 1007, 1010, 1013, 1016, 1019, 1021, \ 1026, 1027, 1029, 1033, 1034, 1038, 1041, 1045, 1048, 1051, 1052, \ 1054, 1057, 1059, 1060, 1062, 1065, 1069, 1071, 1073, 1074, 1076, \ 1078, 1081, 1083, 1087, 1090, 1093, 1096, 1097, 1099, 1102, 1104, \ 1105, 1106, 1107, 1110, 1112, 1113, 1114, 1115, 1118, 1121, 1122, \ 1123, 1124, 1125, 1127, 1128, 1133, 1134, 1153, 1154, 1155, 1164, \ 1165, 1166, 1167, 1169, 1176, 1177, 1181, 1182, 1187, 1199, 1206, \ 1216, 1218, 1222, 1223, 1226, 1231, 1236, 1237, 1238, 1242, 1245, \ 1246, 1248, 1251, 1256, 1261, 1262, 1266, 1269, 1270, 1275, 1276, \ 1279, 1281, 1282, 1286, 1287, 1291, 1294, 1296, 1297, 1298, 1299, \ 1301, 1304, 1306, 1307, 1309, 1313, 1314, 1316, 1320, 1323, 1327, \ 1330, 1331, 1335, 1337, 1340, 1341, 1344, 1345, 1348, 1350, 1351, \ 1352, 1354, 1357, 1363, 1366, 1371, 1372, 1376, 1377, 1379, 1380, \ 1381, 1384, 1385, 1386, 1387, 1388, 1389, 1391, 1392, 1400, 1406, \ 1411, 1416, 1421, 1426, 1427, 1434, 1435, 1437, 1441, 1445, 1453, \ 1456, 1467, 1469, 1474, 1477, 1488, 1495, 1496, 1501, 1504, 1505, \ 1508, 1510, 1517, 1520, 1521, 1526, 1528, 1529, 1533, 1534, 1535, \ 1541, 1545, 1550, 1552, 1571, 1576, 1585, 1588, 1589, 1591, 1607, \ 1612, 1614, 1616, 1617, 1618, 1621, 1623, 1625, 1629, 1636, 1639, \ 1645, 1646, 1647, 1651, 1653, 1655, 1658, 1661, 1666, 1671, 1674, \ 1675, 1678, 1683, 1685, 1687, 1688, 1690, 1694, 1697, 1700, 1703, \ 1708, 1715, 1717, 1720, 1732, 1733, 1734, 1736, 1739, 1743, 1746, \ 1756, 1757, 1760, 1768, 1774, 1777, 1778, 1779, 1780, 1781, 1782, \ 1784, 1785, 1788, 1792, 1795, 1799, 1803, 1805, 1807, 1810, 1814, \ 1815, 1816, 1821, 1822, 1830, 1833, 1838, 1840, 1848, 1849, 1851, \ 1857, 1861, 1864, 1868, 1870, 1872, 1873, 1874, 1879, 1885, 1886, \ 1888, 1897, 1899, 1906, 1907, 1909, 1911, 1912, 1915, 1919, 1923, \ 1926, 1927, 1928, 1930, 1936, 1937, 1939, 1940, 1944, 1948, 1949, \ 1953, 1954, 1957, 1958, 1961, 1963, 1964, 1965, 1973, 1977, 1978, \ 1987, 1995, 1999, 2002, 2003, 2004, 2009, 2010, 2011, 2013, 2014, \ 2015, 2016, 2019, 2022, 2024, 2031, 2032, 2033, 2038, 2039, 2047, \ 2051, 2066, 2067, 2069, 2073, 2075, 2078, 2079, 2084, 2087, 2093, \ 2094, 2095, 2104, 2110, 2113, 2114, 2117, 2120, 2122, 2126, 2127, \ 2130, 2132, 2134, 2135, 2137, 2140, 2142, 2144, 2148, 2149, 2150, \ 2156, 2157, 2163, 2164, 2169, 2173, 2180, 2181, 2182, 2186, 2188, \ 2194, 2200, 2201, 2204, 2205, 2206, 2209, 2210, 2212, 2215, 2217, \ 2219, 2220, 2222, 2226, 2230, 2233, 2234, 2235, 2237, 2239, 2240, \ 2248, 2249, 2250, 2255, 2256, 2259, 2266, 2267, 2271, 2272, 2276, \ 2279, 2280, 2282, 2283, 2286, 2288, 2295, 2296, 2299, 2300, 2301, \ 2304, 2305, 2308, 2312, 2314, 2333, 2337, 2338, 2343, 2344, 2354, \ 2364, 2368, 2376, 2381, 2390, 2391, 2392, 2400, 2401, 2405, 2408, \ 2409, 2411, 2415, 2419, 2422, 2425, 2439, 2443, 2445, 2450, 2452, \ 2454, 2458, 2462, 2466, 2471, 2475, 2480, 2485, 2490, 2492, 2504, \ 2508, 2513, 2522, 2526, 2527, 2528, 2532, 2533, 2537, 2538, 2539, \ 2557, 2559, 2561, 2565, 2566, 2568, 2569, 2570, 2571, 2577, 2587, \ 2592, 2599, 2600, 2601, 2608, 2611, 2613, 2618, 2621, 2622, 2625, \ 2632, 2635, 2638, 2640, 2645, 2648, 2650, 2651, 2656, 2660, 2681, \ 2683, 2685, 2695, 2698, 2704, 2705, 2708, 2710, 2711, 2714, 2715, \ 2719, 2725, 2728, 2732, 2733, 2734, 2735, 2738, 2740, 2756, 2757, \ 2769, 2778, 2783, 2784, 2790, 2794, 2798, 2800, 2801, 2803, 2807, \ 2809, 2810, 2812, 2815, 2818, 2819, 2826, 2828, 2846, 2848, 2856, \ 2872, 2881, 2884, 2886, 2897, 2899, 2906, 2911, 2912, 2917, 2918, \ 2920, 2922, 2923, 2926, 2930, 2934, 2935, 2938, 2940, 2943, 2950, \ 2951, 2954, 2957, 2968, 2969, 2976, 2977, 2978, 2979, 2984, 2985, \ 2992, 2995, 2999, 3000, 3001, 3011, 3014, 3017, 3023, 3024, 3026, \ 3028, 3041, 3044, 3052, 3053, 3054, 3055, 3061, 3067, 3071, 3074, \ 3077, 3080, 3082, 3084, 3085, 3086, 3088, 3096, 3098, 3106, 3111, \ 3114, 3115, 3135, 3149, 3158, 3162, 3163, 3166, 3167, 3168, 3169, \ 3173, 3181, 3183, 3190, 3192, 3197, 3214, 3232, 3234, 3238, 3242, \ 3244, 3247, 3256, 3257, 3264, 3265, 3272, 3285, 3287, 3293, 3297, \ 3301, 3303, 3315, 3337, 3343, 3346, 3348, 3350, 3354, 3355, 3356, \ 3363, 3364, 3371, 3383, 3390, 3393, 3394, 3402, 3404, 3406, 3410, \ 3413, 3415, 3416, 3421, 3428, 3429, 3431, 3443, 3451, 3457, 3463, \ 3466, 3469, 3474, 3477, 3479, 3480, 3484, 3489, 3490, 3491, 3492, \ 3493, 3494, 3496, 3501, 3503, 3510, 3511, 3513, 3517, 3518, 3524, \ 3526, 3529, 3541, 3542, 3544, 3545, 3546, 3547, 3548, 3554, 3555, \ 3556, 3567, 3571, 3573, 3577, 3578, 3580, 3581, 3582, 3587, 3588, \ 3589, 3596, 3601, 3602, 3603, 3605, 3610, 3611, 3624, 3630, 3633, \ 3635, 3641, 3642, 3643, 3646, 3658, 3660, 3661, 3662, 3663, 3665, \ 3668, 3673, 3674, 3677, 3680, 3686, 3687, 3690, 3693, 3696, 3698, \ 3699, 3702, 3706, 3718, 3723, 3725, 3726, 3727, 3734, 3737, 3738, \ 3739, 3741, 3742, 3744, 3745, 3747, 3748, 3750, 3751, 3752, 3753, \ 3756, 3759, 3760, 3761, 3762, 3763, 3764, 3765, 3766, 3767, 3768, \ 3769, 3770, 3772, 3773, 3775, 3776, 3778, 3779, 3781, 3782, 3783, \ 3797, 3800, 3802, 3803, 3805, 3808, 3809, 3811, 3812, 3814, 3815, \ 3817, 3818, 3819, 3820, 3821, 3825, 3826, 3827, 3828, 3830, 3831, \ 3832, 3833, 3834, 3835, 3837, 3838, 3840, 3841, 3842, 3843, 3844, \ 3845, 3846, 3847, 3848, 3850, 3851, 3853, 3854, 3855, 3856, 3857, \ 3858, 3859, 3861, 3862, 3863, 3864, 3865, 3870, 3871, 3872, 3873, \ 3874, 3885, 3886, 3887, 3888, 3889, 3892, 3893, 3894, 3895, 3896, \ 3897, 3898, 3899, 3900, 3901, 3902, 3904, 3905, 3910, 3911, 3912, \ 3914, 3915, 3916, 3917, 3919, 3920, 3921, 3923, 3924, 3925, 3928, \ 3930, 3931, 3932, 3933, 3934, 3935, 3936, 3937, 3938, 3939, 3940, \ 3941, 3950, 3951, 3953, 3960, 3962, 3963, 3964, 3965, 3971, 3972, \ 3975, 3979, 3980, 3981, 3982, 3997, 3998, 4001, 4002, 4004, 4007, \ 4010, 4013, 4024, 4028, 4032, 4034, 4036, 4044, 4049, 4053, 4056, \ 4058, 4079, 4080, 4084, 4085, 4104, 4105, 4106, 4112, 4115, 4116, \ 4124, 4127, 4132, 4138, 4142, 4147, 4157, 4174, 4178, 4190, 4205, \ 4206, 4228, 4238, 4241, 4242, 4253, 4254, 4257, 4258, 4283, 4286, \ 4296, 4298, 4304, 4316, 4317, 4324, 4332, 4340, 4356, 4368, 4373, \ 4374, 4375, 4377, 4378, 4379, 4384, 4385, 4389, 4390, 4391, 4394, \ 4395, 4396, 4414, 4418, 4420, 4424, 4428, 4446, 4462, 4464, 4466, \ 4472, 4475, 4479, 4486, 4487, 4497, 4516, 4522, 4524, 4539, 4558, \ 4569, 4571, 4572, 4573, 4574, 4575, 4578, 4579, 4582, 4587, 4589, \ 4591, 4592, 4595, 4606, 4607, 4613, 4620, 4625, 4628, 4629, 4633, \ 4634, 4635, 4638, 4639, 4640, 4641, 4643, 4653, 4696, 4708, 4713, \ 4716, 4720, 4723, 4726, 4737, 4738, 4742, 4755, 4766, 4776, 4802, \ 4804, 4806, 4828, 4859, 4908, 4934, 4943, 4946, 4951, 4968, 4974, \ 5013, 5016, 5017, 5018, 5019, 5020, 5023, 5025, 5027, 5031, 5034, \ 5043, 5046, 5062, 5064, 5106];