-------
(14, 6144, 9) Remaining distance distributions for INTERNAL point
(9, 6144, 9) has 1 possible DDs: {[12, 108, 432, 1008, 1512, 1512, 1008, 432, 108, 12]}
(10, 6144, 9) has 12 possible DDs: {[1, 110, 45, 1320, 210, 2772, 210, 1320, 45, 110, 1], [2, 100, 90, 1200, 420, 2520, 420, 1200, 90, 100, 2], [3, 90, 135, 1080, 630, 2268, 630, 1080, 135, 90, 3], [4, 80, 180, 960, 840, 2016, 840, 960, 180, 80, 4], [5, 70, 225, 840, 1050, 1764, 1050, 840, 225, 70, 5], [6, 60, 270, 720, 1260, 1512, 1260, 720, 270, 60, 6], [7, 50, 315, 600, 1470, 1260, 1470, 600, 315, 50, 7], [8, 40, 360, 480, 1680, 1008, 1680, 480, 360, 40, 8], [9, 30, 405, 360, 1890, 756, 1890, 360, 405, 30, 9], [10, 20, 450, 240, 2100, 504, 2100, 240, 450, 20, 10], [11, 10, 495, 120, 2310, 252, 2310, 120, 495, 10, 11], [12, 0, 540, 0, 2520, 0, 2520, 0, 540, 0, 12]}
(11, 6144, 9) has 42 possible DDs: {[1, 50, 105, 600, 930, 1260, 1722, 600, 765, 50, 61, 0], [1, 51, 95, 645, 810, 1470, 1470, 810, 645, 95, 51, 1], [1, 52, 85, 690, 690, 1680, 1218, 1020, 525, 140, 41, 2], [1, 53, 75, 735, 570, 1890, 966, 1230, 405, 185, 31, 3], [1, 54, 65, 780, 450, 2100, 714, 1440, 285, 230, 21, 4], [1, 55, 55, 825, 330, 2310, 462, 1650, 165, 275, 11, 5], [1, 56, 45, 870, 210, 2520, 210, 1860, 45, 320, 1, 6], [2, 40, 150, 480, 1140, 1008, 1932, 480, 810, 40, 62, 0], [2, 41, 140, 525, 1020, 1218, 1680, 690, 690, 85, 52, 1], [2, 42, 130, 570, 900, 1428, 1428, 900, 570, 130, 42, 2], [2, 43, 120, 615, 780, 1638, 1176, 1110, 450, 175, 32, 3], [2, 44, 110, 660, 660, 1848, 924, 1320, 330, 220, 22, 4], [2, 45, 100, 705, 540, 2058, 672, 1530, 210, 265, 12, 5], [2, 46, 90, 750, 420, 2268, 420, 1740, 90, 310, 2, 6], [3, 30, 195, 360, 1350, 756, 2142, 360, 855, 30, 63, 0], [3, 31, 185, 405, 1230, 966, 1890, 570, 735, 75, 53, 1], [3, 32, 175, 450, 1110, 1176, 1638, 780, 615, 120, 43, 2], [3, 33, 165, 495, 990, 1386, 1386, 990, 495, 165, 33, 3], [3, 34, 155, 540, 870, 1596, 1134, 1200, 375, 210, 23, 4], [3, 35, 145, 585, 750, 1806, 882, 1410, 255, 255, 13, 5], [3, 36, 135, 630, 630, 2016, 630, 1620, 135, 300, 3, 6], [4, 20, 240, 240, 1560, 504, 2352, 240, 900, 20, 64, 0], [4, 21, 230, 285, 1440, 714, 2100, 450, 780, 65, 54, 1], [4, 22, 220, 330, 1320, 924, 1848, 660, 660, 110, 44, 2], [4, 23, 210, 375, 1200, 1134, 1596, 870, 540, 155, 34, 3], [4, 24, 200, 420, 1080, 1344, 1344, 1080, 420, 200, 24, 4], [4, 25, 190, 465, 960, 1554, 1092, 1290, 300, 245, 14, 5], [4, 26, 180, 510, 840, 1764, 840, 1500, 180, 290, 4, 6], [5, 10, 285, 120, 1770, 252, 2562, 120, 945, 10, 65, 0], [5, 11, 275, 165, 1650, 462, 2310, 330, 825, 55, 55, 1], [5, 12, 265, 210, 1530, 672, 2058, 540, 705, 100, 45, 2], [5, 13, 255, 255, 1410, 882, 1806, 750, 585, 145, 35, 3], [5, 14, 245, 300, 1290, 1092, 1554, 960, 465, 190, 25, 4], [5, 15, 235, 345, 1170, 1302, 1302, 1170, 345, 235, 15, 5], [5, 16, 225, 390, 1050, 1512, 1050, 1380, 225, 280, 5, 6], [6, 0, 330, 0, 1980, 0, 2772, 0, 990, 0, 66, 0], [6, 1, 320, 45, 1860, 210, 2520, 210, 870, 45, 56, 1], [6, 2, 310, 90, 1740, 420, 2268, 420, 750, 90, 46, 2], [6, 3, 300, 135, 1620, 630, 2016, 630, 630, 135, 36, 3], [6, 4, 290, 180, 1500, 840, 1764, 840, 510, 180, 26, 4], [6, 5, 280, 225, 1380, 1050, 1512, 1050, 390, 225, 16, 5], [6, 6, 270, 270, 1260, 1260, 1260, 1260, 270, 270, 6, 6]}
(12, 6144, 9) has 111 possible DDs: {[1, 18, 125, 180, 1170, 444, 2226, 576, 1005, 290, 81, 28, 0], [1, 18, 126, 170, 1215, 324, 2436, 324, 1215, 170, 126, 18, 1], [1, 19, 115, 225, 1050, 654, 1974, 786, 885, 335, 71, 29, 0], [1, 19, 116, 215, 1095, 534, 2184, 534, 1095, 215, 116, 19, 1], [1, 19, 117, 205, 1140, 414, 2394, 282, 1305, 95, 161, 9, 2], [1, 20, 105, 270, 930, 864, 1722, 996, 765, 380, 61, 30, 0], [1, 20, 106, 260, 975, 744, 1932, 744, 975, 260, 106, 20, 1], [1, 20, 107, 250, 1020, 624, 2142, 492, 1185, 140, 151, 10, 2], [1, 20, 108, 240, 1065, 504, 2352, 240, 1395, 20, 196, 0, 3], [1, 21, 95, 315, 810, 1074, 1470, 1206, 645, 425, 51, 31, 0], [1, 21, 96, 305, 855, 954, 1680, 954, 855, 305, 96, 21, 1], [1, 21, 97, 295, 900, 834, 1890, 702, 1065, 185, 141, 11, 2], [1, 21, 98, 285, 945, 714, 2100, 450, 1275, 65, 186, 1, 3], [1, 22, 85, 360, 690, 1284, 1218, 1416, 525, 470, 41, 32, 0], [1, 22, 86, 350, 735, 1164, 1428, 1164, 735, 350, 86, 22, 1], [1, 22, 87, 340, 780, 1044, 1638, 912, 945, 230, 131, 12, 2], [1, 22, 88, 330, 825, 924, 1848, 660, 1155, 110, 176, 2, 3], [1, 23, 75, 405, 570, 1494, 966, 1626, 405, 515, 31, 33, 0], [1, 23, 76, 395, 615, 1374, 1176, 1374, 615, 395, 76, 23, 1], [1, 23, 77, 385, 660, 1254, 1386, 1122, 825, 275, 121, 13, 2], [1, 23, 78, 375, 705, 1134, 1596, 870, 1035, 155, 166, 3, 3], [1, 24, 65, 450, 450, 1704, 714, 1836, 285, 560, 21, 34, 0], [1, 24, 66, 440, 495, 1584, 924, 1584, 495, 440, 66, 24, 1], [1, 24, 67, 430, 540, 1464, 1134, 1332, 705, 320, 111, 14, 2], [1, 24, 68, 420, 585, 1344, 1344, 1080, 915, 200, 156, 4, 3], [1, 25, 55, 495, 330, 1914, 462, 2046, 165, 605, 11, 35, 0], [1, 25, 56, 485, 375, 1794, 672, 1794, 375, 485, 56, 25, 1], [1, 25, 57, 475, 420, 1674, 882, 1542, 585, 365, 101, 15, 2], [1, 25, 58, 465, 465, 1554, 1092, 1290, 795, 245, 146, 5, 3], [1, 26, 45, 540, 210, 2124, 210, 2256, 45, 650, 1, 36, 0], [1, 26, 46, 530, 255, 2004, 420, 2004, 255, 530, 46, 26, 1], [1, 26, 47, 520, 300, 1884, 630, 1752, 465, 410, 91, 16, 2], [1, 26, 48, 510, 345, 1764, 840, 1500, 675, 290, 136, 6, 3], [1, 27, 36, 575, 135, 2214, 168, 2214, 135, 575, 36, 27, 1], [1, 27, 37, 565, 180, 2094, 378, 1962, 345, 455, 81, 17, 2], [1, 27, 38, 555, 225, 1974, 588, 1710, 555, 335, 126, 7, 3], [1, 28, 28, 600, 105, 2184, 336, 1920, 435, 380, 116, 8, 3], [2, 8, 170, 60, 1380, 192, 2436, 456, 1050, 280, 82, 28, 0], [2, 9, 160, 105, 1260, 402, 2184, 666, 930, 325, 72, 29, 0], [2, 9, 161, 95, 1305, 282, 2394, 414, 1140, 205, 117, 19, 1], [2, 9, 162, 85, 1350, 162, 2604, 162, 1350, 85, 162, 9, 2], [2, 10, 150, 150, 1140, 612, 1932, 876, 810, 370, 62, 30, 0], [2, 10, 151, 140, 1185, 492, 2142, 624, 1020, 250, 107, 20, 1], [2, 10, 152, 130, 1230, 372, 2352, 372, 1230, 130, 152, 10, 2], [2, 10, 153, 120, 1275, 252, 2562, 120, 1440, 10, 197, 0, 3], [2, 11, 140, 195, 1020, 822, 1680, 1086, 690, 415, 52, 31, 0], [2, 11, 141, 185, 1065, 702, 1890, 834, 900, 295, 97, 21, 1], [2, 11, 142, 175, 1110, 582, 2100, 582, 1110, 175, 142, 11, 2], [2, 11, 143, 165, 1155, 462, 2310, 330, 1320, 55, 187, 1, 3], [2, 12, 130, 240, 900, 1032, 1428, 1296, 570, 460, 42, 32, 0], [2, 12, 131, 230, 945, 912, 1638, 1044, 780, 340, 87, 22, 1], [2, 12, 132, 220, 990, 792, 1848, 792, 990, 220, 132, 12, 2], [2, 12, 133, 210, 1035, 672, 2058, 540, 1200, 100, 177, 2, 3], [2, 13, 120, 285, 780, 1242, 1176, 1506, 450, 505, 32, 33, 0], [2, 13, 121, 275, 825, 1122, 1386, 1254, 660, 385, 77, 23, 1], [2, 13, 122, 265, 870, 1002, 1596, 1002, 870, 265, 122, 13, 2], [2, 13, 123, 255, 915, 882, 1806, 750, 1080, 145, 167, 3, 3], [2, 14, 110, 330, 660, 1452, 924, 1716, 330, 550, 22, 34, 0], [2, 14, 111, 320, 705, 1332, 1134, 1464, 540, 430, 67, 24, 1], [2, 14, 112, 310, 750, 1212, 1344, 1212, 750, 310, 112, 14, 2], [2, 14, 113, 300, 795, 1092, 1554, 960, 960, 190, 157, 4, 3], [2, 15, 100, 375, 540, 1662, 672, 1926, 210, 595, 12, 35, 0], [2, 15, 101, 365, 585, 1542, 882, 1674, 420, 475, 57, 25, 1], [2, 15, 102, 355, 630, 1422, 1092, 1422, 630, 355, 102, 15, 2], [2, 15, 103, 345, 675, 1302, 1302, 1170, 840, 235, 147, 5, 3], [2, 16, 90, 420, 420, 1872, 420, 2136, 90, 640, 2, 36, 0], [2, 16, 91, 410, 465, 1752, 630, 1884, 300, 520, 47, 26, 1], [2, 16, 92, 400, 510, 1632, 840, 1632, 510, 400, 92, 16, 2], [2, 16, 93, 390, 555, 1512, 1050, 1380, 720, 280, 137, 6, 3], [2, 17, 81, 455, 345, 1962, 378, 2094, 180, 565, 37, 27, 1], [2, 17, 82, 445, 390, 1842, 588, 1842, 390, 445, 82, 17, 2], [2, 17, 83, 435, 435, 1722, 798, 1590, 600, 325, 127, 7, 3], [2, 18, 72, 490, 270, 2052, 336, 2052, 270, 490, 72, 18, 2], [2, 18, 73, 480, 315, 1932, 546, 1800, 480, 370, 117, 8, 3], [3, 0, 195, 30, 1350, 360, 2142, 756, 855, 360, 63, 30, 0], [3, 0, 196, 20, 1395, 240, 2352, 504, 1065, 240, 108, 20, 1], [3, 0, 197, 10, 1440, 120, 2562, 252, 1275, 120, 153, 10, 2], [3, 0, 198, 0, 1485, 0, 2772, 0, 1485, 0, 198, 0, 3], [3, 1, 185, 75, 1230, 570, 1890, 966, 735, 405, 53, 31, 0], [3, 1, 186, 65, 1275, 450, 2100, 714, 945, 285, 98, 21, 1], [3, 1, 187, 55, 1320, 330, 2310, 462, 1155, 165, 143, 11, 2], [3, 1, 188, 45, 1365, 210, 2520, 210, 1365, 45, 188, 1, 3], [3, 2, 175, 120, 1110, 780, 1638, 1176, 615, 450, 43, 32, 0], [3, 2, 176, 110, 1155, 660, 1848, 924, 825, 330, 88, 22, 1], [3, 2, 177, 100, 1200, 540, 2058, 672, 1035, 210, 133, 12, 2], [3, 2, 178, 90, 1245, 420, 2268, 420, 1245, 90, 178, 2, 3], [3, 3, 165, 165, 990, 990, 1386, 1386, 495, 495, 33, 33, 0], [3, 3, 166, 155, 1035, 870, 1596, 1134, 705, 375, 78, 23, 1], [3, 3, 167, 145, 1080, 750, 1806, 882, 915, 255, 123, 13, 2], [3, 3, 168, 135, 1125, 630, 2016, 630, 1125, 135, 168, 3, 3], [3, 4, 155, 210, 870, 1200, 1134, 1596, 375, 540, 23, 34, 0], [3, 4, 156, 200, 915, 1080, 1344, 1344, 585, 420, 68, 24, 1], [3, 4, 157, 190, 960, 960, 1554, 1092, 795, 300, 113, 14, 2], [3, 4, 158, 180, 1005, 840, 1764, 840, 1005, 180, 158, 4, 3], [3, 5, 145, 255, 750, 1410, 882, 1806, 255, 585, 13, 35, 0], [3, 5, 146, 245, 795, 1290, 1092, 1554, 465, 465, 58, 25, 1], [3, 5, 147, 235, 840, 1170, 1302, 1302, 675, 345, 103, 15, 2], [3, 5, 148, 225, 885, 1050, 1512, 1050, 885, 225, 148, 5, 3], [3, 6, 135, 300, 630, 1620, 630, 2016, 135, 630, 3, 36, 0], [3, 6, 136, 290, 675, 1500, 840, 1764, 345, 510, 48, 26, 1], [3, 6, 137, 280, 720, 1380, 1050, 1512, 555, 390, 93, 16, 2], [3, 6, 138, 270, 765, 1260, 1260, 1260, 765, 270, 138, 6, 3], [3, 7, 126, 335, 555, 1710, 588, 1974, 225, 555, 38, 27, 1], [3, 7, 127, 325, 600, 1590, 798, 1722, 435, 435, 83, 17, 2], [3, 7, 128, 315, 645, 1470, 1008, 1470, 645, 315, 128, 7, 3], [3, 8, 116, 380, 435, 1920, 336, 2184, 105, 600, 28, 28, 1], [3, 8, 117, 370, 480, 1800, 546, 1932, 315, 480, 73, 18, 2], [3, 8, 118, 360, 525, 1680, 756, 1680, 525, 360, 118, 8, 3], [3, 9, 108, 405, 405, 1890, 504, 1890, 405, 405, 108, 9, 3], [3, 10, 98, 450, 285, 2100, 252, 2100, 285, 450, 98, 10, 3], [4, 0, 144, 320, 540, 1728, 672, 1728, 540, 320, 144, 0, 4]}
(13, 6144, 9) has 11 possible DDs: {[1, 6, 81, 141, 680, 801, 1362, 1362, 801, 680, 141, 81, 6, 1], [1, 7, 71, 185, 570, 966, 1230, 1362, 933, 515, 251, 37, 16, 0], [1, 7, 72, 176, 605, 891, 1320, 1320, 891, 605, 176, 72, 7, 1], [1, 8, 63, 211, 530, 981, 1278, 1278, 981, 530, 211, 63, 8, 1], [1, 9, 54, 246, 455, 1071, 1236, 1236, 1071, 455, 246, 54, 9, 1], [1, 9, 55, 237, 490, 996, 1326, 1194, 1029, 545, 171, 89, 0, 2], [1, 10, 45, 281, 380, 1161, 1194, 1194, 1161, 380, 281, 45, 10, 1], [2, 0, 89, 171, 545, 1029, 1194, 1326, 996, 490, 237, 55, 9, 1], [2, 0, 90, 162, 580, 954, 1284, 1284, 954, 580, 162, 90, 0, 2], [2, 1, 81, 197, 505, 1044, 1242, 1242, 1044, 505, 197, 81, 1, 2], [2, 2, 72, 232, 430, 1134, 1200, 1200, 1134, 430, 232, 72, 2, 2]}
(14, 6144, 9) has 10 possible DDs: {[1, 0, 52, 108, 385, 792, 1056, 1320, 1155, 704, 396, 140, 27, 8, 0], [1, 0, 53, 98, 430, 672, 1266, 1068, 1365, 584, 441, 130, 28, 8, 0], [1, 0, 53, 100, 411, 752, 1071, 1368, 1071, 752, 411, 100, 53, 0, 1], [1, 1, 43, 144, 300, 927, 894, 1488, 993, 839, 311, 176, 18, 9, 0], [1, 1, 44, 134, 345, 807, 1104, 1236, 1203, 719, 356, 166, 19, 9, 0], [1, 1, 45, 126, 371, 767, 1119, 1284, 1119, 767, 371, 126, 45, 1, 1], [1, 1, 46, 116, 416, 647, 1329, 1032, 1329, 647, 416, 116, 46, 1, 1], [1, 2, 36, 162, 286, 902, 957, 1452, 957, 902, 286, 162, 36, 2, 1], [1, 2, 37, 152, 331, 782, 1167, 1200, 1167, 782, 331, 152, 37, 2, 1], [1, 3, 29, 178, 291, 797, 1215, 1116, 1215, 797, 291, 178, 29, 3, 1]}