-------
(14, 7168, 9) Remaining distance distributions for INTERNAL point
(9, 7168, 9) has 1 possible DDs: {[14, 126, 504, 1176, 1764, 1764, 1176, 504, 126, 14]}
(10, 7168, 9) has 14 possible DDs: {[1, 130, 45, 1560, 210, 3276, 210, 1560, 45, 130, 1], [2, 120, 90, 1440, 420, 3024, 420, 1440, 90, 120, 2], [3, 110, 135, 1320, 630, 2772, 630, 1320, 135, 110, 3], [4, 100, 180, 1200, 840, 2520, 840, 1200, 180, 100, 4], [5, 90, 225, 1080, 1050, 2268, 1050, 1080, 225, 90, 5], [6, 80, 270, 960, 1260, 2016, 1260, 960, 270, 80, 6], [7, 70, 315, 840, 1470, 1764, 1470, 840, 315, 70, 7], [8, 60, 360, 720, 1680, 1512, 1680, 720, 360, 60, 8], [9, 50, 405, 600, 1890, 1260, 1890, 600, 405, 50, 9], [10, 40, 450, 480, 2100, 1008, 2100, 480, 450, 40, 10], [11, 30, 495, 360, 2310, 756, 2310, 360, 495, 30, 11], [12, 20, 540, 240, 2520, 504, 2520, 240, 540, 20, 12], [13, 10, 585, 120, 2730, 252, 2730, 120, 585, 10, 13], [14, 0, 630, 0, 2940, 0, 2940, 0, 630, 0, 14]}
(11, 7168, 9) has 56 possible DDs: {[1, 60, 115, 720, 1050, 1512, 1974, 720, 885, 60, 71, 0], [1, 61, 105, 765, 930, 1722, 1722, 930, 765, 105, 61, 1], [1, 62, 95, 810, 810, 1932, 1470, 1140, 645, 150, 51, 2], [1, 63, 85, 855, 690, 2142, 1218, 1350, 525, 195, 41, 3], [1, 64, 75, 900, 570, 2352, 966, 1560, 405, 240, 31, 4], [1, 65, 65, 945, 450, 2562, 714, 1770, 285, 285, 21, 5], [1, 66, 55, 990, 330, 2772, 462, 1980, 165, 330, 11, 6], [1, 67, 45, 1035, 210, 2982, 210, 2190, 45, 375, 1, 7], [2, 50, 160, 600, 1260, 1260, 2184, 600, 930, 50, 72, 0], [2, 51, 150, 645, 1140, 1470, 1932, 810, 810, 95, 62, 1], [2, 52, 140, 690, 1020, 1680, 1680, 1020, 690, 140, 52, 2], [2, 53, 130, 735, 900, 1890, 1428, 1230, 570, 185, 42, 3], [2, 54, 120, 780, 780, 2100, 1176, 1440, 450, 230, 32, 4], [2, 55, 110, 825, 660, 2310, 924, 1650, 330, 275, 22, 5], [2, 56, 100, 870, 540, 2520, 672, 1860, 210, 320, 12, 6], [2, 57, 90, 915, 420, 2730, 420, 2070, 90, 365, 2, 7], [3, 40, 205, 480, 1470, 1008, 2394, 480, 975, 40, 73, 0], [3, 41, 195, 525, 1350, 1218, 2142, 690, 855, 85, 63, 1], [3, 42, 185, 570, 1230, 1428, 1890, 900, 735, 130, 53, 2], [3, 43, 175, 615, 1110, 1638, 1638, 1110, 615, 175, 43, 3], [3, 44, 165, 660, 990, 1848, 1386, 1320, 495, 220, 33, 4], [3, 45, 155, 705, 870, 2058, 1134, 1530, 375, 265, 23, 5], [3, 46, 145, 750, 750, 2268, 882, 1740, 255, 310, 13, 6], [3, 47, 135, 795, 630, 2478, 630, 1950, 135, 355, 3, 7], [4, 30, 250, 360, 1680, 756, 2604, 360, 1020, 30, 74, 0], [4, 31, 240, 405, 1560, 966, 2352, 570, 900, 75, 64, 1], [4, 32, 230, 450, 1440, 1176, 2100, 780, 780, 120, 54, 2], [4, 33, 220, 495, 1320, 1386, 1848, 990, 660, 165, 44, 3], [4, 34, 210, 540, 1200, 1596, 1596, 1200, 540, 210, 34, 4], [4, 35, 200, 585, 1080, 1806, 1344, 1410, 420, 255, 24, 5], [4, 36, 190, 630, 960, 2016, 1092, 1620, 300, 300, 14, 6], [4, 37, 180, 675, 840, 2226, 840, 1830, 180, 345, 4, 7], [5, 20, 295, 240, 1890, 504, 2814, 240, 1065, 20, 75, 0], [5, 21, 285, 285, 1770, 714, 2562, 450, 945, 65, 65, 1], [5, 22, 275, 330, 1650, 924, 2310, 660, 825, 110, 55, 2], [5, 23, 265, 375, 1530, 1134, 2058, 870, 705, 155, 45, 3], [5, 24, 255, 420, 1410, 1344, 1806, 1080, 585, 200, 35, 4], [5, 25, 245, 465, 1290, 1554, 1554, 1290, 465, 245, 25, 5], [5, 26, 235, 510, 1170, 1764, 1302, 1500, 345, 290, 15, 6], [5, 27, 225, 555, 1050, 1974, 1050, 1710, 225, 335, 5, 7], [6, 10, 340, 120, 2100, 252, 3024, 120, 1110, 10, 76, 0], [6, 11, 330, 165, 1980, 462, 2772, 330, 990, 55, 66, 1], [6, 12, 320, 210, 1860, 672, 2520, 540, 870, 100, 56, 2], [6, 13, 310, 255, 1740, 882, 2268, 750, 750, 145, 46, 3], [6, 14, 300, 300, 1620, 1092, 2016, 960, 630, 190, 36, 4], [6, 15, 290, 345, 1500, 1302, 1764, 1170, 510, 235, 26, 5], [6, 16, 280, 390, 1380, 1512, 1512, 1380, 390, 280, 16, 6], [6, 17, 270, 435, 1260, 1722, 1260, 1590, 270, 325, 6, 7], [7, 0, 385, 0, 2310, 0, 3234, 0, 1155, 0, 77, 0], [7, 1, 375, 45, 2190, 210, 2982, 210, 1035, 45, 67, 1], [7, 2, 365, 90, 2070, 420, 2730, 420, 915, 90, 57, 2], [7, 3, 355, 135, 1950, 630, 2478, 630, 795, 135, 47, 3], [7, 4, 345, 180, 1830, 840, 2226, 840, 675, 180, 37, 4], [7, 5, 335, 225, 1710, 1050, 1974, 1050, 555, 225, 27, 5], [7, 6, 325, 270, 1590, 1260, 1722, 1260, 435, 270, 17, 6], [7, 7, 315, 315, 1470, 1470, 1470, 1470, 315, 315, 7, 7]}
(12, 7168, 9) has 88 possible DDs: {[1, 24, 125, 290, 1170, 840, 2226, 972, 1005, 400, 81, 34, 0], [1, 24, 126, 280, 1215, 720, 2436, 720, 1215, 280, 126, 24, 1], [1, 25, 115, 335, 1050, 1050, 1974, 1182, 885, 445, 71, 35, 0], [1, 25, 116, 325, 1095, 930, 2184, 930, 1095, 325, 116, 25, 1], [1, 26, 105, 380, 930, 1260, 1722, 1392, 765, 490, 61, 36, 0], [1, 26, 106, 370, 975, 1140, 1932, 1140, 975, 370, 106, 26, 1], [1, 26, 107, 360, 1020, 1020, 2142, 888, 1185, 250, 151, 16, 2], [1, 27, 95, 425, 810, 1470, 1470, 1602, 645, 535, 51, 37, 0], [1, 27, 96, 415, 855, 1350, 1680, 1350, 855, 415, 96, 27, 1], [1, 27, 97, 405, 900, 1230, 1890, 1098, 1065, 295, 141, 17, 2], [1, 27, 98, 395, 945, 1110, 2100, 846, 1275, 175, 186, 7, 3], [1, 28, 85, 470, 690, 1680, 1218, 1812, 525, 580, 41, 38, 0], [1, 28, 86, 460, 735, 1560, 1428, 1560, 735, 460, 86, 28, 1], [1, 28, 87, 450, 780, 1440, 1638, 1308, 945, 340, 131, 18, 2], [1, 28, 88, 440, 825, 1320, 1848, 1056, 1155, 220, 176, 8, 3], [1, 29, 76, 505, 615, 1770, 1176, 1770, 615, 505, 76, 29, 1], [1, 29, 77, 495, 660, 1650, 1386, 1518, 825, 385, 121, 19, 2], [1, 29, 78, 485, 705, 1530, 1596, 1266, 1035, 265, 166, 9, 3], [1, 30, 66, 550, 495, 1980, 924, 1980, 495, 550, 66, 30, 1], [1, 30, 67, 540, 540, 1860, 1134, 1728, 705, 430, 111, 20, 2], [1, 30, 68, 530, 585, 1740, 1344, 1476, 915, 310, 156, 10, 3], [1, 30, 69, 520, 630, 1620, 1554, 1224, 1125, 190, 201, 0, 4], [1, 31, 58, 575, 465, 1950, 1092, 1686, 795, 355, 146, 11, 3], [2, 15, 160, 215, 1260, 798, 2184, 1062, 930, 435, 72, 35, 0], [2, 16, 150, 260, 1140, 1008, 1932, 1272, 810, 480, 62, 36, 0], [2, 16, 151, 250, 1185, 888, 2142, 1020, 1020, 360, 107, 26, 1], [2, 16, 152, 240, 1230, 768, 2352, 768, 1230, 240, 152, 16, 2], [2, 17, 140, 305, 1020, 1218, 1680, 1482, 690, 525, 52, 37, 0], [2, 17, 141, 295, 1065, 1098, 1890, 1230, 900, 405, 97, 27, 1], [2, 17, 142, 285, 1110, 978, 2100, 978, 1110, 285, 142, 17, 2], [2, 18, 130, 350, 900, 1428, 1428, 1692, 570, 570, 42, 38, 0], [2, 18, 131, 340, 945, 1308, 1638, 1440, 780, 450, 87, 28, 1], [2, 18, 132, 330, 990, 1188, 1848, 1188, 990, 330, 132, 18, 2], [2, 18, 133, 320, 1035, 1068, 2058, 936, 1200, 210, 177, 8, 3], [2, 19, 120, 395, 780, 1638, 1176, 1902, 450, 615, 32, 39, 0], [2, 19, 121, 385, 825, 1518, 1386, 1650, 660, 495, 77, 29, 1], [2, 19, 122, 375, 870, 1398, 1596, 1398, 870, 375, 122, 19, 2], [2, 19, 123, 365, 915, 1278, 1806, 1146, 1080, 255, 167, 9, 3], [2, 20, 111, 430, 705, 1728, 1134, 1860, 540, 540, 67, 30, 1], [2, 20, 112, 420, 750, 1608, 1344, 1608, 750, 420, 112, 20, 2], [2, 20, 113, 410, 795, 1488, 1554, 1356, 960, 300, 157, 10, 3], [2, 20, 114, 400, 840, 1368, 1764, 1104, 1170, 180, 202, 0, 4], [2, 21, 102, 465, 630, 1818, 1092, 1818, 630, 465, 102, 21, 2], [2, 21, 103, 455, 675, 1698, 1302, 1566, 840, 345, 147, 11, 3], [2, 21, 104, 445, 720, 1578, 1512, 1314, 1050, 225, 192, 1, 4], [2, 22, 92, 510, 510, 2028, 840, 2028, 510, 510, 92, 22, 2], [2, 22, 93, 500, 555, 1908, 1050, 1776, 720, 390, 137, 12, 3], [2, 22, 94, 490, 600, 1788, 1260, 1524, 930, 270, 182, 2, 4], [2, 23, 84, 535, 480, 1998, 1008, 1734, 810, 315, 172, 3, 4], [3, 7, 186, 175, 1275, 846, 2100, 1110, 945, 395, 98, 27, 1], [3, 8, 175, 230, 1110, 1176, 1638, 1572, 615, 560, 43, 38, 0], [3, 8, 176, 220, 1155, 1056, 1848, 1320, 825, 440, 88, 28, 1], [3, 8, 177, 210, 1200, 936, 2058, 1068, 1035, 320, 133, 18, 2], [3, 8, 178, 200, 1245, 816, 2268, 816, 1245, 200, 178, 8, 3], [3, 9, 166, 265, 1035, 1266, 1596, 1530, 705, 485, 78, 29, 1], [3, 9, 167, 255, 1080, 1146, 1806, 1278, 915, 365, 123, 19, 2], [3, 9, 168, 245, 1125, 1026, 2016, 1026, 1125, 245, 168, 9, 3], [3, 10, 156, 310, 915, 1476, 1344, 1740, 585, 530, 68, 30, 1], [3, 10, 157, 300, 960, 1356, 1554, 1488, 795, 410, 113, 20, 2], [3, 10, 158, 290, 1005, 1236, 1764, 1236, 1005, 290, 158, 10, 3], [3, 10, 159, 280, 1050, 1116, 1974, 984, 1215, 170, 203, 0, 4], [3, 11, 146, 355, 795, 1686, 1092, 1950, 465, 575, 58, 31, 1], [3, 11, 147, 345, 840, 1566, 1302, 1698, 675, 455, 103, 21, 2], [3, 11, 148, 335, 885, 1446, 1512, 1446, 885, 335, 148, 11, 3], [3, 11, 149, 325, 930, 1326, 1722, 1194, 1095, 215, 193, 1, 4], [3, 12, 137, 390, 720, 1776, 1050, 1908, 555, 500, 93, 22, 2], [3, 12, 138, 380, 765, 1656, 1260, 1656, 765, 380, 138, 12, 3], [3, 12, 139, 370, 810, 1536, 1470, 1404, 975, 260, 183, 2, 4], [3, 13, 128, 425, 645, 1866, 1008, 1866, 645, 425, 128, 13, 3], [3, 13, 129, 415, 690, 1746, 1218, 1614, 855, 305, 173, 3, 4], [3, 14, 118, 470, 525, 2076, 756, 2076, 525, 470, 118, 14, 3], [3, 14, 119, 460, 570, 1956, 966, 1824, 735, 350, 163, 4, 4], [4, 0, 201, 190, 1125, 1224, 1554, 1620, 630, 520, 69, 30, 1], [4, 0, 202, 180, 1170, 1104, 1764, 1368, 840, 400, 114, 20, 2], [4, 0, 203, 170, 1215, 984, 1974, 1116, 1050, 280, 159, 10, 3], [4, 0, 204, 160, 1260, 864, 2184, 864, 1260, 160, 204, 0, 4], [4, 1, 192, 225, 1050, 1314, 1512, 1578, 720, 445, 104, 21, 2], [4, 1, 193, 215, 1095, 1194, 1722, 1326, 930, 325, 149, 11, 3], [4, 1, 194, 205, 1140, 1074, 1932, 1074, 1140, 205, 194, 1, 4], [4, 2, 182, 270, 930, 1524, 1260, 1788, 600, 490, 94, 22, 2], [4, 2, 183, 260, 975, 1404, 1470, 1536, 810, 370, 139, 12, 3], [4, 2, 184, 250, 1020, 1284, 1680, 1284, 1020, 250, 184, 2, 4], [4, 3, 172, 315, 810, 1734, 1008, 1998, 480, 535, 84, 23, 2], [4, 3, 173, 305, 855, 1614, 1218, 1746, 690, 415, 129, 13, 3], [4, 3, 174, 295, 900, 1494, 1428, 1494, 900, 295, 174, 3, 4], [4, 4, 163, 350, 735, 1824, 966, 1956, 570, 460, 119, 14, 3], [4, 4, 164, 340, 780, 1704, 1176, 1704, 780, 340, 164, 4, 4], [4, 5, 154, 385, 660, 1914, 924, 1914, 660, 385, 154, 5, 4]}
(13, 7168, 9) has 103 possible DDs: {[1, 7, 102, 125, 895, 774, 1764, 1434, 1071, 675, 246, 57, 17, 0], [1, 7, 102, 126, 885, 819, 1644, 1644, 819, 885, 126, 102, 7, 1], [1, 8, 91, 180, 730, 1104, 1302, 1896, 741, 840, 191, 68, 16, 0], [1, 8, 92, 170, 775, 984, 1512, 1644, 951, 720, 236, 58, 17, 0], [1, 8, 93, 160, 820, 864, 1722, 1392, 1161, 600, 281, 48, 18, 0], [1, 8, 93, 161, 810, 909, 1602, 1602, 909, 810, 161, 93, 8, 1], [1, 8, 94, 150, 865, 744, 1932, 1140, 1371, 480, 326, 38, 19, 0], [1, 8, 94, 151, 855, 789, 1812, 1350, 1119, 690, 206, 83, 9, 1], [1, 9, 82, 215, 655, 1194, 1260, 1854, 831, 765, 226, 59, 17, 0], [1, 9, 83, 205, 700, 1074, 1470, 1602, 1041, 645, 271, 49, 18, 0], [1, 9, 83, 206, 690, 1119, 1350, 1812, 789, 855, 151, 94, 8, 1], [1, 9, 84, 195, 745, 954, 1680, 1350, 1251, 525, 316, 39, 19, 0], [1, 9, 84, 196, 735, 999, 1560, 1560, 999, 735, 196, 84, 9, 1], [1, 9, 85, 185, 790, 834, 1890, 1098, 1461, 405, 361, 29, 20, 0], [1, 9, 85, 186, 780, 879, 1770, 1308, 1209, 615, 241, 74, 10, 1], [1, 9, 86, 176, 825, 759, 1980, 1056, 1419, 495, 286, 64, 11, 1], [1, 9, 86, 177, 815, 804, 1860, 1266, 1167, 705, 166, 109, 1, 2], [1, 10, 72, 260, 535, 1404, 1008, 2064, 711, 810, 216, 60, 17, 0], [1, 10, 73, 250, 580, 1284, 1218, 1812, 921, 690, 261, 50, 18, 0], [1, 10, 74, 240, 625, 1164, 1428, 1560, 1131, 570, 306, 40, 19, 0], [1, 10, 74, 241, 615, 1209, 1308, 1770, 879, 780, 186, 85, 9, 1], [1, 10, 75, 230, 670, 1044, 1638, 1308, 1341, 450, 351, 30, 20, 0], [1, 10, 75, 231, 660, 1089, 1518, 1518, 1089, 660, 231, 75, 10, 1], [1, 10, 76, 221, 705, 969, 1728, 1266, 1299, 540, 276, 65, 11, 1], [1, 10, 76, 222, 695, 1014, 1608, 1476, 1047, 750, 156, 110, 1, 2], [1, 10, 77, 211, 750, 849, 1938, 1014, 1509, 420, 321, 55, 12, 1], [1, 10, 77, 212, 740, 894, 1818, 1224, 1257, 630, 201, 100, 2, 2], [1, 10, 78, 202, 785, 774, 2028, 972, 1467, 510, 246, 90, 3, 2], [1, 11, 63, 295, 460, 1494, 966, 2022, 801, 735, 251, 51, 18, 0], [1, 11, 64, 285, 505, 1374, 1176, 1770, 1011, 615, 296, 41, 19, 0], [1, 11, 64, 286, 495, 1419, 1056, 1980, 759, 825, 176, 86, 9, 1], [1, 11, 65, 275, 550, 1254, 1386, 1518, 1221, 495, 341, 31, 20, 0], [1, 11, 65, 276, 540, 1299, 1266, 1728, 969, 705, 221, 76, 10, 1], [1, 11, 66, 266, 585, 1179, 1476, 1476, 1179, 585, 266, 66, 11, 1], [1, 11, 66, 267, 575, 1224, 1356, 1686, 927, 795, 146, 111, 1, 2], [1, 11, 67, 256, 630, 1059, 1686, 1224, 1389, 465, 311, 56, 12, 1], [1, 11, 67, 257, 620, 1104, 1566, 1434, 1137, 675, 191, 101, 2, 2], [1, 11, 68, 247, 665, 984, 1776, 1182, 1347, 555, 236, 91, 3, 2], [1, 11, 69, 237, 710, 864, 1986, 930, 1557, 435, 281, 81, 4, 2], [1, 12, 55, 320, 430, 1464, 1134, 1728, 1101, 540, 331, 32, 20, 0], [1, 12, 55, 321, 420, 1509, 1014, 1938, 849, 750, 211, 77, 10, 1], [1, 12, 56, 311, 465, 1389, 1224, 1686, 1059, 630, 256, 67, 11, 1], [1, 12, 56, 312, 455, 1434, 1104, 1896, 807, 840, 136, 112, 1, 2], [1, 12, 57, 301, 510, 1269, 1434, 1434, 1269, 510, 301, 57, 12, 1], [1, 12, 57, 302, 500, 1314, 1314, 1644, 1017, 720, 181, 102, 2, 2], [1, 12, 58, 291, 555, 1149, 1644, 1182, 1479, 390, 346, 47, 13, 1], [1, 12, 58, 292, 545, 1194, 1524, 1392, 1227, 600, 226, 92, 3, 2], [1, 12, 59, 282, 590, 1074, 1734, 1140, 1437, 480, 271, 82, 4, 2], [1, 13, 47, 346, 390, 1479, 1182, 1644, 1149, 555, 291, 58, 12, 1], [1, 13, 47, 347, 380, 1524, 1062, 1854, 897, 765, 171, 103, 2, 2], [1, 13, 48, 336, 435, 1359, 1392, 1392, 1359, 435, 336, 48, 13, 1], [1, 13, 48, 337, 425, 1404, 1272, 1602, 1107, 645, 216, 93, 3, 2], [1, 13, 49, 327, 470, 1284, 1482, 1350, 1317, 525, 261, 83, 4, 2], [1, 13, 50, 317, 515, 1164, 1692, 1098, 1527, 405, 306, 73, 5, 2], [1, 14, 39, 371, 360, 1449, 1350, 1350, 1449, 360, 371, 39, 14, 1], [1, 14, 39, 372, 350, 1494, 1230, 1560, 1197, 570, 251, 84, 4, 2], [2, 0, 117, 140, 745, 1152, 1218, 1944, 756, 800, 217, 60, 17, 0], [2, 1, 108, 175, 670, 1242, 1176, 1902, 846, 725, 252, 51, 18, 0], [2, 1, 109, 165, 715, 1122, 1386, 1650, 1056, 605, 297, 41, 19, 0], [2, 1, 109, 166, 705, 1167, 1266, 1860, 804, 815, 177, 86, 9, 1], [2, 1, 110, 155, 760, 1002, 1596, 1398, 1266, 485, 342, 31, 20, 0], [2, 1, 110, 156, 750, 1047, 1476, 1608, 1014, 695, 222, 76, 10, 1], [2, 1, 111, 146, 795, 927, 1686, 1356, 1224, 575, 267, 66, 11, 1], [2, 1, 111, 147, 785, 972, 1566, 1566, 972, 785, 147, 111, 1, 2], [2, 1, 112, 136, 840, 807, 1896, 1104, 1434, 455, 312, 56, 12, 1], [2, 1, 112, 137, 830, 852, 1776, 1314, 1182, 665, 192, 101, 2, 2], [2, 2, 98, 220, 550, 1452, 924, 2112, 726, 770, 242, 52, 18, 0], [2, 2, 99, 210, 595, 1332, 1134, 1860, 936, 650, 287, 42, 19, 0], [2, 2, 100, 200, 640, 1212, 1344, 1608, 1146, 530, 332, 32, 20, 0], [2, 2, 100, 201, 630, 1257, 1224, 1818, 894, 740, 212, 77, 10, 1], [2, 2, 101, 191, 675, 1137, 1434, 1566, 1104, 620, 257, 67, 11, 1], [2, 2, 101, 192, 665, 1182, 1314, 1776, 852, 830, 137, 112, 1, 2], [2, 2, 102, 181, 720, 1017, 1644, 1314, 1314, 500, 302, 57, 12, 1], [2, 2, 102, 182, 710, 1062, 1524, 1524, 1062, 710, 182, 102, 2, 2], [2, 2, 103, 171, 765, 897, 1854, 1062, 1524, 380, 347, 47, 13, 1], [2, 2, 103, 172, 755, 942, 1734, 1272, 1272, 590, 227, 92, 3, 2], [2, 2, 104, 162, 800, 822, 1944, 1020, 1482, 470, 272, 82, 4, 2], [2, 3, 89, 255, 475, 1542, 882, 2070, 816, 695, 277, 43, 19, 0], [2, 3, 90, 245, 520, 1422, 1092, 1818, 1026, 575, 322, 33, 20, 0], [2, 3, 90, 246, 510, 1467, 972, 2028, 774, 785, 202, 78, 10, 1], [2, 3, 91, 236, 555, 1347, 1182, 1776, 984, 665, 247, 68, 11, 1], [2, 3, 92, 226, 600, 1227, 1392, 1524, 1194, 545, 292, 58, 12, 1], [2, 3, 92, 227, 590, 1272, 1272, 1734, 942, 755, 172, 103, 2, 2], [2, 3, 93, 216, 645, 1107, 1602, 1272, 1404, 425, 337, 48, 13, 1], [2, 3, 93, 217, 635, 1152, 1482, 1482, 1152, 635, 217, 93, 3, 2], [2, 3, 94, 207, 680, 1032, 1692, 1230, 1362, 515, 262, 83, 4, 2], [2, 3, 95, 197, 725, 912, 1902, 978, 1572, 395, 307, 73, 5, 2], [2, 4, 81, 281, 435, 1557, 930, 1986, 864, 710, 237, 69, 11, 1], [2, 4, 82, 271, 480, 1437, 1140, 1734, 1074, 590, 282, 59, 12, 1], [2, 4, 82, 272, 470, 1482, 1020, 1944, 822, 800, 162, 104, 2, 2], [2, 4, 83, 261, 525, 1317, 1350, 1482, 1284, 470, 327, 49, 13, 1], [2, 4, 83, 262, 515, 1362, 1230, 1692, 1032, 680, 207, 94, 3, 2], [2, 4, 84, 251, 570, 1197, 1560, 1230, 1494, 350, 372, 39, 14, 1], [2, 4, 84, 252, 560, 1242, 1440, 1440, 1242, 560, 252, 84, 4, 2], [2, 4, 85, 242, 605, 1122, 1650, 1188, 1452, 440, 297, 74, 5, 2], [2, 5, 73, 306, 405, 1527, 1098, 1692, 1164, 515, 317, 50, 13, 1], [2, 5, 73, 307, 395, 1572, 978, 1902, 912, 725, 197, 95, 3, 2], [2, 5, 74, 297, 440, 1452, 1188, 1650, 1122, 605, 242, 85, 4, 2], [2, 5, 75, 287, 485, 1332, 1398, 1398, 1332, 485, 287, 75, 5, 2], [2, 5, 76, 277, 530, 1212, 1608, 1146, 1542, 365, 332, 65, 6, 2], [2, 6, 65, 332, 365, 1542, 1146, 1608, 1212, 530, 277, 76, 5, 2], [2, 6, 66, 322, 410, 1422, 1356, 1356, 1422, 410, 322, 66, 6, 2], [2, 7, 57, 357, 335, 1512, 1314, 1314, 1512, 335, 357, 57, 7, 2]}
(14, 7168, 9) has 172 possible DDs: {[1, 0, 64, 126, 385, 1166, 792, 1980, 1155, 748, 616, 70, 59, 6, 0], [1, 0, 65, 117, 420, 1091, 882, 1938, 1113, 838, 541, 105, 50, 7, 0], [1, 0, 65, 118, 410, 1136, 762, 2148, 861, 1048, 421, 150, 40, 8, 0], [1, 0, 66, 107, 465, 971, 1092, 1686, 1323, 718, 586, 95, 51, 7, 0], [1, 0, 66, 108, 455, 1016, 972, 1896, 1071, 928, 466, 140, 41, 8, 0], [1, 0, 66, 110, 436, 1096, 777, 2196, 777, 1096, 436, 110, 66, 0, 1], [1, 0, 67, 97, 510, 851, 1302, 1434, 1533, 598, 631, 85, 52, 7, 0], [1, 0, 67, 98, 500, 896, 1182, 1644, 1281, 808, 511, 130, 42, 8, 0], [1, 0, 67, 99, 490, 941, 1062, 1854, 1029, 1018, 391, 175, 32, 9, 0], [1, 0, 67, 100, 481, 976, 987, 1944, 987, 976, 481, 100, 67, 0, 1], [1, 0, 68, 88, 545, 776, 1392, 1392, 1491, 688, 556, 120, 43, 8, 0], [1, 0, 68, 89, 535, 821, 1272, 1602, 1239, 898, 436, 165, 33, 9, 0], [1, 0, 68, 90, 525, 866, 1152, 1812, 987, 1108, 316, 210, 23, 10, 0], [1, 0, 68, 90, 526, 856, 1197, 1692, 1197, 856, 526, 90, 68, 0, 1], [1, 0, 68, 91, 516, 901, 1077, 1902, 945, 1066, 406, 135, 58, 1, 1], [1, 0, 69, 79, 580, 701, 1482, 1350, 1449, 778, 481, 155, 34, 9, 0], [1, 0, 69, 80, 570, 746, 1362, 1560, 1197, 988, 361, 200, 24, 10, 0], [1, 0, 69, 80, 571, 736, 1407, 1440, 1407, 736, 571, 80, 69, 0, 1], [1, 0, 69, 81, 561, 781, 1287, 1650, 1155, 946, 451, 125, 59, 1, 1], [1, 0, 69, 82, 551, 826, 1167, 1860, 903, 1156, 331, 170, 49, 2, 1], [1, 0, 70, 70, 615, 626, 1572, 1308, 1407, 868, 406, 190, 25, 10, 0], [1, 0, 70, 70, 616, 616, 1617, 1188, 1617, 616, 616, 70, 70, 0, 1], [1, 0, 70, 71, 605, 671, 1452, 1518, 1155, 1078, 286, 235, 15, 11, 0], [1, 0, 70, 71, 606, 661, 1497, 1398, 1365, 826, 496, 115, 60, 1, 1], [1, 0, 70, 72, 596, 706, 1377, 1608, 1113, 1036, 376, 160, 50, 2, 1], [1, 1, 56, 152, 345, 1181, 840, 1896, 1203, 763, 576, 96, 51, 7, 0], [1, 1, 57, 142, 390, 1061, 1050, 1644, 1413, 643, 621, 86, 52, 7, 0], [1, 1, 57, 143, 380, 1106, 930, 1854, 1161, 853, 501, 131, 42, 8, 0], [1, 1, 57, 144, 370, 1151, 810, 2064, 909, 1063, 381, 176, 32, 9, 0], [1, 1, 58, 133, 425, 986, 1140, 1602, 1371, 733, 546, 121, 43, 8, 0], [1, 1, 58, 134, 415, 1031, 1020, 1812, 1119, 943, 426, 166, 33, 9, 0], [1, 1, 58, 135, 406, 1066, 945, 1902, 1077, 901, 516, 91, 68, 0, 1], [1, 1, 58, 136, 396, 1111, 825, 2112, 825, 1111, 396, 136, 58, 1, 1], [1, 1, 59, 123, 470, 866, 1350, 1350, 1581, 613, 591, 111, 44, 8, 0], [1, 1, 59, 124, 460, 911, 1230, 1560, 1329, 823, 471, 156, 34, 9, 0], [1, 1, 59, 125, 450, 956, 1110, 1770, 1077, 1033, 351, 201, 24, 10, 0], [1, 1, 59, 125, 451, 946, 1155, 1650, 1287, 781, 561, 81, 69, 0, 1], [1, 1, 59, 126, 441, 991, 1035, 1860, 1035, 991, 441, 126, 59, 1, 1], [1, 1, 60, 114, 505, 791, 1440, 1308, 1539, 703, 516, 146, 35, 9, 0], [1, 1, 60, 115, 495, 836, 1320, 1518, 1287, 913, 396, 191, 25, 10, 0], [1, 1, 60, 115, 496, 826, 1365, 1398, 1497, 661, 606, 71, 70, 0, 1], [1, 1, 60, 116, 485, 881, 1200, 1728, 1035, 1123, 276, 236, 15, 11, 0], [1, 1, 60, 116, 486, 871, 1245, 1608, 1245, 871, 486, 116, 60, 1, 1], [1, 1, 60, 117, 476, 916, 1125, 1818, 993, 1081, 366, 161, 50, 2, 1], [1, 1, 61, 104, 550, 671, 1650, 1056, 1749, 583, 561, 136, 36, 9, 0], [1, 1, 61, 105, 540, 716, 1530, 1266, 1497, 793, 441, 181, 26, 10, 0], [1, 1, 61, 106, 530, 761, 1410, 1476, 1245, 1003, 321, 226, 16, 11, 0], [1, 1, 61, 106, 531, 751, 1455, 1356, 1455, 751, 531, 106, 61, 1, 1], [1, 1, 61, 107, 521, 796, 1335, 1566, 1203, 961, 411, 151, 51, 2, 1], [1, 1, 61, 108, 511, 841, 1215, 1776, 951, 1171, 291, 196, 41, 3, 1], [1, 1, 62, 96, 575, 641, 1620, 1224, 1455, 883, 366, 216, 17, 11, 0], [1, 1, 62, 96, 576, 631, 1665, 1104, 1665, 631, 576, 96, 62, 1, 1], [1, 1, 62, 97, 566, 676, 1545, 1314, 1413, 841, 456, 141, 52, 2, 1], [1, 1, 62, 98, 556, 721, 1425, 1524, 1161, 1051, 336, 186, 42, 3, 1], [1, 1, 63, 88, 601, 601, 1635, 1272, 1371, 931, 381, 176, 43, 3, 1], [1, 1, 63, 89, 591, 646, 1515, 1482, 1119, 1141, 261, 221, 33, 4, 1], [1, 2, 48, 177, 315, 1151, 1008, 1602, 1503, 568, 656, 77, 53, 7, 0], [1, 2, 48, 178, 305, 1196, 888, 1812, 1251, 778, 536, 122, 43, 8, 0], [1, 2, 49, 168, 350, 1076, 1098, 1560, 1461, 658, 581, 112, 44, 8, 0], [1, 2, 49, 169, 340, 1121, 978, 1770, 1209, 868, 461, 157, 34, 9, 0], [1, 2, 49, 170, 330, 1166, 858, 1980, 957, 1078, 341, 202, 24, 10, 0], [1, 2, 49, 170, 331, 1156, 903, 1860, 1167, 826, 551, 82, 69, 0, 1], [1, 2, 50, 158, 395, 956, 1308, 1308, 1671, 538, 626, 102, 45, 8, 0], [1, 2, 50, 159, 385, 1001, 1188, 1518, 1419, 748, 506, 147, 35, 9, 0], [1, 2, 50, 160, 375, 1046, 1068, 1728, 1167, 958, 386, 192, 25, 10, 0], [1, 2, 50, 160, 376, 1036, 1113, 1608, 1377, 706, 596, 72, 70, 0, 1], [1, 2, 50, 161, 366, 1081, 993, 1818, 1125, 916, 476, 117, 60, 1, 1], [1, 2, 50, 162, 356, 1126, 873, 2028, 873, 1126, 356, 162, 50, 2, 1], [1, 2, 51, 149, 430, 881, 1398, 1266, 1629, 628, 551, 137, 36, 9, 0], [1, 2, 51, 150, 420, 926, 1278, 1476, 1377, 838, 431, 182, 26, 10, 0], [1, 2, 51, 151, 410, 971, 1158, 1686, 1125, 1048, 311, 227, 16, 11, 0], [1, 2, 51, 151, 411, 961, 1203, 1566, 1335, 796, 521, 107, 61, 1, 1], [1, 2, 51, 152, 401, 1006, 1083, 1776, 1083, 1006, 401, 152, 51, 2, 1], [1, 2, 52, 140, 465, 806, 1488, 1224, 1587, 718, 476, 172, 27, 10, 0], [1, 2, 52, 141, 455, 851, 1368, 1434, 1335, 928, 356, 217, 17, 11, 0], [1, 2, 52, 141, 456, 841, 1413, 1314, 1545, 676, 566, 97, 62, 1, 1], [1, 2, 52, 142, 446, 886, 1293, 1524, 1293, 886, 446, 142, 52, 2, 1], [1, 2, 52, 143, 436, 931, 1173, 1734, 1041, 1096, 326, 187, 42, 3, 1], [1, 2, 53, 130, 510, 686, 1698, 972, 1797, 598, 521, 162, 28, 10, 0], [1, 2, 53, 131, 500, 731, 1578, 1182, 1545, 808, 401, 207, 18, 11, 0], [1, 2, 53, 132, 491, 766, 1503, 1272, 1503, 766, 491, 132, 53, 2, 1], [1, 2, 53, 133, 481, 811, 1383, 1482, 1251, 976, 371, 177, 43, 3, 1], [1, 2, 53, 134, 471, 856, 1263, 1692, 999, 1186, 251, 222, 33, 4, 1], [1, 2, 54, 122, 535, 656, 1668, 1140, 1503, 898, 326, 242, 9, 12, 0], [1, 2, 54, 122, 536, 646, 1713, 1020, 1713, 646, 536, 122, 54, 2, 1], [1, 2, 54, 123, 526, 691, 1593, 1230, 1461, 856, 416, 167, 44, 3, 1], [1, 2, 54, 124, 516, 736, 1473, 1440, 1209, 1066, 296, 212, 34, 4, 1], [1, 2, 55, 114, 561, 616, 1683, 1188, 1419, 946, 341, 202, 35, 4, 1], [1, 3, 40, 203, 275, 1166, 1056, 1518, 1551, 583, 616, 103, 45, 8, 0], [1, 3, 40, 204, 265, 1211, 936, 1728, 1299, 793, 496, 148, 35, 9, 0], [1, 3, 41, 194, 310, 1091, 1146, 1476, 1509, 673, 541, 138, 36, 9, 0], [1, 3, 41, 195, 300, 1136, 1026, 1686, 1257, 883, 421, 183, 26, 10, 0], [1, 3, 41, 196, 290, 1181, 906, 1896, 1005, 1093, 301, 228, 16, 11, 0], [1, 3, 41, 196, 291, 1171, 951, 1776, 1215, 841, 511, 108, 61, 1, 1], [1, 3, 42, 184, 355, 971, 1356, 1224, 1719, 553, 586, 128, 37, 9, 0], [1, 3, 42, 185, 345, 1016, 1236, 1434, 1467, 763, 466, 173, 27, 10, 0], [1, 3, 42, 186, 335, 1061, 1116, 1644, 1215, 973, 346, 218, 17, 11, 0], [1, 3, 42, 186, 336, 1051, 1161, 1524, 1425, 721, 556, 98, 62, 1, 1], [1, 3, 42, 187, 326, 1096, 1041, 1734, 1173, 931, 436, 143, 52, 2, 1], [1, 3, 42, 188, 316, 1141, 921, 1944, 921, 1141, 316, 188, 42, 3, 1], [1, 3, 43, 175, 390, 896, 1446, 1182, 1677, 643, 511, 163, 28, 10, 0], [1, 3, 43, 176, 380, 941, 1326, 1392, 1425, 853, 391, 208, 18, 11, 0], [1, 3, 43, 176, 381, 931, 1371, 1272, 1635, 601, 601, 88, 63, 1, 1], [1, 3, 43, 177, 371, 976, 1251, 1482, 1383, 811, 481, 133, 53, 2, 1], [1, 3, 43, 178, 361, 1021, 1131, 1692, 1131, 1021, 361, 178, 43, 3, 1], [1, 3, 44, 166, 425, 821, 1536, 1140, 1635, 733, 436, 198, 19, 11, 0], [1, 3, 44, 167, 415, 866, 1416, 1350, 1383, 943, 316, 243, 9, 12, 0], [1, 3, 44, 167, 416, 856, 1461, 1230, 1593, 691, 526, 123, 54, 2, 1], [1, 3, 44, 168, 406, 901, 1341, 1440, 1341, 901, 406, 168, 44, 3, 1], [1, 3, 44, 169, 396, 946, 1221, 1650, 1089, 1111, 286, 213, 34, 4, 1], [1, 3, 45, 156, 470, 701, 1746, 888, 1845, 613, 481, 188, 20, 11, 0], [1, 3, 45, 157, 460, 746, 1626, 1098, 1593, 823, 361, 233, 10, 12, 0], [1, 3, 45, 158, 451, 781, 1551, 1188, 1551, 781, 451, 158, 45, 3, 1], [1, 3, 45, 159, 441, 826, 1431, 1398, 1299, 991, 331, 203, 35, 4, 1], [1, 3, 45, 160, 431, 871, 1311, 1608, 1047, 1201, 211, 248, 25, 5, 1], [1, 3, 46, 148, 496, 661, 1761, 936, 1761, 661, 496, 148, 46, 3, 1], [1, 3, 46, 149, 486, 706, 1641, 1146, 1509, 871, 376, 193, 36, 4, 1], [1, 3, 46, 150, 476, 751, 1521, 1356, 1257, 1081, 256, 238, 26, 5, 1], [1, 3, 47, 140, 521, 631, 1731, 1104, 1467, 961, 301, 228, 27, 5, 1], [1, 4, 32, 229, 235, 1181, 1104, 1434, 1599, 598, 576, 129, 37, 9, 0], [1, 4, 32, 230, 225, 1226, 984, 1644, 1347, 808, 456, 174, 27, 10, 0], [1, 4, 33, 220, 270, 1106, 1194, 1392, 1557, 688, 501, 164, 28, 10, 0], [1, 4, 33, 221, 260, 1151, 1074, 1602, 1305, 898, 381, 209, 18, 11, 0], [1, 4, 33, 221, 261, 1141, 1119, 1482, 1515, 646, 591, 89, 63, 1, 1], [1, 4, 33, 222, 251, 1186, 999, 1692, 1263, 856, 471, 134, 53, 2, 1], [1, 4, 34, 210, 315, 986, 1404, 1140, 1767, 568, 546, 154, 29, 10, 0], [1, 4, 34, 211, 305, 1031, 1284, 1350, 1515, 778, 426, 199, 19, 11, 0], [1, 4, 34, 212, 295, 1076, 1164, 1560, 1263, 988, 306, 244, 9, 12, 0], [1, 4, 34, 212, 296, 1066, 1209, 1440, 1473, 736, 516, 124, 54, 2, 1], [1, 4, 34, 213, 286, 1111, 1089, 1650, 1221, 946, 396, 169, 44, 3, 1], [1, 4, 34, 214, 276, 1156, 969, 1860, 969, 1156, 276, 214, 34, 4, 1], [1, 4, 35, 201, 350, 911, 1494, 1098, 1725, 658, 471, 189, 20, 11, 0], [1, 4, 35, 202, 340, 956, 1374, 1308, 1473, 868, 351, 234, 10, 12, 0], [1, 4, 35, 202, 341, 946, 1419, 1188, 1683, 616, 561, 114, 55, 2, 1], [1, 4, 35, 203, 331, 991, 1299, 1398, 1431, 826, 441, 159, 45, 3, 1], [1, 4, 35, 204, 321, 1036, 1179, 1608, 1179, 1036, 321, 204, 35, 4, 1], [1, 4, 36, 192, 385, 836, 1584, 1056, 1683, 748, 396, 224, 11, 12, 0], [1, 4, 36, 193, 376, 871, 1509, 1146, 1641, 706, 486, 149, 46, 3, 1], [1, 4, 36, 194, 366, 916, 1389, 1356, 1389, 916, 366, 194, 36, 4, 1], [1, 4, 36, 195, 356, 961, 1269, 1566, 1137, 1126, 246, 239, 26, 5, 1], [1, 4, 37, 182, 430, 716, 1794, 804, 1893, 628, 441, 214, 12, 12, 0], [1, 4, 37, 184, 411, 796, 1599, 1104, 1599, 796, 411, 184, 37, 4, 1], [1, 4, 37, 185, 401, 841, 1479, 1314, 1347, 1006, 291, 229, 27, 5, 1], [1, 4, 38, 174, 456, 676, 1809, 852, 1809, 676, 456, 174, 38, 4, 1], [1, 4, 38, 175, 446, 721, 1689, 1062, 1557, 886, 336, 219, 28, 5, 1], [1, 4, 39, 166, 481, 646, 1779, 1020, 1515, 976, 261, 254, 19, 6, 1], [1, 5, 25, 248, 211, 1201, 1047, 1608, 1311, 871, 431, 160, 45, 3, 1], [1, 5, 26, 236, 275, 1001, 1452, 1056, 1815, 583, 506, 180, 21, 11, 0], [1, 5, 26, 237, 265, 1046, 1332, 1266, 1563, 793, 386, 225, 11, 12, 0], [1, 5, 26, 238, 256, 1081, 1257, 1356, 1521, 751, 476, 150, 46, 3, 1], [1, 5, 26, 239, 246, 1126, 1137, 1566, 1269, 961, 356, 195, 36, 4, 1], [1, 5, 26, 240, 236, 1171, 1017, 1776, 1017, 1171, 236, 240, 26, 5, 1], [1, 5, 27, 227, 310, 926, 1542, 1014, 1773, 673, 431, 215, 12, 12, 0], [1, 5, 27, 228, 301, 961, 1467, 1104, 1731, 631, 521, 140, 47, 3, 1], [1, 5, 27, 229, 291, 1006, 1347, 1314, 1479, 841, 401, 185, 37, 4, 1], [1, 5, 27, 230, 281, 1051, 1227, 1524, 1227, 1051, 281, 230, 27, 5, 1], [1, 5, 28, 219, 336, 886, 1557, 1062, 1689, 721, 446, 175, 38, 4, 1], [1, 5, 28, 220, 326, 931, 1437, 1272, 1437, 931, 326, 220, 28, 5, 1], [1, 5, 29, 210, 371, 811, 1647, 1020, 1647, 811, 371, 210, 29, 5, 1], [1, 5, 29, 211, 361, 856, 1527, 1230, 1395, 1021, 251, 255, 19, 6, 1], [1, 5, 30, 200, 416, 691, 1857, 768, 1857, 691, 416, 200, 30, 5, 1], [1, 5, 30, 201, 406, 736, 1737, 978, 1605, 901, 296, 245, 20, 6, 1], [1, 6, 19, 254, 261, 976, 1515, 1020, 1779, 646, 481, 166, 39, 4, 1], [1, 6, 19, 255, 251, 1021, 1395, 1230, 1527, 856, 361, 211, 29, 5, 1], [1, 6, 20, 245, 296, 901, 1605, 978, 1737, 736, 406, 201, 30, 5, 1], [1, 6, 20, 246, 286, 946, 1485, 1188, 1485, 946, 286, 246, 20, 6, 1], [1, 6, 21, 236, 331, 826, 1695, 936, 1695, 826, 331, 236, 21, 6, 1], [1, 6, 22, 226, 376, 706, 1905, 684, 1905, 706, 376, 226, 22, 6, 1], [2, 0, 30, 260, 202, 1104, 1302, 1368, 1302, 1104, 202, 260, 30, 0, 2], [2, 0, 31, 250, 247, 984, 1512, 1116, 1512, 984, 247, 250, 31, 0, 2], [2, 0, 32, 240, 292, 864, 1722, 864, 1722, 864, 292, 240, 32, 0, 2], [2, 0, 33, 230, 337, 744, 1932, 612, 1932, 744, 337, 230, 33, 0, 2]}