-------
(13, 3072, 9) ALL distance distributions
(9, 3072, 9) has 1 possible DDs: {[6, 54, 216, 504, 756, 756, 504, 216, 54, 6]}
(10, 3072, 9) has 7 possible DDs: {[0, 60, 0, 720, 0, 1512, 0, 720, 0, 60, 0], [1, 50, 45, 600, 210, 1260, 210, 600, 45, 50, 1], [2, 40, 90, 480, 420, 1008, 420, 480, 90, 40, 2], [3, 30, 135, 360, 630, 756, 630, 360, 135, 30, 3], [4, 20, 180, 240, 840, 504, 840, 240, 180, 20, 4], [5, 10, 225, 120, 1050, 252, 1050, 120, 225, 10, 5], [6, 0, 270, 0, 1260, 0, 1260, 0, 270, 0, 6]}
(11, 3072, 9) has 16 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], [1, 20, 75, 240, 570, 504, 966, 240, 405, 20, 31, 0], [1, 21, 65, 285, 450, 714, 714, 450, 285, 65, 21, 1], [1, 22, 55, 330, 330, 924, 462, 660, 165, 110, 11, 2], [1, 23, 45, 375, 210, 1134, 210, 870, 45, 155, 1, 3], [2, 10, 120, 120, 780, 252, 1176, 120, 450, 10, 32, 0], [2, 11, 110, 165, 660, 462, 924, 330, 330, 55, 22, 1], [2, 12, 100, 210, 540, 672, 672, 540, 210, 100, 12, 2], [2, 13, 90, 255, 420, 882, 420, 750, 90, 145, 2, 3], [3, 0, 165, 0, 990, 0, 1386, 0, 495, 0, 33, 0], [3, 1, 155, 45, 870, 210, 1134, 210, 375, 45, 23, 1], [3, 2, 145, 90, 750, 420, 882, 420, 255, 90, 13, 2], [3, 3, 135, 135, 630, 630, 630, 630, 135, 135, 3, 3]}
(12, 3072, 9) has 25 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], [1, 4, 85, 30, 690, 96, 1218, 228, 525, 140, 41, 14, 0], [1, 5, 75, 75, 570, 306, 966, 438, 405, 185, 31, 15, 0], [1, 5, 76, 65, 615, 186, 1176, 186, 615, 65, 76, 5, 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, 7, 55, 165, 330, 726, 462, 858, 165, 275, 11, 17, 0], [1, 7, 56, 155, 375, 606, 672, 606, 375, 155, 56, 7, 1], [1, 8, 45, 210, 210, 936, 210, 1068, 45, 320, 1, 18, 0], [1, 8, 46, 200, 255, 816, 420, 816, 255, 200, 46, 8, 1], [1, 9, 36, 245, 135, 1026, 168, 1026, 135, 245, 36, 9, 1], [1, 10, 27, 280, 60, 1116, 126, 984, 225, 170, 71, 0, 2], [2, 0, 71, 170, 225, 984, 126, 1116, 60, 280, 27, 10, 1], [2, 0, 72, 160, 270, 864, 336, 864, 270, 160, 72, 0, 2], [2, 1, 62, 205, 150, 1074, 84, 1074, 150, 205, 62, 1, 2]}
(13, 3072, 9) has 48 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], [1, 0, 42, 110, 165, 792, 132, 1188, 99, 440, 66, 30, 7, 0], [1, 0, 43, 100, 210, 672, 342, 936, 309, 320, 111, 20, 8, 0], [1, 0, 44, 90, 255, 552, 552, 684, 519, 200, 156, 10, 9, 0], [1, 0, 45, 80, 300, 432, 762, 432, 729, 80, 201, 0, 10, 0], [1, 0, 45, 81, 290, 477, 642, 642, 477, 290, 81, 45, 0, 1], [1, 0, 46, 71, 335, 357, 852, 390, 687, 170, 126, 35, 1, 1], [1, 0, 47, 61, 380, 237, 1062, 138, 897, 50, 171, 25, 2, 1], [1, 1, 33, 145, 90, 882, 90, 1146, 189, 365, 101, 21, 8, 0], [1, 1, 34, 135, 135, 762, 300, 894, 399, 245, 146, 11, 9, 0], [1, 1, 35, 125, 180, 642, 510, 642, 609, 125, 191, 1, 10, 0], [1, 1, 35, 126, 170, 687, 390, 852, 357, 335, 71, 46, 0, 1], [1, 1, 36, 116, 215, 567, 600, 600, 567, 215, 116, 36, 1, 1], [1, 1, 37, 106, 260, 447, 810, 348, 777, 95, 161, 26, 2, 1], [1, 2, 24, 180, 15, 972, 48, 1104, 279, 290, 136, 12, 9, 0], [1, 2, 25, 170, 60, 852, 258, 852, 489, 170, 181, 2, 10, 0], [1, 2, 25, 171, 50, 897, 138, 1062, 237, 380, 61, 47, 0, 1], [1, 2, 26, 161, 95, 777, 348, 810, 447, 260, 106, 37, 1, 1], [1, 2, 27, 151, 140, 657, 558, 558, 657, 140, 151, 27, 2, 1], [1, 2, 28, 141, 185, 537, 768, 306, 867, 20, 196, 17, 3, 1], [1, 3, 17, 196, 20, 867, 306, 768, 537, 185, 141, 28, 2, 1], [1, 3, 18, 186, 65, 747, 516, 516, 747, 65, 186, 18, 3, 1]}