/*
 * This file contains the list of all prime T-thick knots
 * with up to 13 crossings.
 *
 * The data was obtained using A. Shumakovitch's program KhoHo
 * available from http://www.geometrie.ch/KhoHo
 */

T_thick_K8 = [19];

T_thick_K10 = [124, 128, 139, 152, 154, 161];

T_thick_K11n = [9, 27, 57, 61, 77, 81, 88, 104, 126, 133, 183];

T_thick_K12n = [59, 67, 68, 89, 91, 93, 105, 110, 134, 136, 138, 153,  \
     156, 172, 187, 207, 217, 220, 228, 229, 242, 243, 244, 251, 292,  \
     328, 329, 366, 368, 374, 386, 387, 417, 418, 419, 425, 426, 472,  \
     473, 502, 503, 518, 528, 574, 575, 591, 594, 603, 624, 639, 640,  \
     647, 648, 655, 660, 679, 680, 688, 689, 691, 692, 693, 694, 696,  \
     725, 749, 750, 830, 850, 851, 888];

T_thick_K13n = [26, 29, 56, 59, 76, 79, 133, 151, 155, 207, 241, 246,  \
     247, 266, 270, 300, 305, 332, 335, 354, 378, 383, 409, 421, 429,  \
     433, 504, 516, 528, 564, 588, 593, 596, 601, 604, 616, 621, 624,  \
     627, 631, 641, 651, 652, 661, 664, 669, 689, 690, 694, 697, 709,  \
     716, 724, 730, 731, 739, 766, 770, 773, 776, 792, 818, 833, 853,  \
     883, 897, 930, 952, 958, 961, 981, 982, 983, 986, 1029, 1052, 1060,  \
     1065, 1081, 1093, 1097, 1104, 1105, 1106, 1110, 1125, 1153, 1154,  \
     1155, 1164, 1165, 1166, 1167, 1169, 1176, 1182, 1187, 1199, 1206,  \
     1216, 1222, 1248, 1256, 1261, 1266, 1291, 1294, 1299, 1301, 1320,  \
     1323, 1327, 1380, 1381, 1384, 1385, 1386, 1416, 1421, 1426, 1427,  \
     1437, 1453, 1477, 1504, 1510, 1517, 1520, 1528, 1533, 1534, 1535,  \
     1571, 1591, 1636, 1655, 1685, 1703, 1768, 1778, 1779, 1782, 1784,  \
     1788, 1795, 1838, 1851, 1906, 1907, 1912, 1928, 1937, 1954, 1961,  \
     1963, 1973, 1977, 1978, 1987, 2016, 2019, 2031, 2038, 2110, 2113,  \
     2114, 2130, 2132, 2144, 2200, 2204, 2219, 2234, 2354, 2364, 2368,  \
     2390, 2391, 2392, 2405, 2409, 2452, 2490, 2492, 2504, 2561, 2601,  \
     2608, 2708, 2710, 2711, 2714, 2725, 2732, 2756, 2790, 2803, 2807,  \
     2809, 2818, 2819, 2848, 2856, 2886, 2897, 2899, 2917, 2918, 2920,  \
     2978, 2999, 3000, 3001, 3026, 3053, 3054, 3061, 3071, 3086, 3106,  \
     3111, 3114, 3166, 3168, 3256, 3293, 3303, 3337, 3350, 3354, 3355,  \
     3364, 3390, 3404, 3406, 3480, 3484, 3489, 3490, 3491, 3493, 3581,  \
     3587, 3588, 3603, 3611, 3633, 3635, 3642, 3643, 3663, 3673, 3680,  \
     3686, 3696, 3698, 3734, 3737, 3738, 3742, 3748, 3753, 3756, 3763,  \
     3773, 3779, 3814, 3815, 3837, 3838, 3840, 3841, 3854, 3910, 3911,  \
     3914, 3960, 3964, 3998, 4013, 4053, 4116, 4124, 4138, 4174, 4178,  \
     4228, 4242, 4254, 4296, 4368, 4374, 4375, 4385, 4394, 4418, 4569,  \
     4573, 4579, 4587, 4589, 4625, 4633, 4635, 4639, 4640, 4641, 4708,  \
     4742, 4804, 4908, 4943, 4946, 5013, 5016, 5018, 5020, 5023, 5027,  \
     5043, 5064, 5106];