-------
(13, 3072, 8) Remaining distance distributions for INTERNAL point
(8, 3072, 8) has 1 possible DDs: {[12, 96, 336, 672, 840, 672, 336, 96, 12]}
(9, 3072, 8) has 12 possible DDs: {[1, 99, 36, 924, 126, 1386, 84, 396, 9, 11], [2, 90, 72, 840, 252, 1260, 168, 360, 18, 10], [3, 81, 108, 756, 378, 1134, 252, 324, 27, 9], [4, 72, 144, 672, 504, 1008, 336, 288, 36, 8], [5, 63, 180, 588, 630, 882, 420, 252, 45, 7], [6, 54, 216, 504, 756, 756, 504, 216, 54, 6], [7, 45, 252, 420, 882, 630, 588, 180, 63, 5], [8, 36, 288, 336, 1008, 504, 672, 144, 72, 4], [9, 27, 324, 252, 1134, 378, 756, 108, 81, 3], [10, 18, 360, 168, 1260, 252, 840, 72, 90, 2], [11, 9, 396, 84, 1386, 126, 924, 36, 99, 1], [12, 0, 432, 0, 1512, 0, 1008, 0, 108, 0]}
(10, 3072, 8) has 42 possible DDs: {[1, 45, 90, 420, 630, 630, 840, 180, 225, 5, 6], [1, 46, 81, 456, 546, 756, 714, 264, 189, 14, 5], [1, 47, 72, 492, 462, 882, 588, 348, 153, 23, 4], [1, 48, 63, 528, 378, 1008, 462, 432, 117, 32, 3], [1, 49, 54, 564, 294, 1134, 336, 516, 81, 41, 2], [1, 50, 45, 600, 210, 1260, 210, 600, 45, 50, 1], [1, 51, 36, 636, 126, 1386, 84, 684, 9, 59, 0], [2, 36, 126, 336, 756, 504, 924, 144, 234, 4, 6], [2, 37, 117, 372, 672, 630, 798, 228, 198, 13, 5], [2, 38, 108, 408, 588, 756, 672, 312, 162, 22, 4], [2, 39, 99, 444, 504, 882, 546, 396, 126, 31, 3], [2, 40, 90, 480, 420, 1008, 420, 480, 90, 40, 2], [2, 41, 81, 516, 336, 1134, 294, 564, 54, 49, 1], [2, 42, 72, 552, 252, 1260, 168, 648, 18, 58, 0], [3, 27, 162, 252, 882, 378, 1008, 108, 243, 3, 6], [3, 28, 153, 288, 798, 504, 882, 192, 207, 12, 5], [3, 29, 144, 324, 714, 630, 756, 276, 171, 21, 4], [3, 30, 135, 360, 630, 756, 630, 360, 135, 30, 3], [3, 31, 126, 396, 546, 882, 504, 444, 99, 39, 2], [3, 32, 117, 432, 462, 1008, 378, 528, 63, 48, 1], [3, 33, 108, 468, 378, 1134, 252, 612, 27, 57, 0], [4, 18, 198, 168, 1008, 252, 1092, 72, 252, 2, 6], [4, 19, 189, 204, 924, 378, 966, 156, 216, 11, 5], [4, 20, 180, 240, 840, 504, 840, 240, 180, 20, 4], [4, 21, 171, 276, 756, 630, 714, 324, 144, 29, 3], [4, 22, 162, 312, 672, 756, 588, 408, 108, 38, 2], [4, 23, 153, 348, 588, 882, 462, 492, 72, 47, 1], [4, 24, 144, 384, 504, 1008, 336, 576, 36, 56, 0], [5, 9, 234, 84, 1134, 126, 1176, 36, 261, 1, 6], [5, 10, 225, 120, 1050, 252, 1050, 120, 225, 10, 5], [5, 11, 216, 156, 966, 378, 924, 204, 189, 19, 4], [5, 12, 207, 192, 882, 504, 798, 288, 153, 28, 3], [5, 13, 198, 228, 798, 630, 672, 372, 117, 37, 2], [5, 14, 189, 264, 714, 756, 546, 456, 81, 46, 1], [5, 15, 180, 300, 630, 882, 420, 540, 45, 55, 0], [6, 0, 270, 0, 1260, 0, 1260, 0, 270, 0, 6], [6, 1, 261, 36, 1176, 126, 1134, 84, 234, 9, 5], [6, 2, 252, 72, 1092, 252, 1008, 168, 198, 18, 4], [6, 3, 243, 108, 1008, 378, 882, 252, 162, 27, 3], [6, 4, 234, 144, 924, 504, 756, 336, 126, 36, 2], [6, 5, 225, 180, 840, 630, 630, 420, 90, 45, 1], [6, 6, 216, 216, 756, 756, 504, 504, 54, 54, 0]}
(11, 3072, 8) has 111 possible DDs: {[1, 16, 108, 123, 798, 252, 1092, 282, 297, 92, 8, 3], [1, 16, 109, 114, 834, 168, 1218, 156, 381, 56, 17, 2], [1, 17, 99, 159, 714, 378, 966, 366, 261, 101, 7, 3], [1, 17, 100, 150, 750, 294, 1092, 240, 345, 65, 16, 2], [1, 17, 101, 141, 786, 210, 1218, 114, 429, 29, 25, 1], [1, 18, 90, 195, 630, 504, 840, 450, 225, 110, 6, 3], [1, 18, 91, 186, 666, 420, 966, 324, 309, 74, 15, 2], [1, 18, 92, 177, 702, 336, 1092, 198, 393, 38, 24, 1], [1, 18, 93, 168, 738, 252, 1218, 72, 477, 2, 33, 0], [1, 19, 81, 231, 546, 630, 714, 534, 189, 119, 5, 3], [1, 19, 82, 222, 582, 546, 840, 408, 273, 83, 14, 2], [1, 19, 83, 213, 618, 462, 966, 282, 357, 47, 23, 1], [1, 19, 84, 204, 654, 378, 1092, 156, 441, 11, 32, 0], [1, 20, 72, 267, 462, 756, 588, 618, 153, 128, 4, 3], [1, 20, 73, 258, 498, 672, 714, 492, 237, 92, 13, 2], [1, 20, 74, 249, 534, 588, 840, 366, 321, 56, 22, 1], [1, 20, 75, 240, 570, 504, 966, 240, 405, 20, 31, 0], [1, 21, 63, 303, 378, 882, 462, 702, 117, 137, 3, 3], [1, 21, 64, 294, 414, 798, 588, 576, 201, 101, 12, 2], [1, 21, 65, 285, 450, 714, 714, 450, 285, 65, 21, 1], [1, 21, 66, 276, 486, 630, 840, 324, 369, 29, 30, 0], [1, 22, 54, 339, 294, 1008, 336, 786, 81, 146, 2, 3], [1, 22, 55, 330, 330, 924, 462, 660, 165, 110, 11, 2], [1, 22, 56, 321, 366, 840, 588, 534, 249, 74, 20, 1], [1, 22, 57, 312, 402, 756, 714, 408, 333, 38, 29, 0], [1, 23, 45, 375, 210, 1134, 210, 870, 45, 155, 1, 3], [1, 23, 46, 366, 246, 1050, 336, 744, 129, 119, 10, 2], [1, 23, 47, 357, 282, 966, 462, 618, 213, 83, 19, 1], [1, 23, 48, 348, 318, 882, 588, 492, 297, 47, 28, 0], [1, 24, 36, 411, 126, 1260, 84, 954, 9, 164, 0, 3], [1, 24, 37, 402, 162, 1176, 210, 828, 93, 128, 9, 2], [1, 24, 38, 393, 198, 1092, 336, 702, 177, 92, 18, 1], [1, 24, 39, 384, 234, 1008, 462, 576, 261, 56, 27, 0], [1, 25, 28, 438, 78, 1302, 84, 912, 57, 137, 8, 2], [1, 25, 29, 429, 114, 1218, 210, 786, 141, 101, 17, 1], [1, 25, 30, 420, 150, 1134, 336, 660, 225, 65, 26, 0], [1, 26, 21, 456, 66, 1260, 210, 744, 189, 74, 25, 0], [2, 7, 144, 39, 924, 126, 1176, 246, 306, 91, 8, 3], [2, 8, 135, 75, 840, 252, 1050, 330, 270, 100, 7, 3], [2, 8, 136, 66, 876, 168, 1176, 204, 354, 64, 16, 2], [2, 8, 137, 57, 912, 84, 1302, 78, 438, 28, 25, 1], [2, 9, 126, 111, 756, 378, 924, 414, 234, 109, 6, 3], [2, 9, 127, 102, 792, 294, 1050, 288, 318, 73, 15, 2], [2, 9, 128, 93, 828, 210, 1176, 162, 402, 37, 24, 1], [2, 9, 129, 84, 864, 126, 1302, 36, 486, 1, 33, 0], [2, 10, 117, 147, 672, 504, 798, 498, 198, 118, 5, 3], [2, 10, 118, 138, 708, 420, 924, 372, 282, 82, 14, 2], [2, 10, 119, 129, 744, 336, 1050, 246, 366, 46, 23, 1], [2, 10, 120, 120, 780, 252, 1176, 120, 450, 10, 32, 0], [2, 11, 108, 183, 588, 630, 672, 582, 162, 127, 4, 3], [2, 11, 109, 174, 624, 546, 798, 456, 246, 91, 13, 2], [2, 11, 110, 165, 660, 462, 924, 330, 330, 55, 22, 1], [2, 11, 111, 156, 696, 378, 1050, 204, 414, 19, 31, 0], [2, 12, 99, 219, 504, 756, 546, 666, 126, 136, 3, 3], [2, 12, 100, 210, 540, 672, 672, 540, 210, 100, 12, 2], [2, 12, 101, 201, 576, 588, 798, 414, 294, 64, 21, 1], [2, 12, 102, 192, 612, 504, 924, 288, 378, 28, 30, 0], [2, 13, 90, 255, 420, 882, 420, 750, 90, 145, 2, 3], [2, 13, 91, 246, 456, 798, 546, 624, 174, 109, 11, 2], [2, 13, 92, 237, 492, 714, 672, 498, 258, 73, 20, 1], [2, 13, 93, 228, 528, 630, 798, 372, 342, 37, 29, 0], [2, 14, 81, 291, 336, 1008, 294, 834, 54, 154, 1, 3], [2, 14, 82, 282, 372, 924, 420, 708, 138, 118, 10, 2], [2, 14, 83, 273, 408, 840, 546, 582, 222, 82, 19, 1], [2, 14, 84, 264, 444, 756, 672, 456, 306, 46, 28, 0], [2, 15, 72, 327, 252, 1134, 168, 918, 18, 163, 0, 3], [2, 15, 73, 318, 288, 1050, 294, 792, 102, 127, 9, 2], [2, 15, 74, 309, 324, 966, 420, 666, 186, 91, 18, 1], [2, 15, 75, 300, 360, 882, 546, 540, 270, 55, 27, 0], [2, 16, 64, 354, 204, 1176, 168, 876, 66, 136, 8, 2], [2, 16, 65, 345, 240, 1092, 294, 750, 150, 100, 17, 1], [2, 16, 66, 336, 276, 1008, 420, 624, 234, 64, 26, 0], [2, 17, 56, 381, 156, 1218, 168, 834, 114, 109, 16, 1], [2, 17, 57, 372, 192, 1134, 294, 708, 198, 73, 25, 0], [3, 0, 162, 27, 882, 252, 1008, 378, 243, 108, 6, 3], [3, 0, 163, 18, 918, 168, 1134, 252, 327, 72, 15, 2], [3, 0, 164, 9, 954, 84, 1260, 126, 411, 36, 24, 1], [3, 0, 165, 0, 990, 0, 1386, 0, 495, 0, 33, 0], [3, 1, 153, 63, 798, 378, 882, 462, 207, 117, 5, 3], [3, 1, 154, 54, 834, 294, 1008, 336, 291, 81, 14, 2], [3, 1, 155, 45, 870, 210, 1134, 210, 375, 45, 23, 1], [3, 1, 156, 36, 906, 126, 1260, 84, 459, 9, 32, 0], [3, 2, 144, 99, 714, 504, 756, 546, 171, 126, 4, 3], [3, 2, 145, 90, 750, 420, 882, 420, 255, 90, 13, 2], [3, 2, 146, 81, 786, 336, 1008, 294, 339, 54, 22, 1], [3, 2, 147, 72, 822, 252, 1134, 168, 423, 18, 31, 0], [3, 3, 135, 135, 630, 630, 630, 630, 135, 135, 3, 3], [3, 3, 136, 126, 666, 546, 756, 504, 219, 99, 12, 2], [3, 3, 137, 117, 702, 462, 882, 378, 303, 63, 21, 1], [3, 3, 138, 108, 738, 378, 1008, 252, 387, 27, 30, 0], [3, 4, 126, 171, 546, 756, 504, 714, 99, 144, 2, 3], [3, 4, 127, 162, 582, 672, 630, 588, 183, 108, 11, 2], [3, 4, 128, 153, 618, 588, 756, 462, 267, 72, 20, 1], [3, 4, 129, 144, 654, 504, 882, 336, 351, 36, 29, 0], [3, 5, 117, 207, 462, 882, 378, 798, 63, 153, 1, 3], [3, 5, 118, 198, 498, 798, 504, 672, 147, 117, 10, 2], [3, 5, 119, 189, 534, 714, 630, 546, 231, 81, 19, 1], [3, 5, 120, 180, 570, 630, 756, 420, 315, 45, 28, 0], [3, 6, 108, 243, 378, 1008, 252, 882, 27, 162, 0, 3], [3, 6, 109, 234, 414, 924, 378, 756, 111, 126, 9, 2], [3, 6, 110, 225, 450, 840, 504, 630, 195, 90, 18, 1], [3, 6, 111, 216, 486, 756, 630, 504, 279, 54, 27, 0], [3, 7, 100, 270, 330, 1050, 252, 840, 75, 135, 8, 2], [3, 7, 101, 261, 366, 966, 378, 714, 159, 99, 17, 1], [3, 7, 102, 252, 402, 882, 504, 588, 243, 63, 26, 0], [3, 8, 91, 306, 246, 1176, 126, 924, 39, 144, 7, 2], [3, 8, 92, 297, 282, 1092, 252, 798, 123, 108, 16, 1], [3, 8, 93, 288, 318, 1008, 378, 672, 207, 72, 25, 0], [3, 9, 84, 324, 234, 1134, 252, 756, 171, 81, 24, 0], [3, 10, 75, 360, 150, 1260, 126, 840, 135, 90, 23, 0], [4, 0, 120, 240, 360, 1008, 336, 720, 180, 80, 24, 0]}
(12, 3072, 8) has 44 possible DDs: {[1, 5, 71, 109, 444, 570, 630, 690, 321, 161, 67, 1, 2], [1, 5, 72, 100, 480, 486, 756, 564, 405, 125, 76, 0, 2], [1, 5, 72, 101, 471, 522, 672, 690, 279, 209, 40, 9, 1], [1, 6, 62, 145, 360, 696, 504, 774, 285, 170, 66, 1, 2], [1, 6, 63, 136, 396, 612, 630, 648, 369, 134, 75, 0, 2], [1, 6, 63, 137, 387, 648, 546, 774, 243, 218, 39, 9, 1], [1, 6, 64, 128, 423, 564, 672, 648, 327, 182, 48, 8, 1], [1, 6, 65, 119, 459, 480, 798, 522, 411, 146, 57, 7, 1], [1, 6, 65, 120, 450, 516, 714, 648, 285, 230, 21, 16, 0], [1, 6, 66, 110, 495, 396, 924, 396, 495, 110, 66, 6, 1], [1, 6, 66, 111, 486, 432, 840, 522, 369, 194, 30, 15, 0], [1, 7, 54, 172, 312, 738, 504, 732, 333, 143, 74, 0, 2], [1, 7, 55, 164, 339, 690, 546, 732, 291, 191, 47, 8, 1], [1, 7, 56, 155, 375, 606, 672, 606, 375, 155, 56, 7, 1], [1, 7, 57, 146, 411, 522, 798, 480, 459, 119, 65, 6, 1], [1, 7, 57, 147, 402, 558, 714, 606, 333, 203, 29, 15, 0], [1, 7, 58, 138, 438, 474, 840, 480, 417, 167, 38, 14, 0], [1, 8, 47, 191, 291, 732, 546, 690, 339, 164, 55, 7, 1], [1, 8, 48, 182, 327, 648, 672, 564, 423, 128, 64, 6, 1], [1, 8, 48, 183, 318, 684, 588, 690, 297, 212, 28, 15, 0], [1, 8, 49, 174, 354, 600, 714, 564, 381, 176, 37, 14, 0], [1, 8, 50, 165, 390, 516, 840, 438, 465, 140, 46, 13, 0], [1, 9, 39, 218, 243, 774, 546, 648, 387, 137, 63, 6, 1], [1, 9, 39, 219, 234, 810, 462, 774, 261, 221, 27, 15, 0], [1, 9, 40, 209, 279, 690, 672, 522, 471, 101, 72, 5, 1], [1, 9, 40, 210, 270, 726, 588, 648, 345, 185, 36, 14, 0], [1, 9, 41, 201, 306, 642, 714, 522, 429, 149, 45, 13, 0], [1, 9, 42, 192, 342, 558, 840, 396, 513, 113, 54, 12, 0], [1, 10, 33, 228, 258, 684, 714, 480, 477, 122, 53, 12, 0], [2, 0, 74, 143, 333, 732, 504, 738, 312, 172, 54, 7, 1], [2, 0, 75, 134, 369, 648, 630, 612, 396, 136, 63, 6, 1], [2, 0, 75, 135, 360, 684, 546, 738, 270, 220, 27, 15, 0], [2, 0, 76, 125, 405, 564, 756, 486, 480, 100, 72, 5, 1], [2, 0, 76, 126, 396, 600, 672, 612, 354, 184, 36, 14, 0], [2, 0, 77, 117, 432, 516, 798, 486, 438, 148, 45, 13, 0], [2, 0, 78, 108, 468, 432, 924, 360, 522, 112, 54, 12, 0], [2, 1, 66, 170, 285, 774, 504, 696, 360, 145, 62, 6, 1], [2, 1, 67, 161, 321, 690, 630, 570, 444, 109, 71, 5, 1], [2, 1, 67, 162, 312, 726, 546, 696, 318, 193, 35, 14, 0], [2, 1, 68, 153, 348, 642, 672, 570, 402, 157, 44, 13, 0], [2, 1, 69, 144, 384, 558, 798, 444, 486, 121, 53, 12, 0], [2, 2, 59, 189, 264, 768, 546, 654, 366, 166, 43, 13, 0], [2, 2, 60, 180, 300, 684, 672, 528, 450, 130, 52, 12, 0], [2, 3, 51, 216, 216, 810, 546, 612, 414, 139, 51, 12, 0]}
(13, 3072, 8) has 36 possible DDs: {[1, 0, 43, 97, 236, 573, 558, 642, 561, 194, 135, 29, 2, 1], [1, 0, 43, 98, 227, 609, 474, 768, 435, 278, 99, 38, 1, 1], [1, 0, 44, 89, 263, 525, 600, 642, 519, 242, 108, 37, 1, 1], [1, 0, 44, 90, 255, 552, 552, 684, 519, 200, 156, 10, 9, 0], [1, 0, 44, 91, 246, 588, 468, 810, 393, 284, 120, 19, 8, 0], [1, 0, 45, 80, 299, 441, 726, 516, 603, 206, 117, 36, 1, 1], [1, 0, 45, 81, 290, 477, 642, 642, 477, 290, 81, 45, 0, 1], [1, 0, 45, 82, 282, 504, 594, 684, 477, 248, 129, 18, 8, 0], [1, 0, 46, 73, 318, 420, 720, 558, 561, 212, 138, 17, 8, 0], [1, 0, 46, 74, 309, 456, 636, 684, 435, 296, 102, 26, 7, 0], [1, 0, 47, 66, 336, 408, 678, 684, 393, 344, 75, 34, 6, 0], [1, 1, 35, 124, 188, 615, 558, 600, 609, 167, 143, 28, 2, 1], [1, 1, 36, 116, 215, 567, 600, 600, 567, 215, 116, 36, 1, 1], [1, 1, 36, 117, 206, 603, 516, 726, 441, 299, 80, 45, 0, 1], [1, 1, 37, 108, 242, 519, 642, 600, 525, 263, 89, 44, 0, 1], [1, 1, 37, 109, 234, 546, 594, 642, 525, 221, 137, 17, 8, 0], [1, 1, 37, 110, 225, 582, 510, 768, 399, 305, 101, 26, 7, 0], [1, 1, 38, 99, 278, 435, 768, 474, 609, 227, 98, 43, 0, 1], [1, 1, 38, 101, 261, 498, 636, 642, 483, 269, 110, 25, 7, 0], [1, 1, 39, 92, 297, 414, 762, 516, 567, 233, 119, 24, 7, 0], [1, 1, 39, 93, 288, 450, 678, 642, 441, 317, 83, 33, 6, 0], [1, 1, 40, 85, 315, 402, 720, 642, 399, 365, 56, 41, 5, 0], [1, 2, 28, 143, 167, 609, 600, 558, 615, 188, 124, 35, 1, 1], [1, 2, 29, 135, 194, 561, 642, 558, 573, 236, 97, 43, 0, 1], [1, 2, 29, 136, 186, 588, 594, 600, 573, 194, 145, 16, 8, 0], [1, 2, 30, 128, 213, 540, 636, 600, 531, 242, 118, 24, 7, 0], [1, 2, 30, 129, 204, 576, 552, 726, 405, 326, 82, 33, 6, 0], [1, 2, 31, 120, 240, 492, 678, 600, 489, 290, 91, 32, 6, 0], [1, 2, 32, 111, 276, 408, 804, 474, 573, 254, 100, 31, 6, 0], [1, 2, 32, 112, 267, 444, 720, 600, 447, 338, 64, 40, 5, 0], [1, 3, 22, 155, 165, 582, 636, 558, 579, 215, 126, 23, 7, 0], [1, 3, 23, 147, 192, 534, 678, 558, 537, 263, 99, 31, 6, 0], [1, 3, 23, 148, 183, 570, 594, 684, 411, 347, 63, 40, 5, 0], [1, 3, 24, 139, 219, 486, 720, 558, 495, 311, 72, 39, 5, 0], [1, 3, 25, 130, 255, 402, 846, 432, 579, 275, 81, 38, 5, 0], [1, 4, 17, 158, 198, 480, 762, 516, 501, 332, 53, 46, 4, 0]}