-------
(9, 4374, 6) Remaining distance distributions after General for INTERNAL point
(6, 4374, 6) has 1 possible DDs: {[6, 72, 360, 960, 1440, 1152, 384]}
(7, 4374, 6) has 6 possible DDs: {[1, 35, 147, 595, 1085, 1365, 889, 257], [2, 28, 168, 560, 1120, 1344, 896, 256], [3, 21, 189, 525, 1155, 1323, 903, 255], [4, 14, 210, 490, 1190, 1302, 910, 254], [5, 7, 231, 455, 1225, 1281, 917, 253], [6, 0, 252, 420, 1260, 1260, 924, 252]}
(8, 4374, 6) has 57 possible DDs: {[1, 0, 140, 112, 1050, 896, 1372, 624, 179], [1, 1, 133, 133, 1015, 931, 1351, 631, 178], [1, 2, 126, 154, 980, 966, 1330, 638, 177], [1, 3, 119, 175, 945, 1001, 1309, 645, 176], [1, 4, 112, 196, 910, 1036, 1288, 652, 175], [1, 5, 105, 217, 875, 1071, 1267, 659, 174], [1, 6, 98, 238, 840, 1106, 1246, 666, 173], [1, 7, 91, 259, 805, 1141, 1225, 673, 172], [1, 8, 84, 280, 770, 1176, 1204, 680, 171], [1, 9, 77, 301, 735, 1211, 1183, 687, 170], [1, 10, 70, 322, 700, 1246, 1162, 694, 169], [1, 11, 63, 343, 665, 1281, 1141, 701, 168], [1, 12, 56, 364, 630, 1316, 1120, 708, 167], [1, 13, 49, 385, 595, 1351, 1099, 715, 166], [1, 14, 42, 406, 560, 1386, 1078, 722, 165], [1, 15, 35, 427, 525, 1421, 1057, 729, 164], [1, 16, 28, 448, 490, 1456, 1036, 736, 163], [1, 17, 21, 469, 455, 1491, 1015, 743, 162], [2, 0, 112, 224, 840, 1120, 1232, 672, 172], [2, 1, 105, 245, 805, 1155, 1211, 679, 171], [2, 2, 98, 266, 770, 1190, 1190, 686, 170], [2, 3, 91, 287, 735, 1225, 1169, 693, 169], [2, 4, 84, 308, 700, 1260, 1148, 700, 168], [2, 5, 77, 329, 665, 1295, 1127, 707, 167], [2, 6, 70, 350, 630, 1330, 1106, 714, 166], [2, 7, 63, 371, 595, 1365, 1085, 721, 165], [2, 8, 56, 392, 560, 1400, 1064, 728, 164], [2, 9, 49, 413, 525, 1435, 1043, 735, 163], [2, 10, 42, 434, 490, 1470, 1022, 742, 162], [2, 11, 35, 455, 455, 1505, 1001, 749, 161], [2, 12, 28, 476, 420, 1540, 980, 756, 160], [2, 13, 21, 497, 385, 1575, 959, 763, 159], [2, 14, 14, 518, 350, 1610, 938, 770, 158], [2, 15, 7, 539, 315, 1645, 917, 777, 157], [2, 16, 0, 560, 280, 1680, 896, 784, 156], [3, 0, 84, 336, 630, 1344, 1092, 720, 165], [3, 1, 77, 357, 595, 1379, 1071, 727, 164], [3, 2, 70, 378, 560, 1414, 1050, 734, 163], [3, 3, 63, 399, 525, 1449, 1029, 741, 162], [3, 4, 56, 420, 490, 1484, 1008, 748, 161], [3, 5, 49, 441, 455, 1519, 987, 755, 160], [3, 6, 42, 462, 420, 1554, 966, 762, 159], [3, 7, 35, 483, 385, 1589, 945, 769, 158], [3, 8, 28, 504, 350, 1624, 924, 776, 157], [3, 9, 21, 525, 315, 1659, 903, 783, 156], [4, 0, 56, 448, 420, 1568, 952, 768, 158], [4, 1, 49, 469, 385, 1603, 931, 775, 157], [4, 2, 42, 490, 350, 1638, 910, 782, 156], [4, 3, 35, 511, 315, 1673, 889, 789, 155], [4, 4, 28, 532, 280, 1708, 868, 796, 154], [4, 5, 21, 553, 245, 1743, 847, 803, 153], [4, 6, 14, 574, 210, 1778, 826, 810, 152], [4, 7, 7, 595, 175, 1813, 805, 817, 151], [4, 8, 0, 616, 140, 1848, 784, 824, 150], [5, 0, 28, 560, 210, 1792, 812, 816, 151], [5, 1, 21, 581, 175, 1827, 791, 823, 150], [6, 0, 0, 672, 0, 2016, 672, 864, 144]}
(9, 4374, 6) has 443 possible DDs: {[1, 0, 21, 273, 63, 1533, 567, 1395, 390, 131], [1, 0, 22, 266, 84, 1498, 602, 1374, 397, 130], [1, 0, 23, 259, 105, 1463, 637, 1353, 404, 129], [1, 0, 24, 252, 126, 1428, 672, 1332, 411, 128], [1, 0, 25, 245, 147, 1393, 707, 1311, 418, 127], [1, 0, 26, 238, 168, 1358, 742, 1290, 425, 126], [1, 0, 27, 231, 189, 1323, 777, 1269, 432, 125], [1, 0, 28, 224, 210, 1288, 812, 1248, 439, 124], [1, 0, 29, 217, 231, 1253, 847, 1227, 446, 123], [1, 0, 30, 210, 252, 1218, 882, 1206, 453, 122], [1, 0, 31, 203, 273, 1183, 917, 1185, 460, 121], [1, 0, 32, 196, 294, 1148, 952, 1164, 467, 120], [1, 0, 33, 189, 315, 1113, 987, 1143, 474, 119], [1, 0, 34, 182, 336, 1078, 1022, 1122, 481, 118], [1, 0, 35, 175, 357, 1043, 1057, 1101, 488, 117], [1, 0, 36, 168, 378, 1008, 1092, 1080, 495, 116], [1, 0, 37, 161, 399, 973, 1127, 1059, 502, 115], [1, 0, 38, 154, 420, 938, 1162, 1038, 509, 114], [1, 0, 39, 147, 441, 903, 1197, 1017, 516, 113], [1, 0, 40, 140, 462, 868, 1232, 996, 523, 112], [1, 0, 41, 133, 483, 833, 1267, 975, 530, 111], [1, 0, 42, 126, 504, 798, 1302, 954, 537, 110], [1, 0, 43, 119, 525, 763, 1337, 933, 544, 109], [1, 0, 44, 112, 546, 728, 1372, 912, 551, 108], [1, 0, 45, 105, 567, 693, 1407, 891, 558, 107], [1, 0, 46, 98, 588, 658, 1442, 870, 565, 106], [1, 0, 47, 91, 609, 623, 1477, 849, 572, 105], [1, 0, 48, 84, 630, 588, 1512, 828, 579, 104], [1, 0, 49, 77, 651, 553, 1547, 807, 586, 103], [1, 0, 50, 70, 672, 518, 1582, 786, 593, 102], [1, 0, 51, 63, 693, 483, 1617, 765, 600, 101], [1, 0, 52, 56, 714, 448, 1652, 744, 607, 100], [1, 0, 53, 49, 735, 413, 1687, 723, 614, 99], [1, 0, 54, 42, 756, 378, 1722, 702, 621, 98], [1, 0, 55, 35, 777, 343, 1757, 681, 628, 97], [1, 0, 56, 28, 798, 308, 1792, 660, 635, 96], [1, 1, 16, 280, 70, 1498, 616, 1360, 403, 129], [1, 1, 17, 273, 91, 1463, 651, 1339, 410, 128], [1, 1, 18, 266, 112, 1428, 686, 1318, 417, 127], [1, 1, 19, 259, 133, 1393, 721, 1297, 424, 126], [1, 1, 20, 252, 154, 1358, 756, 1276, 431, 125], [1, 1, 21, 245, 175, 1323, 791, 1255, 438, 124], [1, 1, 22, 238, 196, 1288, 826, 1234, 445, 123], [1, 1, 23, 231, 217, 1253, 861, 1213, 452, 122], [1, 1, 24, 224, 238, 1218, 896, 1192, 459, 121], [1, 1, 25, 217, 259, 1183, 931, 1171, 466, 120], [1, 1, 26, 210, 280, 1148, 966, 1150, 473, 119], [1, 1, 27, 203, 301, 1113, 1001, 1129, 480, 118], [1, 1, 28, 196, 322, 1078, 1036, 1108, 487, 117], [1, 1, 29, 189, 343, 1043, 1071, 1087, 494, 116], [1, 1, 30, 182, 364, 1008, 1106, 1066, 501, 115], [1, 1, 31, 175, 385, 973, 1141, 1045, 508, 114], [1, 1, 32, 168, 406, 938, 1176, 1024, 515, 113], [1, 1, 33, 161, 427, 903, 1211, 1003, 522, 112], [1, 1, 34, 154, 448, 868, 1246, 982, 529, 111], [1, 1, 35, 147, 469, 833, 1281, 961, 536, 110], [1, 1, 36, 140, 490, 798, 1316, 940, 543, 109], [1, 1, 37, 133, 511, 763, 1351, 919, 550, 108], [1, 1, 38, 126, 532, 728, 1386, 898, 557, 107], [1, 1, 39, 119, 553, 693, 1421, 877, 564, 106], [1, 1, 40, 112, 574, 658, 1456, 856, 571, 105], [1, 1, 41, 105, 595, 623, 1491, 835, 578, 104], [1, 1, 42, 98, 616, 588, 1526, 814, 585, 103], [1, 1, 43, 91, 637, 553, 1561, 793, 592, 102], [1, 1, 44, 84, 658, 518, 1596, 772, 599, 101], [1, 1, 45, 77, 679, 483, 1631, 751, 606, 100], [1, 1, 46, 70, 700, 448, 1666, 730, 613, 99], [1, 1, 47, 63, 721, 413, 1701, 709, 620, 98], [1, 1, 48, 56, 742, 378, 1736, 688, 627, 97], [1, 1, 49, 49, 763, 343, 1771, 667, 634, 96], [1, 1, 50, 42, 784, 308, 1806, 646, 641, 95], [1, 1, 51, 35, 805, 273, 1841, 625, 648, 94], [1, 1, 52, 28, 826, 238, 1876, 604, 655, 93], [1, 2, 12, 280, 98, 1428, 700, 1304, 423, 126], [1, 2, 13, 273, 119, 1393, 735, 1283, 430, 125], [1, 2, 14, 266, 140, 1358, 770, 1262, 437, 124], [1, 2, 15, 259, 161, 1323, 805, 1241, 444, 123], [1, 2, 16, 252, 182, 1288, 840, 1220, 451, 122], [1, 2, 17, 245, 203, 1253, 875, 1199, 458, 121], [1, 2, 18, 238, 224, 1218, 910, 1178, 465, 120], [1, 2, 19, 231, 245, 1183, 945, 1157, 472, 119], [1, 2, 20, 224, 266, 1148, 980, 1136, 479, 118], [1, 2, 21, 217, 287, 1113, 1015, 1115, 486, 117], [1, 2, 22, 210, 308, 1078, 1050, 1094, 493, 116], [1, 2, 23, 203, 329, 1043, 1085, 1073, 500, 115], [1, 2, 24, 196, 350, 1008, 1120, 1052, 507, 114], [1, 2, 25, 189, 371, 973, 1155, 1031, 514, 113], [1, 2, 26, 182, 392, 938, 1190, 1010, 521, 112], [1, 2, 27, 175, 413, 903, 1225, 989, 528, 111], [1, 2, 28, 168, 434, 868, 1260, 968, 535, 110], [1, 2, 29, 161, 455, 833, 1295, 947, 542, 109], [1, 2, 30, 154, 476, 798, 1330, 926, 549, 108], [1, 2, 31, 147, 497, 763, 1365, 905, 556, 107], [1, 2, 32, 140, 518, 728, 1400, 884, 563, 106], [1, 2, 33, 133, 539, 693, 1435, 863, 570, 105], [1, 2, 34, 126, 560, 658, 1470, 842, 577, 104], [1, 2, 35, 119, 581, 623, 1505, 821, 584, 103], [1, 2, 36, 112, 602, 588, 1540, 800, 591, 102], [1, 2, 37, 105, 623, 553, 1575, 779, 598, 101], [1, 2, 38, 98, 644, 518, 1610, 758, 605, 100], [1, 2, 39, 91, 665, 483, 1645, 737, 612, 99], [1, 2, 40, 84, 686, 448, 1680, 716, 619, 98], [1, 2, 41, 77, 707, 413, 1715, 695, 626, 97], [1, 2, 42, 70, 728, 378, 1750, 674, 633, 96], [1, 2, 43, 63, 749, 343, 1785, 653, 640, 95], [1, 2, 44, 56, 770, 308, 1820, 632, 647, 94], [1, 2, 45, 49, 791, 273, 1855, 611, 654, 93], [1, 2, 46, 42, 812, 238, 1890, 590, 661, 92], [1, 2, 47, 35, 833, 203, 1925, 569, 668, 91], [1, 2, 48, 28, 854, 168, 1960, 548, 675, 90], [1, 3, 8, 280, 126, 1358, 784, 1248, 443, 123], [1, 3, 9, 273, 147, 1323, 819, 1227, 450, 122], [1, 3, 10, 266, 168, 1288, 854, 1206, 457, 121], [1, 3, 11, 259, 189, 1253, 889, 1185, 464, 120], [1, 3, 12, 252, 210, 1218, 924, 1164, 471, 119], [1, 3, 13, 245, 231, 1183, 959, 1143, 478, 118], [1, 3, 14, 238, 252, 1148, 994, 1122, 485, 117], [1, 3, 15, 231, 273, 1113, 1029, 1101, 492, 116], [1, 3, 16, 224, 294, 1078, 1064, 1080, 499, 115], [1, 3, 17, 217, 315, 1043, 1099, 1059, 506, 114], [1, 3, 18, 210, 336, 1008, 1134, 1038, 513, 113], [1, 3, 19, 203, 357, 973, 1169, 1017, 520, 112], [1, 3, 20, 196, 378, 938, 1204, 996, 527, 111], [1, 3, 21, 189, 399, 903, 1239, 975, 534, 110], [1, 3, 22, 182, 420, 868, 1274, 954, 541, 109], [1, 3, 23, 175, 441, 833, 1309, 933, 548, 108], [1, 3, 24, 168, 462, 798, 1344, 912, 555, 107], [1, 3, 25, 161, 483, 763, 1379, 891, 562, 106], [1, 3, 26, 154, 504, 728, 1414, 870, 569, 105], [1, 3, 27, 147, 525, 693, 1449, 849, 576, 104], [1, 3, 28, 140, 546, 658, 1484, 828, 583, 103], [1, 3, 29, 133, 567, 623, 1519, 807, 590, 102], [1, 3, 30, 126, 588, 588, 1554, 786, 597, 101], [1, 3, 31, 119, 609, 553, 1589, 765, 604, 100], [1, 3, 32, 112, 630, 518, 1624, 744, 611, 99], [1, 3, 33, 105, 651, 483, 1659, 723, 618, 98], [1, 3, 34, 98, 672, 448, 1694, 702, 625, 97], [1, 3, 35, 91, 693, 413, 1729, 681, 632, 96], [1, 3, 36, 84, 714, 378, 1764, 660, 639, 95], [1, 3, 37, 77, 735, 343, 1799, 639, 646, 94], [1, 3, 38, 70, 756, 308, 1834, 618, 653, 93], [1, 3, 39, 63, 777, 273, 1869, 597, 660, 92], [1, 3, 40, 56, 798, 238, 1904, 576, 667, 91], [1, 3, 41, 49, 819, 203, 1939, 555, 674, 90], [1, 3, 42, 42, 840, 168, 1974, 534, 681, 89], [1, 3, 43, 35, 861, 133, 2009, 513, 688, 88], [1, 4, 5, 273, 175, 1253, 903, 1171, 470, 119], [1, 4, 6, 266, 196, 1218, 938, 1150, 477, 118], [1, 4, 7, 259, 217, 1183, 973, 1129, 484, 117], [1, 4, 8, 252, 238, 1148, 1008, 1108, 491, 116], [1, 4, 9, 245, 259, 1113, 1043, 1087, 498, 115], [1, 4, 10, 238, 280, 1078, 1078, 1066, 505, 114], [1, 4, 11, 231, 301, 1043, 1113, 1045, 512, 113], [1, 4, 12, 224, 322, 1008, 1148, 1024, 519, 112], [1, 4, 13, 217, 343, 973, 1183, 1003, 526, 111], [1, 4, 14, 210, 364, 938, 1218, 982, 533, 110], [1, 4, 15, 203, 385, 903, 1253, 961, 540, 109], [1, 4, 16, 196, 406, 868, 1288, 940, 547, 108], [1, 4, 17, 189, 427, 833, 1323, 919, 554, 107], [1, 4, 18, 182, 448, 798, 1358, 898, 561, 106], [1, 4, 19, 175, 469, 763, 1393, 877, 568, 105], [1, 4, 20, 168, 490, 728, 1428, 856, 575, 104], [1, 4, 21, 161, 511, 693, 1463, 835, 582, 103], [1, 4, 22, 154, 532, 658, 1498, 814, 589, 102], [1, 4, 23, 147, 553, 623, 1533, 793, 596, 101], [1, 4, 24, 140, 574, 588, 1568, 772, 603, 100], [1, 4, 25, 133, 595, 553, 1603, 751, 610, 99], [1, 4, 26, 126, 616, 518, 1638, 730, 617, 98], [1, 4, 27, 119, 637, 483, 1673, 709, 624, 97], [1, 4, 28, 112, 658, 448, 1708, 688, 631, 96], [1, 4, 29, 105, 679, 413, 1743, 667, 638, 95], [1, 4, 30, 98, 700, 378, 1778, 646, 645, 94], [1, 4, 31, 91, 721, 343, 1813, 625, 652, 93], [1, 4, 32, 84, 742, 308, 1848, 604, 659, 92], [1, 4, 33, 77, 763, 273, 1883, 583, 666, 91], [1, 4, 34, 70, 784, 238, 1918, 562, 673, 90], [1, 4, 35, 63, 805, 203, 1953, 541, 680, 89], [1, 4, 36, 56, 826, 168, 1988, 520, 687, 88], [1, 4, 37, 49, 847, 133, 2023, 499, 694, 87], [1, 5, 3, 259, 245, 1113, 1057, 1073, 504, 114], [1, 5, 4, 252, 266, 1078, 1092, 1052, 511, 113], [1, 5, 5, 245, 287, 1043, 1127, 1031, 518, 112], [1, 5, 6, 238, 308, 1008, 1162, 1010, 525, 111], [1, 5, 7, 231, 329, 973, 1197, 989, 532, 110], [1, 5, 8, 224, 350, 938, 1232, 968, 539, 109], [1, 5, 9, 217, 371, 903, 1267, 947, 546, 108], [1, 5, 10, 210, 392, 868, 1302, 926, 553, 107], [1, 5, 11, 203, 413, 833, 1337, 905, 560, 106], [1, 5, 12, 196, 434, 798, 1372, 884, 567, 105], [1, 5, 13, 189, 455, 763, 1407, 863, 574, 104], [1, 5, 14, 182, 476, 728, 1442, 842, 581, 103], [1, 5, 15, 175, 497, 693, 1477, 821, 588, 102], [1, 5, 16, 168, 518, 658, 1512, 800, 595, 101], [1, 5, 17, 161, 539, 623, 1547, 779, 602, 100], [1, 5, 18, 154, 560, 588, 1582, 758, 609, 99], [1, 5, 19, 147, 581, 553, 1617, 737, 616, 98], [1, 5, 20, 140, 602, 518, 1652, 716, 623, 97], [1, 5, 21, 133, 623, 483, 1687, 695, 630, 96], [1, 5, 22, 126, 644, 448, 1722, 674, 637, 95], [1, 5, 23, 119, 665, 413, 1757, 653, 644, 94], [1, 5, 24, 112, 686, 378, 1792, 632, 651, 93], [1, 5, 25, 105, 707, 343, 1827, 611, 658, 92], [1, 5, 26, 98, 728, 308, 1862, 590, 665, 91], [1, 5, 27, 91, 749, 273, 1897, 569, 672, 90], [1, 5, 28, 84, 770, 238, 1932, 548, 679, 89], [1, 5, 29, 77, 791, 203, 1967, 527, 686, 88], [1, 5, 30, 70, 812, 168, 2002, 506, 693, 87], [1, 5, 31, 63, 833, 133, 2037, 485, 700, 86], [1, 6, 1, 245, 315, 973, 1211, 975, 538, 109], [1, 6, 2, 238, 336, 938, 1246, 954, 545, 108], [1, 6, 3, 231, 357, 903, 1281, 933, 552, 107], [1, 6, 4, 224, 378, 868, 1316, 912, 559, 106], [1, 6, 5, 217, 399, 833, 1351, 891, 566, 105], [1, 6, 6, 210, 420, 798, 1386, 870, 573, 104], [1, 6, 7, 203, 441, 763, 1421, 849, 580, 103], [1, 6, 8, 196, 462, 728, 1456, 828, 587, 102], [1, 6, 9, 189, 483, 693, 1491, 807, 594, 101], [1, 6, 10, 182, 504, 658, 1526, 786, 601, 100], [1, 6, 11, 175, 525, 623, 1561, 765, 608, 99], [1, 6, 12, 168, 546, 588, 1596, 744, 615, 98], [1, 6, 13, 161, 567, 553, 1631, 723, 622, 97], [1, 6, 14, 154, 588, 518, 1666, 702, 629, 96], [1, 6, 15, 147, 609, 483, 1701, 681, 636, 95], [1, 6, 16, 140, 630, 448, 1736, 660, 643, 94], [1, 6, 17, 133, 651, 413, 1771, 639, 650, 93], [1, 6, 18, 126, 672, 378, 1806, 618, 657, 92], [1, 6, 19, 119, 693, 343, 1841, 597, 664, 91], [1, 6, 20, 112, 714, 308, 1876, 576, 671, 90], [1, 6, 21, 105, 735, 273, 1911, 555, 678, 89], [1, 6, 22, 98, 756, 238, 1946, 534, 685, 88], [1, 6, 23, 91, 777, 203, 1981, 513, 692, 87], [1, 6, 24, 84, 798, 168, 2016, 492, 699, 86], [1, 6, 25, 77, 819, 133, 2051, 471, 706, 85], [1, 7, 0, 224, 406, 798, 1400, 856, 579, 103], [1, 7, 1, 217, 427, 763, 1435, 835, 586, 102], [1, 7, 2, 210, 448, 728, 1470, 814, 593, 101], [1, 7, 3, 203, 469, 693, 1505, 793, 600, 100], [1, 7, 4, 196, 490, 658, 1540, 772, 607, 99], [1, 7, 5, 189, 511, 623, 1575, 751, 614, 98], [1, 7, 6, 182, 532, 588, 1610, 730, 621, 97], [1, 7, 7, 175, 553, 553, 1645, 709, 628, 96], [1, 7, 8, 168, 574, 518, 1680, 688, 635, 95], [1, 7, 9, 161, 595, 483, 1715, 667, 642, 94], [1, 7, 10, 154, 616, 448, 1750, 646, 649, 93], [1, 7, 11, 147, 637, 413, 1785, 625, 656, 92], [1, 7, 12, 140, 658, 378, 1820, 604, 663, 91], [1, 7, 13, 133, 679, 343, 1855, 583, 670, 90], [1, 7, 14, 126, 700, 308, 1890, 562, 677, 89], [1, 7, 15, 119, 721, 273, 1925, 541, 684, 88], [1, 7, 16, 112, 742, 238, 1960, 520, 691, 87], [1, 7, 17, 105, 763, 203, 1995, 499, 698, 86], [1, 7, 18, 98, 784, 168, 2030, 478, 705, 85], [1, 7, 19, 91, 805, 133, 2065, 457, 712, 84], [1, 8, 0, 196, 518, 588, 1624, 716, 627, 96], [1, 8, 1, 189, 539, 553, 1659, 695, 634, 95], [1, 8, 2, 182, 560, 518, 1694, 674, 641, 94], [1, 8, 3, 175, 581, 483, 1729, 653, 648, 93], [1, 8, 4, 168, 602, 448, 1764, 632, 655, 92], [1, 8, 5, 161, 623, 413, 1799, 611, 662, 91], [1, 8, 6, 154, 644, 378, 1834, 590, 669, 90], [1, 8, 7, 147, 665, 343, 1869, 569, 676, 89], [1, 8, 8, 140, 686, 308, 1904, 548, 683, 88], [1, 8, 9, 133, 707, 273, 1939, 527, 690, 87], [1, 8, 10, 126, 728, 238, 1974, 506, 697, 86], [1, 8, 11, 119, 749, 203, 2009, 485, 704, 85], [1, 8, 12, 112, 770, 168, 2044, 464, 711, 84], [1, 9, 0, 168, 630, 378, 1848, 576, 675, 89], [1, 9, 1, 161, 651, 343, 1883, 555, 682, 88], [1, 9, 2, 154, 672, 308, 1918, 534, 689, 87], [1, 9, 3, 147, 693, 273, 1953, 513, 696, 86], [1, 9, 4, 140, 714, 238, 1988, 492, 703, 85], [1, 9, 5, 133, 735, 203, 2023, 471, 710, 84], [1, 9, 6, 126, 756, 168, 2058, 450, 717, 83], [2, 0, 0, 336, 0, 1512, 672, 1296, 432, 124], [2, 0, 1, 329, 21, 1477, 707, 1275, 439, 123], [2, 0, 2, 322, 42, 1442, 742, 1254, 446, 122], [2, 0, 3, 315, 63, 1407, 777, 1233, 453, 121], [2, 0, 4, 308, 84, 1372, 812, 1212, 460, 120], [2, 0, 5, 301, 105, 1337, 847, 1191, 467, 119], [2, 0, 6, 294, 126, 1302, 882, 1170, 474, 118], [2, 0, 7, 287, 147, 1267, 917, 1149, 481, 117], [2, 0, 8, 280, 168, 1232, 952, 1128, 488, 116], [2, 0, 9, 273, 189, 1197, 987, 1107, 495, 115], [2, 0, 10, 266, 210, 1162, 1022, 1086, 502, 114], [2, 0, 11, 259, 231, 1127, 1057, 1065, 509, 113], [2, 0, 12, 252, 252, 1092, 1092, 1044, 516, 112], [2, 0, 13, 245, 273, 1057, 1127, 1023, 523, 111], [2, 0, 14, 238, 294, 1022, 1162, 1002, 530, 110], [2, 0, 15, 231, 315, 987, 1197, 981, 537, 109], [2, 0, 16, 224, 336, 952, 1232, 960, 544, 108], [2, 0, 17, 217, 357, 917, 1267, 939, 551, 107], [2, 0, 18, 210, 378, 882, 1302, 918, 558, 106], [2, 0, 19, 203, 399, 847, 1337, 897, 565, 105], [2, 0, 20, 196, 420, 812, 1372, 876, 572, 104], [2, 0, 21, 189, 441, 777, 1407, 855, 579, 103], [2, 0, 22, 182, 462, 742, 1442, 834, 586, 102], [2, 0, 23, 175, 483, 707, 1477, 813, 593, 101], [2, 0, 24, 168, 504, 672, 1512, 792, 600, 100], [2, 0, 25, 161, 525, 637, 1547, 771, 607, 99], [2, 0, 26, 154, 546, 602, 1582, 750, 614, 98], [2, 0, 27, 147, 567, 567, 1617, 729, 621, 97], [2, 0, 28, 140, 588, 532, 1652, 708, 628, 96], [2, 0, 29, 133, 609, 497, 1687, 687, 635, 95], [2, 0, 30, 126, 630, 462, 1722, 666, 642, 94], [2, 0, 31, 119, 651, 427, 1757, 645, 649, 93], [2, 0, 32, 112, 672, 392, 1792, 624, 656, 92], [2, 0, 33, 105, 693, 357, 1827, 603, 663, 91], [2, 0, 34, 98, 714, 322, 1862, 582, 670, 90], [2, 0, 35, 91, 735, 287, 1897, 561, 677, 89], [2, 0, 36, 84, 756, 252, 1932, 540, 684, 88], [2, 0, 37, 77, 777, 217, 1967, 519, 691, 87], [2, 0, 38, 70, 798, 182, 2002, 498, 698, 86], [2, 0, 39, 63, 819, 147, 2037, 477, 705, 85], [2, 0, 40, 56, 840, 112, 2072, 456, 712, 84], [2, 1, 0, 308, 112, 1302, 896, 1156, 480, 117], [2, 1, 1, 301, 133, 1267, 931, 1135, 487, 116], [2, 1, 2, 294, 154, 1232, 966, 1114, 494, 115], [2, 1, 3, 287, 175, 1197, 1001, 1093, 501, 114], [2, 1, 4, 280, 196, 1162, 1036, 1072, 508, 113], [2, 1, 5, 273, 217, 1127, 1071, 1051, 515, 112], [2, 1, 6, 266, 238, 1092, 1106, 1030, 522, 111], [2, 1, 7, 259, 259, 1057, 1141, 1009, 529, 110], [2, 1, 8, 252, 280, 1022, 1176, 988, 536, 109], [2, 1, 9, 245, 301, 987, 1211, 967, 543, 108], [2, 1, 10, 238, 322, 952, 1246, 946, 550, 107], [2, 1, 11, 231, 343, 917, 1281, 925, 557, 106], [2, 1, 12, 224, 364, 882, 1316, 904, 564, 105], [2, 1, 13, 217, 385, 847, 1351, 883, 571, 104], [2, 1, 14, 210, 406, 812, 1386, 862, 578, 103], [2, 1, 15, 203, 427, 777, 1421, 841, 585, 102], [2, 1, 16, 196, 448, 742, 1456, 820, 592, 101], [2, 1, 17, 189, 469, 707, 1491, 799, 599, 100], [2, 1, 18, 182, 490, 672, 1526, 778, 606, 99], [2, 1, 19, 175, 511, 637, 1561, 757, 613, 98], [2, 1, 20, 168, 532, 602, 1596, 736, 620, 97], [2, 1, 21, 161, 553, 567, 1631, 715, 627, 96], [2, 1, 22, 154, 574, 532, 1666, 694, 634, 95], [2, 1, 23, 147, 595, 497, 1701, 673, 641, 94], [2, 1, 24, 140, 616, 462, 1736, 652, 648, 93], [2, 1, 25, 133, 637, 427, 1771, 631, 655, 92], [2, 1, 26, 126, 658, 392, 1806, 610, 662, 91], [2, 1, 27, 119, 679, 357, 1841, 589, 669, 90], [2, 1, 28, 112, 700, 322, 1876, 568, 676, 89], [2, 1, 29, 105, 721, 287, 1911, 547, 683, 88], [2, 1, 30, 98, 742, 252, 1946, 526, 690, 87], [2, 1, 31, 91, 763, 217, 1981, 505, 697, 86], [2, 1, 32, 84, 784, 182, 2016, 484, 704, 85], [2, 1, 33, 77, 805, 147, 2051, 463, 711, 84], [2, 2, 0, 280, 224, 1092, 1120, 1016, 528, 110], [2, 2, 1, 273, 245, 1057, 1155, 995, 535, 109], [2, 2, 2, 266, 266, 1022, 1190, 974, 542, 108], [2, 2, 3, 259, 287, 987, 1225, 953, 549, 107], [2, 2, 4, 252, 308, 952, 1260, 932, 556, 106], [2, 2, 5, 245, 329, 917, 1295, 911, 563, 105], [2, 2, 6, 238, 350, 882, 1330, 890, 570, 104], [2, 2, 7, 231, 371, 847, 1365, 869, 577, 103], [2, 2, 8, 224, 392, 812, 1400, 848, 584, 102], [2, 2, 9, 217, 413, 777, 1435, 827, 591, 101], [2, 2, 10, 210, 434, 742, 1470, 806, 598, 100], [2, 2, 11, 203, 455, 707, 1505, 785, 605, 99], [2, 2, 12, 196, 476, 672, 1540, 764, 612, 98], [2, 2, 13, 189, 497, 637, 1575, 743, 619, 97], [2, 2, 14, 182, 518, 602, 1610, 722, 626, 96], [2, 2, 15, 175, 539, 567, 1645, 701, 633, 95], [2, 2, 16, 168, 560, 532, 1680, 680, 640, 94], [2, 2, 17, 161, 581, 497, 1715, 659, 647, 93], [2, 2, 18, 154, 602, 462, 1750, 638, 654, 92], [2, 2, 19, 147, 623, 427, 1785, 617, 661, 91], [2, 2, 20, 140, 644, 392, 1820, 596, 668, 90], [2, 2, 21, 133, 665, 357, 1855, 575, 675, 89], [2, 2, 22, 126, 686, 322, 1890, 554, 682, 88], [2, 2, 23, 119, 707, 287, 1925, 533, 689, 87], [2, 2, 24, 112, 728, 252, 1960, 512, 696, 86], [2, 2, 25, 105, 749, 217, 1995, 491, 703, 85], [2, 2, 26, 98, 770, 182, 2030, 470, 710, 84], [2, 2, 27, 91, 791, 147, 2065, 449, 717, 83], [2, 3, 0, 252, 336, 882, 1344, 876, 576, 103], [2, 3, 1, 245, 357, 847, 1379, 855, 583, 102], [2, 3, 2, 238, 378, 812, 1414, 834, 590, 101], [2, 3, 3, 231, 399, 777, 1449, 813, 597, 100], [2, 3, 4, 224, 420, 742, 1484, 792, 604, 99], [2, 3, 5, 217, 441, 707, 1519, 771, 611, 98], [2, 3, 6, 210, 462, 672, 1554, 750, 618, 97], [2, 3, 7, 203, 483, 637, 1589, 729, 625, 96], [2, 3, 8, 196, 504, 602, 1624, 708, 632, 95], [2, 3, 9, 189, 525, 567, 1659, 687, 639, 94], [2, 3, 10, 182, 546, 532, 1694, 666, 646, 93], [2, 3, 11, 175, 567, 497, 1729, 645, 653, 92], [2, 3, 12, 168, 588, 462, 1764, 624, 660, 91], [2, 3, 13, 161, 609, 427, 1799, 603, 667, 90], [2, 3, 14, 154, 630, 392, 1834, 582, 674, 89], [2, 3, 15, 147, 651, 357, 1869, 561, 681, 88], [2, 3, 16, 140, 672, 322, 1904, 540, 688, 87], [2, 3, 17, 133, 693, 287, 1939, 519, 695, 86], [2, 3, 18, 126, 714, 252, 1974, 498, 702, 85], [2, 3, 19, 119, 735, 217, 2009, 477, 709, 84], [2, 3, 20, 112, 756, 182, 2044, 456, 716, 83], [2, 3, 21, 105, 777, 147, 2079, 435, 723, 82], [2, 4, 0, 224, 448, 672, 1568, 736, 624, 96], [2, 4, 1, 217, 469, 637, 1603, 715, 631, 95], [2, 4, 2, 210, 490, 602, 1638, 694, 638, 94], [2, 4, 3, 203, 511, 567, 1673, 673, 645, 93], [2, 4, 4, 196, 532, 532, 1708, 652, 652, 92], [2, 4, 5, 189, 553, 497, 1743, 631, 659, 91], [2, 4, 6, 182, 574, 462, 1778, 610, 666, 90], [2, 4, 7, 175, 595, 427, 1813, 589, 673, 89], [2, 4, 8, 168, 616, 392, 1848, 568, 680, 88], [2, 4, 9, 161, 637, 357, 1883, 547, 687, 87], [2, 4, 10, 154, 658, 322, 1918, 526, 694, 86], [2, 4, 11, 147, 679, 287, 1953, 505, 701, 85], [2, 4, 12, 140, 700, 252, 1988, 484, 708, 84], [2, 4, 13, 133, 721, 217, 2023, 463, 715, 83], [2, 4, 14, 126, 742, 182, 2058, 442, 722, 82], [2, 4, 15, 119, 763, 147, 2093, 421, 729, 81], [3, 0, 0, 252, 378, 756, 1512, 756, 621, 96], [3, 0, 1, 245, 399, 721, 1547, 735, 628, 95], [3, 0, 2, 238, 420, 686, 1582, 714, 635, 94], [3, 0, 3, 231, 441, 651, 1617, 693, 642, 93], [3, 0, 4, 224, 462, 616, 1652, 672, 649, 92], [3, 0, 5, 217, 483, 581, 1687, 651, 656, 91], [3, 0, 6, 210, 504, 546, 1722, 630, 663, 90], [3, 0, 7, 203, 525, 511, 1757, 609, 670, 89], [3, 0, 8, 196, 546, 476, 1792, 588, 677, 88], [3, 0, 9, 189, 567, 441, 1827, 567, 684, 87], [3, 0, 10, 182, 588, 406, 1862, 546, 691, 86], [3, 0, 11, 175, 609, 371, 1897, 525, 698, 85], [3, 0, 12, 168, 630, 336, 1932, 504, 705, 84], [3, 0, 13, 161, 651, 301, 1967, 483, 712, 83], [3, 0, 14, 154, 672, 266, 2002, 462, 719, 82], [3, 0, 15, 147, 693, 231, 2037, 441, 726, 81], [3, 0, 16, 140, 714, 196, 2072, 420, 733, 80], [3, 0, 17, 133, 735, 161, 2107, 399, 740, 79], [3, 1, 0, 224, 490, 546, 1736, 616, 669, 89], [3, 1, 1, 217, 511, 511, 1771, 595, 676, 88], [3, 1, 2, 210, 532, 476, 1806, 574, 683, 87], [3, 1, 3, 203, 553, 441, 1841, 553, 690, 86], [3, 1, 4, 196, 574, 406, 1876, 532, 697, 85], [3, 1, 5, 189, 595, 371, 1911, 511, 704, 84], [3, 1, 6, 182, 616, 336, 1946, 490, 711, 83], [3, 1, 7, 175, 637, 301, 1981, 469, 718, 82], [3, 1, 8, 168, 658, 266, 2016, 448, 725, 81], [3, 1, 9, 161, 679, 231, 2051, 427, 732, 80], [3, 2, 0, 196, 602, 336, 1960, 476, 717, 82]}
-------
(9, 4374, 6) Remaining distance distributions after General for INTERNAL point
(6, 4374, 6) has 1 possible DDs: {[6, 72, 360, 960, 1440, 1152, 384]}
(7, 4374, 6) has 6 possible DDs: {[1, 35, 147, 595, 1085, 1365, 889, 257], [2, 28, 168, 560, 1120, 1344, 896, 256], [3, 21, 189, 525, 1155, 1323, 903, 255], [4, 14, 210, 490, 1190, 1302, 910, 254], [5, 7, 231, 455, 1225, 1281, 917, 253], [6, 0, 252, 420, 1260, 1260, 924, 252]}
(8, 4374, 6) has 57 possible DDs: {[1, 0, 140, 112, 1050, 896, 1372, 624, 179], [1, 1, 133, 133, 1015, 931, 1351, 631, 178], [1, 2, 126, 154, 980, 966, 1330, 638, 177], [1, 3, 119, 175, 945, 1001, 1309, 645, 176], [1, 4, 112, 196, 910, 1036, 1288, 652, 175], [1, 5, 105, 217, 875, 1071, 1267, 659, 174], [1, 6, 98, 238, 840, 1106, 1246, 666, 173], [1, 7, 91, 259, 805, 1141, 1225, 673, 172], [1, 8, 84, 280, 770, 1176, 1204, 680, 171], [1, 9, 77, 301, 735, 1211, 1183, 687, 170], [1, 10, 70, 322, 700, 1246, 1162, 694, 169], [1, 11, 63, 343, 665, 1281, 1141, 701, 168], [1, 12, 56, 364, 630, 1316, 1120, 708, 167], [1, 13, 49, 385, 595, 1351, 1099, 715, 166], [1, 14, 42, 406, 560, 1386, 1078, 722, 165], [1, 15, 35, 427, 525, 1421, 1057, 729, 164], [1, 16, 28, 448, 490, 1456, 1036, 736, 163], [1, 17, 21, 469, 455, 1491, 1015, 743, 162], [2, 0, 112, 224, 840, 1120, 1232, 672, 172], [2, 1, 105, 245, 805, 1155, 1211, 679, 171], [2, 2, 98, 266, 770, 1190, 1190, 686, 170], [2, 3, 91, 287, 735, 1225, 1169, 693, 169], [2, 4, 84, 308, 700, 1260, 1148, 700, 168], [2, 5, 77, 329, 665, 1295, 1127, 707, 167], [2, 6, 70, 350, 630, 1330, 1106, 714, 166], [2, 7, 63, 371, 595, 1365, 1085, 721, 165], [2, 8, 56, 392, 560, 1400, 1064, 728, 164], [2, 9, 49, 413, 525, 1435, 1043, 735, 163], [2, 10, 42, 434, 490, 1470, 1022, 742, 162], [2, 11, 35, 455, 455, 1505, 1001, 749, 161], [2, 12, 28, 476, 420, 1540, 980, 756, 160], [2, 13, 21, 497, 385, 1575, 959, 763, 159], [2, 14, 14, 518, 350, 1610, 938, 770, 158], [2, 15, 7, 539, 315, 1645, 917, 777, 157], [2, 16, 0, 560, 280, 1680, 896, 784, 156], [3, 0, 84, 336, 630, 1344, 1092, 720, 165], [3, 1, 77, 357, 595, 1379, 1071, 727, 164], [3, 2, 70, 378, 560, 1414, 1050, 734, 163], [3, 3, 63, 399, 525, 1449, 1029, 741, 162], [3, 4, 56, 420, 490, 1484, 1008, 748, 161], [3, 5, 49, 441, 455, 1519, 987, 755, 160], [3, 6, 42, 462, 420, 1554, 966, 762, 159], [3, 7, 35, 483, 385, 1589, 945, 769, 158], [3, 8, 28, 504, 350, 1624, 924, 776, 157], [3, 9, 21, 525, 315, 1659, 903, 783, 156], [4, 0, 56, 448, 420, 1568, 952, 768, 158], [4, 1, 49, 469, 385, 1603, 931, 775, 157], [4, 2, 42, 490, 350, 1638, 910, 782, 156], [4, 3, 35, 511, 315, 1673, 889, 789, 155], [4, 4, 28, 532, 280, 1708, 868, 796, 154], [4, 5, 21, 553, 245, 1743, 847, 803, 153], [4, 6, 14, 574, 210, 1778, 826, 810, 152], [4, 7, 7, 595, 175, 1813, 805, 817, 151], [4, 8, 0, 616, 140, 1848, 784, 824, 150], [5, 0, 28, 560, 210, 1792, 812, 816, 151], [5, 1, 21, 581, 175, 1827, 791, 823, 150], [6, 0, 0, 672, 0, 2016, 672, 864, 144]}
(9, 4374, 6) has 443 possible DDs: {[1, 0, 21, 273, 63, 1533, 567, 1395, 390, 131], [1, 0, 22, 266, 84, 1498, 602, 1374, 397, 130], [1, 0, 23, 259, 105, 1463, 637, 1353, 404, 129], [1, 0, 24, 252, 126, 1428, 672, 1332, 411, 128], [1, 0, 25, 245, 147, 1393, 707, 1311, 418, 127], [1, 0, 26, 238, 168, 1358, 742, 1290, 425, 126], [1, 0, 27, 231, 189, 1323, 777, 1269, 432, 125], [1, 0, 28, 224, 210, 1288, 812, 1248, 439, 124], [1, 0, 29, 217, 231, 1253, 847, 1227, 446, 123], [1, 0, 30, 210, 252, 1218, 882, 1206, 453, 122], [1, 0, 31, 203, 273, 1183, 917, 1185, 460, 121], [1, 0, 32, 196, 294, 1148, 952, 1164, 467, 120], [1, 0, 33, 189, 315, 1113, 987, 1143, 474, 119], [1, 0, 34, 182, 336, 1078, 1022, 1122, 481, 118], [1, 0, 35, 175, 357, 1043, 1057, 1101, 488, 117], [1, 0, 36, 168, 378, 1008, 1092, 1080, 495, 116], [1, 0, 37, 161, 399, 973, 1127, 1059, 502, 115], [1, 0, 38, 154, 420, 938, 1162, 1038, 509, 114], [1, 0, 39, 147, 441, 903, 1197, 1017, 516, 113], [1, 0, 40, 140, 462, 868, 1232, 996, 523, 112], [1, 0, 41, 133, 483, 833, 1267, 975, 530, 111], [1, 0, 42, 126, 504, 798, 1302, 954, 537, 110], [1, 0, 43, 119, 525, 763, 1337, 933, 544, 109], [1, 0, 44, 112, 546, 728, 1372, 912, 551, 108], [1, 0, 45, 105, 567, 693, 1407, 891, 558, 107], [1, 0, 46, 98, 588, 658, 1442, 870, 565, 106], [1, 0, 47, 91, 609, 623, 1477, 849, 572, 105], [1, 0, 48, 84, 630, 588, 1512, 828, 579, 104], [1, 0, 49, 77, 651, 553, 1547, 807, 586, 103], [1, 0, 50, 70, 672, 518, 1582, 786, 593, 102], [1, 0, 51, 63, 693, 483, 1617, 765, 600, 101], [1, 0, 52, 56, 714, 448, 1652, 744, 607, 100], [1, 0, 53, 49, 735, 413, 1687, 723, 614, 99], [1, 0, 54, 42, 756, 378, 1722, 702, 621, 98], [1, 0, 55, 35, 777, 343, 1757, 681, 628, 97], [1, 0, 56, 28, 798, 308, 1792, 660, 635, 96], [1, 1, 16, 280, 70, 1498, 616, 1360, 403, 129], [1, 1, 17, 273, 91, 1463, 651, 1339, 410, 128], [1, 1, 18, 266, 112, 1428, 686, 1318, 417, 127], [1, 1, 19, 259, 133, 1393, 721, 1297, 424, 126], [1, 1, 20, 252, 154, 1358, 756, 1276, 431, 125], [1, 1, 21, 245, 175, 1323, 791, 1255, 438, 124], [1, 1, 22, 238, 196, 1288, 826, 1234, 445, 123], [1, 1, 23, 231, 217, 1253, 861, 1213, 452, 122], [1, 1, 24, 224, 238, 1218, 896, 1192, 459, 121], [1, 1, 25, 217, 259, 1183, 931, 1171, 466, 120], [1, 1, 26, 210, 280, 1148, 966, 1150, 473, 119], [1, 1, 27, 203, 301, 1113, 1001, 1129, 480, 118], [1, 1, 28, 196, 322, 1078, 1036, 1108, 487, 117], [1, 1, 29, 189, 343, 1043, 1071, 1087, 494, 116], [1, 1, 30, 182, 364, 1008, 1106, 1066, 501, 115], [1, 1, 31, 175, 385, 973, 1141, 1045, 508, 114], [1, 1, 32, 168, 406, 938, 1176, 1024, 515, 113], [1, 1, 33, 161, 427, 903, 1211, 1003, 522, 112], [1, 1, 34, 154, 448, 868, 1246, 982, 529, 111], [1, 1, 35, 147, 469, 833, 1281, 961, 536, 110], [1, 1, 36, 140, 490, 798, 1316, 940, 543, 109], [1, 1, 37, 133, 511, 763, 1351, 919, 550, 108], [1, 1, 38, 126, 532, 728, 1386, 898, 557, 107], [1, 1, 39, 119, 553, 693, 1421, 877, 564, 106], [1, 1, 40, 112, 574, 658, 1456, 856, 571, 105], [1, 1, 41, 105, 595, 623, 1491, 835, 578, 104], [1, 1, 42, 98, 616, 588, 1526, 814, 585, 103], [1, 1, 43, 91, 637, 553, 1561, 793, 592, 102], [1, 1, 44, 84, 658, 518, 1596, 772, 599, 101], [1, 1, 45, 77, 679, 483, 1631, 751, 606, 100], [1, 1, 46, 70, 700, 448, 1666, 730, 613, 99], [1, 1, 47, 63, 721, 413, 1701, 709, 620, 98], [1, 1, 48, 56, 742, 378, 1736, 688, 627, 97], [1, 1, 49, 49, 763, 343, 1771, 667, 634, 96], [1, 1, 50, 42, 784, 308, 1806, 646, 641, 95], [1, 1, 51, 35, 805, 273, 1841, 625, 648, 94], [1, 1, 52, 28, 826, 238, 1876, 604, 655, 93], [1, 2, 12, 280, 98, 1428, 700, 1304, 423, 126], [1, 2, 13, 273, 119, 1393, 735, 1283, 430, 125], [1, 2, 14, 266, 140, 1358, 770, 1262, 437, 124], [1, 2, 15, 259, 161, 1323, 805, 1241, 444, 123], [1, 2, 16, 252, 182, 1288, 840, 1220, 451, 122], [1, 2, 17, 245, 203, 1253, 875, 1199, 458, 121], [1, 2, 18, 238, 224, 1218, 910, 1178, 465, 120], [1, 2, 19, 231, 245, 1183, 945, 1157, 472, 119], [1, 2, 20, 224, 266, 1148, 980, 1136, 479, 118], [1, 2, 21, 217, 287, 1113, 1015, 1115, 486, 117], [1, 2, 22, 210, 308, 1078, 1050, 1094, 493, 116], [1, 2, 23, 203, 329, 1043, 1085, 1073, 500, 115], [1, 2, 24, 196, 350, 1008, 1120, 1052, 507, 114], [1, 2, 25, 189, 371, 973, 1155, 1031, 514, 113], [1, 2, 26, 182, 392, 938, 1190, 1010, 521, 112], [1, 2, 27, 175, 413, 903, 1225, 989, 528, 111], [1, 2, 28, 168, 434, 868, 1260, 968, 535, 110], [1, 2, 29, 161, 455, 833, 1295, 947, 542, 109], [1, 2, 30, 154, 476, 798, 1330, 926, 549, 108], [1, 2, 31, 147, 497, 763, 1365, 905, 556, 107], [1, 2, 32, 140, 518, 728, 1400, 884, 563, 106], [1, 2, 33, 133, 539, 693, 1435, 863, 570, 105], [1, 2, 34, 126, 560, 658, 1470, 842, 577, 104], [1, 2, 35, 119, 581, 623, 1505, 821, 584, 103], [1, 2, 36, 112, 602, 588, 1540, 800, 591, 102], [1, 2, 37, 105, 623, 553, 1575, 779, 598, 101], [1, 2, 38, 98, 644, 518, 1610, 758, 605, 100], [1, 2, 39, 91, 665, 483, 1645, 737, 612, 99], [1, 2, 40, 84, 686, 448, 1680, 716, 619, 98], [1, 2, 41, 77, 707, 413, 1715, 695, 626, 97], [1, 2, 42, 70, 728, 378, 1750, 674, 633, 96], [1, 2, 43, 63, 749, 343, 1785, 653, 640, 95], [1, 2, 44, 56, 770, 308, 1820, 632, 647, 94], [1, 2, 45, 49, 791, 273, 1855, 611, 654, 93], [1, 2, 46, 42, 812, 238, 1890, 590, 661, 92], [1, 2, 47, 35, 833, 203, 1925, 569, 668, 91], [1, 2, 48, 28, 854, 168, 1960, 548, 675, 90], [1, 3, 8, 280, 126, 1358, 784, 1248, 443, 123], [1, 3, 9, 273, 147, 1323, 819, 1227, 450, 122], [1, 3, 10, 266, 168, 1288, 854, 1206, 457, 121], [1, 3, 11, 259, 189, 1253, 889, 1185, 464, 120], [1, 3, 12, 252, 210, 1218, 924, 1164, 471, 119], [1, 3, 13, 245, 231, 1183, 959, 1143, 478, 118], [1, 3, 14, 238, 252, 1148, 994, 1122, 485, 117], [1, 3, 15, 231, 273, 1113, 1029, 1101, 492, 116], [1, 3, 16, 224, 294, 1078, 1064, 1080, 499, 115], [1, 3, 17, 217, 315, 1043, 1099, 1059, 506, 114], [1, 3, 18, 210, 336, 1008, 1134, 1038, 513, 113], [1, 3, 19, 203, 357, 973, 1169, 1017, 520, 112], [1, 3, 20, 196, 378, 938, 1204, 996, 527, 111], [1, 3, 21, 189, 399, 903, 1239, 975, 534, 110], [1, 3, 22, 182, 420, 868, 1274, 954, 541, 109], [1, 3, 23, 175, 441, 833, 1309, 933, 548, 108], [1, 3, 24, 168, 462, 798, 1344, 912, 555, 107], [1, 3, 25, 161, 483, 763, 1379, 891, 562, 106], [1, 3, 26, 154, 504, 728, 1414, 870, 569, 105], [1, 3, 27, 147, 525, 693, 1449, 849, 576, 104], [1, 3, 28, 140, 546, 658, 1484, 828, 583, 103], [1, 3, 29, 133, 567, 623, 1519, 807, 590, 102], [1, 3, 30, 126, 588, 588, 1554, 786, 597, 101], [1, 3, 31, 119, 609, 553, 1589, 765, 604, 100], [1, 3, 32, 112, 630, 518, 1624, 744, 611, 99], [1, 3, 33, 105, 651, 483, 1659, 723, 618, 98], [1, 3, 34, 98, 672, 448, 1694, 702, 625, 97], [1, 3, 35, 91, 693, 413, 1729, 681, 632, 96], [1, 3, 36, 84, 714, 378, 1764, 660, 639, 95], [1, 3, 37, 77, 735, 343, 1799, 639, 646, 94], [1, 3, 38, 70, 756, 308, 1834, 618, 653, 93], [1, 3, 39, 63, 777, 273, 1869, 597, 660, 92], [1, 3, 40, 56, 798, 238, 1904, 576, 667, 91], [1, 3, 41, 49, 819, 203, 1939, 555, 674, 90], [1, 3, 42, 42, 840, 168, 1974, 534, 681, 89], [1, 3, 43, 35, 861, 133, 2009, 513, 688, 88], [1, 4, 5, 273, 175, 1253, 903, 1171, 470, 119], [1, 4, 6, 266, 196, 1218, 938, 1150, 477, 118], [1, 4, 7, 259, 217, 1183, 973, 1129, 484, 117], [1, 4, 8, 252, 238, 1148, 1008, 1108, 491, 116], [1, 4, 9, 245, 259, 1113, 1043, 1087, 498, 115], [1, 4, 10, 238, 280, 1078, 1078, 1066, 505, 114], [1, 4, 11, 231, 301, 1043, 1113, 1045, 512, 113], [1, 4, 12, 224, 322, 1008, 1148, 1024, 519, 112], [1, 4, 13, 217, 343, 973, 1183, 1003, 526, 111], [1, 4, 14, 210, 364, 938, 1218, 982, 533, 110], [1, 4, 15, 203, 385, 903, 1253, 961, 540, 109], [1, 4, 16, 196, 406, 868, 1288, 940, 547, 108], [1, 4, 17, 189, 427, 833, 1323, 919, 554, 107], [1, 4, 18, 182, 448, 798, 1358, 898, 561, 106], [1, 4, 19, 175, 469, 763, 1393, 877, 568, 105], [1, 4, 20, 168, 490, 728, 1428, 856, 575, 104], [1, 4, 21, 161, 511, 693, 1463, 835, 582, 103], [1, 4, 22, 154, 532, 658, 1498, 814, 589, 102], [1, 4, 23, 147, 553, 623, 1533, 793, 596, 101], [1, 4, 24, 140, 574, 588, 1568, 772, 603, 100], [1, 4, 25, 133, 595, 553, 1603, 751, 610, 99], [1, 4, 26, 126, 616, 518, 1638, 730, 617, 98], [1, 4, 27, 119, 637, 483, 1673, 709, 624, 97], [1, 4, 28, 112, 658, 448, 1708, 688, 631, 96], [1, 4, 29, 105, 679, 413, 1743, 667, 638, 95], [1, 4, 30, 98, 700, 378, 1778, 646, 645, 94], [1, 4, 31, 91, 721, 343, 1813, 625, 652, 93], [1, 4, 32, 84, 742, 308, 1848, 604, 659, 92], [1, 4, 33, 77, 763, 273, 1883, 583, 666, 91], [1, 4, 34, 70, 784, 238, 1918, 562, 673, 90], [1, 4, 35, 63, 805, 203, 1953, 541, 680, 89], [1, 4, 36, 56, 826, 168, 1988, 520, 687, 88], [1, 4, 37, 49, 847, 133, 2023, 499, 694, 87], [1, 5, 3, 259, 245, 1113, 1057, 1073, 504, 114], [1, 5, 4, 252, 266, 1078, 1092, 1052, 511, 113], [1, 5, 5, 245, 287, 1043, 1127, 1031, 518, 112], [1, 5, 6, 238, 308, 1008, 1162, 1010, 525, 111], [1, 5, 7, 231, 329, 973, 1197, 989, 532, 110], [1, 5, 8, 224, 350, 938, 1232, 968, 539, 109], [1, 5, 9, 217, 371, 903, 1267, 947, 546, 108], [1, 5, 10, 210, 392, 868, 1302, 926, 553, 107], [1, 5, 11, 203, 413, 833, 1337, 905, 560, 106], [1, 5, 12, 196, 434, 798, 1372, 884, 567, 105], [1, 5, 13, 189, 455, 763, 1407, 863, 574, 104], [1, 5, 14, 182, 476, 728, 1442, 842, 581, 103], [1, 5, 15, 175, 497, 693, 1477, 821, 588, 102], [1, 5, 16, 168, 518, 658, 1512, 800, 595, 101], [1, 5, 17, 161, 539, 623, 1547, 779, 602, 100], [1, 5, 18, 154, 560, 588, 1582, 758, 609, 99], [1, 5, 19, 147, 581, 553, 1617, 737, 616, 98], [1, 5, 20, 140, 602, 518, 1652, 716, 623, 97], [1, 5, 21, 133, 623, 483, 1687, 695, 630, 96], [1, 5, 22, 126, 644, 448, 1722, 674, 637, 95], [1, 5, 23, 119, 665, 413, 1757, 653, 644, 94], [1, 5, 24, 112, 686, 378, 1792, 632, 651, 93], [1, 5, 25, 105, 707, 343, 1827, 611, 658, 92], [1, 5, 26, 98, 728, 308, 1862, 590, 665, 91], [1, 5, 27, 91, 749, 273, 1897, 569, 672, 90], [1, 5, 28, 84, 770, 238, 1932, 548, 679, 89], [1, 5, 29, 77, 791, 203, 1967, 527, 686, 88], [1, 5, 30, 70, 812, 168, 2002, 506, 693, 87], [1, 5, 31, 63, 833, 133, 2037, 485, 700, 86], [1, 6, 1, 245, 315, 973, 1211, 975, 538, 109], [1, 6, 2, 238, 336, 938, 1246, 954, 545, 108], [1, 6, 3, 231, 357, 903, 1281, 933, 552, 107], [1, 6, 4, 224, 378, 868, 1316, 912, 559, 106], [1, 6, 5, 217, 399, 833, 1351, 891, 566, 105], [1, 6, 6, 210, 420, 798, 1386, 870, 573, 104], [1, 6, 7, 203, 441, 763, 1421, 849, 580, 103], [1, 6, 8, 196, 462, 728, 1456, 828, 587, 102], [1, 6, 9, 189, 483, 693, 1491, 807, 594, 101], [1, 6, 10, 182, 504, 658, 1526, 786, 601, 100], [1, 6, 11, 175, 525, 623, 1561, 765, 608, 99], [1, 6, 12, 168, 546, 588, 1596, 744, 615, 98], [1, 6, 13, 161, 567, 553, 1631, 723, 622, 97], [1, 6, 14, 154, 588, 518, 1666, 702, 629, 96], [1, 6, 15, 147, 609, 483, 1701, 681, 636, 95], [1, 6, 16, 140, 630, 448, 1736, 660, 643, 94], [1, 6, 17, 133, 651, 413, 1771, 639, 650, 93], [1, 6, 18, 126, 672, 378, 1806, 618, 657, 92], [1, 6, 19, 119, 693, 343, 1841, 597, 664, 91], [1, 6, 20, 112, 714, 308, 1876, 576, 671, 90], [1, 6, 21, 105, 735, 273, 1911, 555, 678, 89], [1, 6, 22, 98, 756, 238, 1946, 534, 685, 88], [1, 6, 23, 91, 777, 203, 1981, 513, 692, 87], [1, 6, 24, 84, 798, 168, 2016, 492, 699, 86], [1, 6, 25, 77, 819, 133, 2051, 471, 706, 85], [1, 7, 0, 224, 406, 798, 1400, 856, 579, 103], [1, 7, 1, 217, 427, 763, 1435, 835, 586, 102], [1, 7, 2, 210, 448, 728, 1470, 814, 593, 101], [1, 7, 3, 203, 469, 693, 1505, 793, 600, 100], [1, 7, 4, 196, 490, 658, 1540, 772, 607, 99], [1, 7, 5, 189, 511, 623, 1575, 751, 614, 98], [1, 7, 6, 182, 532, 588, 1610, 730, 621, 97], [1, 7, 7, 175, 553, 553, 1645, 709, 628, 96], [1, 7, 8, 168, 574, 518, 1680, 688, 635, 95], [1, 7, 9, 161, 595, 483, 1715, 667, 642, 94], [1, 7, 10, 154, 616, 448, 1750, 646, 649, 93], [1, 7, 11, 147, 637, 413, 1785, 625, 656, 92], [1, 7, 12, 140, 658, 378, 1820, 604, 663, 91], [1, 7, 13, 133, 679, 343, 1855, 583, 670, 90], [1, 7, 14, 126, 700, 308, 1890, 562, 677, 89], [1, 7, 15, 119, 721, 273, 1925, 541, 684, 88], [1, 7, 16, 112, 742, 238, 1960, 520, 691, 87], [1, 7, 17, 105, 763, 203, 1995, 499, 698, 86], [1, 7, 18, 98, 784, 168, 2030, 478, 705, 85], [1, 7, 19, 91, 805, 133, 2065, 457, 712, 84], [1, 8, 0, 196, 518, 588, 1624, 716, 627, 96], [1, 8, 1, 189, 539, 553, 1659, 695, 634, 95], [1, 8, 2, 182, 560, 518, 1694, 674, 641, 94], [1, 8, 3, 175, 581, 483, 1729, 653, 648, 93], [1, 8, 4, 168, 602, 448, 1764, 632, 655, 92], [1, 8, 5, 161, 623, 413, 1799, 611, 662, 91], [1, 8, 6, 154, 644, 378, 1834, 590, 669, 90], [1, 8, 7, 147, 665, 343, 1869, 569, 676, 89], [1, 8, 8, 140, 686, 308, 1904, 548, 683, 88], [1, 8, 9, 133, 707, 273, 1939, 527, 690, 87], [1, 8, 10, 126, 728, 238, 1974, 506, 697, 86], [1, 8, 11, 119, 749, 203, 2009, 485, 704, 85], [1, 8, 12, 112, 770, 168, 2044, 464, 711, 84], [1, 9, 0, 168, 630, 378, 1848, 576, 675, 89], [1, 9, 1, 161, 651, 343, 1883, 555, 682, 88], [1, 9, 2, 154, 672, 308, 1918, 534, 689, 87], [1, 9, 3, 147, 693, 273, 1953, 513, 696, 86], [1, 9, 4, 140, 714, 238, 1988, 492, 703, 85], [1, 9, 5, 133, 735, 203, 2023, 471, 710, 84], [1, 9, 6, 126, 756, 168, 2058, 450, 717, 83], [2, 0, 0, 336, 0, 1512, 672, 1296, 432, 124], [2, 0, 1, 329, 21, 1477, 707, 1275, 439, 123], [2, 0, 2, 322, 42, 1442, 742, 1254, 446, 122], [2, 0, 3, 315, 63, 1407, 777, 1233, 453, 121], [2, 0, 4, 308, 84, 1372, 812, 1212, 460, 120], [2, 0, 5, 301, 105, 1337, 847, 1191, 467, 119], [2, 0, 6, 294, 126, 1302, 882, 1170, 474, 118], [2, 0, 7, 287, 147, 1267, 917, 1149, 481, 117], [2, 0, 8, 280, 168, 1232, 952, 1128, 488, 116], [2, 0, 9, 273, 189, 1197, 987, 1107, 495, 115], [2, 0, 10, 266, 210, 1162, 1022, 1086, 502, 114], [2, 0, 11, 259, 231, 1127, 1057, 1065, 509, 113], [2, 0, 12, 252, 252, 1092, 1092, 1044, 516, 112], [2, 0, 13, 245, 273, 1057, 1127, 1023, 523, 111], [2, 0, 14, 238, 294, 1022, 1162, 1002, 530, 110], [2, 0, 15, 231, 315, 987, 1197, 981, 537, 109], [2, 0, 16, 224, 336, 952, 1232, 960, 544, 108], [2, 0, 17, 217, 357, 917, 1267, 939, 551, 107], [2, 0, 18, 210, 378, 882, 1302, 918, 558, 106], [2, 0, 19, 203, 399, 847, 1337, 897, 565, 105], [2, 0, 20, 196, 420, 812, 1372, 876, 572, 104], [2, 0, 21, 189, 441, 777, 1407, 855, 579, 103], [2, 0, 22, 182, 462, 742, 1442, 834, 586, 102], [2, 0, 23, 175, 483, 707, 1477, 813, 593, 101], [2, 0, 24, 168, 504, 672, 1512, 792, 600, 100], [2, 0, 25, 161, 525, 637, 1547, 771, 607, 99], [2, 0, 26, 154, 546, 602, 1582, 750, 614, 98], [2, 0, 27, 147, 567, 567, 1617, 729, 621, 97], [2, 0, 28, 140, 588, 532, 1652, 708, 628, 96], [2, 0, 29, 133, 609, 497, 1687, 687, 635, 95], [2, 0, 30, 126, 630, 462, 1722, 666, 642, 94], [2, 0, 31, 119, 651, 427, 1757, 645, 649, 93], [2, 0, 32, 112, 672, 392, 1792, 624, 656, 92], [2, 0, 33, 105, 693, 357, 1827, 603, 663, 91], [2, 0, 34, 98, 714, 322, 1862, 582, 670, 90], [2, 0, 35, 91, 735, 287, 1897, 561, 677, 89], [2, 0, 36, 84, 756, 252, 1932, 540, 684, 88], [2, 0, 37, 77, 777, 217, 1967, 519, 691, 87], [2, 0, 38, 70, 798, 182, 2002, 498, 698, 86], [2, 0, 39, 63, 819, 147, 2037, 477, 705, 85], [2, 0, 40, 56, 840, 112, 2072, 456, 712, 84], [2, 1, 0, 308, 112, 1302, 896, 1156, 480, 117], [2, 1, 1, 301, 133, 1267, 931, 1135, 487, 116], [2, 1, 2, 294, 154, 1232, 966, 1114, 494, 115], [2, 1, 3, 287, 175, 1197, 1001, 1093, 501, 114], [2, 1, 4, 280, 196, 1162, 1036, 1072, 508, 113], [2, 1, 5, 273, 217, 1127, 1071, 1051, 515, 112], [2, 1, 6, 266, 238, 1092, 1106, 1030, 522, 111], [2, 1, 7, 259, 259, 1057, 1141, 1009, 529, 110], [2, 1, 8, 252, 280, 1022, 1176, 988, 536, 109], [2, 1, 9, 245, 301, 987, 1211, 967, 543, 108], [2, 1, 10, 238, 322, 952, 1246, 946, 550, 107], [2, 1, 11, 231, 343, 917, 1281, 925, 557, 106], [2, 1, 12, 224, 364, 882, 1316, 904, 564, 105], [2, 1, 13, 217, 385, 847, 1351, 883, 571, 104], [2, 1, 14, 210, 406, 812, 1386, 862, 578, 103], [2, 1, 15, 203, 427, 777, 1421, 841, 585, 102], [2, 1, 16, 196, 448, 742, 1456, 820, 592, 101], [2, 1, 17, 189, 469, 707, 1491, 799, 599, 100], [2, 1, 18, 182, 490, 672, 1526, 778, 606, 99], [2, 1, 19, 175, 511, 637, 1561, 757, 613, 98], [2, 1, 20, 168, 532, 602, 1596, 736, 620, 97], [2, 1, 21, 161, 553, 567, 1631, 715, 627, 96], [2, 1, 22, 154, 574, 532, 1666, 694, 634, 95], [2, 1, 23, 147, 595, 497, 1701, 673, 641, 94], [2, 1, 24, 140, 616, 462, 1736, 652, 648, 93], [2, 1, 25, 133, 637, 427, 1771, 631, 655, 92], [2, 1, 26, 126, 658, 392, 1806, 610, 662, 91], [2, 1, 27, 119, 679, 357, 1841, 589, 669, 90], [2, 1, 28, 112, 700, 322, 1876, 568, 676, 89], [2, 1, 29, 105, 721, 287, 1911, 547, 683, 88], [2, 1, 30, 98, 742, 252, 1946, 526, 690, 87], [2, 1, 31, 91, 763, 217, 1981, 505, 697, 86], [2, 1, 32, 84, 784, 182, 2016, 484, 704, 85], [2, 1, 33, 77, 805, 147, 2051, 463, 711, 84], [2, 2, 0, 280, 224, 1092, 1120, 1016, 528, 110], [2, 2, 1, 273, 245, 1057, 1155, 995, 535, 109], [2, 2, 2, 266, 266, 1022, 1190, 974, 542, 108], [2, 2, 3, 259, 287, 987, 1225, 953, 549, 107], [2, 2, 4, 252, 308, 952, 1260, 932, 556, 106], [2, 2, 5, 245, 329, 917, 1295, 911, 563, 105], [2, 2, 6, 238, 350, 882, 1330, 890, 570, 104], [2, 2, 7, 231, 371, 847, 1365, 869, 577, 103], [2, 2, 8, 224, 392, 812, 1400, 848, 584, 102], [2, 2, 9, 217, 413, 777, 1435, 827, 591, 101], [2, 2, 10, 210, 434, 742, 1470, 806, 598, 100], [2, 2, 11, 203, 455, 707, 1505, 785, 605, 99], [2, 2, 12, 196, 476, 672, 1540, 764, 612, 98], [2, 2, 13, 189, 497, 637, 1575, 743, 619, 97], [2, 2, 14, 182, 518, 602, 1610, 722, 626, 96], [2, 2, 15, 175, 539, 567, 1645, 701, 633, 95], [2, 2, 16, 168, 560, 532, 1680, 680, 640, 94], [2, 2, 17, 161, 581, 497, 1715, 659, 647, 93], [2, 2, 18, 154, 602, 462, 1750, 638, 654, 92], [2, 2, 19, 147, 623, 427, 1785, 617, 661, 91], [2, 2, 20, 140, 644, 392, 1820, 596, 668, 90], [2, 2, 21, 133, 665, 357, 1855, 575, 675, 89], [2, 2, 22, 126, 686, 322, 1890, 554, 682, 88], [2, 2, 23, 119, 707, 287, 1925, 533, 689, 87], [2, 2, 24, 112, 728, 252, 1960, 512, 696, 86], [2, 2, 25, 105, 749, 217, 1995, 491, 703, 85], [2, 2, 26, 98, 770, 182, 2030, 470, 710, 84], [2, 2, 27, 91, 791, 147, 2065, 449, 717, 83], [2, 3, 0, 252, 336, 882, 1344, 876, 576, 103], [2, 3, 1, 245, 357, 847, 1379, 855, 583, 102], [2, 3, 2, 238, 378, 812, 1414, 834, 590, 101], [2, 3, 3, 231, 399, 777, 1449, 813, 597, 100], [2, 3, 4, 224, 420, 742, 1484, 792, 604, 99], [2, 3, 5, 217, 441, 707, 1519, 771, 611, 98], [2, 3, 6, 210, 462, 672, 1554, 750, 618, 97], [2, 3, 7, 203, 483, 637, 1589, 729, 625, 96], [2, 3, 8, 196, 504, 602, 1624, 708, 632, 95], [2, 3, 9, 189, 525, 567, 1659, 687, 639, 94], [2, 3, 10, 182, 546, 532, 1694, 666, 646, 93], [2, 3, 11, 175, 567, 497, 1729, 645, 653, 92], [2, 3, 12, 168, 588, 462, 1764, 624, 660, 91], [2, 3, 13, 161, 609, 427, 1799, 603, 667, 90], [2, 3, 14, 154, 630, 392, 1834, 582, 674, 89], [2, 3, 15, 147, 651, 357, 1869, 561, 681, 88], [2, 3, 16, 140, 672, 322, 1904, 540, 688, 87], [2, 3, 17, 133, 693, 287, 1939, 519, 695, 86], [2, 3, 18, 126, 714, 252, 1974, 498, 702, 85], [2, 3, 19, 119, 735, 217, 2009, 477, 709, 84], [2, 3, 20, 112, 756, 182, 2044, 456, 716, 83], [2, 3, 21, 105, 777, 147, 2079, 435, 723, 82], [2, 4, 0, 224, 448, 672, 1568, 736, 624, 96], [2, 4, 1, 217, 469, 637, 1603, 715, 631, 95], [2, 4, 2, 210, 490, 602, 1638, 694, 638, 94], [2, 4, 3, 203, 511, 567, 1673, 673, 645, 93], [2, 4, 4, 196, 532, 532, 1708, 652, 652, 92], [2, 4, 5, 189, 553, 497, 1743, 631, 659, 91], [2, 4, 6, 182, 574, 462, 1778, 610, 666, 90], [2, 4, 7, 175, 595, 427, 1813, 589, 673, 89], [2, 4, 8, 168, 616, 392, 1848, 568, 680, 88], [2, 4, 9, 161, 637, 357, 1883, 547, 687, 87], [2, 4, 10, 154, 658, 322, 1918, 526, 694, 86], [2, 4, 11, 147, 679, 287, 1953, 505, 701, 85], [2, 4, 12, 140, 700, 252, 1988, 484, 708, 84], [2, 4, 13, 133, 721, 217, 2023, 463, 715, 83], [2, 4, 14, 126, 742, 182, 2058, 442, 722, 82], [2, 4, 15, 119, 763, 147, 2093, 421, 729, 81], [3, 0, 0, 252, 378, 756, 1512, 756, 621, 96], [3, 0, 1, 245, 399, 721, 1547, 735, 628, 95], [3, 0, 2, 238, 420, 686, 1582, 714, 635, 94], [3, 0, 3, 231, 441, 651, 1617, 693, 642, 93], [3, 0, 4, 224, 462, 616, 1652, 672, 649, 92], [3, 0, 5, 217, 483, 581, 1687, 651, 656, 91], [3, 0, 6, 210, 504, 546, 1722, 630, 663, 90], [3, 0, 7, 203, 525, 511, 1757, 609, 670, 89], [3, 0, 8, 196, 546, 476, 1792, 588, 677, 88], [3, 0, 9, 189, 567, 441, 1827, 567, 684, 87], [3, 0, 10, 182, 588, 406, 1862, 546, 691, 86], [3, 0, 11, 175, 609, 371, 1897, 525, 698, 85], [3, 0, 12, 168, 630, 336, 1932, 504, 705, 84], [3, 0, 13, 161, 651, 301, 1967, 483, 712, 83], [3, 0, 14, 154, 672, 266, 2002, 462, 719, 82], [3, 0, 15, 147, 693, 231, 2037, 441, 726, 81], [3, 0, 16, 140, 714, 196, 2072, 420, 733, 80], [3, 0, 17, 133, 735, 161, 2107, 399, 740, 79], [3, 1, 0, 224, 490, 546, 1736, 616, 669, 89], [3, 1, 1, 217, 511, 511, 1771, 595, 676, 88], [3, 1, 2, 210, 532, 476, 1806, 574, 683, 87], [3, 1, 3, 203, 553, 441, 1841, 553, 690, 86], [3, 1, 4, 196, 574, 406, 1876, 532, 697, 85], [3, 1, 5, 189, 595, 371, 1911, 511, 704, 84], [3, 1, 6, 182, 616, 336, 1946, 490, 711, 83], [3, 1, 7, 175, 637, 301, 1981, 469, 718, 82], [3, 1, 8, 168, 658, 266, 2016, 448, 725, 81], [3, 1, 9, 161, 679, 231, 2051, 427, 732, 80], [3, 2, 0, 196, 602, 336, 1960, 476, 717, 82]}