-------
(13, 3072, 9) ALL distance distributions for EXTERNAL point
(9, 3072, 9) has 0 possible DDs: {}
(10, 3072, 9) has 1 possible DDs: {[0, 60, 0, 720, 0, 1512, 0, 720, 0, 60, 0]}
(11, 3072, 9) has 4 possible DDs: {[0, 30, 30, 360, 360, 756, 756, 360, 360, 30, 30, 0], [0, 31, 20, 405, 240, 966, 504, 570, 240, 75, 20, 1], [0, 32, 10, 450, 120, 1176, 252, 780, 120, 120, 10, 2], [0, 33, 0, 495, 0, 1386, 0, 990, 0, 165, 0, 3]}
(12, 3072, 9) has 11 possible DDs: {[0, 13, 50, 105, 600, 138, 1260, 138, 600, 105, 50, 13, 0], [0, 14, 40, 150, 480, 348, 1008, 348, 480, 150, 40, 14, 0], [0, 14, 41, 140, 525, 228, 1218, 96, 690, 30, 85, 4, 1], [0, 15, 30, 195, 360, 558, 756, 558, 360, 195, 30, 15, 0], [0, 15, 31, 185, 405, 438, 966, 306, 570, 75, 75, 5, 1], [0, 16, 20, 240, 240, 768, 504, 768, 240, 240, 20, 16, 0], [0, 16, 21, 230, 285, 648, 714, 516, 450, 120, 65, 6, 1], [0, 17, 10, 285, 120, 978, 252, 978, 120, 285, 10, 17, 0], [0, 17, 11, 275, 165, 858, 462, 726, 330, 165, 55, 7, 1], [0, 18, 0, 330, 0, 1188, 0, 1188, 0, 330, 0, 18, 0], [0, 18, 1, 320, 45, 1068, 210, 936, 210, 210, 45, 8, 1]}
(13, 3072, 9) has 27 possible DDs: {[0, 5, 45, 25, 465, 234, 762, 762, 234, 465, 25, 45, 5, 0], [0, 5, 46, 15, 510, 114, 972, 510, 444, 345, 70, 35, 6, 0], [0, 6, 35, 70, 345, 444, 510, 972, 114, 510, 15, 46, 5, 0], [0, 6, 36, 60, 390, 324, 720, 720, 324, 390, 60, 36, 6, 0], [0, 6, 37, 50, 435, 204, 930, 468, 534, 270, 105, 26, 7, 0], [0, 6, 38, 40, 480, 84, 1140, 216, 744, 150, 150, 16, 8, 0], [0, 7, 26, 105, 270, 534, 468, 930, 204, 435, 50, 37, 6, 0], [0, 7, 27, 95, 315, 414, 678, 678, 414, 315, 95, 27, 7, 0], [0, 7, 28, 85, 360, 294, 888, 426, 624, 195, 140, 17, 8, 0], [0, 7, 29, 75, 405, 174, 1098, 174, 834, 75, 185, 7, 9, 0], [0, 7, 30, 66, 440, 99, 1188, 132, 792, 165, 110, 42, 0, 1], [0, 8, 16, 150, 150, 744, 216, 1140, 84, 480, 40, 38, 6, 0], [0, 8, 17, 140, 195, 624, 426, 888, 294, 360, 85, 28, 7, 0], [0, 8, 18, 130, 240, 504, 636, 636, 504, 240, 130, 18, 8, 0], [0, 8, 19, 120, 285, 384, 846, 384, 714, 120, 175, 8, 9, 0], [0, 8, 20, 111, 320, 309, 936, 342, 672, 210, 100, 43, 0, 1], [0, 8, 21, 101, 365, 189, 1146, 90, 882, 90, 145, 33, 1, 1], [0, 9, 7, 185, 75, 834, 174, 1098, 174, 405, 75, 29, 7, 0], [0, 9, 8, 175, 120, 714, 384, 846, 384, 285, 120, 19, 8, 0], [0, 9, 9, 165, 165, 594, 594, 594, 594, 165, 165, 9, 9, 0], [0, 9, 10, 156, 200, 519, 684, 552, 552, 255, 90, 44, 0, 1], [0, 9, 11, 146, 245, 399, 894, 300, 762, 135, 135, 34, 1, 1], [0, 9, 12, 136, 290, 279, 1104, 48, 972, 15, 180, 24, 2, 1], [0, 10, 0, 200, 90, 684, 552, 552, 684, 90, 200, 0, 10, 0], [0, 10, 0, 201, 80, 729, 432, 762, 432, 300, 80, 45, 0, 1], [0, 10, 1, 191, 125, 609, 642, 510, 642, 180, 125, 35, 1, 1], [0, 10, 2, 181, 170, 489, 852, 258, 852, 60, 170, 25, 2, 1]}