-------
(12, 2048, 8) Remaining distance distributions after General
(8, 2048, 8) has 1 possible DDs: {[8, 64, 224, 448, 560, 448, 224, 64, 8]}
(9, 2048, 8) has 9 possible DDs: {[0, 72, 0, 672, 0, 1008, 0, 288, 0, 8], [1, 63, 36, 588, 126, 882, 84, 252, 9, 7], [2, 54, 72, 504, 252, 756, 168, 216, 18, 6], [3, 45, 108, 420, 378, 630, 252, 180, 27, 5], [4, 36, 144, 336, 504, 504, 336, 144, 36, 4], [5, 27, 180, 252, 630, 378, 420, 108, 45, 3], [6, 18, 216, 168, 756, 252, 504, 72, 54, 2], [7, 9, 252, 84, 882, 126, 588, 36, 63, 1], [8, 0, 288, 0, 1008, 0, 672, 0, 72, 0]}
(10, 2048, 8) has 25 possible DDs: {[0, 36, 36, 336, 336, 504, 504, 144, 144, 4, 4], [0, 37, 27, 372, 252, 630, 378, 228, 108, 13, 3], [0, 38, 18, 408, 168, 756, 252, 312, 72, 22, 2], [0, 39, 9, 444, 84, 882, 126, 396, 36, 31, 1], [0, 40, 0, 480, 0, 1008, 0, 480, 0, 40, 0], [1, 27, 72, 252, 462, 378, 588, 108, 153, 3, 4], [1, 28, 63, 288, 378, 504, 462, 192, 117, 12, 3], [1, 29, 54, 324, 294, 630, 336, 276, 81, 21, 2], [1, 30, 45, 360, 210, 756, 210, 360, 45, 30, 1], [1, 31, 36, 396, 126, 882, 84, 444, 9, 39, 0], [2, 18, 108, 168, 588, 252, 672, 72, 162, 2, 4], [2, 19, 99, 204, 504, 378, 546, 156, 126, 11, 3], [2, 20, 90, 240, 420, 504, 420, 240, 90, 20, 2], [2, 21, 81, 276, 336, 630, 294, 324, 54, 29, 1], [2, 22, 72, 312, 252, 756, 168, 408, 18, 38, 0], [3, 9, 144, 84, 714, 126, 756, 36, 171, 1, 4], [3, 10, 135, 120, 630, 252, 630, 120, 135, 10, 3], [3, 11, 126, 156, 546, 378, 504, 204, 99, 19, 2], [3, 12, 117, 192, 462, 504, 378, 288, 63, 28, 1], [3, 13, 108, 228, 378, 630, 252, 372, 27, 37, 0], [4, 0, 180, 0, 840, 0, 840, 0, 180, 0, 4], [4, 1, 171, 36, 756, 126, 714, 84, 144, 9, 3], [4, 2, 162, 72, 672, 252, 588, 168, 108, 18, 2], [4, 3, 153, 108, 588, 378, 462, 252, 72, 27, 1], [4, 4, 144, 144, 504, 504, 336, 336, 36, 36, 0]}
(11, 2048, 8) has 55 possible DDs: {[0, 16, 54, 114, 504, 168, 756, 156, 216, 56, 6, 2], [0, 17, 45, 150, 420, 294, 630, 240, 180, 65, 5, 2], [0, 17, 46, 141, 456, 210, 756, 114, 264, 29, 14, 1], [0, 18, 36, 186, 336, 420, 504, 324, 144, 74, 4, 2], [0, 18, 37, 177, 372, 336, 630, 198, 228, 38, 13, 1], [0, 18, 38, 168, 408, 252, 756, 72, 312, 2, 22, 0], [0, 19, 27, 222, 252, 546, 378, 408, 108, 83, 3, 2], [0, 19, 28, 213, 288, 462, 504, 282, 192, 47, 12, 1], [0, 19, 29, 204, 324, 378, 630, 156, 276, 11, 21, 0], [0, 20, 18, 258, 168, 672, 252, 492, 72, 92, 2, 2], [0, 20, 19, 249, 204, 588, 378, 366, 156, 56, 11, 1], [0, 20, 20, 240, 240, 504, 504, 240, 240, 20, 20, 0], [0, 21, 9, 294, 84, 798, 126, 576, 36, 101, 1, 2], [0, 21, 10, 285, 120, 714, 252, 450, 120, 65, 10, 1], [0, 21, 11, 276, 156, 630, 378, 324, 204, 29, 19, 0], [0, 22, 0, 330, 0, 924, 0, 660, 0, 110, 0, 2], [0, 22, 1, 321, 36, 840, 126, 534, 84, 74, 9, 1], [0, 22, 2, 312, 72, 756, 252, 408, 168, 38, 18, 0], [1, 8, 81, 66, 546, 168, 714, 204, 189, 64, 5, 2], [1, 8, 82, 57, 582, 84, 840, 78, 273, 28, 14, 1], [1, 9, 72, 102, 462, 294, 588, 288, 153, 73, 4, 2], [1, 9, 73, 93, 498, 210, 714, 162, 237, 37, 13, 1], [1, 9, 74, 84, 534, 126, 840, 36, 321, 1, 22, 0], [1, 10, 63, 138, 378, 420, 462, 372, 117, 82, 3, 2], [1, 10, 64, 129, 414, 336, 588, 246, 201, 46, 12, 1], [1, 10, 65, 120, 450, 252, 714, 120, 285, 10, 21, 0], [1, 11, 54, 174, 294, 546, 336, 456, 81, 91, 2, 2], [1, 11, 55, 165, 330, 462, 462, 330, 165, 55, 11, 1], [1, 11, 56, 156, 366, 378, 588, 204, 249, 19, 20, 0], [1, 12, 45, 210, 210, 672, 210, 540, 45, 100, 1, 2], [1, 12, 46, 201, 246, 588, 336, 414, 129, 64, 10, 1], [1, 12, 47, 192, 282, 504, 462, 288, 213, 28, 19, 0], [1, 13, 36, 246, 126, 798, 84, 624, 9, 109, 0, 2], [1, 13, 37, 237, 162, 714, 210, 498, 93, 73, 9, 1], [1, 13, 38, 228, 198, 630, 336, 372, 177, 37, 18, 0], [1, 14, 28, 273, 78, 840, 84, 582, 57, 82, 8, 1], [1, 14, 29, 264, 114, 756, 210, 456, 141, 46, 17, 0], [2, 0, 108, 18, 588, 168, 672, 252, 162, 72, 4, 2], [2, 0, 109, 9, 624, 84, 798, 126, 246, 36, 13, 1], [2, 0, 110, 0, 660, 0, 924, 0, 330, 0, 22, 0], [2, 1, 99, 54, 504, 294, 546, 336, 126, 81, 3, 2], [2, 1, 100, 45, 540, 210, 672, 210, 210, 45, 12, 1], [2, 1, 101, 36, 576, 126, 798, 84, 294, 9, 21, 0], [2, 2, 90, 90, 420, 420, 420, 420, 90, 90, 2, 2], [2, 2, 91, 81, 456, 336, 546, 294, 174, 54, 11, 1], [2, 2, 92, 72, 492, 252, 672, 168, 258, 18, 20, 0], [2, 3, 81, 126, 336, 546, 294, 504, 54, 99, 1, 2], [2, 3, 82, 117, 372, 462, 420, 378, 138, 63, 10, 1], [2, 3, 83, 108, 408, 378, 546, 252, 222, 27, 19, 0], [2, 4, 72, 162, 252, 672, 168, 588, 18, 108, 0, 2], [2, 4, 73, 153, 288, 588, 294, 462, 102, 72, 9, 1], [2, 4, 74, 144, 324, 504, 420, 336, 186, 36, 18, 0], [2, 5, 64, 189, 204, 714, 168, 546, 66, 81, 8, 1], [2, 5, 65, 180, 240, 630, 294, 420, 150, 45, 17, 0], [2, 6, 56, 216, 156, 756, 168, 504, 114, 54, 16, 0]}
(12, 2048, 8) has 106 possible DDs: {[0, 6, 51, 30, 405, 252, 462, 540, 90, 190, 15, 6, 1], [0, 7, 43, 57, 357, 294, 462, 498, 138, 163, 23, 5, 1], [0, 7, 44, 48, 393, 210, 588, 372, 222, 127, 32, 4, 1], [0, 7, 45, 39, 429, 126, 714, 246, 306, 91, 41, 3, 1], [0, 7, 45, 40, 420, 162, 630, 372, 180, 175, 5, 12, 0], [0, 8, 34, 93, 273, 420, 336, 582, 102, 172, 22, 5, 1], [0, 8, 35, 84, 309, 336, 462, 456, 186, 136, 31, 4, 1], [0, 8, 36, 75, 345, 252, 588, 330, 270, 100, 40, 3, 1], [0, 8, 36, 76, 336, 288, 504, 456, 144, 184, 4, 12, 0], [0, 8, 37, 66, 381, 168, 714, 204, 354, 64, 49, 2, 1], [0, 8, 37, 67, 372, 204, 630, 330, 228, 148, 13, 11, 0], [0, 8, 38, 57, 417, 84, 840, 78, 438, 28, 58, 1, 1], [0, 8, 38, 58, 408, 120, 756, 204, 312, 112, 22, 10, 0], [0, 9, 25, 129, 189, 546, 210, 666, 66, 181, 21, 5, 1], [0, 9, 26, 120, 225, 462, 336, 540, 150, 145, 30, 4, 1], [0, 9, 27, 111, 261, 378, 462, 414, 234, 109, 39, 3, 1], [0, 9, 27, 112, 252, 414, 378, 540, 108, 193, 3, 12, 0], [0, 9, 28, 102, 297, 294, 588, 288, 318, 73, 48, 2, 1], [0, 9, 28, 103, 288, 330, 504, 414, 192, 157, 12, 11, 0], [0, 9, 29, 93, 333, 210, 714, 162, 402, 37, 57, 1, 1], [0, 9, 29, 94, 324, 246, 630, 288, 276, 121, 21, 10, 0], [0, 9, 30, 84, 369, 126, 840, 36, 486, 1, 66, 0, 1], [0, 9, 30, 85, 360, 162, 756, 162, 360, 85, 30, 9, 0], [0, 10, 17, 156, 141, 588, 210, 624, 114, 154, 29, 4, 1], [0, 10, 18, 147, 177, 504, 336, 498, 198, 118, 38, 3, 1], [0, 10, 18, 148, 168, 540, 252, 624, 72, 202, 2, 12, 0], [0, 10, 19, 138, 213, 420, 462, 372, 282, 82, 47, 2, 1], [0, 10, 19, 139, 204, 456, 378, 498, 156, 166, 11, 11, 0], [0, 10, 20, 129, 249, 336, 588, 246, 366, 46, 56, 1, 1], [0, 10, 20, 130, 240, 372, 504, 372, 240, 130, 20, 10, 0], [0, 10, 21, 120, 285, 252, 714, 120, 450, 10, 65, 0, 1], [0, 10, 21, 121, 276, 288, 630, 246, 324, 94, 29, 9, 0], [0, 10, 22, 112, 312, 204, 756, 120, 408, 58, 38, 8, 0], [0, 11, 8, 192, 57, 714, 84, 708, 78, 163, 28, 4, 1], [0, 11, 9, 183, 93, 630, 210, 582, 162, 127, 37, 3, 1], [0, 11, 9, 184, 84, 666, 126, 708, 36, 211, 1, 12, 0], [0, 11, 10, 174, 129, 546, 336, 456, 246, 91, 46, 2, 1], [0, 11, 10, 175, 120, 582, 252, 582, 120, 175, 10, 11, 0], [0, 11, 11, 165, 165, 462, 462, 330, 330, 55, 55, 1, 1], [0, 11, 11, 166, 156, 498, 378, 456, 204, 139, 19, 10, 0], [0, 11, 12, 156, 201, 378, 588, 204, 414, 19, 64, 0, 1], [0, 11, 12, 157, 192, 414, 504, 330, 288, 103, 28, 9, 0], [0, 11, 13, 148, 228, 330, 630, 204, 372, 67, 37, 8, 0], [0, 12, 0, 219, 9, 756, 84, 666, 126, 136, 36, 3, 1], [0, 12, 0, 220, 0, 792, 0, 792, 0, 220, 0, 12, 0], [0, 12, 1, 210, 45, 672, 210, 540, 210, 100, 45, 2, 1], [0, 12, 1, 211, 36, 708, 126, 666, 84, 184, 9, 11, 0], [0, 12, 2, 201, 81, 588, 336, 414, 294, 64, 54, 1, 1], [0, 12, 2, 202, 72, 624, 252, 540, 168, 148, 18, 10, 0], [0, 12, 3, 192, 117, 504, 462, 288, 378, 28, 63, 0, 1], [0, 12, 3, 193, 108, 540, 378, 414, 252, 112, 27, 9, 0], [0, 12, 4, 184, 144, 456, 504, 288, 336, 76, 36, 8, 0], [0, 12, 5, 175, 180, 372, 630, 162, 420, 40, 45, 7, 0], [1, 0, 61, 45, 315, 420, 294, 630, 75, 180, 21, 5, 1], [1, 0, 62, 36, 351, 336, 420, 504, 159, 144, 30, 4, 1], [1, 0, 63, 27, 387, 252, 546, 378, 243, 108, 39, 3, 1], [1, 0, 63, 28, 378, 288, 462, 504, 117, 192, 3, 12, 0], [1, 0, 64, 18, 423, 168, 672, 252, 327, 72, 48, 2, 1], [1, 0, 64, 19, 414, 204, 588, 378, 201, 156, 12, 11, 0], [1, 0, 65, 9, 459, 84, 798, 126, 411, 36, 57, 1, 1], [1, 0, 65, 10, 450, 120, 714, 252, 285, 120, 21, 10, 0], [1, 0, 66, 0, 495, 0, 924, 0, 495, 0, 66, 0, 1], [1, 0, 66, 1, 486, 36, 840, 126, 369, 84, 30, 9, 0], [1, 1, 53, 72, 267, 462, 294, 588, 123, 153, 29, 4, 1], [1, 1, 54, 63, 303, 378, 420, 462, 207, 117, 38, 3, 1], [1, 1, 54, 64, 294, 414, 336, 588, 81, 201, 2, 12, 0], [1, 1, 55, 54, 339, 294, 546, 336, 291, 81, 47, 2, 1], [1, 1, 55, 55, 330, 330, 462, 462, 165, 165, 11, 11, 0], [1, 1, 56, 45, 375, 210, 672, 210, 375, 45, 56, 1, 1], [1, 1, 56, 46, 366, 246, 588, 336, 249, 129, 20, 10, 0], [1, 1, 57, 36, 411, 126, 798, 84, 459, 9, 65, 0, 1], [1, 1, 57, 37, 402, 162, 714, 210, 333, 93, 29, 9, 0], [1, 1, 58, 28, 438, 78, 840, 84, 417, 57, 38, 8, 0], [1, 2, 44, 108, 183, 588, 168, 672, 87, 162, 28, 4, 1], [1, 2, 45, 99, 219, 504, 294, 546, 171, 126, 37, 3, 1], [1, 2, 45, 100, 210, 540, 210, 672, 45, 210, 1, 12, 0], [1, 2, 46, 90, 255, 420, 420, 420, 255, 90, 46, 2, 1], [1, 2, 46, 91, 246, 456, 336, 546, 129, 174, 10, 11, 0], [1, 2, 47, 81, 291, 336, 546, 294, 339, 54, 55, 1, 1], [1, 2, 47, 82, 282, 372, 462, 420, 213, 138, 19, 10, 0], [1, 2, 48, 72, 327, 252, 672, 168, 423, 18, 64, 0, 1], [1, 2, 48, 73, 318, 288, 588, 294, 297, 102, 28, 9, 0], [1, 2, 49, 64, 354, 204, 714, 168, 381, 66, 37, 8, 0], [1, 3, 36, 135, 135, 630, 168, 630, 135, 135, 36, 3, 1], [1, 3, 36, 136, 126, 666, 84, 756, 9, 219, 0, 12, 0], [1, 3, 37, 126, 171, 546, 294, 504, 219, 99, 45, 2, 1], [1, 3, 37, 127, 162, 582, 210, 630, 93, 183, 9, 11, 0], [1, 3, 38, 117, 207, 462, 420, 378, 303, 63, 54, 1, 1], [1, 3, 38, 118, 198, 498, 336, 504, 177, 147, 18, 10, 0], [1, 3, 39, 108, 243, 378, 546, 252, 387, 27, 63, 0, 1], [1, 3, 39, 109, 234, 414, 462, 378, 261, 111, 27, 9, 0], [1, 3, 40, 100, 270, 330, 588, 252, 345, 75, 36, 8, 0], [1, 3, 41, 91, 306, 246, 714, 126, 429, 39, 45, 7, 0], [1, 4, 28, 162, 87, 672, 168, 588, 183, 108, 44, 2, 1], [1, 4, 28, 163, 78, 708, 84, 714, 57, 192, 8, 11, 0], [1, 4, 29, 153, 123, 588, 294, 462, 267, 72, 53, 1, 1], [1, 4, 29, 154, 114, 624, 210, 588, 141, 156, 17, 10, 0], [1, 4, 30, 144, 159, 504, 420, 336, 351, 36, 62, 0, 1], [1, 4, 30, 145, 150, 540, 336, 462, 225, 120, 26, 9, 0], [1, 4, 31, 136, 186, 456, 462, 336, 309, 84, 35, 8, 0], [1, 4, 32, 127, 222, 372, 588, 210, 393, 48, 44, 7, 0], [1, 5, 21, 180, 75, 630, 294, 420, 315, 45, 61, 0, 1], [1, 5, 21, 181, 66, 666, 210, 546, 189, 129, 25, 9, 0], [1, 5, 22, 172, 102, 582, 336, 420, 273, 93, 34, 8, 0], [1, 5, 23, 163, 138, 498, 462, 294, 357, 57, 43, 7, 0], [1, 6, 15, 190, 90, 540, 462, 252, 405, 30, 51, 6, 0]}