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