Added PTE solution data for sizes 5, 7 and 8

2022-09-09 11:16:12 -07:00 · 2022-09-09 11:16:12 -07:00 · f1b9a52750
--- a/pte_sieve/pte_solutions/solution_data.py
+++ b/pte_sieve/pte_solutions/solution_data.py
@ -24,6 +24,59 @@ solutions['size-4'] = [
 [[0, 48, 55, 103], [15, 15, 88, 88], 1]
 ]
 # Solutions of size 5:
 solutions['size-5'] = [
 [[0, 4, 8, 16, 17], [1, 2, 10, 14, 18], 1] ,
 [[0, 6, 8, 17, 19], [1, 3, 12, 14, 20], 1] ,
 [[0, 9, 13, 26, 32], [2, 4, 20, 21, 33], 0] ,
 [[0, 6, 19, 37, 38], [2, 3, 21, 34, 40], 1] ,
 [[0, 8, 34, 66, 67], [3, 4, 36, 62, 70], 1] ,
 [[0, 10, 53, 103, 104], [4, 5, 55, 98, 108], 1] ,
 [[0, 31, 49, 87, 113], [3, 21, 64, 77, 115], 0] ,
 [[0, 12, 76, 148, 149], [5, 6, 78, 142, 154], 1] ,
 [[0, 14, 103, 201, 202], [6, 7, 105, 194, 208], 1] ,
 [[0, 16, 134, 262, 263], [7, 8, 136, 254, 270], 1] ,
 [[0, 18, 169, 331, 332], [8, 9, 171, 322, 340], 1] ,
 [[0, 20, 208, 408, 409], [9, 10, 210, 398, 418], 1] ,
 [[0, 22, 251, 493, 494], [10, 11, 253, 482, 504], 1] ,
 [[0, 24, 298, 586, 587], [11, 12, 300, 574, 598], 1] ,
 [[0, 26, 349, 687, 688], [12, 13, 351, 674, 700], 1] ,
 [[0, 28, 404, 796, 797], [13, 14, 406, 782, 810], 1] ,
 [[0, 30, 463, 913, 914], [14, 15, 465, 898, 928], 1] ,
 [[0, 120, 240, 480, 510], [30, 60, 300, 420, 540], 1] ,
 [[0, 32, 526, 1038, 1039], [15, 16, 528, 1022, 1054], 1] ,
 [[0, 34, 593, 1171, 1172], [16, 17, 595, 1154, 1188], 1] ,
 [[0, 36, 664, 1312, 1313], [17, 18, 666, 1294, 1330], 1] ,
 [[0, 38, 739, 1461, 1462], [18, 19, 741, 1442, 1480], 1] ,
 [[0, 40, 818, 1618, 1619], [19, 20, 820, 1598, 1638], 1] ,
 [[0, 42, 901, 1783, 1784], [20, 21, 903, 1762, 1804], 1] ,
 [[0, 44, 988, 1956, 1957], [21, 22, 990, 1934, 1978], 1] ,
 [[0, 46, 1079, 2137, 2138], [22, 23, 1081, 2114, 2160], 1] ,
 [[0, 270, 390, 780, 960], [60, 120, 600, 630, 990], 0] ,
 [[0, 48, 1174, 2326, 2327], [23, 24, 1176, 2302, 2350], 1] ,
 [[0, 50, 1273, 2523, 2524], [24, 25, 1275, 2498, 2548], 1] ,
 [[0, 52, 1376, 2728, 2729], [25, 26, 1378, 2702, 2754], 1] ,
 [[0, 54, 1483, 2941, 2942], [26, 27, 1485, 2914, 2968], 1] ,
 [[0, 56, 1594, 3162, 3163], [27, 28, 1596, 3134, 3190], 1] ,
 [[0, 58, 1709, 3391, 3392], [28, 29, 1711, 3362, 3420], 1] ,
 [[0, 60, 1828, 3628, 3629], [29, 30, 1830, 3598, 3658], 1] ,
 [[0, 62, 1951, 3873, 3874], [30, 31, 1953, 3842, 3904], 1] ,
 [[0, 64, 2078, 4126, 4127], [31, 32, 2080, 4094, 4158], 1] ,
 [[0, 66, 2209, 4387, 4388], [32, 33, 2211, 4354, 4420], 1] ,
 [[0, 68, 2344, 4656, 4657], [33, 34, 2346, 4622, 4690], 1] ,
 [[0, 70, 2483, 4933, 4934], [34, 35, 2485, 4898, 4968], 1] ,
 [[0, 72, 2626, 5218, 5219], [35, 36, 2628, 5182, 5254], 1] ,
 [[0, 74, 2773, 5511, 5512], [36, 37, 2775, 5474, 5548], 1] ,
 [[0, 76, 2924, 5812, 5813], [37, 38, 2926, 5774, 5850], 1] ,
 [[0, 78, 3079, 6121, 6122], [38, 39, 3081, 6082, 6160], 1] ,
 [[0, 80, 3238, 6438, 6439], [39, 40, 3240, 6398, 6478], 1] ,
 [[0, 82, 3401, 6763, 6764], [40, 41, 3403, 6722, 6804], 1] ,
 [[0, 84, 3568, 7096, 7097], [41, 42, 3570, 7054, 7138], 1] ,
 [[0, 86, 3739, 7437, 7438], [42, 43, 3741, 7394, 7480], 1] ,
 [[0, 88, 3914, 7786, 7787], [43, 44, 3916, 7742, 7830], 1] ,
 [[0, 90, 4093, 8143, 8144], [44, 45, 4095, 8098, 8188], 1]
 ]
 # Solutions of size 6:
 solutions['size-6'] = [
 [[0, 3, 5, 11, 13, 16], [1, 1, 8, 8, 15, 15], 1],
@ -938,6 +991,73 @@ solutions["size-6-1-2-5"] = [
 [[5, 30, 126, 176, 272, 297], [0, 41, 110, 192, 261, 302], 1] 
 ]
 # Solutions of size 7:
 solutions["size-7"] = [
 [[0, 18, 19, 50, 56, 79, 81], [1, 11, 30, 39, 68, 70, 84], 0],
 [[0, 18, 27, 58, 64, 89, 101], [1, 13, 38, 44, 75, 84, 102], 1],
 [[0, 24, 31, 74, 106, 137, 147], [4, 11, 52, 57, 119, 126, 150], 0],
 [[0, 59, 68, 142, 181, 221, 267], [1, 47, 87, 126, 200, 209, 268], 1],
 [[0, 108, 114, 300, 336, 474, 486], [6, 66, 180, 234, 408, 420, 504], 1],
 [[23, 39, 187, 316, 560, 570, 678], [0, 108, 118, 362, 491, 639, 655], 1],
 [[28, 53, 323, 415, 696, 825, 936], [0, 111, 240, 521, 613, 883, 908], 1],
 [[0, 222, 235, 650, 668, 967, 1073], [17, 123, 422, 440, 855, 868, 1090], 1]
 ]
 # Solutions of size 8:
 solutions["size-8"] = [
 [[0, 4, 9, 23, 27, 41, 46, 50], [1, 2, 11, 20, 30, 39, 48, 49], 1],
 [[2, 3, 18, 22, 45, 49, 64, 65], [0, 9, 10, 29, 38, 57, 58, 67], 1],
 [[0, 9, 10, 27, 41, 58, 59, 68], [2, 3, 19, 20, 48, 49, 65, 66], 1],
 [[0, 7, 23, 50, 53, 81, 82, 96], [1, 5, 26, 42, 63, 72, 88, 95], 0],
 [[0, 14, 19, 43, 57, 81, 86, 100], [1, 9, 30, 32, 68, 70, 91, 99], 1],
 [[2, 6, 27, 33, 64, 70, 91, 95], [0, 14, 15, 46, 51, 82, 83, 97], 1],
 [[1, 10, 29, 48, 72, 91, 110, 119], [0, 14, 23, 59, 61, 97, 106, 120], 1],
 [[1, 10, 30, 38, 91, 99, 119, 128], [0, 14, 23, 43, 86, 106, 115, 129], 1],
 [[2, 8, 31, 45, 77, 91, 114, 120], [0, 15, 21, 58, 64, 101, 107, 122], 1],
 [[2, 8, 33, 37, 91, 95, 120, 126], [0, 15, 21, 46, 82, 107, 113, 128], 1],
 [[0, 16, 23, 69, 70, 116, 123, 139], [4, 6, 35, 51, 88, 104, 133, 135], 1],
 [[0, 28, 31, 73, 89, 131, 134, 162], [1, 19, 50, 54, 108, 112, 143, 161], 1],
 [[0, 27, 32, 81, 85, 134, 139, 166], [1, 19, 46, 62, 104, 120, 147, 165], 1],
 [[0, 27, 31, 59, 134, 162, 166, 193], [1, 19, 46, 50, 143, 147, 174, 192], 1],
 [[4, 10, 47, 63, 117, 133, 170, 176], [0, 23, 29, 82, 98, 151, 157, 180], 1],
 [[4, 10, 51, 53, 133, 135, 176, 182], [0, 23, 29, 70, 116, 157, 163, 186], 1],
 [[0, 14, 41, 97, 122, 178, 205, 219], [2, 10, 45, 91, 128, 174, 209, 217], 1],
 [[0, 38, 57, 105, 151, 199, 218, 256], [1, 31, 74, 88, 168, 182, 225, 255], 1],
 [[0, 37, 58, 131, 145, 218, 239, 276], [1, 31, 68, 114, 162, 208, 245, 275], 1],
 [[0, 37, 57, 95, 218, 256, 276, 313], [1, 31, 68, 88, 225, 245, 282, 312], 1],
 [[0, 21, 82, 149, 155, 262, 278, 321], [2, 17, 91, 126, 174, 253, 285, 320], 0],
 [[0, 42, 43, 129, 149, 235, 236, 278], [5, 19, 80, 92, 186, 198, 259, 273], 1],
 [[0, 56, 59, 145, 172, 258, 261, 317], [2, 37, 96, 108, 209, 221, 280, 315], 1],
 [[10, 12, 81, 95, 203, 217, 286, 288], [0, 41, 43, 126, 172, 255, 257, 298], 1],
 [[0, 54, 61, 155, 167, 261, 268, 322], [2, 37, 91, 118, 204, 231, 285, 320], 1],
 [[10, 12, 83, 91, 209, 217, 288, 290], [0, 41, 43, 122, 178, 257, 259, 300], 1],
 [[0, 29, 54, 147, 163, 256, 281, 310], [9, 11, 72, 120, 190, 238, 299, 301], 1],
 [[0, 54, 59, 115, 261, 317, 322, 376], [2, 37, 91, 96, 280, 285, 339, 374], 1],
 [[0, 59, 74, 157, 205, 288, 303, 362], [2, 43, 114, 117, 245, 248, 319, 360], 1],
 [[5, 24, 87, 130, 216, 259, 322, 341], [0, 42, 61, 167, 179, 285, 304, 346], 1],
 [[5, 24, 92, 106, 259, 273, 341, 360], [0, 42, 61, 129, 236, 304, 323, 365], 1],
 [[0, 57, 76, 188, 191, 303, 322, 379], [2, 43, 100, 148, 231, 279, 336, 377], 1],
 [[0, 57, 74, 133, 303, 362, 379, 436], [2, 43, 100, 117, 319, 336, 393, 434], 1],
 [[0, 64, 87, 173, 236, 322, 345, 409], [2, 49, 124, 136, 273, 285, 360, 407], 1],
 [[0, 62, 89, 211, 223, 345, 372, 434], [2, 49, 111, 174, 260, 323, 385, 432], 1],
 [[11, 20, 109, 138, 272, 301, 390, 399], [0, 54, 63, 181, 229, 347, 356, 410], 1],
 [[0, 62, 87, 151, 345, 409, 434, 496], [2, 49, 111, 136, 360, 385, 447, 494], 1],
 [[11, 20, 118, 120, 299, 301, 399, 408], [0, 54, 63, 163, 256, 356, 365, 419], 1],
 [[0, 67, 82, 206, 259, 383, 398, 465], [6, 38, 143, 145, 320, 322, 427, 459], 1],
 [[2, 58, 143, 185, 342, 384, 469, 525], [0, 69, 118, 210, 317, 409, 458, 527], 1],
 [[0, 86, 103, 227, 289, 413, 430, 516], [3, 61, 164, 166, 350, 352, 455, 513], 1],
 [[15, 19, 120, 182, 306, 368, 469, 473], [0, 53, 82, 239, 249, 406, 435, 488], 1],
 [[0, 83, 106, 267, 269, 430, 453, 536], [3, 61, 144, 206, 330, 392, 475, 533], 1],
 [[2, 60, 141, 259, 351, 469, 550, 608], [0, 69, 127, 284, 326, 483, 541, 610], 1],
 [[0, 83, 103, 189, 430, 516, 536, 619], [3, 61, 144, 164, 455, 475, 558, 616], 1],
 [[2, 60, 143, 199, 469, 525, 608, 666], [0, 69, 127, 210, 458, 541, 599, 668], 1],
 [[6, 44, 139, 221, 345, 427, 522, 560], [0, 67, 105, 282, 284, 461, 499, 566], 1],
 [[0, 71, 86, 263, 277, 454, 469, 540], [13, 29, 144, 190, 350, 396, 511, 527], 1],
 [[6, 44, 145, 177, 427, 459, 560, 598], [0, 67, 105, 206, 398, 499, 537, 604], 1],
 [[0, 83, 128, 254, 361, 487, 532, 615], [4, 62, 175, 207, 408, 440, 553, 611], 1],
 [[3, 35, 144, 306, 418, 580, 689, 721], [0, 41, 138, 315, 409, 586, 683, 724], 1]
 ]
 # Solutions of size 10:
 solutions["size-10"] = [
 [[0, 12, 125, 213, 214, 412, 413, 501, 614, 626],