-------
(15, 14336, 10) Remaining distance distributions for INTERNAL point
(10, 14336, 10) has 1 possible DDs: {[14, 140, 630, 1680, 2940, 3528, 2940, 1680, 630, 140, 14]}
(11, 14336, 10) has 14 possible DDs: {[1, 143, 55, 2145, 330, 6006, 462, 4290, 165, 715, 11, 13], [2, 132, 110, 1980, 660, 5544, 924, 3960, 330, 660, 22, 12], [3, 121, 165, 1815, 990, 5082, 1386, 3630, 495, 605, 33, 11], [4, 110, 220, 1650, 1320, 4620, 1848, 3300, 660, 550, 44, 10], [5, 99, 275, 1485, 1650, 4158, 2310, 2970, 825, 495, 55, 9], [6, 88, 330, 1320, 1980, 3696, 2772, 2640, 990, 440, 66, 8], [7, 77, 385, 1155, 2310, 3234, 3234, 2310, 1155, 385, 77, 7], [8, 66, 440, 990, 2640, 2772, 3696, 1980, 1320, 330, 88, 6], [9, 55, 495, 825, 2970, 2310, 4158, 1650, 1485, 275, 99, 5], [10, 44, 550, 660, 3300, 1848, 4620, 1320, 1650, 220, 110, 4], [11, 33, 605, 495, 3630, 1386, 5082, 990, 1815, 165, 121, 3], [12, 22, 660, 330, 3960, 924, 5544, 660, 1980, 110, 132, 2], [13, 11, 715, 165, 4290, 462, 6006, 330, 2145, 55, 143, 1], [14, 0, 770, 0, 4620, 0, 6468, 0, 2310, 0, 154, 0]}
(12, 14336, 10) has 56 possible DDs: {[1, 66, 132, 990, 1485, 2772, 3696, 1980, 2475, 330, 396, 6, 7], [1, 67, 121, 1045, 1320, 3102, 3234, 2442, 2145, 495, 341, 17, 6], [1, 68, 110, 1100, 1155, 3432, 2772, 2904, 1815, 660, 286, 28, 5], [1, 69, 99, 1155, 990, 3762, 2310, 3366, 1485, 825, 231, 39, 4], [1, 70, 88, 1210, 825, 4092, 1848, 3828, 1155, 990, 176, 50, 3], [1, 71, 77, 1265, 660, 4422, 1386, 4290, 825, 1155, 121, 61, 2], [1, 72, 66, 1320, 495, 4752, 924, 4752, 495, 1320, 66, 72, 1], [1, 73, 55, 1375, 330, 5082, 462, 5214, 165, 1485, 11, 83, 0], [2, 55, 187, 825, 1815, 2310, 4158, 1650, 2640, 275, 407, 5, 7], [2, 56, 176, 880, 1650, 2640, 3696, 2112, 2310, 440, 352, 16, 6], [2, 57, 165, 935, 1485, 2970, 3234, 2574, 1980, 605, 297, 27, 5], [2, 58, 154, 990, 1320, 3300, 2772, 3036, 1650, 770, 242, 38, 4], [2, 59, 143, 1045, 1155, 3630, 2310, 3498, 1320, 935, 187, 49, 3], [2, 60, 132, 1100, 990, 3960, 1848, 3960, 990, 1100, 132, 60, 2], [2, 61, 121, 1155, 825, 4290, 1386, 4422, 660, 1265, 77, 71, 1], [2, 62, 110, 1210, 660, 4620, 924, 4884, 330, 1430, 22, 82, 0], [3, 44, 242, 660, 2145, 1848, 4620, 1320, 2805, 220, 418, 4, 7], [3, 45, 231, 715, 1980, 2178, 4158, 1782, 2475, 385, 363, 15, 6], [3, 46, 220, 770, 1815, 2508, 3696, 2244, 2145, 550, 308, 26, 5], [3, 47, 209, 825, 1650, 2838, 3234, 2706, 1815, 715, 253, 37, 4], [3, 48, 198, 880, 1485, 3168, 2772, 3168, 1485, 880, 198, 48, 3], [3, 49, 187, 935, 1320, 3498, 2310, 3630, 1155, 1045, 143, 59, 2], [3, 50, 176, 990, 1155, 3828, 1848, 4092, 825, 1210, 88, 70, 1], [3, 51, 165, 1045, 990, 4158, 1386, 4554, 495, 1375, 33, 81, 0], [4, 33, 297, 495, 2475, 1386, 5082, 990, 2970, 165, 429, 3, 7], [4, 34, 286, 550, 2310, 1716, 4620, 1452, 2640, 330, 374, 14, 6], [4, 35, 275, 605, 2145, 2046, 4158, 1914, 2310, 495, 319, 25, 5], [4, 36, 264, 660, 1980, 2376, 3696, 2376, 1980, 660, 264, 36, 4], [4, 37, 253, 715, 1815, 2706, 3234, 2838, 1650, 825, 209, 47, 3], [4, 38, 242, 770, 1650, 3036, 2772, 3300, 1320, 990, 154, 58, 2], [4, 39, 231, 825, 1485, 3366, 2310, 3762, 990, 1155, 99, 69, 1], [4, 40, 220, 880, 1320, 3696, 1848, 4224, 660, 1320, 44, 80, 0], [5, 22, 352, 330, 2805, 924, 5544, 660, 3135, 110, 440, 2, 7], [5, 23, 341, 385, 2640, 1254, 5082, 1122, 2805, 275, 385, 13, 6], [5, 24, 330, 440, 2475, 1584, 4620, 1584, 2475, 440, 330, 24, 5], [5, 25, 319, 495, 2310, 1914, 4158, 2046, 2145, 605, 275, 35, 4], [5, 26, 308, 550, 2145, 2244, 3696, 2508, 1815, 770, 220, 46, 3], [5, 27, 297, 605, 1980, 2574, 3234, 2970, 1485, 935, 165, 57, 2], [5, 28, 286, 660, 1815, 2904, 2772, 3432, 1155, 1100, 110, 68, 1], [5, 29, 275, 715, 1650, 3234, 2310, 3894, 825, 1265, 55, 79, 0], [6, 11, 407, 165, 3135, 462, 6006, 330, 3300, 55, 451, 1, 7], [6, 12, 396, 220, 2970, 792, 5544, 792, 2970, 220, 396, 12, 6], [6, 13, 385, 275, 2805, 1122, 5082, 1254, 2640, 385, 341, 23, 5], [6, 14, 374, 330, 2640, 1452, 4620, 1716, 2310, 550, 286, 34, 4], [6, 15, 363, 385, 2475, 1782, 4158, 2178, 1980, 715, 231, 45, 3], [6, 16, 352, 440, 2310, 2112, 3696, 2640, 1650, 880, 176, 56, 2], [6, 17, 341, 495, 2145, 2442, 3234, 3102, 1320, 1045, 121, 67, 1], [6, 18, 330, 550, 1980, 2772, 2772, 3564, 990, 1210, 66, 78, 0], [7, 0, 462, 0, 3465, 0, 6468, 0, 3465, 0, 462, 0, 7], [7, 1, 451, 55, 3300, 330, 6006, 462, 3135, 165, 407, 11, 6], [7, 2, 440, 110, 3135, 660, 5544, 924, 2805, 330, 352, 22, 5], [7, 3, 429, 165, 2970, 990, 5082, 1386, 2475, 495, 297, 33, 4], [7, 4, 418, 220, 2805, 1320, 4620, 1848, 2145, 660, 242, 44, 3], [7, 5, 407, 275, 2640, 1650, 4158, 2310, 1815, 825, 187, 55, 2], [7, 6, 396, 330, 2475, 1980, 3696, 2772, 1485, 990, 132, 66, 1], [7, 7, 385, 385, 2310, 2310, 3234, 3234, 1155, 1155, 77, 77, 0]}
(13, 14336, 10) has 67 possible DDs: {[1, 26, 148, 374, 1705, 1320, 4224, 1980, 2739, 1210, 396, 206, 3, 4], [1, 27, 137, 429, 1540, 1650, 3762, 2442, 2409, 1375, 341, 217, 2, 4], [1, 27, 138, 418, 1595, 1485, 4092, 1980, 2871, 1045, 506, 162, 13, 3], [1, 28, 126, 484, 1375, 1980, 3300, 2904, 2079, 1540, 286, 228, 1, 4], [1, 28, 127, 473, 1430, 1815, 3630, 2442, 2541, 1210, 451, 173, 12, 3], [1, 28, 128, 462, 1485, 1650, 3960, 1980, 3003, 880, 616, 118, 23, 2], [1, 29, 115, 539, 1210, 2310, 2838, 3366, 1749, 1705, 231, 239, 0, 4], [1, 29, 116, 528, 1265, 2145, 3168, 2904, 2211, 1375, 396, 184, 11, 3], [1, 29, 117, 517, 1320, 1980, 3498, 2442, 2673, 1045, 561, 129, 22, 2], [1, 29, 118, 506, 1375, 1815, 3828, 1980, 3135, 715, 726, 74, 33, 1], [1, 30, 105, 583, 1100, 2475, 2706, 3366, 1881, 1540, 341, 195, 10, 3], [1, 30, 106, 572, 1155, 2310, 3036, 2904, 2343, 1210, 506, 140, 21, 2], [1, 30, 107, 561, 1210, 2145, 3366, 2442, 2805, 880, 671, 85, 32, 1], [1, 31, 94, 638, 935, 2805, 2244, 3828, 1551, 1705, 286, 206, 9, 3], [1, 31, 95, 627, 990, 2640, 2574, 3366, 2013, 1375, 451, 151, 20, 2], [1, 31, 96, 616, 1045, 2475, 2904, 2904, 2475, 1045, 616, 96, 31, 1], [1, 32, 84, 682, 825, 2970, 2112, 3828, 1683, 1540, 396, 162, 19, 2], [1, 32, 85, 671, 880, 2805, 2442, 3366, 2145, 1210, 561, 107, 30, 1], [1, 32, 86, 660, 935, 2640, 2772, 2904, 2607, 880, 726, 52, 41, 0], [1, 33, 74, 726, 715, 3135, 1980, 3828, 1815, 1375, 506, 118, 29, 1], [2, 17, 182, 308, 1760, 1353, 4092, 2112, 2706, 1155, 462, 172, 12, 3], [2, 18, 170, 374, 1540, 1848, 3300, 3036, 1914, 1650, 242, 238, 0, 4], [2, 18, 171, 363, 1595, 1683, 3630, 2574, 2376, 1320, 407, 183, 11, 3], [2, 18, 172, 352, 1650, 1518, 3960, 2112, 2838, 990, 572, 128, 22, 2], [2, 19, 160, 418, 1430, 2013, 3168, 3036, 2046, 1485, 352, 194, 10, 3], [2, 19, 161, 407, 1485, 1848, 3498, 2574, 2508, 1155, 517, 139, 21, 2], [2, 19, 162, 396, 1540, 1683, 3828, 2112, 2970, 825, 682, 84, 32, 1], [2, 20, 149, 473, 1265, 2343, 2706, 3498, 1716, 1650, 297, 205, 9, 3], [2, 20, 150, 462, 1320, 2178, 3036, 3036, 2178, 1320, 462, 150, 20, 2], [2, 20, 151, 451, 1375, 2013, 3366, 2574, 2640, 990, 627, 95, 31, 1], [2, 20, 152, 440, 1430, 1848, 3696, 2112, 3102, 660, 792, 40, 42, 0], [2, 21, 138, 528, 1100, 2673, 2244, 3960, 1386, 1815, 242, 216, 8, 3], [2, 21, 139, 517, 1155, 2508, 2574, 3498, 1848, 1485, 407, 161, 19, 2], [2, 21, 140, 506, 1210, 2343, 2904, 3036, 2310, 1155, 572, 106, 30, 1], [2, 21, 141, 495, 1265, 2178, 3234, 2574, 2772, 825, 737, 51, 41, 0], [2, 22, 128, 572, 990, 2838, 2112, 3960, 1518, 1650, 352, 172, 18, 2], [2, 22, 129, 561, 1045, 2673, 2442, 3498, 1980, 1320, 517, 117, 29, 1], [2, 22, 130, 550, 1100, 2508, 2772, 3036, 2442, 990, 682, 62, 40, 0], [2, 23, 118, 616, 880, 3003, 1980, 3960, 1650, 1485, 462, 128, 28, 1], [2, 23, 119, 605, 935, 2838, 2310, 3498, 2112, 1155, 627, 73, 39, 0], [2, 24, 108, 660, 770, 3168, 1848, 3960, 1782, 1320, 572, 84, 38, 0], [3, 8, 216, 242, 1815, 1386, 3960, 2244, 2673, 1100, 528, 138, 21, 2], [3, 9, 204, 308, 1595, 1881, 3168, 3168, 1881, 1595, 308, 204, 9, 3], [3, 9, 205, 297, 1650, 1716, 3498, 2706, 2343, 1265, 473, 149, 20, 2], [3, 9, 206, 286, 1705, 1551, 3828, 2244, 2805, 935, 638, 94, 31, 1], [3, 10, 194, 352, 1485, 2046, 3036, 3168, 2013, 1430, 418, 160, 19, 2], [3, 10, 195, 341, 1540, 1881, 3366, 2706, 2475, 1100, 583, 105, 30, 1], [3, 10, 196, 330, 1595, 1716, 3696, 2244, 2937, 770, 748, 50, 41, 0], [3, 11, 183, 407, 1320, 2376, 2574, 3630, 1683, 1595, 363, 171, 18, 2], [3, 11, 184, 396, 1375, 2211, 2904, 3168, 2145, 1265, 528, 116, 29, 1], [3, 11, 185, 385, 1430, 2046, 3234, 2706, 2607, 935, 693, 61, 40, 0], [3, 12, 172, 462, 1155, 2706, 2112, 4092, 1353, 1760, 308, 182, 17, 2], [3, 12, 173, 451, 1210, 2541, 2442, 3630, 1815, 1430, 473, 127, 28, 1], [3, 12, 174, 440, 1265, 2376, 2772, 3168, 2277, 1100, 638, 72, 39, 0], [3, 13, 162, 506, 1045, 2871, 1980, 4092, 1485, 1595, 418, 138, 27, 1], [3, 13, 163, 495, 1100, 2706, 2310, 3630, 1947, 1265, 583, 83, 38, 0], [3, 14, 152, 550, 935, 3036, 1848, 4092, 1617, 1430, 528, 94, 37, 0], [4, 0, 238, 242, 1650, 1914, 3036, 3300, 1848, 1540, 374, 170, 18, 2], [4, 0, 239, 231, 1705, 1749, 3366, 2838, 2310, 1210, 539, 115, 29, 1], [4, 0, 240, 220, 1760, 1584, 3696, 2376, 2772, 880, 704, 60, 40, 0], [4, 1, 228, 286, 1540, 2079, 2904, 3300, 1980, 1375, 484, 126, 28, 1], [4, 1, 229, 275, 1595, 1914, 3234, 2838, 2442, 1045, 649, 71, 39, 0], [4, 2, 217, 341, 1375, 2409, 2442, 3762, 1650, 1540, 429, 137, 27, 1], [4, 2, 218, 330, 1430, 2244, 2772, 3300, 2112, 1210, 594, 82, 38, 0], [4, 3, 206, 396, 1210, 2739, 1980, 4224, 1320, 1705, 374, 148, 26, 1], [4, 3, 207, 385, 1265, 2574, 2310, 3762, 1782, 1375, 539, 93, 37, 0], [4, 4, 196, 440, 1100, 2904, 1848, 4224, 1452, 1540, 484, 104, 36, 0]}
(14, 14336, 10) has 14 possible DDs: {[1, 9, 104, 228, 1067, 1529, 2706, 3168, 2343, 1947, 836, 284, 109, 3, 2], [1, 10, 94, 272, 957, 1694, 2574, 3168, 2475, 1782, 946, 240, 119, 2, 2], [1, 10, 95, 262, 1001, 1584, 2739, 3036, 2475, 1914, 781, 350, 75, 12, 1], [1, 11, 85, 306, 891, 1749, 2607, 3036, 2607, 1749, 891, 306, 85, 11, 1], [1, 11, 86, 296, 935, 1639, 2772, 2904, 2607, 1881, 726, 416, 41, 21, 0], [1, 12, 75, 350, 781, 1914, 2475, 3036, 2739, 1584, 1001, 262, 95, 10, 1], [1, 12, 76, 340, 825, 1804, 2640, 2904, 2739, 1716, 836, 372, 51, 20, 0], [1, 13, 66, 384, 715, 1969, 2508, 2904, 2871, 1551, 946, 328, 61, 19, 0], [2, 1, 128, 206, 1012, 1727, 2442, 3300, 2442, 1727, 1012, 206, 128, 1, 2], [2, 2, 119, 240, 946, 1782, 2475, 3168, 2574, 1694, 957, 272, 94, 10, 1], [2, 2, 120, 230, 990, 1672, 2640, 3036, 2574, 1826, 792, 382, 50, 20, 0], [2, 3, 109, 284, 836, 1947, 2343, 3168, 2706, 1529, 1067, 228, 104, 9, 1], [2, 3, 110, 274, 880, 1837, 2508, 3036, 2706, 1661, 902, 338, 60, 19, 0], [2, 4, 100, 318, 770, 2002, 2376, 3036, 2838, 1496, 1012, 294, 70, 18, 0]}
(15, 14336, 10) has 28 possible DDs: {[1, 0, 77, 127, 653, 1452, 1705, 3531, 2211, 2464, 1287, 565, 207, 52, 3, 1], [1, 0, 78, 116, 708, 1287, 2035, 3069, 2673, 2134, 1452, 510, 218, 51, 3, 1], [1, 0, 78, 118, 687, 1386, 1760, 3564, 2079, 2596, 1254, 510, 273, 18, 12, 0], [1, 0, 79, 105, 763, 1122, 2365, 2607, 3135, 1804, 1617, 455, 229, 50, 3, 1], [1, 0, 79, 107, 742, 1221, 2090, 3102, 2541, 2266, 1419, 455, 284, 17, 12, 0], [1, 1, 68, 161, 587, 1507, 1738, 3399, 2343, 2431, 1232, 631, 173, 61, 2, 1], [1, 1, 69, 150, 642, 1342, 2068, 2937, 2805, 2101, 1397, 576, 184, 60, 2, 1], [1, 1, 69, 152, 621, 1441, 1793, 3432, 2211, 2563, 1199, 576, 239, 27, 11, 0], [1, 1, 70, 139, 697, 1177, 2398, 2475, 3267, 1771, 1562, 521, 195, 59, 2, 1], [1, 1, 70, 141, 676, 1276, 2123, 2970, 2673, 2233, 1364, 521, 250, 26, 11, 0], [1, 1, 71, 130, 731, 1111, 2453, 2508, 3135, 1903, 1529, 466, 261, 25, 11, 0], [1, 2, 59, 195, 521, 1562, 1771, 3267, 2475, 2398, 1177, 697, 139, 70, 1, 1], [1, 2, 60, 184, 576, 1397, 2101, 2805, 2937, 2068, 1342, 642, 150, 69, 1, 1], [1, 2, 60, 186, 555, 1496, 1826, 3300, 2343, 2530, 1144, 642, 205, 36, 10, 0], [1, 2, 61, 173, 631, 1232, 2431, 2343, 3399, 1738, 1507, 587, 161, 68, 1, 1], [1, 2, 61, 175, 610, 1331, 2156, 2838, 2805, 2200, 1309, 587, 216, 35, 10, 0], [1, 2, 62, 164, 665, 1166, 2486, 2376, 3267, 1870, 1474, 532, 227, 34, 10, 0], [1, 3, 50, 229, 455, 1617, 1804, 3135, 2607, 2365, 1122, 763, 105, 79, 0, 1], [1, 3, 51, 218, 510, 1452, 2134, 2673, 3069, 2035, 1287, 708, 116, 78, 0, 1], [1, 3, 51, 220, 489, 1551, 1859, 3168, 2475, 2497, 1089, 708, 171, 45, 9, 0], [1, 3, 52, 207, 565, 1287, 2464, 2211, 3531, 1705, 1452, 653, 127, 77, 0, 1], [1, 3, 52, 209, 544, 1386, 2189, 2706, 2937, 2167, 1254, 653, 182, 44, 9, 0], [1, 3, 53, 198, 599, 1221, 2519, 2244, 3399, 1837, 1419, 598, 193, 43, 9, 0], [1, 4, 42, 254, 423, 1606, 1892, 3036, 2607, 2464, 1034, 774, 137, 54, 8, 0], [1, 4, 43, 243, 478, 1441, 2222, 2574, 3069, 2134, 1199, 719, 148, 53, 8, 0], [1, 4, 44, 232, 533, 1276, 2552, 2112, 3531, 1804, 1364, 664, 159, 52, 8, 0], [1, 5, 34, 277, 412, 1496, 2255, 2442, 3201, 2101, 1144, 785, 114, 62, 7, 0], [1, 5, 35, 266, 467, 1331, 2585, 1980, 3663, 1771, 1309, 730, 125, 61, 7, 0]}