-------
(9, 4374, 6) Remaining distance distributions after General for EXTERNAL point
(6, 4374, 6) has 0 possible DDs: {}
(7, 4374, 6) has 1 possible DDs: {[0, 42, 126, 630, 1050, 1386, 882, 258]}
(8, 4374, 6) has 25 possible DDs: {[0, 0, 168, 0, 1260, 672, 1512, 576, 186], [0, 1, 161, 21, 1225, 707, 1491, 583, 185], [0, 2, 154, 42, 1190, 742, 1470, 590, 184], [0, 3, 147, 63, 1155, 777, 1449, 597, 183], [0, 4, 140, 84, 1120, 812, 1428, 604, 182], [0, 5, 133, 105, 1085, 847, 1407, 611, 181], [0, 6, 126, 126, 1050, 882, 1386, 618, 180], [0, 7, 119, 147, 1015, 917, 1365, 625, 179], [0, 8, 112, 168, 980, 952, 1344, 632, 178], [0, 9, 105, 189, 945, 987, 1323, 639, 177], [0, 10, 98, 210, 910, 1022, 1302, 646, 176], [0, 11, 91, 231, 875, 1057, 1281, 653, 175], [0, 12, 84, 252, 840, 1092, 1260, 660, 174], [0, 13, 77, 273, 805, 1127, 1239, 667, 173], [0, 14, 70, 294, 770, 1162, 1218, 674, 172], [0, 15, 63, 315, 735, 1197, 1197, 681, 171], [0, 16, 56, 336, 700, 1232, 1176, 688, 170], [0, 17, 49, 357, 665, 1267, 1155, 695, 169], [0, 18, 42, 378, 630, 1302, 1134, 702, 168], [0, 19, 35, 399, 595, 1337, 1113, 709, 167], [0, 20, 28, 420, 560, 1372, 1092, 716, 166], [0, 21, 21, 441, 525, 1407, 1071, 723, 165], [0, 22, 14, 462, 490, 1442, 1050, 730, 164], [0, 23, 7, 483, 455, 1477, 1029, 737, 163], [0, 24, 0, 504, 420, 1512, 1008, 744, 162]}
(9, 4374, 6) has 396 possible DDs: {[0, 0, 40, 224, 84, 1624, 392, 1536, 334, 140], [0, 0, 41, 217, 105, 1589, 427, 1515, 341, 139], [0, 0, 42, 210, 126, 1554, 462, 1494, 348, 138], [0, 0, 43, 203, 147, 1519, 497, 1473, 355, 137], [0, 0, 44, 196, 168, 1484, 532, 1452, 362, 136], [0, 0, 45, 189, 189, 1449, 567, 1431, 369, 135], [0, 0, 46, 182, 210, 1414, 602, 1410, 376, 134], [0, 0, 47, 175, 231, 1379, 637, 1389, 383, 133], [0, 0, 48, 168, 252, 1344, 672, 1368, 390, 132], [0, 0, 49, 161, 273, 1309, 707, 1347, 397, 131], [0, 0, 50, 154, 294, 1274, 742, 1326, 404, 130], [0, 0, 51, 147, 315, 1239, 777, 1305, 411, 129], [0, 0, 52, 140, 336, 1204, 812, 1284, 418, 128], [0, 0, 53, 133, 357, 1169, 847, 1263, 425, 127], [0, 0, 54, 126, 378, 1134, 882, 1242, 432, 126], [0, 0, 55, 119, 399, 1099, 917, 1221, 439, 125], [0, 0, 56, 112, 420, 1064, 952, 1200, 446, 124], [0, 0, 57, 105, 441, 1029, 987, 1179, 453, 123], [0, 0, 58, 98, 462, 994, 1022, 1158, 460, 122], [0, 0, 59, 91, 483, 959, 1057, 1137, 467, 121], [0, 0, 60, 84, 504, 924, 1092, 1116, 474, 120], [0, 0, 61, 77, 525, 889, 1127, 1095, 481, 119], [0, 0, 62, 70, 546, 854, 1162, 1074, 488, 118], [0, 0, 63, 63, 567, 819, 1197, 1053, 495, 117], [0, 0, 64, 56, 588, 784, 1232, 1032, 502, 116], [0, 0, 65, 49, 609, 749, 1267, 1011, 509, 115], [0, 0, 66, 42, 630, 714, 1302, 990, 516, 114], [0, 0, 67, 35, 651, 679, 1337, 969, 523, 113], [0, 0, 68, 28, 672, 644, 1372, 948, 530, 112], [0, 0, 69, 21, 693, 609, 1407, 927, 537, 111], [0, 0, 70, 14, 714, 574, 1442, 906, 544, 110], [0, 0, 71, 7, 735, 539, 1477, 885, 551, 109], [0, 0, 72, 0, 756, 504, 1512, 864, 558, 108], [0, 1, 35, 231, 91, 1589, 441, 1501, 347, 138], [0, 1, 36, 224, 112, 1554, 476, 1480, 354, 137], [0, 1, 37, 217, 133, 1519, 511, 1459, 361, 136], [0, 1, 38, 210, 154, 1484, 546, 1438, 368, 135], [0, 1, 39, 203, 175, 1449, 581, 1417, 375, 134], [0, 1, 40, 196, 196, 1414, 616, 1396, 382, 133], [0, 1, 41, 189, 217, 1379, 651, 1375, 389, 132], [0, 1, 42, 182, 238, 1344, 686, 1354, 396, 131], [0, 1, 43, 175, 259, 1309, 721, 1333, 403, 130], [0, 1, 44, 168, 280, 1274, 756, 1312, 410, 129], [0, 1, 45, 161, 301, 1239, 791, 1291, 417, 128], [0, 1, 46, 154, 322, 1204, 826, 1270, 424, 127], [0, 1, 47, 147, 343, 1169, 861, 1249, 431, 126], [0, 1, 48, 140, 364, 1134, 896, 1228, 438, 125], [0, 1, 49, 133, 385, 1099, 931, 1207, 445, 124], [0, 1, 50, 126, 406, 1064, 966, 1186, 452, 123], [0, 1, 51, 119, 427, 1029, 1001, 1165, 459, 122], [0, 1, 52, 112, 448, 994, 1036, 1144, 466, 121], [0, 1, 53, 105, 469, 959, 1071, 1123, 473, 120], [0, 1, 54, 98, 490, 924, 1106, 1102, 480, 119], [0, 1, 55, 91, 511, 889, 1141, 1081, 487, 118], [0, 1, 56, 84, 532, 854, 1176, 1060, 494, 117], [0, 1, 57, 77, 553, 819, 1211, 1039, 501, 116], [0, 1, 58, 70, 574, 784, 1246, 1018, 508, 115], [0, 1, 59, 63, 595, 749, 1281, 997, 515, 114], [0, 1, 60, 56, 616, 714, 1316, 976, 522, 113], [0, 1, 61, 49, 637, 679, 1351, 955, 529, 112], [0, 1, 62, 42, 658, 644, 1386, 934, 536, 111], [0, 1, 63, 35, 679, 609, 1421, 913, 543, 110], [0, 1, 64, 28, 700, 574, 1456, 892, 550, 109], [0, 1, 65, 21, 721, 539, 1491, 871, 557, 108], [0, 2, 30, 238, 98, 1554, 490, 1466, 360, 136], [0, 2, 31, 231, 119, 1519, 525, 1445, 367, 135], [0, 2, 32, 224, 140, 1484, 560, 1424, 374, 134], [0, 2, 33, 217, 161, 1449, 595, 1403, 381, 133], [0, 2, 34, 210, 182, 1414, 630, 1382, 388, 132], [0, 2, 35, 203, 203, 1379, 665, 1361, 395, 131], [0, 2, 36, 196, 224, 1344, 700, 1340, 402, 130], [0, 2, 37, 189, 245, 1309, 735, 1319, 409, 129], [0, 2, 38, 182, 266, 1274, 770, 1298, 416, 128], [0, 2, 39, 175, 287, 1239, 805, 1277, 423, 127], [0, 2, 40, 168, 308, 1204, 840, 1256, 430, 126], [0, 2, 41, 161, 329, 1169, 875, 1235, 437, 125], [0, 2, 42, 154, 350, 1134, 910, 1214, 444, 124], [0, 2, 43, 147, 371, 1099, 945, 1193, 451, 123], [0, 2, 44, 140, 392, 1064, 980, 1172, 458, 122], [0, 2, 45, 133, 413, 1029, 1015, 1151, 465, 121], [0, 2, 46, 126, 434, 994, 1050, 1130, 472, 120], [0, 2, 47, 119, 455, 959, 1085, 1109, 479, 119], [0, 2, 48, 112, 476, 924, 1120, 1088, 486, 118], [0, 2, 49, 105, 497, 889, 1155, 1067, 493, 117], [0, 2, 50, 98, 518, 854, 1190, 1046, 500, 116], [0, 2, 51, 91, 539, 819, 1225, 1025, 507, 115], [0, 2, 52, 84, 560, 784, 1260, 1004, 514, 114], [0, 2, 53, 77, 581, 749, 1295, 983, 521, 113], [0, 2, 54, 70, 602, 714, 1330, 962, 528, 112], [0, 2, 55, 63, 623, 679, 1365, 941, 535, 111], [0, 2, 56, 56, 644, 644, 1400, 920, 542, 110], [0, 2, 57, 49, 665, 609, 1435, 899, 549, 109], [0, 2, 58, 42, 686, 574, 1470, 878, 556, 108], [0, 2, 59, 35, 707, 539, 1505, 857, 563, 107], [0, 2, 60, 28, 728, 504, 1540, 836, 570, 106], [0, 2, 61, 21, 749, 469, 1575, 815, 577, 105], [0, 2, 62, 14, 770, 434, 1610, 794, 584, 104], [0, 2, 63, 7, 791, 399, 1645, 773, 591, 103], [0, 2, 64, 0, 812, 364, 1680, 752, 598, 102], [0, 3, 24, 252, 84, 1554, 504, 1452, 366, 135], [0, 3, 25, 245, 105, 1519, 539, 1431, 373, 134], [0, 3, 26, 238, 126, 1484, 574, 1410, 380, 133], [0, 3, 27, 231, 147, 1449, 609, 1389, 387, 132], [0, 3, 28, 224, 168, 1414, 644, 1368, 394, 131], [0, 3, 29, 217, 189, 1379, 679, 1347, 401, 130], [0, 3, 30, 210, 210, 1344, 714, 1326, 408, 129], [0, 3, 31, 203, 231, 1309, 749, 1305, 415, 128], [0, 3, 32, 196, 252, 1274, 784, 1284, 422, 127], [0, 3, 33, 189, 273, 1239, 819, 1263, 429, 126], [0, 3, 34, 182, 294, 1204, 854, 1242, 436, 125], [0, 3, 35, 175, 315, 1169, 889, 1221, 443, 124], [0, 3, 36, 168, 336, 1134, 924, 1200, 450, 123], [0, 3, 37, 161, 357, 1099, 959, 1179, 457, 122], [0, 3, 38, 154, 378, 1064, 994, 1158, 464, 121], [0, 3, 39, 147, 399, 1029, 1029, 1137, 471, 120], [0, 3, 40, 140, 420, 994, 1064, 1116, 478, 119], [0, 3, 41, 133, 441, 959, 1099, 1095, 485, 118], [0, 3, 42, 126, 462, 924, 1134, 1074, 492, 117], [0, 3, 43, 119, 483, 889, 1169, 1053, 499, 116], [0, 3, 44, 112, 504, 854, 1204, 1032, 506, 115], [0, 3, 45, 105, 525, 819, 1239, 1011, 513, 114], [0, 3, 46, 98, 546, 784, 1274, 990, 520, 113], [0, 3, 47, 91, 567, 749, 1309, 969, 527, 112], [0, 3, 48, 84, 588, 714, 1344, 948, 534, 111], [0, 3, 49, 77, 609, 679, 1379, 927, 541, 110], [0, 3, 50, 70, 630, 644, 1414, 906, 548, 109], [0, 3, 51, 63, 651, 609, 1449, 885, 555, 108], [0, 3, 52, 56, 672, 574, 1484, 864, 562, 107], [0, 3, 53, 49, 693, 539, 1519, 843, 569, 106], [0, 3, 54, 42, 714, 504, 1554, 822, 576, 105], [0, 3, 55, 35, 735, 469, 1589, 801, 583, 104], [0, 3, 56, 28, 756, 434, 1624, 780, 590, 103], [0, 3, 57, 21, 777, 399, 1659, 759, 597, 102], [0, 4, 19, 259, 91, 1519, 553, 1417, 379, 133], [0, 4, 20, 252, 112, 1484, 588, 1396, 386, 132], [0, 4, 21, 245, 133, 1449, 623, 1375, 393, 131], [0, 4, 22, 238, 154, 1414, 658, 1354, 400, 130], [0, 4, 23, 231, 175, 1379, 693, 1333, 407, 129], [0, 4, 24, 224, 196, 1344, 728, 1312, 414, 128], [0, 4, 25, 217, 217, 1309, 763, 1291, 421, 127], [0, 4, 26, 210, 238, 1274, 798, 1270, 428, 126], [0, 4, 27, 203, 259, 1239, 833, 1249, 435, 125], [0, 4, 28, 196, 280, 1204, 868, 1228, 442, 124], [0, 4, 29, 189, 301, 1169, 903, 1207, 449, 123], [0, 4, 30, 182, 322, 1134, 938, 1186, 456, 122], [0, 4, 31, 175, 343, 1099, 973, 1165, 463, 121], [0, 4, 32, 168, 364, 1064, 1008, 1144, 470, 120], [0, 4, 33, 161, 385, 1029, 1043, 1123, 477, 119], [0, 4, 34, 154, 406, 994, 1078, 1102, 484, 118], [0, 4, 35, 147, 427, 959, 1113, 1081, 491, 117], [0, 4, 36, 140, 448, 924, 1148, 1060, 498, 116], [0, 4, 37, 133, 469, 889, 1183, 1039, 505, 115], [0, 4, 38, 126, 490, 854, 1218, 1018, 512, 114], [0, 4, 39, 119, 511, 819, 1253, 997, 519, 113], [0, 4, 40, 112, 532, 784, 1288, 976, 526, 112], [0, 4, 41, 105, 553, 749, 1323, 955, 533, 111], [0, 4, 42, 98, 574, 714, 1358, 934, 540, 110], [0, 4, 43, 91, 595, 679, 1393, 913, 547, 109], [0, 4, 44, 84, 616, 644, 1428, 892, 554, 108], [0, 4, 45, 77, 637, 609, 1463, 871, 561, 107], [0, 4, 46, 70, 658, 574, 1498, 850, 568, 106], [0, 4, 47, 63, 679, 539, 1533, 829, 575, 105], [0, 4, 48, 56, 700, 504, 1568, 808, 582, 104], [0, 4, 49, 49, 721, 469, 1603, 787, 589, 103], [0, 4, 50, 42, 742, 434, 1638, 766, 596, 102], [0, 4, 51, 35, 763, 399, 1673, 745, 603, 101], [0, 4, 52, 28, 784, 364, 1708, 724, 610, 100], [0, 4, 53, 21, 805, 329, 1743, 703, 617, 99], [0, 4, 54, 14, 826, 294, 1778, 682, 624, 98], [0, 4, 55, 7, 847, 259, 1813, 661, 631, 97], [0, 4, 56, 0, 868, 224, 1848, 640, 638, 96], [0, 5, 12, 280, 56, 1554, 532, 1424, 378, 133], [0, 5, 13, 273, 77, 1519, 567, 1403, 385, 132], [0, 5, 14, 266, 98, 1484, 602, 1382, 392, 131], [0, 5, 15, 259, 119, 1449, 637, 1361, 399, 130], [0, 5, 16, 252, 140, 1414, 672, 1340, 406, 129], [0, 5, 17, 245, 161, 1379, 707, 1319, 413, 128], [0, 5, 18, 238, 182, 1344, 742, 1298, 420, 127], [0, 5, 19, 231, 203, 1309, 777, 1277, 427, 126], [0, 5, 20, 224, 224, 1274, 812, 1256, 434, 125], [0, 5, 21, 217, 245, 1239, 847, 1235, 441, 124], [0, 5, 22, 210, 266, 1204, 882, 1214, 448, 123], [0, 5, 23, 203, 287, 1169, 917, 1193, 455, 122], [0, 5, 24, 196, 308, 1134, 952, 1172, 462, 121], [0, 5, 25, 189, 329, 1099, 987, 1151, 469, 120], [0, 5, 26, 182, 350, 1064, 1022, 1130, 476, 119], [0, 5, 27, 175, 371, 1029, 1057, 1109, 483, 118], [0, 5, 28, 168, 392, 994, 1092, 1088, 490, 117], [0, 5, 29, 161, 413, 959, 1127, 1067, 497, 116], [0, 5, 30, 154, 434, 924, 1162, 1046, 504, 115], [0, 5, 31, 147, 455, 889, 1197, 1025, 511, 114], [0, 5, 32, 140, 476, 854, 1232, 1004, 518, 113], [0, 5, 33, 133, 497, 819, 1267, 983, 525, 112], [0, 5, 34, 126, 518, 784, 1302, 962, 532, 111], [0, 5, 35, 119, 539, 749, 1337, 941, 539, 110], [0, 5, 36, 112, 560, 714, 1372, 920, 546, 109], [0, 5, 37, 105, 581, 679, 1407, 899, 553, 108], [0, 5, 38, 98, 602, 644, 1442, 878, 560, 107], [0, 5, 39, 91, 623, 609, 1477, 857, 567, 106], [0, 5, 40, 84, 644, 574, 1512, 836, 574, 105], [0, 5, 41, 77, 665, 539, 1547, 815, 581, 104], [0, 5, 42, 70, 686, 504, 1582, 794, 588, 103], [0, 5, 43, 63, 707, 469, 1617, 773, 595, 102], [0, 5, 44, 56, 728, 434, 1652, 752, 602, 101], [0, 5, 45, 49, 749, 399, 1687, 731, 609, 100], [0, 5, 46, 42, 770, 364, 1722, 710, 616, 99], [0, 5, 47, 35, 791, 329, 1757, 689, 623, 98], [0, 5, 48, 28, 812, 294, 1792, 668, 630, 97], [0, 5, 49, 21, 833, 259, 1827, 647, 637, 96], [0, 6, 6, 294, 42, 1554, 546, 1410, 384, 132], [0, 6, 7, 287, 63, 1519, 581, 1389, 391, 131], [0, 6, 8, 280, 84, 1484, 616, 1368, 398, 130], [0, 6, 9, 273, 105, 1449, 651, 1347, 405, 129], [0, 6, 10, 266, 126, 1414, 686, 1326, 412, 128], [0, 6, 11, 259, 147, 1379, 721, 1305, 419, 127], [0, 6, 12, 252, 168, 1344, 756, 1284, 426, 126], [0, 6, 13, 245, 189, 1309, 791, 1263, 433, 125], [0, 6, 14, 238, 210, 1274, 826, 1242, 440, 124], [0, 6, 15, 231, 231, 1239, 861, 1221, 447, 123], [0, 6, 16, 224, 252, 1204, 896, 1200, 454, 122], [0, 6, 17, 217, 273, 1169, 931, 1179, 461, 121], [0, 6, 18, 210, 294, 1134, 966, 1158, 468, 120], [0, 6, 19, 203, 315, 1099, 1001, 1137, 475, 119], [0, 6, 20, 196, 336, 1064, 1036, 1116, 482, 118], [0, 6, 21, 189, 357, 1029, 1071, 1095, 489, 117], [0, 6, 22, 182, 378, 994, 1106, 1074, 496, 116], [0, 6, 23, 175, 399, 959, 1141, 1053, 503, 115], [0, 6, 24, 168, 420, 924, 1176, 1032, 510, 114], [0, 6, 25, 161, 441, 889, 1211, 1011, 517, 113], [0, 6, 26, 154, 462, 854, 1246, 990, 524, 112], [0, 6, 27, 147, 483, 819, 1281, 969, 531, 111], [0, 6, 28, 140, 504, 784, 1316, 948, 538, 110], [0, 6, 29, 133, 525, 749, 1351, 927, 545, 109], [0, 6, 30, 126, 546, 714, 1386, 906, 552, 108], [0, 6, 31, 119, 567, 679, 1421, 885, 559, 107], [0, 6, 32, 112, 588, 644, 1456, 864, 566, 106], [0, 6, 33, 105, 609, 609, 1491, 843, 573, 105], [0, 6, 34, 98, 630, 574, 1526, 822, 580, 104], [0, 6, 35, 91, 651, 539, 1561, 801, 587, 103], [0, 6, 36, 84, 672, 504, 1596, 780, 594, 102], [0, 6, 37, 77, 693, 469, 1631, 759, 601, 101], [0, 6, 38, 70, 714, 434, 1666, 738, 608, 100], [0, 6, 39, 63, 735, 399, 1701, 717, 615, 99], [0, 6, 40, 56, 756, 364, 1736, 696, 622, 98], [0, 6, 41, 49, 777, 329, 1771, 675, 629, 97], [0, 6, 42, 42, 798, 294, 1806, 654, 636, 96], [0, 6, 43, 35, 819, 259, 1841, 633, 643, 95], [0, 6, 44, 28, 840, 224, 1876, 612, 650, 94], [0, 6, 45, 21, 861, 189, 1911, 591, 657, 93], [0, 6, 46, 14, 882, 154, 1946, 570, 664, 92], [0, 7, 2, 294, 70, 1484, 630, 1354, 404, 129], [0, 7, 3, 287, 91, 1449, 665, 1333, 411, 128], [0, 7, 4, 280, 112, 1414, 700, 1312, 418, 127], [0, 7, 5, 273, 133, 1379, 735, 1291, 425, 126], [0, 7, 6, 266, 154, 1344, 770, 1270, 432, 125], [0, 7, 7, 259, 175, 1309, 805, 1249, 439, 124], [0, 7, 8, 252, 196, 1274, 840, 1228, 446, 123], [0, 7, 9, 245, 217, 1239, 875, 1207, 453, 122], [0, 7, 10, 238, 238, 1204, 910, 1186, 460, 121], [0, 7, 11, 231, 259, 1169, 945, 1165, 467, 120], [0, 7, 12, 224, 280, 1134, 980, 1144, 474, 119], [0, 7, 13, 217, 301, 1099, 1015, 1123, 481, 118], [0, 7, 14, 210, 322, 1064, 1050, 1102, 488, 117], [0, 7, 15, 203, 343, 1029, 1085, 1081, 495, 116], [0, 7, 16, 196, 364, 994, 1120, 1060, 502, 115], [0, 7, 17, 189, 385, 959, 1155, 1039, 509, 114], [0, 7, 18, 182, 406, 924, 1190, 1018, 516, 113], [0, 7, 19, 175, 427, 889, 1225, 997, 523, 112], [0, 7, 20, 168, 448, 854, 1260, 976, 530, 111], [0, 7, 21, 161, 469, 819, 1295, 955, 537, 110], [0, 7, 22, 154, 490, 784, 1330, 934, 544, 109], [0, 7, 23, 147, 511, 749, 1365, 913, 551, 108], [0, 7, 24, 140, 532, 714, 1400, 892, 558, 107], [0, 7, 25, 133, 553, 679, 1435, 871, 565, 106], [0, 7, 26, 126, 574, 644, 1470, 850, 572, 105], [0, 7, 27, 119, 595, 609, 1505, 829, 579, 104], [0, 7, 28, 112, 616, 574, 1540, 808, 586, 103], [0, 7, 29, 105, 637, 539, 1575, 787, 593, 102], [0, 7, 30, 98, 658, 504, 1610, 766, 600, 101], [0, 7, 31, 91, 679, 469, 1645, 745, 607, 100], [0, 7, 32, 84, 700, 434, 1680, 724, 614, 99], [0, 7, 33, 77, 721, 399, 1715, 703, 621, 98], [0, 7, 34, 70, 742, 364, 1750, 682, 628, 97], [0, 7, 35, 63, 763, 329, 1785, 661, 635, 96], [0, 7, 36, 56, 784, 294, 1820, 640, 642, 95], [0, 7, 37, 49, 805, 259, 1855, 619, 649, 94], [0, 7, 38, 42, 826, 224, 1890, 598, 656, 93], [0, 7, 39, 35, 847, 189, 1925, 577, 663, 92], [0, 8, 0, 280, 140, 1344, 784, 1256, 438, 124], [0, 8, 1, 273, 161, 1309, 819, 1235, 445, 123], [0, 8, 2, 266, 182, 1274, 854, 1214, 452, 122], [0, 8, 3, 259, 203, 1239, 889, 1193, 459, 121], [0, 8, 4, 252, 224, 1204, 924, 1172, 466, 120], [0, 8, 5, 245, 245, 1169, 959, 1151, 473, 119], [0, 8, 6, 238, 266, 1134, 994, 1130, 480, 118], [0, 8, 7, 231, 287, 1099, 1029, 1109, 487, 117], [0, 8, 8, 224, 308, 1064, 1064, 1088, 494, 116], [0, 8, 9, 217, 329, 1029, 1099, 1067, 501, 115], [0, 8, 10, 210, 350, 994, 1134, 1046, 508, 114], [0, 8, 11, 203, 371, 959, 1169, 1025, 515, 113], [0, 8, 12, 196, 392, 924, 1204, 1004, 522, 112], [0, 8, 13, 189, 413, 889, 1239, 983, 529, 111], [0, 8, 14, 182, 434, 854, 1274, 962, 536, 110], [0, 8, 15, 175, 455, 819, 1309, 941, 543, 109], [0, 8, 16, 168, 476, 784, 1344, 920, 550, 108], [0, 8, 17, 161, 497, 749, 1379, 899, 557, 107], [0, 8, 18, 154, 518, 714, 1414, 878, 564, 106], [0, 8, 19, 147, 539, 679, 1449, 857, 571, 105], [0, 8, 20, 140, 560, 644, 1484, 836, 578, 104], [0, 8, 21, 133, 581, 609, 1519, 815, 585, 103], [0, 8, 22, 126, 602, 574, 1554, 794, 592, 102], [0, 8, 23, 119, 623, 539, 1589, 773, 599, 101], [0, 8, 24, 112, 644, 504, 1624, 752, 606, 100], [0, 8, 25, 105, 665, 469, 1659, 731, 613, 99], [0, 8, 26, 98, 686, 434, 1694, 710, 620, 98], [0, 8, 27, 91, 707, 399, 1729, 689, 627, 97], [0, 8, 28, 84, 728, 364, 1764, 668, 634, 96], [0, 8, 29, 77, 749, 329, 1799, 647, 641, 95], [0, 8, 30, 70, 770, 294, 1834, 626, 648, 94], [0, 8, 31, 63, 791, 259, 1869, 605, 655, 93], [0, 8, 32, 56, 812, 224, 1904, 584, 662, 92], [0, 8, 33, 49, 833, 189, 1939, 563, 669, 91], [0, 8, 34, 42, 854, 154, 1974, 542, 676, 90], [0, 8, 35, 35, 875, 119, 2009, 521, 683, 89], [0, 9, 0, 252, 252, 1134, 1008, 1116, 486, 117], [0, 9, 1, 245, 273, 1099, 1043, 1095, 493, 116], [0, 9, 2, 238, 294, 1064, 1078, 1074, 500, 115], [0, 9, 3, 231, 315, 1029, 1113, 1053, 507, 114], [0, 9, 4, 224, 336, 994, 1148, 1032, 514, 113], [0, 9, 5, 217, 357, 959, 1183, 1011, 521, 112], [0, 9, 6, 210, 378, 924, 1218, 990, 528, 111], [0, 9, 7, 203, 399, 889, 1253, 969, 535, 110], [0, 9, 8, 196, 420, 854, 1288, 948, 542, 109], [0, 9, 9, 189, 441, 819, 1323, 927, 549, 108], [0, 9, 10, 182, 462, 784, 1358, 906, 556, 107], [0, 9, 11, 175, 483, 749, 1393, 885, 563, 106], [0, 9, 12, 168, 504, 714, 1428, 864, 570, 105], [0, 9, 13, 161, 525, 679, 1463, 843, 577, 104], [0, 9, 14, 154, 546, 644, 1498, 822, 584, 103], [0, 9, 15, 147, 567, 609, 1533, 801, 591, 102], [0, 9, 16, 140, 588, 574, 1568, 780, 598, 101], [0, 9, 17, 133, 609, 539, 1603, 759, 605, 100], [0, 9, 18, 126, 630, 504, 1638, 738, 612, 99], [0, 9, 19, 119, 651, 469, 1673, 717, 619, 98], [0, 9, 20, 112, 672, 434, 1708, 696, 626, 97], [0, 9, 21, 105, 693, 399, 1743, 675, 633, 96], [0, 9, 22, 98, 714, 364, 1778, 654, 640, 95], [0, 9, 23, 91, 735, 329, 1813, 633, 647, 94], [0, 9, 24, 84, 756, 294, 1848, 612, 654, 93], [0, 9, 25, 77, 777, 259, 1883, 591, 661, 92], [0, 9, 26, 70, 798, 224, 1918, 570, 668, 91], [0, 9, 27, 63, 819, 189, 1953, 549, 675, 90], [0, 9, 28, 56, 840, 154, 1988, 528, 682, 89], [0, 9, 29, 49, 861, 119, 2023, 507, 689, 88], [0, 10, 0, 224, 364, 924, 1232, 976, 534, 110], [0, 10, 1, 217, 385, 889, 1267, 955, 541, 109], [0, 10, 2, 210, 406, 854, 1302, 934, 548, 108], [0, 10, 3, 203, 427, 819, 1337, 913, 555, 107], [0, 10, 4, 196, 448, 784, 1372, 892, 562, 106], [0, 10, 5, 189, 469, 749, 1407, 871, 569, 105], [0, 10, 6, 182, 490, 714, 1442, 850, 576, 104], [0, 10, 7, 175, 511, 679, 1477, 829, 583, 103], [0, 10, 8, 168, 532, 644, 1512, 808, 590, 102], [0, 10, 9, 161, 553, 609, 1547, 787, 597, 101], [0, 10, 10, 154, 574, 574, 1582, 766, 604, 100], [0, 10, 11, 147, 595, 539, 1617, 745, 611, 99], [0, 10, 12, 140, 616, 504, 1652, 724, 618, 98], [0, 10, 13, 133, 637, 469, 1687, 703, 625, 97], [0, 10, 14, 126, 658, 434, 1722, 682, 632, 96], [0, 10, 15, 119, 679, 399, 1757, 661, 639, 95], [0, 10, 16, 112, 700, 364, 1792, 640, 646, 94], [0, 10, 17, 105, 721, 329, 1827, 619, 653, 93], [0, 10, 18, 98, 742, 294, 1862, 598, 660, 92], [0, 10, 19, 91, 763, 259, 1897, 577, 667, 91], [0, 10, 20, 84, 784, 224, 1932, 556, 674, 90], [0, 10, 21, 77, 805, 189, 1967, 535, 681, 89], [0, 10, 22, 70, 826, 154, 2002, 514, 688, 88], [0, 10, 23, 63, 847, 119, 2037, 493, 695, 87], [0, 11, 0, 196, 476, 714, 1456, 836, 582, 103], [0, 11, 1, 189, 497, 679, 1491, 815, 589, 102], [0, 11, 2, 182, 518, 644, 1526, 794, 596, 101], [0, 11, 3, 175, 539, 609, 1561, 773, 603, 100], [0, 11, 4, 168, 560, 574, 1596, 752, 610, 99], [0, 11, 5, 161, 581, 539, 1631, 731, 617, 98], [0, 11, 6, 154, 602, 504, 1666, 710, 624, 97], [0, 11, 7, 147, 623, 469, 1701, 689, 631, 96], [0, 11, 8, 140, 644, 434, 1736, 668, 638, 95], [0, 11, 9, 133, 665, 399, 1771, 647, 645, 94], [0, 11, 10, 126, 686, 364, 1806, 626, 652, 93], [0, 11, 11, 119, 707, 329, 1841, 605, 659, 92], [0, 11, 12, 112, 728, 294, 1876, 584, 666, 91], [0, 11, 13, 105, 749, 259, 1911, 563, 673, 90], [0, 11, 14, 98, 770, 224, 1946, 542, 680, 89], [0, 11, 15, 91, 791, 189, 1981, 521, 687, 88], [0, 11, 16, 84, 812, 154, 2016, 500, 694, 87], [0, 12, 0, 168, 588, 504, 1680, 696, 630, 96]}
-------
(9, 4374, 6) Remaining distance distributions after General for EXTERNAL point
(6, 4374, 6) has 0 possible DDs: {}
(7, 4374, 6) has 1 possible DDs: {[0, 42, 126, 630, 1050, 1386, 882, 258]}
(8, 4374, 6) has 25 possible DDs: {[0, 0, 168, 0, 1260, 672, 1512, 576, 186], [0, 1, 161, 21, 1225, 707, 1491, 583, 185], [0, 2, 154, 42, 1190, 742, 1470, 590, 184], [0, 3, 147, 63, 1155, 777, 1449, 597, 183], [0, 4, 140, 84, 1120, 812, 1428, 604, 182], [0, 5, 133, 105, 1085, 847, 1407, 611, 181], [0, 6, 126, 126, 1050, 882, 1386, 618, 180], [0, 7, 119, 147, 1015, 917, 1365, 625, 179], [0, 8, 112, 168, 980, 952, 1344, 632, 178], [0, 9, 105, 189, 945, 987, 1323, 639, 177], [0, 10, 98, 210, 910, 1022, 1302, 646, 176], [0, 11, 91, 231, 875, 1057, 1281, 653, 175], [0, 12, 84, 252, 840, 1092, 1260, 660, 174], [0, 13, 77, 273, 805, 1127, 1239, 667, 173], [0, 14, 70, 294, 770, 1162, 1218, 674, 172], [0, 15, 63, 315, 735, 1197, 1197, 681, 171], [0, 16, 56, 336, 700, 1232, 1176, 688, 170], [0, 17, 49, 357, 665, 1267, 1155, 695, 169], [0, 18, 42, 378, 630, 1302, 1134, 702, 168], [0, 19, 35, 399, 595, 1337, 1113, 709, 167], [0, 20, 28, 420, 560, 1372, 1092, 716, 166], [0, 21, 21, 441, 525, 1407, 1071, 723, 165], [0, 22, 14, 462, 490, 1442, 1050, 730, 164], [0, 23, 7, 483, 455, 1477, 1029, 737, 163], [0, 24, 0, 504, 420, 1512, 1008, 744, 162]}
(9, 4374, 6) has 396 possible DDs: {[0, 0, 40, 224, 84, 1624, 392, 1536, 334, 140], [0, 0, 41, 217, 105, 1589, 427, 1515, 341, 139], [0, 0, 42, 210, 126, 1554, 462, 1494, 348, 138], [0, 0, 43, 203, 147, 1519, 497, 1473, 355, 137], [0, 0, 44, 196, 168, 1484, 532, 1452, 362, 136], [0, 0, 45, 189, 189, 1449, 567, 1431, 369, 135], [0, 0, 46, 182, 210, 1414, 602, 1410, 376, 134], [0, 0, 47, 175, 231, 1379, 637, 1389, 383, 133], [0, 0, 48, 168, 252, 1344, 672, 1368, 390, 132], [0, 0, 49, 161, 273, 1309, 707, 1347, 397, 131], [0, 0, 50, 154, 294, 1274, 742, 1326, 404, 130], [0, 0, 51, 147, 315, 1239, 777, 1305, 411, 129], [0, 0, 52, 140, 336, 1204, 812, 1284, 418, 128], [0, 0, 53, 133, 357, 1169, 847, 1263, 425, 127], [0, 0, 54, 126, 378, 1134, 882, 1242, 432, 126], [0, 0, 55, 119, 399, 1099, 917, 1221, 439, 125], [0, 0, 56, 112, 420, 1064, 952, 1200, 446, 124], [0, 0, 57, 105, 441, 1029, 987, 1179, 453, 123], [0, 0, 58, 98, 462, 994, 1022, 1158, 460, 122], [0, 0, 59, 91, 483, 959, 1057, 1137, 467, 121], [0, 0, 60, 84, 504, 924, 1092, 1116, 474, 120], [0, 0, 61, 77, 525, 889, 1127, 1095, 481, 119], [0, 0, 62, 70, 546, 854, 1162, 1074, 488, 118], [0, 0, 63, 63, 567, 819, 1197, 1053, 495, 117], [0, 0, 64, 56, 588, 784, 1232, 1032, 502, 116], [0, 0, 65, 49, 609, 749, 1267, 1011, 509, 115], [0, 0, 66, 42, 630, 714, 1302, 990, 516, 114], [0, 0, 67, 35, 651, 679, 1337, 969, 523, 113], [0, 0, 68, 28, 672, 644, 1372, 948, 530, 112], [0, 0, 69, 21, 693, 609, 1407, 927, 537, 111], [0, 0, 70, 14, 714, 574, 1442, 906, 544, 110], [0, 0, 71, 7, 735, 539, 1477, 885, 551, 109], [0, 0, 72, 0, 756, 504, 1512, 864, 558, 108], [0, 1, 35, 231, 91, 1589, 441, 1501, 347, 138], [0, 1, 36, 224, 112, 1554, 476, 1480, 354, 137], [0, 1, 37, 217, 133, 1519, 511, 1459, 361, 136], [0, 1, 38, 210, 154, 1484, 546, 1438, 368, 135], [0, 1, 39, 203, 175, 1449, 581, 1417, 375, 134], [0, 1, 40, 196, 196, 1414, 616, 1396, 382, 133], [0, 1, 41, 189, 217, 1379, 651, 1375, 389, 132], [0, 1, 42, 182, 238, 1344, 686, 1354, 396, 131], [0, 1, 43, 175, 259, 1309, 721, 1333, 403, 130], [0, 1, 44, 168, 280, 1274, 756, 1312, 410, 129], [0, 1, 45, 161, 301, 1239, 791, 1291, 417, 128], [0, 1, 46, 154, 322, 1204, 826, 1270, 424, 127], [0, 1, 47, 147, 343, 1169, 861, 1249, 431, 126], [0, 1, 48, 140, 364, 1134, 896, 1228, 438, 125], [0, 1, 49, 133, 385, 1099, 931, 1207, 445, 124], [0, 1, 50, 126, 406, 1064, 966, 1186, 452, 123], [0, 1, 51, 119, 427, 1029, 1001, 1165, 459, 122], [0, 1, 52, 112, 448, 994, 1036, 1144, 466, 121], [0, 1, 53, 105, 469, 959, 1071, 1123, 473, 120], [0, 1, 54, 98, 490, 924, 1106, 1102, 480, 119], [0, 1, 55, 91, 511, 889, 1141, 1081, 487, 118], [0, 1, 56, 84, 532, 854, 1176, 1060, 494, 117], [0, 1, 57, 77, 553, 819, 1211, 1039, 501, 116], [0, 1, 58, 70, 574, 784, 1246, 1018, 508, 115], [0, 1, 59, 63, 595, 749, 1281, 997, 515, 114], [0, 1, 60, 56, 616, 714, 1316, 976, 522, 113], [0, 1, 61, 49, 637, 679, 1351, 955, 529, 112], [0, 1, 62, 42, 658, 644, 1386, 934, 536, 111], [0, 1, 63, 35, 679, 609, 1421, 913, 543, 110], [0, 1, 64, 28, 700, 574, 1456, 892, 550, 109], [0, 1, 65, 21, 721, 539, 1491, 871, 557, 108], [0, 2, 30, 238, 98, 1554, 490, 1466, 360, 136], [0, 2, 31, 231, 119, 1519, 525, 1445, 367, 135], [0, 2, 32, 224, 140, 1484, 560, 1424, 374, 134], [0, 2, 33, 217, 161, 1449, 595, 1403, 381, 133], [0, 2, 34, 210, 182, 1414, 630, 1382, 388, 132], [0, 2, 35, 203, 203, 1379, 665, 1361, 395, 131], [0, 2, 36, 196, 224, 1344, 700, 1340, 402, 130], [0, 2, 37, 189, 245, 1309, 735, 1319, 409, 129], [0, 2, 38, 182, 266, 1274, 770, 1298, 416, 128], [0, 2, 39, 175, 287, 1239, 805, 1277, 423, 127], [0, 2, 40, 168, 308, 1204, 840, 1256, 430, 126], [0, 2, 41, 161, 329, 1169, 875, 1235, 437, 125], [0, 2, 42, 154, 350, 1134, 910, 1214, 444, 124], [0, 2, 43, 147, 371, 1099, 945, 1193, 451, 123], [0, 2, 44, 140, 392, 1064, 980, 1172, 458, 122], [0, 2, 45, 133, 413, 1029, 1015, 1151, 465, 121], [0, 2, 46, 126, 434, 994, 1050, 1130, 472, 120], [0, 2, 47, 119, 455, 959, 1085, 1109, 479, 119], [0, 2, 48, 112, 476, 924, 1120, 1088, 486, 118], [0, 2, 49, 105, 497, 889, 1155, 1067, 493, 117], [0, 2, 50, 98, 518, 854, 1190, 1046, 500, 116], [0, 2, 51, 91, 539, 819, 1225, 1025, 507, 115], [0, 2, 52, 84, 560, 784, 1260, 1004, 514, 114], [0, 2, 53, 77, 581, 749, 1295, 983, 521, 113], [0, 2, 54, 70, 602, 714, 1330, 962, 528, 112], [0, 2, 55, 63, 623, 679, 1365, 941, 535, 111], [0, 2, 56, 56, 644, 644, 1400, 920, 542, 110], [0, 2, 57, 49, 665, 609, 1435, 899, 549, 109], [0, 2, 58, 42, 686, 574, 1470, 878, 556, 108], [0, 2, 59, 35, 707, 539, 1505, 857, 563, 107], [0, 2, 60, 28, 728, 504, 1540, 836, 570, 106], [0, 2, 61, 21, 749, 469, 1575, 815, 577, 105], [0, 2, 62, 14, 770, 434, 1610, 794, 584, 104], [0, 2, 63, 7, 791, 399, 1645, 773, 591, 103], [0, 2, 64, 0, 812, 364, 1680, 752, 598, 102], [0, 3, 24, 252, 84, 1554, 504, 1452, 366, 135], [0, 3, 25, 245, 105, 1519, 539, 1431, 373, 134], [0, 3, 26, 238, 126, 1484, 574, 1410, 380, 133], [0, 3, 27, 231, 147, 1449, 609, 1389, 387, 132], [0, 3, 28, 224, 168, 1414, 644, 1368, 394, 131], [0, 3, 29, 217, 189, 1379, 679, 1347, 401, 130], [0, 3, 30, 210, 210, 1344, 714, 1326, 408, 129], [0, 3, 31, 203, 231, 1309, 749, 1305, 415, 128], [0, 3, 32, 196, 252, 1274, 784, 1284, 422, 127], [0, 3, 33, 189, 273, 1239, 819, 1263, 429, 126], [0, 3, 34, 182, 294, 1204, 854, 1242, 436, 125], [0, 3, 35, 175, 315, 1169, 889, 1221, 443, 124], [0, 3, 36, 168, 336, 1134, 924, 1200, 450, 123], [0, 3, 37, 161, 357, 1099, 959, 1179, 457, 122], [0, 3, 38, 154, 378, 1064, 994, 1158, 464, 121], [0, 3, 39, 147, 399, 1029, 1029, 1137, 471, 120], [0, 3, 40, 140, 420, 994, 1064, 1116, 478, 119], [0, 3, 41, 133, 441, 959, 1099, 1095, 485, 118], [0, 3, 42, 126, 462, 924, 1134, 1074, 492, 117], [0, 3, 43, 119, 483, 889, 1169, 1053, 499, 116], [0, 3, 44, 112, 504, 854, 1204, 1032, 506, 115], [0, 3, 45, 105, 525, 819, 1239, 1011, 513, 114], [0, 3, 46, 98, 546, 784, 1274, 990, 520, 113], [0, 3, 47, 91, 567, 749, 1309, 969, 527, 112], [0, 3, 48, 84, 588, 714, 1344, 948, 534, 111], [0, 3, 49, 77, 609, 679, 1379, 927, 541, 110], [0, 3, 50, 70, 630, 644, 1414, 906, 548, 109], [0, 3, 51, 63, 651, 609, 1449, 885, 555, 108], [0, 3, 52, 56, 672, 574, 1484, 864, 562, 107], [0, 3, 53, 49, 693, 539, 1519, 843, 569, 106], [0, 3, 54, 42, 714, 504, 1554, 822, 576, 105], [0, 3, 55, 35, 735, 469, 1589, 801, 583, 104], [0, 3, 56, 28, 756, 434, 1624, 780, 590, 103], [0, 3, 57, 21, 777, 399, 1659, 759, 597, 102], [0, 4, 19, 259, 91, 1519, 553, 1417, 379, 133], [0, 4, 20, 252, 112, 1484, 588, 1396, 386, 132], [0, 4, 21, 245, 133, 1449, 623, 1375, 393, 131], [0, 4, 22, 238, 154, 1414, 658, 1354, 400, 130], [0, 4, 23, 231, 175, 1379, 693, 1333, 407, 129], [0, 4, 24, 224, 196, 1344, 728, 1312, 414, 128], [0, 4, 25, 217, 217, 1309, 763, 1291, 421, 127], [0, 4, 26, 210, 238, 1274, 798, 1270, 428, 126], [0, 4, 27, 203, 259, 1239, 833, 1249, 435, 125], [0, 4, 28, 196, 280, 1204, 868, 1228, 442, 124], [0, 4, 29, 189, 301, 1169, 903, 1207, 449, 123], [0, 4, 30, 182, 322, 1134, 938, 1186, 456, 122], [0, 4, 31, 175, 343, 1099, 973, 1165, 463, 121], [0, 4, 32, 168, 364, 1064, 1008, 1144, 470, 120], [0, 4, 33, 161, 385, 1029, 1043, 1123, 477, 119], [0, 4, 34, 154, 406, 994, 1078, 1102, 484, 118], [0, 4, 35, 147, 427, 959, 1113, 1081, 491, 117], [0, 4, 36, 140, 448, 924, 1148, 1060, 498, 116], [0, 4, 37, 133, 469, 889, 1183, 1039, 505, 115], [0, 4, 38, 126, 490, 854, 1218, 1018, 512, 114], [0, 4, 39, 119, 511, 819, 1253, 997, 519, 113], [0, 4, 40, 112, 532, 784, 1288, 976, 526, 112], [0, 4, 41, 105, 553, 749, 1323, 955, 533, 111], [0, 4, 42, 98, 574, 714, 1358, 934, 540, 110], [0, 4, 43, 91, 595, 679, 1393, 913, 547, 109], [0, 4, 44, 84, 616, 644, 1428, 892, 554, 108], [0, 4, 45, 77, 637, 609, 1463, 871, 561, 107], [0, 4, 46, 70, 658, 574, 1498, 850, 568, 106], [0, 4, 47, 63, 679, 539, 1533, 829, 575, 105], [0, 4, 48, 56, 700, 504, 1568, 808, 582, 104], [0, 4, 49, 49, 721, 469, 1603, 787, 589, 103], [0, 4, 50, 42, 742, 434, 1638, 766, 596, 102], [0, 4, 51, 35, 763, 399, 1673, 745, 603, 101], [0, 4, 52, 28, 784, 364, 1708, 724, 610, 100], [0, 4, 53, 21, 805, 329, 1743, 703, 617, 99], [0, 4, 54, 14, 826, 294, 1778, 682, 624, 98], [0, 4, 55, 7, 847, 259, 1813, 661, 631, 97], [0, 4, 56, 0, 868, 224, 1848, 640, 638, 96], [0, 5, 12, 280, 56, 1554, 532, 1424, 378, 133], [0, 5, 13, 273, 77, 1519, 567, 1403, 385, 132], [0, 5, 14, 266, 98, 1484, 602, 1382, 392, 131], [0, 5, 15, 259, 119, 1449, 637, 1361, 399, 130], [0, 5, 16, 252, 140, 1414, 672, 1340, 406, 129], [0, 5, 17, 245, 161, 1379, 707, 1319, 413, 128], [0, 5, 18, 238, 182, 1344, 742, 1298, 420, 127], [0, 5, 19, 231, 203, 1309, 777, 1277, 427, 126], [0, 5, 20, 224, 224, 1274, 812, 1256, 434, 125], [0, 5, 21, 217, 245, 1239, 847, 1235, 441, 124], [0, 5, 22, 210, 266, 1204, 882, 1214, 448, 123], [0, 5, 23, 203, 287, 1169, 917, 1193, 455, 122], [0, 5, 24, 196, 308, 1134, 952, 1172, 462, 121], [0, 5, 25, 189, 329, 1099, 987, 1151, 469, 120], [0, 5, 26, 182, 350, 1064, 1022, 1130, 476, 119], [0, 5, 27, 175, 371, 1029, 1057, 1109, 483, 118], [0, 5, 28, 168, 392, 994, 1092, 1088, 490, 117], [0, 5, 29, 161, 413, 959, 1127, 1067, 497, 116], [0, 5, 30, 154, 434, 924, 1162, 1046, 504, 115], [0, 5, 31, 147, 455, 889, 1197, 1025, 511, 114], [0, 5, 32, 140, 476, 854, 1232, 1004, 518, 113], [0, 5, 33, 133, 497, 819, 1267, 983, 525, 112], [0, 5, 34, 126, 518, 784, 1302, 962, 532, 111], [0, 5, 35, 119, 539, 749, 1337, 941, 539, 110], [0, 5, 36, 112, 560, 714, 1372, 920, 546, 109], [0, 5, 37, 105, 581, 679, 1407, 899, 553, 108], [0, 5, 38, 98, 602, 644, 1442, 878, 560, 107], [0, 5, 39, 91, 623, 609, 1477, 857, 567, 106], [0, 5, 40, 84, 644, 574, 1512, 836, 574, 105], [0, 5, 41, 77, 665, 539, 1547, 815, 581, 104], [0, 5, 42, 70, 686, 504, 1582, 794, 588, 103], [0, 5, 43, 63, 707, 469, 1617, 773, 595, 102], [0, 5, 44, 56, 728, 434, 1652, 752, 602, 101], [0, 5, 45, 49, 749, 399, 1687, 731, 609, 100], [0, 5, 46, 42, 770, 364, 1722, 710, 616, 99], [0, 5, 47, 35, 791, 329, 1757, 689, 623, 98], [0, 5, 48, 28, 812, 294, 1792, 668, 630, 97], [0, 5, 49, 21, 833, 259, 1827, 647, 637, 96], [0, 6, 6, 294, 42, 1554, 546, 1410, 384, 132], [0, 6, 7, 287, 63, 1519, 581, 1389, 391, 131], [0, 6, 8, 280, 84, 1484, 616, 1368, 398, 130], [0, 6, 9, 273, 105, 1449, 651, 1347, 405, 129], [0, 6, 10, 266, 126, 1414, 686, 1326, 412, 128], [0, 6, 11, 259, 147, 1379, 721, 1305, 419, 127], [0, 6, 12, 252, 168, 1344, 756, 1284, 426, 126], [0, 6, 13, 245, 189, 1309, 791, 1263, 433, 125], [0, 6, 14, 238, 210, 1274, 826, 1242, 440, 124], [0, 6, 15, 231, 231, 1239, 861, 1221, 447, 123], [0, 6, 16, 224, 252, 1204, 896, 1200, 454, 122], [0, 6, 17, 217, 273, 1169, 931, 1179, 461, 121], [0, 6, 18, 210, 294, 1134, 966, 1158, 468, 120], [0, 6, 19, 203, 315, 1099, 1001, 1137, 475, 119], [0, 6, 20, 196, 336, 1064, 1036, 1116, 482, 118], [0, 6, 21, 189, 357, 1029, 1071, 1095, 489, 117], [0, 6, 22, 182, 378, 994, 1106, 1074, 496, 116], [0, 6, 23, 175, 399, 959, 1141, 1053, 503, 115], [0, 6, 24, 168, 420, 924, 1176, 1032, 510, 114], [0, 6, 25, 161, 441, 889, 1211, 1011, 517, 113], [0, 6, 26, 154, 462, 854, 1246, 990, 524, 112], [0, 6, 27, 147, 483, 819, 1281, 969, 531, 111], [0, 6, 28, 140, 504, 784, 1316, 948, 538, 110], [0, 6, 29, 133, 525, 749, 1351, 927, 545, 109], [0, 6, 30, 126, 546, 714, 1386, 906, 552, 108], [0, 6, 31, 119, 567, 679, 1421, 885, 559, 107], [0, 6, 32, 112, 588, 644, 1456, 864, 566, 106], [0, 6, 33, 105, 609, 609, 1491, 843, 573, 105], [0, 6, 34, 98, 630, 574, 1526, 822, 580, 104], [0, 6, 35, 91, 651, 539, 1561, 801, 587, 103], [0, 6, 36, 84, 672, 504, 1596, 780, 594, 102], [0, 6, 37, 77, 693, 469, 1631, 759, 601, 101], [0, 6, 38, 70, 714, 434, 1666, 738, 608, 100], [0, 6, 39, 63, 735, 399, 1701, 717, 615, 99], [0, 6, 40, 56, 756, 364, 1736, 696, 622, 98], [0, 6, 41, 49, 777, 329, 1771, 675, 629, 97], [0, 6, 42, 42, 798, 294, 1806, 654, 636, 96], [0, 6, 43, 35, 819, 259, 1841, 633, 643, 95], [0, 6, 44, 28, 840, 224, 1876, 612, 650, 94], [0, 6, 45, 21, 861, 189, 1911, 591, 657, 93], [0, 6, 46, 14, 882, 154, 1946, 570, 664, 92], [0, 7, 2, 294, 70, 1484, 630, 1354, 404, 129], [0, 7, 3, 287, 91, 1449, 665, 1333, 411, 128], [0, 7, 4, 280, 112, 1414, 700, 1312, 418, 127], [0, 7, 5, 273, 133, 1379, 735, 1291, 425, 126], [0, 7, 6, 266, 154, 1344, 770, 1270, 432, 125], [0, 7, 7, 259, 175, 1309, 805, 1249, 439, 124], [0, 7, 8, 252, 196, 1274, 840, 1228, 446, 123], [0, 7, 9, 245, 217, 1239, 875, 1207, 453, 122], [0, 7, 10, 238, 238, 1204, 910, 1186, 460, 121], [0, 7, 11, 231, 259, 1169, 945, 1165, 467, 120], [0, 7, 12, 224, 280, 1134, 980, 1144, 474, 119], [0, 7, 13, 217, 301, 1099, 1015, 1123, 481, 118], [0, 7, 14, 210, 322, 1064, 1050, 1102, 488, 117], [0, 7, 15, 203, 343, 1029, 1085, 1081, 495, 116], [0, 7, 16, 196, 364, 994, 1120, 1060, 502, 115], [0, 7, 17, 189, 385, 959, 1155, 1039, 509, 114], [0, 7, 18, 182, 406, 924, 1190, 1018, 516, 113], [0, 7, 19, 175, 427, 889, 1225, 997, 523, 112], [0, 7, 20, 168, 448, 854, 1260, 976, 530, 111], [0, 7, 21, 161, 469, 819, 1295, 955, 537, 110], [0, 7, 22, 154, 490, 784, 1330, 934, 544, 109], [0, 7, 23, 147, 511, 749, 1365, 913, 551, 108], [0, 7, 24, 140, 532, 714, 1400, 892, 558, 107], [0, 7, 25, 133, 553, 679, 1435, 871, 565, 106], [0, 7, 26, 126, 574, 644, 1470, 850, 572, 105], [0, 7, 27, 119, 595, 609, 1505, 829, 579, 104], [0, 7, 28, 112, 616, 574, 1540, 808, 586, 103], [0, 7, 29, 105, 637, 539, 1575, 787, 593, 102], [0, 7, 30, 98, 658, 504, 1610, 766, 600, 101], [0, 7, 31, 91, 679, 469, 1645, 745, 607, 100], [0, 7, 32, 84, 700, 434, 1680, 724, 614, 99], [0, 7, 33, 77, 721, 399, 1715, 703, 621, 98], [0, 7, 34, 70, 742, 364, 1750, 682, 628, 97], [0, 7, 35, 63, 763, 329, 1785, 661, 635, 96], [0, 7, 36, 56, 784, 294, 1820, 640, 642, 95], [0, 7, 37, 49, 805, 259, 1855, 619, 649, 94], [0, 7, 38, 42, 826, 224, 1890, 598, 656, 93], [0, 7, 39, 35, 847, 189, 1925, 577, 663, 92], [0, 8, 0, 280, 140, 1344, 784, 1256, 438, 124], [0, 8, 1, 273, 161, 1309, 819, 1235, 445, 123], [0, 8, 2, 266, 182, 1274, 854, 1214, 452, 122], [0, 8, 3, 259, 203, 1239, 889, 1193, 459, 121], [0, 8, 4, 252, 224, 1204, 924, 1172, 466, 120], [0, 8, 5, 245, 245, 1169, 959, 1151, 473, 119], [0, 8, 6, 238, 266, 1134, 994, 1130, 480, 118], [0, 8, 7, 231, 287, 1099, 1029, 1109, 487, 117], [0, 8, 8, 224, 308, 1064, 1064, 1088, 494, 116], [0, 8, 9, 217, 329, 1029, 1099, 1067, 501, 115], [0, 8, 10, 210, 350, 994, 1134, 1046, 508, 114], [0, 8, 11, 203, 371, 959, 1169, 1025, 515, 113], [0, 8, 12, 196, 392, 924, 1204, 1004, 522, 112], [0, 8, 13, 189, 413, 889, 1239, 983, 529, 111], [0, 8, 14, 182, 434, 854, 1274, 962, 536, 110], [0, 8, 15, 175, 455, 819, 1309, 941, 543, 109], [0, 8, 16, 168, 476, 784, 1344, 920, 550, 108], [0, 8, 17, 161, 497, 749, 1379, 899, 557, 107], [0, 8, 18, 154, 518, 714, 1414, 878, 564, 106], [0, 8, 19, 147, 539, 679, 1449, 857, 571, 105], [0, 8, 20, 140, 560, 644, 1484, 836, 578, 104], [0, 8, 21, 133, 581, 609, 1519, 815, 585, 103], [0, 8, 22, 126, 602, 574, 1554, 794, 592, 102], [0, 8, 23, 119, 623, 539, 1589, 773, 599, 101], [0, 8, 24, 112, 644, 504, 1624, 752, 606, 100], [0, 8, 25, 105, 665, 469, 1659, 731, 613, 99], [0, 8, 26, 98, 686, 434, 1694, 710, 620, 98], [0, 8, 27, 91, 707, 399, 1729, 689, 627, 97], [0, 8, 28, 84, 728, 364, 1764, 668, 634, 96], [0, 8, 29, 77, 749, 329, 1799, 647, 641, 95], [0, 8, 30, 70, 770, 294, 1834, 626, 648, 94], [0, 8, 31, 63, 791, 259, 1869, 605, 655, 93], [0, 8, 32, 56, 812, 224, 1904, 584, 662, 92], [0, 8, 33, 49, 833, 189, 1939, 563, 669, 91], [0, 8, 34, 42, 854, 154, 1974, 542, 676, 90], [0, 8, 35, 35, 875, 119, 2009, 521, 683, 89], [0, 9, 0, 252, 252, 1134, 1008, 1116, 486, 117], [0, 9, 1, 245, 273, 1099, 1043, 1095, 493, 116], [0, 9, 2, 238, 294, 1064, 1078, 1074, 500, 115], [0, 9, 3, 231, 315, 1029, 1113, 1053, 507, 114], [0, 9, 4, 224, 336, 994, 1148, 1032, 514, 113], [0, 9, 5, 217, 357, 959, 1183, 1011, 521, 112], [0, 9, 6, 210, 378, 924, 1218, 990, 528, 111], [0, 9, 7, 203, 399, 889, 1253, 969, 535, 110], [0, 9, 8, 196, 420, 854, 1288, 948, 542, 109], [0, 9, 9, 189, 441, 819, 1323, 927, 549, 108], [0, 9, 10, 182, 462, 784, 1358, 906, 556, 107], [0, 9, 11, 175, 483, 749, 1393, 885, 563, 106], [0, 9, 12, 168, 504, 714, 1428, 864, 570, 105], [0, 9, 13, 161, 525, 679, 1463, 843, 577, 104], [0, 9, 14, 154, 546, 644, 1498, 822, 584, 103], [0, 9, 15, 147, 567, 609, 1533, 801, 591, 102], [0, 9, 16, 140, 588, 574, 1568, 780, 598, 101], [0, 9, 17, 133, 609, 539, 1603, 759, 605, 100], [0, 9, 18, 126, 630, 504, 1638, 738, 612, 99], [0, 9, 19, 119, 651, 469, 1673, 717, 619, 98], [0, 9, 20, 112, 672, 434, 1708, 696, 626, 97], [0, 9, 21, 105, 693, 399, 1743, 675, 633, 96], [0, 9, 22, 98, 714, 364, 1778, 654, 640, 95], [0, 9, 23, 91, 735, 329, 1813, 633, 647, 94], [0, 9, 24, 84, 756, 294, 1848, 612, 654, 93], [0, 9, 25, 77, 777, 259, 1883, 591, 661, 92], [0, 9, 26, 70, 798, 224, 1918, 570, 668, 91], [0, 9, 27, 63, 819, 189, 1953, 549, 675, 90], [0, 9, 28, 56, 840, 154, 1988, 528, 682, 89], [0, 9, 29, 49, 861, 119, 2023, 507, 689, 88], [0, 10, 0, 224, 364, 924, 1232, 976, 534, 110], [0, 10, 1, 217, 385, 889, 1267, 955, 541, 109], [0, 10, 2, 210, 406, 854, 1302, 934, 548, 108], [0, 10, 3, 203, 427, 819, 1337, 913, 555, 107], [0, 10, 4, 196, 448, 784, 1372, 892, 562, 106], [0, 10, 5, 189, 469, 749, 1407, 871, 569, 105], [0, 10, 6, 182, 490, 714, 1442, 850, 576, 104], [0, 10, 7, 175, 511, 679, 1477, 829, 583, 103], [0, 10, 8, 168, 532, 644, 1512, 808, 590, 102], [0, 10, 9, 161, 553, 609, 1547, 787, 597, 101], [0, 10, 10, 154, 574, 574, 1582, 766, 604, 100], [0, 10, 11, 147, 595, 539, 1617, 745, 611, 99], [0, 10, 12, 140, 616, 504, 1652, 724, 618, 98], [0, 10, 13, 133, 637, 469, 1687, 703, 625, 97], [0, 10, 14, 126, 658, 434, 1722, 682, 632, 96], [0, 10, 15, 119, 679, 399, 1757, 661, 639, 95], [0, 10, 16, 112, 700, 364, 1792, 640, 646, 94], [0, 10, 17, 105, 721, 329, 1827, 619, 653, 93], [0, 10, 18, 98, 742, 294, 1862, 598, 660, 92], [0, 10, 19, 91, 763, 259, 1897, 577, 667, 91], [0, 10, 20, 84, 784, 224, 1932, 556, 674, 90], [0, 10, 21, 77, 805, 189, 1967, 535, 681, 89], [0, 10, 22, 70, 826, 154, 2002, 514, 688, 88], [0, 10, 23, 63, 847, 119, 2037, 493, 695, 87], [0, 11, 0, 196, 476, 714, 1456, 836, 582, 103], [0, 11, 1, 189, 497, 679, 1491, 815, 589, 102], [0, 11, 2, 182, 518, 644, 1526, 794, 596, 101], [0, 11, 3, 175, 539, 609, 1561, 773, 603, 100], [0, 11, 4, 168, 560, 574, 1596, 752, 610, 99], [0, 11, 5, 161, 581, 539, 1631, 731, 617, 98], [0, 11, 6, 154, 602, 504, 1666, 710, 624, 97], [0, 11, 7, 147, 623, 469, 1701, 689, 631, 96], [0, 11, 8, 140, 644, 434, 1736, 668, 638, 95], [0, 11, 9, 133, 665, 399, 1771, 647, 645, 94], [0, 11, 10, 126, 686, 364, 1806, 626, 652, 93], [0, 11, 11, 119, 707, 329, 1841, 605, 659, 92], [0, 11, 12, 112, 728, 294, 1876, 584, 666, 91], [0, 11, 13, 105, 749, 259, 1911, 563, 673, 90], [0, 11, 14, 98, 770, 224, 1946, 542, 680, 89], [0, 11, 15, 91, 791, 189, 1981, 521, 687, 88], [0, 11, 16, 84, 812, 154, 2016, 500, 694, 87], [0, 12, 0, 168, 588, 504, 1680, 696, 630, 96]}