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