-------
(10, 512, 6) Remaining distance distributions after General
(6, 512, 6) has 1 possible DDs: {[8, 48, 120, 160, 120, 48, 8]}
(7, 512, 6) has 9 possible DDs: {[0, 56, 0, 280, 0, 168, 0, 8], [1, 49, 21, 245, 35, 147, 7, 7], [2, 42, 42, 210, 70, 126, 14, 6], [3, 35, 63, 175, 105, 105, 21, 5], [4, 28, 84, 140, 140, 84, 28, 4], [5, 21, 105, 105, 175, 63, 35, 3], [6, 14, 126, 70, 210, 42, 42, 2], [7, 7, 147, 35, 245, 21, 49, 1], [8, 0, 168, 0, 280, 0, 56, 0]}
(8, 512, 6) has 25 possible DDs: {[0, 28, 28, 140, 140, 84, 84, 4, 4], [0, 29, 21, 161, 105, 119, 63, 11, 3], [0, 30, 14, 182, 70, 154, 42, 18, 2], [0, 31, 7, 203, 35, 189, 21, 25, 1], [0, 32, 0, 224, 0, 224, 0, 32, 0], [1, 21, 49, 105, 175, 63, 91, 3, 4], [1, 22, 42, 126, 140, 98, 70, 10, 3], [1, 23, 35, 147, 105, 133, 49, 17, 2], [1, 24, 28, 168, 70, 168, 28, 24, 1], [1, 25, 21, 189, 35, 203, 7, 31, 0], [2, 14, 70, 70, 210, 42, 98, 2, 4], [2, 15, 63, 91, 175, 77, 77, 9, 3], [2, 16, 56, 112, 140, 112, 56, 16, 2], [2, 17, 49, 133, 105, 147, 35, 23, 1], [2, 18, 42, 154, 70, 182, 14, 30, 0], [3, 7, 91, 35, 245, 21, 105, 1, 4], [3, 8, 84, 56, 210, 56, 84, 8, 3], [3, 9, 77, 77, 175, 91, 63, 15, 2], [3, 10, 70, 98, 140, 126, 42, 22, 1], [3, 11, 63, 119, 105, 161, 21, 29, 0], [4, 0, 112, 0, 280, 0, 112, 0, 4], [4, 1, 105, 21, 245, 35, 91, 7, 3], [4, 2, 98, 42, 210, 70, 70, 14, 2], [4, 3, 91, 63, 175, 105, 49, 21, 1], [4, 4, 84, 84, 140, 140, 28, 28, 0]}
(9, 512, 6) has 55 possible DDs: {[0, 12, 42, 42, 210, 42, 126, 30, 6, 2], [0, 13, 35, 63, 175, 77, 105, 37, 5, 2], [0, 13, 36, 56, 196, 42, 140, 16, 12, 1], [0, 14, 28, 84, 140, 112, 84, 44, 4, 2], [0, 14, 29, 77, 161, 77, 119, 23, 11, 1], [0, 14, 30, 70, 182, 42, 154, 2, 18, 0], [0, 15, 21, 105, 105, 147, 63, 51, 3, 2], [0, 15, 22, 98, 126, 112, 98, 30, 10, 1], [0, 15, 23, 91, 147, 77, 133, 9, 17, 0], [0, 16, 14, 126, 70, 182, 42, 58, 2, 2], [0, 16, 15, 119, 91, 147, 77, 37, 9, 1], [0, 16, 16, 112, 112, 112, 112, 16, 16, 0], [0, 17, 7, 147, 35, 217, 21, 65, 1, 2], [0, 17, 8, 140, 56, 182, 56, 44, 8, 1], [0, 17, 9, 133, 77, 147, 91, 23, 15, 0], [0, 18, 0, 168, 0, 252, 0, 72, 0, 2], [0, 18, 1, 161, 21, 217, 35, 51, 7, 1], [0, 18, 2, 154, 42, 182, 70, 30, 14, 0], [1, 6, 56, 28, 210, 56, 112, 36, 5, 2], [1, 6, 57, 21, 231, 21, 147, 15, 12, 1], [1, 7, 49, 49, 175, 91, 91, 43, 4, 2], [1, 7, 50, 42, 196, 56, 126, 22, 11, 1], [1, 7, 51, 35, 217, 21, 161, 1, 18, 0], [1, 8, 42, 70, 140, 126, 70, 50, 3, 2], [1, 8, 43, 63, 161, 91, 105, 29, 10, 1], [1, 8, 44, 56, 182, 56, 140, 8, 17, 0], [1, 9, 35, 91, 105, 161, 49, 57, 2, 2], [1, 9, 36, 84, 126, 126, 84, 36, 9, 1], [1, 9, 37, 77, 147, 91, 119, 15, 16, 0], [1, 10, 28, 112, 70, 196, 28, 64, 1, 2], [1, 10, 29, 105, 91, 161, 63, 43, 8, 1], [1, 10, 30, 98, 112, 126, 98, 22, 15, 0], [1, 11, 21, 133, 35, 231, 7, 71, 0, 2], [1, 11, 22, 126, 56, 196, 42, 50, 7, 1], [1, 11, 23, 119, 77, 161, 77, 29, 14, 0], [1, 12, 15, 147, 21, 231, 21, 57, 6, 1], [1, 12, 16, 140, 42, 196, 56, 36, 13, 0], [2, 0, 70, 14, 210, 70, 98, 42, 4, 2], [2, 0, 71, 7, 231, 35, 133, 21, 11, 1], [2, 0, 72, 0, 252, 0, 168, 0, 18, 0], [2, 1, 63, 35, 175, 105, 77, 49, 3, 2], [2, 1, 64, 28, 196, 70, 112, 28, 10, 1], [2, 1, 65, 21, 217, 35, 147, 7, 17, 0], [2, 2, 56, 56, 140, 140, 56, 56, 2, 2], [2, 2, 57, 49, 161, 105, 91, 35, 9, 1], [2, 2, 58, 42, 182, 70, 126, 14, 16, 0], [2, 3, 49, 77, 105, 175, 35, 63, 1, 2], [2, 3, 50, 70, 126, 140, 70, 42, 8, 1], [2, 3, 51, 63, 147, 105, 105, 21, 15, 0], [2, 4, 42, 98, 70, 210, 14, 70, 0, 2], [2, 4, 43, 91, 91, 175, 49, 49, 7, 1], [2, 4, 44, 84, 112, 140, 84, 28, 14, 0], [2, 5, 36, 112, 56, 210, 28, 56, 6, 1], [2, 5, 37, 105, 77, 175, 63, 35, 13, 0], [2, 6, 30, 126, 42, 210, 42, 42, 12, 0]}
(10, 512, 6) has 106 possible DDs: {[0, 4, 39, 14, 154, 126, 56, 106, 6, 6, 1], [0, 5, 33, 28, 140, 126, 70, 92, 12, 5, 1], [0, 5, 34, 21, 161, 91, 105, 71, 19, 4, 1], [0, 5, 35, 14, 182, 56, 140, 50, 26, 3, 1], [0, 5, 35, 15, 175, 77, 105, 85, 5, 10, 0], [0, 6, 26, 49, 105, 161, 49, 99, 11, 5, 1], [0, 6, 27, 42, 126, 126, 84, 78, 18, 4, 1], [0, 6, 28, 35, 147, 91, 119, 57, 25, 3, 1], [0, 6, 28, 36, 140, 112, 84, 92, 4, 10, 0], [0, 6, 29, 28, 168, 56, 154, 36, 32, 2, 1], [0, 6, 29, 29, 161, 77, 119, 71, 11, 9, 0], [0, 6, 30, 21, 189, 21, 189, 15, 39, 1, 1], [0, 6, 30, 22, 182, 42, 154, 50, 18, 8, 0], [0, 7, 19, 70, 70, 196, 28, 106, 10, 5, 1], [0, 7, 20, 63, 91, 161, 63, 85, 17, 4, 1], [0, 7, 21, 56, 112, 126, 98, 64, 24, 3, 1], [0, 7, 21, 57, 105, 147, 63, 99, 3, 10, 0], [0, 7, 22, 49, 133, 91, 133, 43, 31, 2, 1], [0, 7, 22, 50, 126, 112, 98, 78, 10, 9, 0], [0, 7, 23, 42, 154, 56, 168, 22, 38, 1, 1], [0, 7, 23, 43, 147, 77, 133, 57, 17, 8, 0], [0, 7, 24, 35, 175, 21, 203, 1, 45, 0, 1], [0, 7, 24, 36, 168, 42, 168, 36, 24, 7, 0], [0, 8, 13, 84, 56, 196, 42, 92, 16, 4, 1], [0, 8, 14, 77, 77, 161, 77, 71, 23, 3, 1], [0, 8, 14, 78, 70, 182, 42, 106, 2, 10, 0], [0, 8, 15, 70, 98, 126, 112, 50, 30, 2, 1], [0, 8, 15, 71, 91, 147, 77, 85, 9, 9, 0], [0, 8, 16, 63, 119, 91, 147, 29, 37, 1, 1], [0, 8, 16, 64, 112, 112, 112, 64, 16, 8, 0], [0, 8, 17, 56, 140, 56, 182, 8, 44, 0, 1], [0, 8, 17, 57, 133, 77, 147, 43, 23, 7, 0], [0, 8, 18, 50, 154, 42, 182, 22, 30, 6, 0], [0, 9, 6, 105, 21, 231, 21, 99, 15, 4, 1], [0, 9, 7, 98, 42, 196, 56, 78, 22, 3, 1], [0, 9, 7, 99, 35, 217, 21, 113, 1, 10, 0], [0, 9, 8, 91, 63, 161, 91, 57, 29, 2, 1], [0, 9, 8, 92, 56, 182, 56, 92, 8, 9, 0], [0, 9, 9, 84, 84, 126, 126, 36, 36, 1, 1], [0, 9, 9, 85, 77, 147, 91, 71, 15, 8, 0], [0, 9, 10, 77, 105, 91, 161, 15, 43, 0, 1], [0, 9, 10, 78, 98, 112, 126, 50, 22, 7, 0], [0, 9, 11, 71, 119, 77, 161, 29, 29, 6, 0], [0, 10, 0, 119, 7, 231, 35, 85, 21, 3, 1], [0, 10, 0, 120, 0, 252, 0, 120, 0, 10, 0], [0, 10, 1, 112, 28, 196, 70, 64, 28, 2, 1], [0, 10, 1, 113, 21, 217, 35, 99, 7, 9, 0], [0, 10, 2, 105, 49, 161, 105, 43, 35, 1, 1], [0, 10, 2, 106, 42, 182, 70, 78, 14, 8, 0], [0, 10, 3, 98, 70, 126, 140, 22, 42, 0, 1], [0, 10, 3, 99, 63, 147, 105, 57, 21, 7, 0], [0, 10, 4, 92, 84, 112, 140, 36, 28, 6, 0], [0, 10, 5, 85, 105, 77, 175, 15, 35, 5, 0], [1, 0, 40, 35, 105, 175, 35, 105, 10, 5, 1], [1, 0, 41, 28, 126, 140, 70, 84, 17, 4, 1], [1, 0, 42, 21, 147, 105, 105, 63, 24, 3, 1], [1, 0, 42, 22, 140, 126, 70, 98, 3, 10, 0], [1, 0, 43, 14, 168, 70, 140, 42, 31, 2, 1], [1, 0, 43, 15, 161, 91, 105, 77, 10, 9, 0], [1, 0, 44, 7, 189, 35, 175, 21, 38, 1, 1], [1, 0, 44, 8, 182, 56, 140, 56, 17, 8, 0], [1, 0, 45, 0, 210, 0, 210, 0, 45, 0, 1], [1, 0, 45, 1, 203, 21, 175, 35, 24, 7, 0], [1, 1, 34, 49, 91, 175, 49, 91, 16, 4, 1], [1, 1, 35, 42, 112, 140, 84, 70, 23, 3, 1], [1, 1, 35, 43, 105, 161, 49, 105, 2, 10, 0], [1, 1, 36, 35, 133, 105, 119, 49, 30, 2, 1], [1, 1, 36, 36, 126, 126, 84, 84, 9, 9, 0], [1, 1, 37, 28, 154, 70, 154, 28, 37, 1, 1], [1, 1, 37, 29, 147, 91, 119, 63, 16, 8, 0], [1, 1, 38, 21, 175, 35, 189, 7, 44, 0, 1], [1, 1, 38, 22, 168, 56, 154, 42, 23, 7, 0], [1, 1, 39, 15, 189, 21, 189, 21, 30, 6, 0], [1, 2, 27, 70, 56, 210, 28, 98, 15, 4, 1], [1, 2, 28, 63, 77, 175, 63, 77, 22, 3, 1], [1, 2, 28, 64, 70, 196, 28, 112, 1, 10, 0], [1, 2, 29, 56, 98, 140, 98, 56, 29, 2, 1], [1, 2, 29, 57, 91, 161, 63, 91, 8, 9, 0], [1, 2, 30, 49, 119, 105, 133, 35, 36, 1, 1], [1, 2, 30, 50, 112, 126, 98, 70, 15, 8, 0], [1, 2, 31, 42, 140, 70, 168, 14, 43, 0, 1], [1, 2, 31, 43, 133, 91, 133, 49, 22, 7, 0], [1, 2, 32, 36, 154, 56, 168, 28, 29, 6, 0], [1, 3, 21, 84, 42, 210, 42, 84, 21, 3, 1], [1, 3, 21, 85, 35, 231, 7, 119, 0, 10, 0], [1, 3, 22, 77, 63, 175, 77, 63, 28, 2, 1], [1, 3, 22, 78, 56, 196, 42, 98, 7, 9, 0], [1, 3, 23, 70, 84, 140, 112, 42, 35, 1, 1], [1, 3, 23, 71, 77, 161, 77, 77, 14, 8, 0], [1, 3, 24, 63, 105, 105, 147, 21, 42, 0, 1], [1, 3, 24, 64, 98, 126, 112, 56, 21, 7, 0], [1, 3, 25, 57, 119, 91, 147, 35, 28, 6, 0], [1, 3, 26, 50, 140, 56, 182, 14, 35, 5, 0], [1, 4, 15, 98, 28, 210, 56, 70, 27, 2, 1], [1, 4, 15, 99, 21, 231, 21, 105, 6, 9, 0], [1, 4, 16, 91, 49, 175, 91, 49, 34, 1, 1], [1, 4, 16, 92, 42, 196, 56, 84, 13, 8, 0], [1, 4, 17, 84, 70, 140, 126, 28, 41, 0, 1], [1, 4, 17, 85, 63, 161, 91, 63, 20, 7, 0], [1, 4, 18, 78, 84, 126, 126, 42, 27, 6, 0], [1, 4, 19, 71, 105, 91, 161, 21, 34, 5, 0], [1, 5, 10, 105, 35, 175, 105, 35, 40, 0, 1], [1, 5, 10, 106, 28, 196, 70, 70, 19, 7, 0], [1, 5, 11, 99, 49, 161, 105, 49, 26, 6, 0], [1, 5, 12, 92, 70, 126, 140, 28, 33, 5, 0], [1, 6, 6, 106, 56, 126, 154, 14, 39, 4, 0]}