Liste de triplets de Pythagore

Définitions

Un triplet de nombres entiers positifs [a, b, c] est appelé triplet pythagoricien si et seulement si a² + b² = c².

Le triplet pythagoricien [a, b, c] est appelé irréductible ou primitif si et seulement si le triplet ne possède pas de diviseur commun. Par exemple [6, 8, 10] n'est pas irréductible, tandis que [3, 4, 5] l'est.

Algorithme

n:99; for p:2 thru n do ( for q:1 thru p-1 do ( if (mod(p,2)=0 and mod(q,2)=1) or (mod(p,2)=1 and mod(q,2)=0) then if gcd(p,q)=1 then print ([p^2-q^2, 2*p*q, p^2+q^2]) ) )

Les triplets [a, b, c]sont ensuite ordonnés comme suit:

• dans les triplets, a, b, c sont en ordre croissant;
• la liste des triplets est ordonnée selon l'ordre croissant des valeurs de c;
• les triplets de même valeur de c sont ordonnés selon l'ordre croissant des valeurs de a.

Liste de 2000 triplets irréductibles

Le symbole & relie deux triplets dont les valeurs de c sont égales.

[3, 4, 5],   [5, 12, 13],   [8, 15, 17],   [7, 24, 25],   [20, 21, 29],   [12, 35, 37],   [9, 40, 41],   [28, 45, 53],   [11, 60, 61],   [16, 63, 65] & [33, 56, 65],   [48, 55, 73],   [13, 84, 85] & [36, 77, 85],   [39, 80, 89],   [65, 72, 97],   [20, 99, 101],   [60, 91, 109],   [15, 112, 113],   [44, 117, 125],   [88, 105, 137],   [17, 144, 145] & [24, 143, 145],   [51, 140, 149],   [85, 132, 157],   [119, 120, 169],   [52, 165, 173],   [19, 180, 181],   [57, 176, 185] & [104, 153, 185],   [95, 168, 193],   [28, 195, 197],   [84, 187, 205] & [133, 156, 205],   [21, 220, 221] & [140, 171, 221],   [60, 221, 229],   [105, 208, 233],   [120, 209, 241],   [32, 255, 257],   [23, 264, 265] & [96, 247, 265],   [69, 260, 269],   [115, 252, 277],   [160, 231, 281],   [161, 240, 289],   [68, 285, 293],   [136, 273, 305] & [207, 224, 305],   [25, 312, 313],   [75, 308, 317],   [36, 323, 325] & [204, 253, 325],   [175, 288, 337],   [180, 299, 349],   [225, 272, 353],   [27, 364, 365] & [76, 357, 365],   [252, 275, 373],   [135, 352, 377] & [152, 345, 377],   [189, 340, 389],   [228, 325, 397],   [40, 399, 401],   [120, 391, 409],   [29, 420, 421],   [87, 416, 425] & [297, 304, 425],   [145, 408, 433],   [84, 437, 445] & [203, 396, 445],   [280, 351, 449],   [168, 425, 457],   [261, 380, 461],   [31, 480, 481] & [319, 360, 481],   [44, 483, 485] & [93, 476, 485],   [132, 475, 493] & [155, 468, 493],   [217, 456, 505] & [336, 377, 505],   [220, 459, 509],   [279, 440, 521],   [92, 525, 533] & [308, 435, 533],   [341, 420, 541],   [33, 544, 545] & [184, 513, 545],   [165, 532, 557],   [276, 493, 565] & [396, 403, 565],   [231, 520, 569],   [48, 575, 577],   [368, 465, 593],   [240, 551, 601],   [35, 612, 613],   [105, 608, 617],   [336, 527, 625],   [100, 621, 629] & [429, 460, 629],   [200, 609, 641],   [315, 572, 653],   [300, 589, 661],   [385, 552, 673],   [52, 675, 677],   [37, 684, 685] & [156, 667, 685],   [111, 680, 689] & [400, 561, 689],   [185, 672, 697] & [455, 528, 697],   [260, 651, 701],   [259, 660, 709],   [333, 644, 725] & [364, 627, 725],   [108, 725, 733],   [216, 713, 745] & [407, 624, 745],   [468, 595, 757],   [39, 760, 761],   [481, 600, 769],   [195, 748, 773],   [56, 783, 785] & [273, 736, 785],   [168, 775, 793] & [432, 665, 793],   [555, 572, 797],   [280, 759, 809],   [429, 700, 821],   [540, 629, 829],   [41, 840, 841],   [116, 837, 845] & [123, 836, 845],   [205, 828, 853],   [232, 825, 857],   [287, 816, 865] & [504, 703, 865],   [348, 805, 877],   [369, 800, 881],   [60, 899, 901] & [451, 780, 901],   [464, 777, 905] & [616, 663, 905],   [43, 924, 925] & [533, 756, 925],   [129, 920, 929],   [215, 912, 937],   [580, 741, 941],   [301, 900, 949] & [420, 851, 949],   [615, 728, 953],   [124, 957, 965] & [387, 884, 965],   [248, 945, 977],   [473, 864, 985] & [696, 697, 985],   [372, 925, 997],   [559, 840, 1009],   [45, 1012, 1013],   [660, 779, 1021],   [64, 1023, 1025] & [496, 897, 1025],   [192, 1015, 1033],   [315, 988, 1037] & [645, 812, 1037],   [320, 999, 1049],   [620, 861, 1061],   [731, 780, 1069],   [448, 975, 1073] & [495, 952, 1073],   [132, 1085, 1093],   [585, 928, 1097],   [47, 1104, 1105] & [264, 1073, 1105] & [576, 943, 1105] & [744, 817, 1105],   [141, 1100, 1109],   [235, 1092, 1117],   [329, 1080, 1129],   [423, 1064, 1145] & [704, 903, 1145],   [528, 1025, 1153],   [68, 1155, 1157] & [765, 868, 1157],   [204, 1147, 1165] & [517, 1044, 1165],   [340, 1131, 1181],   [611, 1020, 1189] & [660, 989, 1189],   [832, 855, 1193],   [49, 1200, 1201],   [147, 1196, 1205] & [476, 1107, 1205],   [245, 1188, 1213],   [705, 992, 1217],   [140, 1221, 1229],   [612, 1075, 1237],   [280, 1209, 1241] & [441, 1160, 1241],   [799, 960, 1249],   [420, 1189, 1261] & [539, 1140, 1261],   [748, 1035, 1277],   [637, 1116, 1285] & [893, 924, 1285],   [560, 1161, 1289],   [72, 1295, 1297],   [51, 1300, 1301],   [255, 1288, 1313] & [735, 1088, 1313],   [360, 1271, 1321],   [357, 1276, 1325] & [884, 987, 1325],   [504, 1247, 1345] & [833, 1056, 1345],   [561, 1240, 1361],   [840, 1081, 1369],   [148, 1365, 1373],   [931, 1020, 1381],   [296, 1353, 1385] & [663, 1216, 1385],   [53, 1404, 1405] & [444, 1333, 1405],   [159, 1400, 1409],   [265, 1392, 1417] & [792, 1175, 1417],   [371, 1380, 1429],   [592, 1305, 1433],   [76, 1443, 1445] & [477, 1364, 1445],   [228, 1435, 1453],   [583, 1344, 1465] & [936, 1127, 1465],   [380, 1419, 1469] & [740, 1269, 1469],   [969, 1120, 1481],   [689, 1320, 1489],   [532, 1395, 1493],   [55, 1512, 1513] & [888, 1225, 1513],   [165, 1508, 1517] & [795, 1292, 1517],   [156, 1517, 1525] & [684, 1363, 1525],   [312, 1505, 1537] & [385, 1488, 1537],   [901, 1260, 1549],   [495, 1472, 1553],   [836, 1323, 1565] & [1036, 1173, 1565],   [624, 1457, 1585] & [1007, 1224, 1585],   [715, 1428, 1597],   [80, 1599, 1601],   [240, 1591, 1609],   [988, 1275, 1613],   [780, 1421, 1621],   [57, 1624, 1625] & [1113, 1184, 1625],   [285, 1612, 1637],   [399, 1600, 1649] & [560, 1551, 1649],   [935, 1368, 1657],   [1140, 1219, 1669],   [720, 1519, 1681],   [164, 1677, 1685] & [627, 1564, 1685],   [1045, 1332, 1693],   [328, 1665, 1697],   [741, 1540, 1709],   [492, 1645, 1717] & [1092, 1325, 1717],   [880, 1479, 1721],   [1155, 1292, 1733],   [59, 1740, 1741],   [177, 1736, 1745] & [656, 1617, 1745],   [295, 1728, 1753],   [84, 1763, 1765] & [413, 1716, 1765],   [969, 1480, 1769] & [1040, 1431, 1769],   [1248, 1265, 1777],   [531, 1700, 1781] & [820, 1581, 1781],   [420, 1739, 1789],   [649, 1680, 1801],   [767, 1656, 1825] & [984, 1537, 1825],   [172, 1845, 1853] & [885, 1628, 1853],   [61, 1860, 1861],   [183, 1856, 1865] & [344, 1833, 1865],   [305, 1848, 1873],   [1148, 1485, 1877],   [427, 1836, 1885] & [516, 1813, 1885] & [924, 1643, 1885] & [1003, 1596, 1885],   [1311, 1360, 1889],   [549, 1820, 1901],   [688, 1785, 1913],   [671, 1800, 1921] & [1121, 1560, 1921],   [1092, 1595, 1933],   [88, 1935, 1937] & [1312, 1425, 1937],   [264, 1927, 1945] & [793, 1776, 1945],   [860, 1749, 1949],   [440, 1911, 1961] & [1239, 1520, 1961],   [915, 1748, 1973],   [63, 1984, 1985] & [616, 1887, 1985],   [1032, 1705, 1993],   [315, 1972, 1997],   [1037, 1716, 2005] & [1357, 1476, 2005],   [792, 1855, 2017],   [180, 2021, 2029],   [360, 2009, 2041] & [1159, 1680, 2041],   [693, 1924, 2045] & [1204, 1653, 2045],   [1428, 1475, 2053],   [819, 1900, 2069],   [1281, 1640, 2081],   [720, 1961, 2089],   [1144, 1767, 2105] & [1376, 1593, 2105],   [65, 2112, 2113],   [92, 2115, 2117] & [195, 2108, 2117],   [276, 2107, 2125] & [1403, 1596, 2125],   [1071, 1840, 2129],   [455, 2088, 2137],   [460, 2091, 2141],   [585, 2072, 2153],   [1320, 1711, 2161],   [644, 2067, 2165] & [1197, 1804, 2165],   [715, 2052, 2173] & [1525, 1548, 2173],   [828, 2035, 2197],   [188, 2205, 2213],   [1260, 1829, 2221],   [376, 2193, 2225] & [1496, 1647, 2225],   [1012, 1995, 2237],   [67, 2244, 2245] & [564, 2173, 2245],   [201, 2240, 2249] & [1449, 1720, 2249],   [335, 2232, 2257] & [1105, 1968, 2257],   [469, 2220, 2269],   [752, 2145, 2273],   [1440, 1769, 2281],   [603, 2204, 2285] & [1196, 1947, 2285],   [1235, 1932, 2293],   [1575, 1672, 2297],   [96, 2303, 2305] & [737, 2184, 2305],   [940, 2109, 2309],   [480, 2279, 2329] & [871, 2160, 2329],   [1365, 1892, 2333],   [1380, 1891, 2341],   [672, 2255, 2353] & [1128, 2065, 2353],   [1005, 2132, 2357],   [1495, 1848, 2377],   [69, 2380, 2381],   [1139, 2100, 2389],   [345, 2368, 2393],   [196, 2397, 2405] & [483, 2356, 2405] & [1316, 2013, 2405] & [1564, 1827, 2405],   [392, 2385, 2417],   [1056, 2183, 2425] & [1273, 2064, 2425],   [588, 2365, 2437],   [759, 2320, 2441],   [784, 2337, 2465] & [897, 2296, 2465] & [1407, 2024, 2465] & [1504, 1953, 2465],   [1248, 2135, 2473],   [1748, 1755, 2477],   [100, 2499, 2501] & [980, 2301, 2501],   [300, 2491, 2509] & [1541, 1980, 2509],   [71, 2520, 2521],   [213, 2516, 2525] & [1173, 2236, 2525],   [355, 2508, 2533] & [1692, 1885, 2533],   [497, 2496, 2545] & [1176, 2257, 2545],   [700, 2451, 2549],   [1675, 1932, 2557],   [639, 2480, 2561] & [1311, 2200, 2561],   [781, 2460, 2581] & [900, 2419, 2581],   [1632, 2015, 2593],   [204, 2597, 2605] & [923, 2436, 2605],   [1809, 1880, 2609],   [408, 2585, 2617],   [1100, 2379, 2621],   [1065, 2408, 2633],   [1568, 2145, 2657],   [73, 2664, 2665] & [816, 2537, 2665] & [1207, 2376, 2665] & [1824, 1943, 2665],   [219, 2660, 2669] & [1300, 2331, 2669],   [365, 2652, 2677],   [511, 2640, 2689],   [1725, 2068, 2693],   [1020, 2501, 2701] & [1349, 2340, 2701],   [104, 2703, 2705] & [657, 2624, 2705],   [312, 2695, 2713],   [803, 2604, 2725] & [1764, 2077, 2725],   [520, 2679, 2729],   [1491, 2300, 2741],   [949, 2580, 2749],   [728, 2655, 2753],   [1095, 2552, 2777],   [936, 2623, 2785] & [1633, 2256, 2785],   [1700, 2211, 2789],   [1428, 2405, 2797],   [1960, 2001, 2801],   [1241, 2520, 2809],   [75, 2812, 2813] & [212, 2805, 2813],   [424, 2793, 2825] & [1144, 2583, 2825],   [1775, 2208, 2833],   [525, 2788, 2837],   [636, 2773, 2845] & [1387, 2484, 2845],   [1632, 2345, 2857],   [1900, 2139, 2861],   [825, 2752, 2873] & [848, 2745, 2873],   [1533, 2444, 2885] & [1917, 2156, 2885],   [975, 2728, 2897],   [1060, 2709, 2909],   [108, 2915, 2917],   [1560, 2479, 2929] & [1679, 2400, 2929],   [540, 2891, 2941] & [2059, 2100, 2941],   [1272, 2665, 2953],   [1275, 2668, 2957],   [77, 2964, 2965] & [756, 2867, 2965],   [231, 2960, 2969],   [385, 2952, 2977] & [1825, 2352, 2977],   [1425, 2632, 2993] & [1768, 2415, 2993],   [2040, 2201, 3001],   [693, 2924, 3005] & [1484, 2613, 3005],   [220, 3021, 3029] & [1971, 2300, 3029],   [1188, 2795, 3037],   [440, 3009, 3041],   [1001, 2880, 3049],   [660, 2989, 3061],   [1696, 2553, 3065] & [1976, 2343, 3065],   [1155, 2852, 3077] & [1725, 2548, 3077],   [1404, 2747, 3085] & [2117, 2244, 3085],   [880, 2961, 3089],   [1309, 2820, 3109],   [79, 3120, 3121],   [237, 3116, 3125],   [395, 3108, 3133] & [1908, 2485, 3133],   [112, 3135, 3137],   [336, 3127, 3145] & [553, 3096, 3145] & [1463, 2784, 3145] & [2184, 2263, 3145],   [560, 3111, 3161] & [711, 3080, 3161],   [1320, 2881, 3169],   [869, 3060, 3181],   [1027, 3036, 3205] & [1836, 2627, 3205],   [2120, 2409, 3209],   [1008, 3055, 3217],   [1540, 2829, 3221],   [1771, 2700, 3229],   [1185, 3008, 3233] & [2175, 2392, 3233],   [228, 3245, 3253],   [1232, 3015, 3257],   [456, 3233, 3265] & [1343, 2976, 3265],   [1925, 2652, 3277] & [2052, 2555, 3277],   [81, 3280, 3281] & [1760, 2769, 3281],   [405, 3268, 3293] & [2325, 2332, 3293],   [1501, 2940, 3301],   [567, 3256, 3305] & [1456, 2967, 3305],   [912, 3185, 3313],   [2079, 2600, 3329],   [891, 3220, 3341] & [1659, 2900, 3341],   [1140, 3149, 3349] & [1980, 2701, 3349],   [1680, 2911, 3361],   [116, 3363, 3365] & [1053, 3196, 3365],   [348, 3355, 3373],   [1817, 2856, 3385] & [2233, 2544, 3385],   [580, 3339, 3389],   [812, 3315, 3413],   [1377, 3136, 3425] & [1904, 2847, 3425],   [1975, 2808, 3433],   [83, 3444, 3445] & [1044, 3283, 3445] & [1596, 3053, 3445] & [2387, 2484, 3445],   [249, 3440, 3449],   [415, 3432, 3457],   [1539, 3100, 3461],   [581, 3420, 3469],   [236, 3477, 3485] & [747, 3404, 3485] & [1276, 3243, 3485] & [2133, 2756, 3485],   [472, 3465, 3497] & [2128, 2775, 3497],   [913, 3384, 3505] & [1824, 2993, 3505],   [708, 3445, 3517],   [1079, 3360, 3529],   [1508, 3195, 3533],   [2291, 2700, 3541],   [944, 3417, 3545] & [1863, 3016, 3545],   [1245, 3332, 3557],   [1180, 3381, 3581],   [1411, 3300, 3589] & [1740, 3139, 3589],   [2025, 2968, 3593],   [120, 3599, 3601] & [2449, 2640, 3601],   [85, 3612, 3613],   [255, 3608, 3617],   [1416, 3337, 3625] & [1577, 3264, 3625],   [595, 3588, 3637],   [840, 3551, 3649] & [2280, 2849, 3649],   [765, 3572, 3653] & [1972, 3075, 3653],   [1743, 3224, 3665] & [2576, 2607, 3665],   [935, 3552, 3673],   [1652, 3285, 3677],   [1105, 3528, 3697],   [2349, 2860, 3701],   [1909, 3180, 3709],   [1320, 3479, 3721],   [244, 3717, 3725] & [2204, 3003, 3725],   [2508, 2765, 3733],   [488, 3705, 3737] & [1888, 3225, 3737],   [732, 3685, 3757] & [2075, 3132, 3757],   [2511, 2800, 3761],   [1560, 3431, 3769],   [87, 3784, 3785] & [976, 3657, 3785],   [1615, 3432, 3793],   [435, 3772, 3797],   [2124, 3157, 3805] & [2436, 2923, 3805],   [609, 3760, 3809] & [2241, 3080, 3809],   [1220, 3621, 3821],   [1785, 3392, 3833],   [124, 3843, 3845] & [957, 3724, 3845],   [372, 3835, 3853],   [1464, 3577, 3865] & [2407, 3024, 3865],   [620, 3819, 3869] & [1131, 3700, 3869],   [1955, 3348, 3877],   [2360, 3081, 3881],   [2040, 3311, 3889],   [868, 3795, 3893] & [2668, 2835, 3893],   [1708, 3525, 3917],   [1116, 3763, 3925] & [2573, 2964, 3925],   [1479, 3640, 3929],   [89, 3960, 3961] & [2280, 3239, 3961],   [267, 3956, 3965] & [1364, 3723, 3965] & [1653, 3604, 3965] & [2596, 2997, 3965],   [252, 3965, 3973] & [445, 3948, 3973],   [1952, 3465, 3977] & [2295, 3248, 3977],   [504, 3953, 3985] & [623, 3936, 3985],   [2739, 2900, 3989],   [801, 3920, 4001],   [1612, 3675, 4013],   [979, 3900, 4021],   [1008, 3905, 4033] & [2465, 3192, 4033],   [1157, 3876, 4045] & [2196, 3397, 4045],   [2001, 3520, 4049],   [2832, 2905, 4057],   [1260, 3869, 4069] & [1860, 3619, 4069],   [1335, 3848, 4073],   [2635, 3132, 4093],   [128, 4095, 4097] & [2175, 3472, 4097],   [384, 4087, 4105] & [1513, 3816, 4105],   [640, 4071, 4121] & [2440, 3321, 4121],   [2760, 3071, 4129],   [2108, 3555, 4133],   [91, 4140, 4141] & [1691, 3780, 4141],   [273, 4136, 4145] & [896, 4047, 4145],   [455, 4128, 4153],   [2805, 3068, 4157],   [1152, 4015, 4177],   [819, 4100, 4181] & [1869, 3740, 4181],   [1001, 4080, 4201],   [2356, 3483, 4205] & [2684, 3237, 4205],   [1408, 3975, 4217],   [2016, 3713, 4225] & [2047, 3696, 4225],   [260, 4221, 4229],   [520, 4209, 4241],   [1365, 4028, 4253],   [780, 4189, 4261],   [1664, 3927, 4265] & [2697, 3304, 4265],   [2225, 3648, 4273],   [1547, 3996, 4285] & [2604, 3403, 4285],   [1040, 4161, 4289],   [2928, 3145, 4297],   [1729, 3960, 4321] & [1920, 3871, 4321],   [93, 4324, 4325] & [2403, 3596, 4325],   [465, 4312, 4337],   [651, 4300, 4349],   [132, 4355, 4357],   [1560, 4081, 4369] & [2520, 3569, 4369],   [2852, 3315, 4373],   [660, 4331, 4381] & [2581, 3540, 4381],   [1023, 4264, 4385] & [2176, 3807, 4385],   [3045, 3172, 4397],   [924, 4307, 4405] & [2093, 3876, 4405],   [1209, 4240, 4409],   [1820, 4029, 4421],   [2759, 3480, 4441],   [2275, 3828, 4453] & [2772, 3485, 4453],   [2432, 3735, 4457],   [1581, 4180, 4469] & [3100, 3219, 4469],   [2080, 3969, 4481],   [268, 4485, 4493],   [536, 4473, 4505] & [1767, 4144, 4505] & [2457, 3776, 4505] & [2937, 3416, 4505],   [95, 4512, 4513],   [285, 4508, 4517],   [804, 4453, 4525] & [1716, 4187, 4525],   [665, 4488, 4537] & [2688, 3655, 4537],   [2340, 3901, 4549],   [855, 4472, 4553] & [1072, 4425, 4553],   [2639, 3720, 4561],   [1045, 4452, 4573] & [3115, 3348, 4573],   [1340, 4389, 4589] & [2139, 4060, 4589],   [1235, 4428, 4597],   [2821, 3660, 4621],   [136, 4623, 4625] & [2944, 3567, 4625],   [408, 4615, 4633] & [1608, 4345, 4633],   [2325, 4012, 4637],   [2244, 4067, 4645] & [3276, 3293, 4645],   [680, 4599, 4649],   [1615, 4368, 4657],   [952, 4575, 4673],   [1876, 4293, 4685] & [3003, 3596, 4685],   [97, 4704, 4705] & [1224, 4543, 4705],   [291, 4700, 4709] & [2860, 3741, 4709],   [485, 4692, 4717] & [2508, 3995, 4717],   [3200, 3471, 4721],   [679, 4680, 4729],   [1995, 4292, 4733],   [873, 4664, 4745] & [1496, 4503, 4745] & [2144, 4233, 4745] & [2697, 3904, 4745],   [276, 4757, 4765] & [1067, 4644, 4765],   [552, 4745, 4777] & [2185, 4248, 4777],   [1261, 4620, 4789],   [1768, 4455, 4793],   [3120, 3649, 4801],   [2412, 4165, 4813],   [1455, 4592, 4817],   [1104, 4697, 4825] & [3367, 3456, 4825],   [1649, 4560, 4849] & [2040, 4399, 4849],   [1380, 4661, 4861],   [2565, 4148, 4877],   [1843, 4524, 4885] & [3036, 3827, 4885],   [2680, 4089, 4889],   [99, 4900, 4901] & [140, 4899, 4901],   [420, 4891, 4909],   [495, 4888, 4913],   [693, 4876, 4925] & [2037, 4484, 4925],   [2755, 4092, 4933],   [3255, 3712, 4937],   [1932, 4565, 4957],   [2231, 4440, 4969],   [2948, 4005, 4973],   [1260, 4819, 4981] & [3300, 3731, 4981],   [1287, 4816, 4985] & [2584, 4263, 4985],   [2945, 4032, 4993],   [3441, 3640, 5009],   [2208, 4505, 5017] & [2425, 4392, 5017],   [1540, 4779, 5021],   [284, 5037, 5045] & [1683, 4756, 5045],   [568, 5025, 5057] & [3135, 3968, 5057],   [2856, 4183, 5065] & [3216, 3913, 5065],   [1820, 4731, 5069] & [2619, 4340, 5069],   [852, 5005, 5077],   [1881, 4720, 5081],   [101, 5100, 5101],   [303, 5096, 5105] & [1136, 4977, 5105],   [505, 5088, 5113],   [707, 5076, 5125] & [2813, 4284, 5125],   [909, 5060, 5141] & [1420, 4941, 5141],   [3128, 4095, 5153],   [1111, 5040, 5161] & [2760, 4361, 5161],   [2277, 4636, 5165] & [3484, 3813, 5165],   [144, 5183, 5185] & [1313, 5016, 5185] & [1704, 4897, 5185] & [3007, 4224, 5185],   [2380, 4611, 5189],   [3515, 3828, 5197],   [720, 5159, 5209],   [1515, 4988, 5213] & [2475, 4588, 5213],   [1008, 5135, 5233],   [1988, 4845, 5237],   [1717, 4956, 5245] & [3036, 4277, 5245],   [3201, 4160, 5249] & [3400, 3999, 5249],   [2660, 4539, 5261],   [3705, 3752, 5273],   [1919, 4920, 5281],   [2272, 4785, 5297],   [103, 5304, 5305] & [1584, 5063, 5305],   [309, 5300, 5309],   [515, 5292, 5317] & [3395, 4092, 5317],   [2121, 4880, 5321] & [2871, 4480, 5321],   [721, 5280, 5329],   [292, 5325, 5333],   [584, 5313, 5345] & [927, 5264, 5345],   [1872, 5015, 5353] & [3672, 3895, 5353],   [876, 5293, 5365] & [1133, 5244, 5365] & [2323, 4836, 5365] & [2556, 4717, 5365],   [3069, 4420, 5381],   [1339, 5220, 5389] & [3589, 4020, 5389],   [1168, 5265, 5393],   [2525, 4788, 5413],   [1545, 5192, 5417],   [1460, 5229, 5429] & [3220, 4371, 5429],   [3588, 4085, 5437],   [2840, 4641, 5441],   [1751, 5160, 5449],   [2727, 4736, 5465] & [3783, 3944, 5465],   [1752, 5185, 5473] & [2448, 4895, 5473],   [148, 5475, 5477],   [444, 5467, 5485] & [1957, 5124, 5485],   [740, 5451, 5501],   [105, 5512, 5513] & [3465, 4288, 5513],   [2929, 4680, 5521],   [1036, 5427, 5525] & [2044, 5133, 5525] & [2163, 5084, 5525] & [3124, 4557, 5525],   [2736, 4823, 5545] & [3864, 3977, 5545],   [1332, 5395, 5557],   [2369, 5040, 5569],   [1155, 5452, 5573],   [3131, 4620, 5581],   [2336, 5073, 5585] & [3663, 4216, 5585],   [1365, 5428, 5597] & [1628, 5355, 5597],   [2575, 4992, 5617] & [3408, 4465, 5617],   [300, 5621, 5629] & [3780, 4171, 5629],   [600, 5609, 5641],   [1924, 5307, 5645] & [3333, 4556, 5645],   [2628, 5005, 5653],   [1785, 5368, 5657],   [2781, 4940, 5669],   [1200, 5561, 5689],   [1995, 5332, 5693],   [2220, 5251, 5701],   [3312, 4655, 5713] & [3535, 4488, 5713],   [3692, 4365, 5717],   [107, 5724, 5725] & [2987, 4884, 5725],   [321, 5720, 5729] & [2920, 4929, 5729],   [535, 5712, 5737],   [4059, 4060, 5741],   [749, 5700, 5749],   [963, 5684, 5765] & [2516, 5187, 5765],   [152, 5775, 5777] & [2415, 5248, 5777],   [456, 5767, 5785] & [1177, 5664, 5785] & [3193, 4824, 5785] & [3737, 4416, 5785],   [760, 5751, 5801],   [1391, 5640, 5809] & [3600, 4559, 5809],   [3212, 4845, 5813],   [2100, 5429, 5821],   [1064, 5727, 5825] & [3976, 4257, 5825],   [1605, 5612, 5837] & [2812, 5115, 5837],   [3399, 4760, 5849],   [1368, 5695, 5857],   [3939, 4340, 5861],   [1819, 5580, 5869],   [2400, 5369, 5881],   [1672, 5655, 5897],   [2033, 5544, 5905] & [3504, 4753, 5905],   [3108, 5035, 5917] & [3605, 4692, 5917],   [308, 5925, 5933] & [3045, 5092, 5933],   [109, 5940, 5941] & [4141, 4260, 5941],   [327, 5936, 5945] & [616, 5913, 5945] & [1976, 5607, 5945] & [2247, 5504, 5945],   [545, 5928, 5953],   [763, 5916, 5965] & [924, 5893, 5965],   [981, 5900, 5981],   [2461, 5460, 5989] & [3811, 4620, 5989],   [1232, 5865, 5993] & [3255, 5032, 5993],   [1199, 5880, 6001] & [2280, 5551, 6001],   [3404, 4947, 6005] & [3796, 4653, 6005],   [1417, 5856, 6025] & [4176, 4343, 6025],   [1540, 5829, 6029],   [2675, 5412, 6037],   [1635, 5828, 6053],   [2584, 5487, 6065] & [4017, 4544, 6065],   [1848, 5785, 6073],   [156, 6083, 6085] & [1853, 5796, 6085],   [2889, 5360, 6089],   [3700, 4851, 6101],   [780, 6059, 6109] & [3300, 5141, 6109],   [4088, 4545, 6113],   [2071, 5760, 6121],   [1092, 6035, 6133],   [3103, 5304, 6145] & [4223, 4464, 6145],   [111, 6160, 6161] & [2289, 5720, 6161],   [555, 6148, 6173],   [777, 6136, 6185] & [2464, 5673, 6185],   [3885, 4828, 6197],   [1716, 5963, 6205] & [2507, 5676, 6205] & [3317, 5244, 6205] & [3996, 4747, 6205],   [3192, 5335, 6217],   [1221, 6100, 6221],   [4380, 4429, 6229],   [316, 6237, 6245] & [1443, 6076, 6245],   [2725, 5628, 6253] & [2772, 5605, 6253],   [632, 6225, 6257],   [3531, 5180, 6269],   [948, 6205, 6277],   [3900, 4949, 6301],   [1264, 6177, 6305] & [1887, 6016, 6305] & [2943, 5576, 6305] & [3496, 5247, 6305],   [4292, 4635, 6317],   [3080, 5529, 6329],   [3745, 5112, 6337],   [1580, 6141, 6341] & [2109, 5980, 6341],   [4305, 4672, 6353],   [3161, 5520, 6361],   [2652, 5795, 6373],   [113, 6384, 6385] & [1896, 6097, 6385],   [339, 6380, 6389],   [565, 6372, 6397],   [160, 6399, 6401] & [3800, 5151, 6401],   [480, 6391, 6409] & [791, 6360, 6409] & [3959, 5040, 6409] & [4200, 4841, 6409],   [3379, 5460, 6421],   [1017, 6344, 6425] & [2553, 5896, 6425],   [2212, 6045, 6437] & [4515, 4588, 6437],   [1243, 6324, 6445] & [2964, 5723, 6445],   [1120, 6351, 6449],   [1469, 6300, 6469],   [2775, 5848, 6473],   [1440, 6319, 6481],   [3597, 5396, 6485] & [4173, 4964, 6485],   [1695, 6272, 6497] & [2528, 5985, 6497],   [3696, 5353, 6505] & [4104, 5047, 6505],   [1760, 6279, 6521],   [1921, 6240, 6529],   [3815, 5328, 6553],   [324, 6557, 6565] & [2147, 6204, 6565] & [2844, 5917, 6565] & [4387, 4884, 6565],   [2080, 6231, 6569],   [648, 6545, 6577],   [3219, 5740, 6581],   [2373, 6164, 6605] & [4004, 5253, 6605],   [115, 6612, 6613] & [3588, 5555, 6613],   [345, 6608, 6617] & [4408, 4935, 6617],   [1296, 6497, 6625] & [4033, 5256, 6625],   [805, 6588, 6637],   [3160, 5841, 6641] & [3441, 5680, 6641],   [2599, 6120, 6649] & [4601, 4800, 6649],   [1035, 6572, 6653],   [1620, 6461, 6661],   [1265, 6552, 6673],   [2720, 6111, 6689],   [1495, 6528, 6697] & [2825, 6072, 6697],   [4251, 5180, 6701],   [3900, 5459, 6709],   [164, 6723, 6725] & [3476, 5757, 6725],   [492, 6715, 6733],   [4712, 4815, 6737],   [820, 6699, 6749] & [3051, 6020, 6749],   [1955, 6468, 6757] & [2268, 6365, 6757],   [3040, 6039, 6761],   [1148, 6675, 6773] & [3885, 5548, 6773],   [4469, 5100, 6781],   [2185, 6432, 6793],   [1476, 6643, 6805] & [3277, 5964, 6805],   [2592, 6305, 6817] & [3792, 5665, 6817],   [4620, 5029, 6829],   [2415, 6392, 6833],   [3360, 5959, 6841],   [117, 6844, 6845] & [1804, 6603, 6845],   [585, 6832, 6857],   [3503, 5904, 6865] & [4687, 5016, 6865],   [819, 6820, 6869],   [332, 6885, 6893] & [2132, 6555, 6893],   [664, 6873, 6905] & [1287, 6784, 6905],   [4108, 5565, 6917],   [996, 6853, 6925] & [4524, 5243, 6925],   [3680, 5871, 6929] & [3729, 5840, 6929],   [2460, 6499, 6949],   [1328, 6825, 6953] & [4905, 4928, 6953],   [3240, 6161, 6961],   [3105, 6248, 6977],   [1660, 6789, 6989] & [1989, 6700, 6989],   [3955, 5772, 6997],   [4551, 5320, 7001],   [2788, 6435, 7013],   [2223, 6664, 7025] & [4424, 5457, 7025],   [1992, 6745, 7033] & [3335, 6192, 7033],   [3564, 6077, 7045] & [4836, 5123, 7045],   [168, 7055, 7057],   [4181, 5700, 7069],   [119, 7080, 7081] & [840, 7031, 7081],   [357, 7076, 7085] & [2324, 6693, 7085] & [3116, 6363, 7085] & [4773, 5236, 7085],   [595, 7068, 7093] & [3565, 6132, 7093],   [2691, 6580, 7109],   [1071, 7040, 7121],   [4320, 5671, 7129],   [1309, 7020, 7141] & [4740, 5341, 7141],   [2656, 6633, 7145] & [4407, 5624, 7145],   [2925, 6532, 7157] & [3795, 6068, 7157],   [1547, 6996, 7165] & [3444, 6283, 7165],   [1848, 6935, 7177],   [1785, 6968, 7193],   [2988, 6565, 7213],   [2184, 6887, 7225] & [4633, 5544, 7225],   [340, 7221, 7229],   [4212, 5885, 7237],   [680, 7209, 7241] & [4640, 5559, 7241],   [3772, 6195, 7253],   [1020, 7189, 7261] & [2261, 6900, 7261],   [3393, 6424, 7265] & [5056, 5217, 7265],   [1360, 7161, 7289] & [3320, 6489, 7289],   [4255, 5928, 7297],   [4859, 5460, 7309],   [121, 7320, 7321],   [363, 7316, 7325] & [3627, 6364, 7325],   [605, 7308, 7333],   [847, 7296, 7345] & [2737, 6816, 7345] & [2856, 6767, 7345] & [4536, 5777, 7345],   [4100, 6099, 7349],   [1089, 7280, 7361] & [4960, 5439, 7361],   [2040, 7081, 7369],   [3652, 6405, 7373] & [4485, 5852, 7373],   [2975, 6768, 7393],   [172, 7395, 7397] & [5085, 5372, 7397],   [516, 7387, 7405] & [1573, 7236, 7405],   [3192, 6695, 7417],   [860, 7371, 7421] & [2380, 7029, 7421],   [1815, 7208, 7433],   [1204, 7347, 7445] & [3213, 6716, 7445],   [4428, 5995, 7453] & [4715, 5772, 7453],   [4095, 6232, 7457],   [2057, 7176, 7465] & [3984, 6313, 7465],   [1548, 7315, 7477],   [2720, 6969, 7481],   [5280, 5311, 7489],   [2299, 7140, 7501] & [3451, 6660, 7501],   [1892, 7275, 7517],   [4329, 6160, 7529],   [4945, 5688, 7537],   [2541, 7100, 7541],   [3060, 6901, 7549],   [3689, 6600, 7561],   [123, 7564, 7565] & [2236, 7227, 7565] & [4316, 6213, 7565] & [4756, 5883, 7565],   [348, 7565, 7573],   [615, 7552, 7577],   [696, 7553, 7585] & [2783, 7056, 7585] & [3864, 6527, 7585] & [5184, 5537, 7585],   [861, 7540, 7589],   [2580, 7171, 7621],   [1353, 7504, 7625] & [3927, 6536, 7625],   [1392, 7505, 7633] & [3025, 7008, 7633],   [1599, 7480, 7649],   [1740, 7469, 7669],   [4648, 6105, 7673],   [4200, 6431, 7681],   [2924, 7107, 7685] & [3267, 6956, 7685] & [4797, 6004, 7685] & [5084, 5763, 7685],   [2091, 7420, 7709] & [3740, 6741, 7709],   [5405, 5508, 7717],   [3509, 6900, 7741],   [176, 7743, 7745] & [2337, 7384, 7745],   [528, 7735, 7753],   [3268, 7035, 7757],   [2436, 7373, 7765] & [4403, 6396, 7765],   [880, 7719, 7769] & [5031, 5920, 7769],   [4980, 5989, 7789],   [1232, 7695, 7793],   [3751, 6840, 7801] & [4080, 6649, 7801],   [125, 7812, 7813] & [5412, 5635, 7813],   [375, 7808, 7817],   [1584, 7663, 7825] & [2784, 7313, 7825],   [2829, 7300, 7829],   [875, 7788, 7837] & [3612, 6955, 7837],   [4641, 6320, 7841],   [1125, 7772, 7853],   [1375, 7752, 7873],   [3075, 7252, 7877],   [1625, 7728, 7897] & [4872, 6215, 7897],   [4420, 6549, 7901],   [2288, 7575, 7913] & [5312, 5865, 7913],   [4879, 6240, 7921],   [356, 7917, 7925] & [3956, 6867, 7925],   [4235, 6708, 7933],   [712, 7905, 7937],   [5499, 5740, 7949],   [1068, 7885, 7957] & [2125, 7668, 7957],   [2640, 7519, 7969] & [3480, 7169, 7969],   [1424, 7857, 7985] & [3567, 7144, 7985],   [2375, 7632, 7993],   [4477, 6636, 8005] & [5117, 6156, 8005],   [4760, 6441, 8009],   [5208, 6095, 8017],   [1780, 7821, 8021] & [4300, 6771, 8021],   [2625, 7592, 8033] & [2992, 7455, 8033],   [3813, 7084, 8045] & [5644, 5733, 8045],   [3828, 7085, 8053],   [127, 8064, 8065] & [2136, 7777, 8065],   [381, 8060, 8069],   [635, 8052, 8077] & [2875, 7548, 8077],   [4719, 6560, 8081],   [889, 8040, 8089],   [5355, 6068, 8093],   [180, 8099, 8101],   [1143, 8024, 8105] & [3344, 7383, 8105],   [2492, 7725, 8117],   [1397, 8004, 8125] & [4644, 6667, 8125],   [1260, 8051, 8149] & [1651, 7980, 8149],   [4961, 6480, 8161],   [1905, 7952, 8177] & [2848, 7665, 8177] & [3375, 7448, 8177] & [4305, 6952, 8177],   [3696, 7303, 8185] & [5593, 5976, 8185],   [2159, 7920, 8209],   [1980, 7979, 8221],   [3625, 7392, 8233],   [4988, 6555, 8237],   [2413, 7884, 8245] & [3204, 7597, 8245] & [4524, 6893, 8245] & [5203, 6396, 8245],   [4551, 6880, 8249] & [5440, 6201, 8249],   [2340, 7931, 8269],   [4048, 7215, 8273],   [364, 8277, 8285] & [2667, 7844, 8285],   [3875, 7332, 8293],   [728, 8265, 8297],   [1092, 8245, 8317],   [129, 8320, 8321] & [3560, 7521, 8321],   [2921, 7800, 8329],   [645, 8308, 8333] & [5445, 6308, 8333],   [903, 8296, 8345] & [1456, 8217, 8345],   [4872, 6785, 8353],   [4125, 7268, 8357] & [5332, 6435, 8357],   [4400, 7119, 8369],   [3175, 7752, 8377],   [1419, 8260, 8381] & [1820, 8181, 8381],   [3060, 7811, 8389],   [1677, 8236, 8405] & [3916, 7437, 8405],   [2184, 8137, 8425] & [5687, 6216, 8425],   [3429, 7700, 8429],   [3420, 7739, 8461],   [184, 8463, 8465] & [2193, 8176, 8465],   [552, 8455, 8473] & [4752, 7015, 8473],   [3683, 7644, 8485] & [5676, 6307, 8485],   [920, 8439, 8489] & [5289, 6640, 8489],   [4272, 7345, 8497] & [4625, 7128, 8497],   [2451, 8140, 8501],   [1288, 8415, 8513],   [5929, 6120, 8521],   [2912, 8025, 8537],   [1656, 8383, 8545] & [3937, 7584, 8545],   [4875, 7052, 8573],   [131, 8580, 8581],   [393, 8576, 8585] & [2024, 8343, 8585] & [2967, 8056, 8585] & [5104, 6903, 8585],   [655, 8568, 8593] & [5568, 6545, 8593],   [4628, 7245, 8597],   [917, 8556, 8605] & [3276, 7957, 8605],   [4191, 7520, 8609],   [1179, 8540, 8621] & [6020, 6171, 8621],   [4140, 7571, 8629],   [2392, 8295, 8633] & [3225, 8008, 8633],   [1441, 8520, 8641],   [372, 8645, 8653] & [5125, 6972, 8653],   [744, 8633, 8665] & [1703, 8496, 8665],   [5781, 6460, 8669],   [4445, 7452, 8677],   [3640, 7881, 8681],   [2760, 8239, 8689],   [1965, 8468, 8693],   [4984, 7137, 8705] & [5456, 6783, 8705],   [1488, 8585, 8713],   [2227, 8436, 8725] & [5916, 6413, 8725],   [5375, 6888, 8737],   [3741, 7900, 8741],   [1860, 8549, 8749] & [4699, 7380, 8749],   [3128, 8175, 8753],   [2489, 8400, 8761],   [4004, 7797, 8765] & [6027, 6364, 8765],   [2751, 8360, 8801] & [3999, 7840, 8801],   [5340, 7021, 8821],   [3496, 8103, 8825] & [4953, 7304, 8825],   [188, 8835, 8837],   [133, 8844, 8845] & [564, 8827, 8845] & [2604, 8453, 8845] & [3013, 8316, 8845],   [399, 8840, 8849],   [665, 8832, 8857] & [4368, 7705, 8857],   [940, 8811, 8861],   [1197, 8804, 8885] & [1316, 8787, 8885],   [3275, 8268, 8893],   [1463, 8784, 8905] & [2976, 8393, 8905] & [3864, 8023, 8905] & [5207, 7224, 8905],   [1692, 8755, 8917] & [5875, 6708, 8917],   [1729, 8760, 8929],   [4515, 7708, 8933],   [5220, 7259, 8941],   [3537, 8216, 8945] & [5696, 6897, 8945],   [1995, 8732, 8957] & [2068, 8715, 8957],   [6160, 6519, 8969],   [2261, 8700, 8989] & [5461, 7140, 8989],   [3799, 8160, 9001],   [2444, 8667, 9005] & [4773, 7636, 9005],   [6125, 6612, 9013],   [380, 9021, 9029],   [760, 9009, 9041],   [3720, 8249, 9049],   [1140, 8989, 9061] & [2820, 8611, 9061] & [4061, 8100, 9061] & [5580, 7139, 9061],   [5715, 7052, 9077] & [6052, 6765, 9077],   [1520, 8961, 9089] & [4600, 7839, 9089],   [3059, 8580, 9109],   [135, 9112, 9113] & [6375, 6512, 9113],   [3196, 8547, 9125] & [4323, 8036, 9125],   [4092, 8165, 9133],   [945, 9088, 9137],   [3325, 8532, 9157],   [5289, 7480, 9161],   [2280, 8881, 9169] & [5969, 6960, 9169],   [1485, 9052, 9173],   [5460, 7381, 9181],   [4585, 7968, 9193] & [4968, 7735, 9193],   [1755, 9028, 9197] & [3572, 8475, 9197],   [3591, 8480, 9209],   [192, 9215, 9217] & [6408, 6625, 9217],   [2660, 8829, 9221],   [960, 9191, 9241],   [2295, 8968, 9257],   [1344, 9167, 9265] & [3857, 8424, 9265] & [4847, 7896, 9265] & [6223, 6864, 9265],   [3948, 8395, 9277],   [3040, 8769, 9281],   [2565, 8932, 9293],   [5336, 7623, 9305] & [5824, 7257, 9305],   [4123, 8364, 9325] & [4836, 7973, 9325],   [2112, 9095, 9337],   [5109, 7820, 9341],   [3420, 8701, 9349],   [4324, 8307, 9365] & [6477, 6764, 9365],   [3105, 8848, 9377],   [137, 9384, 9385] & [2496, 9047, 9385],   [411, 9380, 9389] & [4389, 8300, 9389],   [685, 9372, 9397],   [959, 9360, 9409],   [388, 9405, 9413],   [5371, 7740, 9421],   [776, 9393, 9425] & [1233, 9344, 9425] & [5704, 7503, 9425] & [6063, 7216, 9425],   [5208, 7865, 9433],   [6188, 7125, 9437],   [1164, 9373, 9445] & [1507, 9324, 9445],   [4700, 8211, 9461],   [1781, 9300, 9469] & [6660, 6731, 9469],   [1552, 9345, 9473],   [2055, 9272, 9497],   [3264, 8927, 9505] & [5633, 7656, 9505],   [1940, 9309, 9509] & [4180, 8541, 9509],   [6321, 7120, 9521],   [2329, 9240, 9529] & [4921, 8160, 9529],   [3915, 8692, 9533],   [2328, 9265, 9553] & [6072, 7375, 9553],   [2603, 9204, 9565] & [5076, 8107, 9565],   [3648, 8855, 9577] & [6552, 6985, 9577],   [4185, 8632, 9593] & [5895, 7568, 9593],   [4560, 8449, 9601],   [196, 9603, 9605] & [2716, 9213, 9605] & [2877, 9164, 9605] & [5187, 8084, 9605],   [588, 9595, 9613],   [980, 9579, 9629],   [3151, 9120, 9649],   [139, 9660, 9661],   [417, 9656, 9665] & [3104, 9153, 9665],   [695, 9648, 9673] & [5952, 7625, 9673],   [5452, 7995, 9677],   [973, 9636, 9685] & [1764, 9523, 9685] & [5453, 8004, 9685] & [6157, 7476, 9685],   [6440, 7239, 9689],   [3425, 9072, 9697],   [1251, 9620, 9701] & [4940, 8349, 9701],   [1529, 9600, 9721],   [2156, 9483, 9725] & [6837, 6916, 9725],   [3492, 9085, 9733],   [1807, 9576, 9745] & [4416, 8687, 9745],   [3699, 9020, 9749],   [5719, 7920, 9769],   [2085, 9548, 9773] & [2548, 9435, 9773],   [6419, 7380, 9781],   [4995, 8428, 9797] & [5828, 7875, 9797],   [396, 9797, 9805] & [2363, 9516, 9805] & [3973, 8964, 9805] & [6324, 7493, 9805],   [3880, 9009, 9809] & [5320, 8241, 9809],   [792, 9785, 9817],   [2940, 9379, 9829],   [6808, 7095, 9833],   [2641, 9480, 9841] & [4800, 8591, 9841],   [5985, 7832, 9857],   [1584, 9737, 9865] & [4247, 8904, 9865],   [2919, 9440, 9881] & [6681, 7280, 9881],   [3332, 9315, 9893] & [4268, 8925, 9893],   [1980, 9701, 9901],   [3197, 9396, 9925] & [6204, 7747, 9925],   [4521, 8840, 9929],   [141, 9940, 9941],   [6251, 7740, 9949],   [705, 9928, 9953] & [5535, 8272, 9953],   [987, 9916, 9965] & [3724, 9243, 9965],   [3475, 9348, 9973],   [4656, 8833, 9985] & [6943, 7176, 9985],   [2772, 9605, 9997] & [4795, 8772, 9997],   [1551, 9880, 10001],   [1833, 9856, 10025] & [3753, 9296, 10025],   [5805, 8188, 10037],   [6080, 8001, 10049],   [3168, 9545, 10057] & [5568, 8375, 10057],   [6580, 7611, 10061],   [5069, 8700, 10069],   [4031, 9240, 10081],   [2397, 9796, 10085] & [5044, 8733, 10085],   [7068, 7205, 10093],   [2679, 9760, 10121],   [4508, 9075, 10133],   [4309, 9180, 10141],   [5343, 8624, 10145] & [6783, 7544, 10145],   [5952, 8255, 10177],   [6460, 7869, 10181],   [5432, 8625, 10193],   [3960, 9401, 10201],   [3243, 9676, 10205] & [4587, 9116, 10205] & [6956, 7467, 10205],   [6345, 8008, 10217],   [143, 10224, 10225] & [5617, 8544, 10225],   [429, 10220, 10229] & [4900, 8979, 10229],   [715, 10212, 10237],   [1001, 10200, 10249] & [7049, 7440, 10249],   [3525, 9628, 10253],   [1287, 10184, 10265],   [4865, 9048, 10273],   [5820, 8509, 10309] & [5891, 8460, 10309],   [6615, 7912, 10313],   [6840, 7729, 10321],   [5292, 8875, 10333],   [2145, 10112, 10337],   [5143, 8976, 10345],   [7315, 7332, 10357],   [4089, 9520, 10361],   [2431, 10080, 10369],   [6165, 8372, 10397],   [2717, 10044, 10405],   [4371, 9460, 10421] & [5421, 8900, 10421],   [6208, 8385, 10433],   [6720, 7991, 10441],   [3003, 10004, 10445] & [5684, 8763, 10445],   [5148, 9125, 10477],   [3289, 9960, 10489] & [6439, 8280, 10489],   [5699, 8820, 10501],   [145, 10512, 10513],   [435, 10508, 10517] & [7155, 7708, 10517],   [1015, 10488, 10537] & [3575, 9912, 10537],   [1305, 10472, 10553] & [4935, 9328, 10553],   [6076, 8643, 10565] & [6596, 8253, 10565],   [1595, 10452, 10573],   [5544, 9017, 10585] & [5977, 8736, 10585] & [6713, 8184, 10585] & [7104, 7847, 10585],   [3861, 9860, 10589],   [1885, 10428, 10597],   [5217, 9256, 10625],   [4147, 9804, 10645],   [2465, 10368, 10657],   [6255, 8648, 10673],   [6987, 8084, 10685],   [2755, 10332, 10693] & [6468, 8515, 10693],   [4433, 9744, 10705] & [6984, 8113, 10705],   [3045, 10292, 10733],   [6533, 8556, 10765],   [3335, 10248, 10777],   [5781, 9100, 10781],   [7261, 7980, 10789],   [147, 10804, 10805],   [735, 10792, 10817],   [6336, 8777, 10825],   [5005, 9612, 10837],   [7372, 7965, 10853],   [6811, 8460, 10861],   [1617, 10744, 10865] & [6063, 9016, 10865],   [3915, 10148, 10877],   [1911, 10720, 10889],   [7535, 7872, 10897],   [5291, 9540, 10909],   [2499, 10660, 10949],   [6732, 8645, 10957],   [7089, 8360, 10961],   [7252, 8235, 10973],   [2793, 10624, 10985],   [4495, 10032, 10993],   [7760, 7809, 11009],   [4785, 9968, 11057],   [5863, 9384, 11065] & [7367, 8256, 11065],   [3381, 10540, 11069],   [149, 11100, 11101],   [447, 11096, 11105],   [745, 11088, 11113],   [3675, 10492, 11117],   [1043, 11076, 11125] & [7644, 8083, 11125],   [1341, 11060, 11141] & [6909, 8740, 11141],   [6149, 9300, 11149],   [1639, 11040, 11161],   [7645, 8148, 11173],   [1937, 11016, 11185],   [5365, 9828, 11197],   [2235, 10988, 11213],   [4263, 10384, 11225],   [6435, 9212, 11237],   [2533, 10956, 11245] & [7524, 8357, 11245],   [5655, 9752, 11273],   [2831, 10920, 11281],   [4557, 10324, 11285] & [7923, 8036, 11285],   [3129, 10880, 11321],   [6721, 9120, 11329],   [7473, 8536, 11345],   [5945, 9672, 11353],   [3427, 10836, 11365],   [151, 11400, 11401] & [7920, 8201, 11401],   [453, 11396, 11405],   [755, 11388, 11413] & [3725, 10788, 11413],   [1057, 11376, 11425] & [7007, 9024, 11425],   [6235, 9588, 11437],   [1359, 11360, 11441],   [7755, 8428, 11453],   [1661, 11340, 11461],   [4023, 10736, 11465],   [1963, 11316, 11485],   [5439, 10120, 11489],   [2265, 11288, 11513],   [4321, 10680, 11521],   [7293, 8924, 11525],   [2567, 11256, 11545],   [2869, 11220, 11581] & [4619, 10620, 11581],   [6815, 9408, 11617],   [3171, 11180, 11621],   [7579, 8820, 11629],   [4917, 10556, 11645] & [6027, 9964, 11645],   [3473, 11136, 11665],   [153, 11704, 11705],   [3775, 11088, 11713] & [5215, 10488, 11713] & [7105, 9312, 11713],   [765, 11692, 11717],   [1071, 11680, 11729] & [6321, 9880, 11729],   [1683, 11644, 11765] & [4077, 11036, 11765],   [5513, 10416, 11785],   [1989, 11620, 11789],   [7395, 9212, 11813],   [4379, 10980, 11821],   [5811, 10340, 11861],   [4681, 10920, 11881],   [2907, 11524, 11885],   [6909, 9700, 11909],   [7685, 9108, 11917],   [6109, 10260, 11941],   [4983, 10856, 11945],   [3519, 11440, 11969],   [155, 12012, 12013] & [5285, 10788, 12013],   [465, 12008, 12017] & [3825, 11392, 12017],   [6407, 10176, 12025],   [1085, 11988, 12037],   [1395, 11972, 12053],   [1705, 11952, 12073],   [5587, 10716, 12085],   [2015, 11928, 12097],   [6705, 10088, 12113],   [4437, 11284, 12125],   [2635, 11868, 12157],   [5889, 10640, 12161],   [4743, 11224, 12185],   [2945, 11832, 12193],   [7003, 9996, 12205],   [3255, 11792, 12233],   [6191, 10560, 12241],   [3565, 11748, 12277],   [7301, 9900, 12301],   [5355, 11092, 12317],   [157, 12324, 12325] & [6493, 10476, 12325],   [471, 12320, 12329],   [785, 12312, 12337],   [1099, 12300, 12349],   [1413, 12284, 12365],   [4185, 11648, 12377],   [1727, 12264, 12385],   [5661, 11020, 12389],   [2041, 12240, 12409],   [6795, 10388, 12413],   [4495, 11592, 12433],   [2355, 12212, 12437],   [2669, 12180, 12469],   [2983, 12144, 12505] & [7097, 10296, 12505],   [3297, 12104, 12545] & [6273, 10864, 12545],   [5115, 11468, 12557],   [3611, 12060, 12589],   [6579, 10780, 12629],   [3925, 12012, 12637],   [159, 12640, 12641],   [795, 12628, 12653],   [1113, 12616, 12665],   [4239, 11960, 12689],   [5735, 11328, 12697],   [1749, 12580, 12701],   [2067, 12556, 12725],   [4553, 11904, 12745],   [6045, 11252, 12773],   [2703, 12496, 12785],   [4867, 11844, 12805],   [3021, 12460, 12821],   [6355, 11172, 12853],   [5181, 11780, 12869],   [3657, 12376, 12905],   [5495, 11712, 12937] & [6665, 11088, 12937],   [3975, 12328, 12953],   [161, 12960, 12961],   [483, 12956, 12965],   [805, 12948, 12973],   [1449, 12920, 13001],   [5809, 11640, 13009],   [1771, 12900, 13021],   [2093, 12876, 13045],   [4611, 12220, 13061],   [2415, 12848, 13073],   [6123, 11564, 13085],   [2737, 12816, 13105],   [4929, 12160, 13121],   [3059, 12780, 13141],   [6437, 11484, 13165],   [5565, 12028, 13253],   [4025, 12648, 13273],   [163, 13284, 13285],   [489, 13280, 13289],   [815, 13272, 13297],   [1141, 13260, 13309],   [1467, 13244, 13325] & [4347, 12596, 13325] & [5883, 11956, 13325],   [1793, 13224, 13345],   [2119, 13200, 13369],   [4669, 12540, 13381],   [2445, 13172, 13397],   [2771, 13140, 13429],   [4991, 12480, 13441],   [3097, 13104, 13465],   [3423, 13064, 13505] & [5313, 12416, 13505],   [3749, 13020, 13549],   [4075, 12972, 13597],   [165, 13612, 13613],   [1155, 13588, 13637],   [5957, 12276, 13645],   [4401, 12920, 13649],   [2145, 13528, 13697],   [4727, 12864, 13705],   [2805, 13468, 13757],   [5053, 12804, 13765],   [3135, 13432, 13793],   [5379, 12740, 13829],   [3795, 13348, 13877],   [5705, 12672, 13897],   [167, 13944, 13945],   [501, 13940, 13949],   [835, 13932, 13957],   [1169, 13920, 13969],   [1503, 13904, 13985],   [1837, 13884, 14005],   [2171, 13860, 14029],   [4785, 13192, 14033],   [2505, 13832, 14057],   [2839, 13800, 14089],   [5115, 13132, 14093],   [3173, 13764, 14125],   [3507, 13724, 14165],   [3841, 13680, 14209],   [4175, 13632, 14257],   [169, 14280, 14281],   [507, 14276, 14285],   [845, 14268, 14293],   [1183, 14256, 14305],   [4509, 13580, 14309],   [1521, 14240, 14321],   [1859, 14220, 14341],   [4843, 13524, 14365],   [2535, 14168, 14393],   [2873, 14136, 14425] & [5177, 13464, 14425],   [3211, 14100, 14461],   [3549, 14060, 14501],   [3887, 14016, 14545],   [4225, 13968, 14593],   [171, 14620, 14621],   [855, 14608, 14633],   [1197, 14596, 14645] & [4563, 13916, 14645],   [1881, 14560, 14681],   [4901, 13860, 14701],   [2223, 14536, 14705],   [2907, 14476, 14765],   [3933, 14356, 14885],   [4275, 14308, 14933],   [173, 14964, 14965],   [519, 14960, 14969],   [865, 14952, 14977],   [1211, 14940, 14989],   [1557, 14924, 15005],   [1903, 14904, 15025],   [2249, 14880, 15049],   [2595, 14852, 15077],   [2941, 14820, 15109],   [3287, 14784, 15145],   [3633, 14744, 15185],   [3979, 14700, 15229],   [4325, 14652, 15277],   [175, 15312, 15313],   [525, 15308, 15317],   [1575, 15272, 15353],   [1925, 15252, 15373],   [2275, 15228, 15397],   [2975, 15168, 15457],   [3325, 15132, 15493],   [4025, 15048, 15577],   [177, 15664, 15665],   [885, 15652, 15677],   [1239, 15640, 15689],   [1947, 15604, 15725],   [2301, 15580, 15749],   [3009, 15520, 15809],   [3363, 15484, 15845],   [179, 16020, 16021],   [537, 16016, 16025],   [895, 16008, 16033],   [1253, 15996, 16045],   [1611, 15980, 16061],   [1969, 15960, 16081],   [2327, 15936, 16105],   [2685, 15908, 16133],   [3043, 15876, 16165],   [3401, 15840, 16201],   [181, 16380, 16381],   [543, 16376, 16385],   [905, 16368, 16393],   [1267, 16356, 16405],   [1629, 16340, 16421],   [1991, 16320, 16441],   [2353, 16296, 16465],   [2715, 16268, 16493],   [3077, 16236, 16525],   [183, 16744, 16745],   [915, 16732, 16757],   [1281, 16720, 16769],   [2013, 16684, 16805],   [2379, 16660, 16829],   [185, 17112, 17113],   [555, 17108, 17117],   [1295, 17088, 17137],   [1665, 17072, 17153],   [2035, 17052, 17173],   [2405, 17028, 17197],   [187, 17484, 17485],   [561, 17480, 17489],   [935, 17472, 17497],   [1309, 17460, 17509],   [1683, 17444, 17525],   [189, 17860, 17861],   [945, 17848, 17873],   [191, 18240, 18241],   [573, 18236, 18245],   [955, 18228, 18253],   [1337, 18216, 18265],   [193, 18624, 18625],   [579, 18620, 18629],   [965, 18612, 18637],   [195, 19012, 19013],   [197, 19404, 19405]