-------
(12, 1536, 7) Remaining distance distributions
(7, 1536, 7) has 1 possible DDs: {[12, 84, 252, 420, 420, 252, 84, 12]}
(8, 1536, 7) has 13 possible DDs: {[0, 96, 0, 672, 0, 672, 0, 96, 0], [1, 88, 28, 616, 70, 616, 28, 88, 1], [2, 80, 56, 560, 140, 560, 56, 80, 2], [3, 72, 84, 504, 210, 504, 84, 72, 3], [4, 64, 112, 448, 280, 448, 112, 64, 4], [5, 56, 140, 392, 350, 392, 140, 56, 5], [6, 48, 168, 336, 420, 336, 168, 48, 6], [7, 40, 196, 280, 490, 280, 196, 40, 7], [8, 32, 224, 224, 560, 224, 224, 32, 8], [9, 24, 252, 168, 630, 168, 252, 24, 9], [10, 16, 280, 112, 700, 112, 280, 16, 10], [11, 8, 308, 56, 770, 56, 308, 8, 11], [12, 0, 336, 0, 840, 0, 336, 0, 12]}
(9, 1536, 7) has 49 possible DDs: {[0, 48, 48, 336, 336, 336, 336, 48, 48, 0], [0, 49, 40, 364, 280, 406, 280, 76, 40, 1], [0, 50, 32, 392, 224, 476, 224, 104, 32, 2], [0, 51, 24, 420, 168, 546, 168, 132, 24, 3], [0, 52, 16, 448, 112, 616, 112, 160, 16, 4], [0, 53, 8, 476, 56, 686, 56, 188, 8, 5], [0, 54, 0, 504, 0, 756, 0, 216, 0, 6], [1, 40, 76, 280, 406, 280, 364, 40, 49, 0], [1, 41, 68, 308, 350, 350, 308, 68, 41, 1], [1, 42, 60, 336, 294, 420, 252, 96, 33, 2], [1, 43, 52, 364, 238, 490, 196, 124, 25, 3], [1, 44, 44, 392, 182, 560, 140, 152, 17, 4], [1, 45, 36, 420, 126, 630, 84, 180, 9, 5], [1, 46, 28, 448, 70, 700, 28, 208, 1, 6], [2, 32, 104, 224, 476, 224, 392, 32, 50, 0], [2, 33, 96, 252, 420, 294, 336, 60, 42, 1], [2, 34, 88, 280, 364, 364, 280, 88, 34, 2], [2, 35, 80, 308, 308, 434, 224, 116, 26, 3], [2, 36, 72, 336, 252, 504, 168, 144, 18, 4], [2, 37, 64, 364, 196, 574, 112, 172, 10, 5], [2, 38, 56, 392, 140, 644, 56, 200, 2, 6], [3, 24, 132, 168, 546, 168, 420, 24, 51, 0], [3, 25, 124, 196, 490, 238, 364, 52, 43, 1], [3, 26, 116, 224, 434, 308, 308, 80, 35, 2], [3, 27, 108, 252, 378, 378, 252, 108, 27, 3], [3, 28, 100, 280, 322, 448, 196, 136, 19, 4], [3, 29, 92, 308, 266, 518, 140, 164, 11, 5], [3, 30, 84, 336, 210, 588, 84, 192, 3, 6], [4, 16, 160, 112, 616, 112, 448, 16, 52, 0], [4, 17, 152, 140, 560, 182, 392, 44, 44, 1], [4, 18, 144, 168, 504, 252, 336, 72, 36, 2], [4, 19, 136, 196, 448, 322, 280, 100, 28, 3], [4, 20, 128, 224, 392, 392, 224, 128, 20, 4], [4, 21, 120, 252, 336, 462, 168, 156, 12, 5], [4, 22, 112, 280, 280, 532, 112, 184, 4, 6], [5, 8, 188, 56, 686, 56, 476, 8, 53, 0], [5, 9, 180, 84, 630, 126, 420, 36, 45, 1], [5, 10, 172, 112, 574, 196, 364, 64, 37, 2], [5, 11, 164, 140, 518, 266, 308, 92, 29, 3], [5, 12, 156, 168, 462, 336, 252, 120, 21, 4], [5, 13, 148, 196, 406, 406, 196, 148, 13, 5], [5, 14, 140, 224, 350, 476, 140, 176, 5, 6], [6, 0, 216, 0, 756, 0, 504, 0, 54, 0], [6, 1, 208, 28, 700, 70, 448, 28, 46, 1], [6, 2, 200, 56, 644, 140, 392, 56, 38, 2], [6, 3, 192, 84, 588, 210, 336, 84, 30, 3], [6, 4, 184, 112, 532, 280, 280, 112, 22, 4], [6, 5, 176, 140, 476, 350, 224, 140, 14, 5], [6, 6, 168, 168, 420, 420, 168, 168, 6, 6]}
(10, 1536, 7) has 155 possible DDs: {[0, 20, 80, 80, 560, 56, 560, 80, 80, 20, 0], [0, 21, 72, 108, 504, 126, 504, 108, 72, 21, 0], [0, 22, 64, 136, 448, 196, 448, 136, 64, 22, 0], [0, 22, 65, 128, 476, 140, 518, 80, 92, 14, 1], [0, 22, 66, 120, 504, 84, 588, 24, 120, 6, 2], [0, 23, 56, 164, 392, 266, 392, 164, 56, 23, 0], [0, 23, 57, 156, 420, 210, 462, 108, 84, 15, 1], [0, 23, 58, 148, 448, 154, 532, 52, 112, 7, 2], [0, 24, 48, 192, 336, 336, 336, 192, 48, 24, 0], [0, 24, 49, 184, 364, 280, 406, 136, 76, 16, 1], [0, 24, 50, 176, 392, 224, 476, 80, 104, 8, 2], [0, 24, 51, 168, 420, 168, 546, 24, 132, 0, 3], [0, 25, 40, 220, 280, 406, 280, 220, 40, 25, 0], [0, 25, 41, 212, 308, 350, 350, 164, 68, 17, 1], [0, 25, 42, 204, 336, 294, 420, 108, 96, 9, 2], [0, 25, 43, 196, 364, 238, 490, 52, 124, 1, 3], [0, 26, 32, 248, 224, 476, 224, 248, 32, 26, 0], [0, 26, 33, 240, 252, 420, 294, 192, 60, 18, 1], [0, 26, 34, 232, 280, 364, 364, 136, 88, 10, 2], [0, 26, 35, 224, 308, 308, 434, 80, 116, 2, 3], [0, 27, 24, 276, 168, 546, 168, 276, 24, 27, 0], [0, 27, 25, 268, 196, 490, 238, 220, 52, 19, 1], [0, 27, 26, 260, 224, 434, 308, 164, 80, 11, 2], [0, 27, 27, 252, 252, 378, 378, 108, 108, 3, 3], [0, 28, 16, 304, 112, 616, 112, 304, 16, 28, 0], [0, 28, 17, 296, 140, 560, 182, 248, 44, 20, 1], [0, 28, 18, 288, 168, 504, 252, 192, 72, 12, 2], [0, 28, 19, 280, 196, 448, 322, 136, 100, 4, 3], [0, 29, 8, 332, 56, 686, 56, 332, 8, 29, 0], [0, 29, 9, 324, 84, 630, 126, 276, 36, 21, 1], [0, 29, 10, 316, 112, 574, 196, 220, 64, 13, 2], [0, 29, 11, 308, 140, 518, 266, 164, 92, 5, 3], [0, 30, 0, 360, 0, 756, 0, 360, 0, 30, 0], [0, 30, 1, 352, 28, 700, 70, 304, 28, 22, 1], [0, 30, 2, 344, 56, 644, 140, 248, 56, 14, 2], [0, 30, 3, 336, 84, 588, 210, 192, 84, 6, 3], [1, 14, 92, 80, 518, 140, 476, 128, 65, 22, 0], [1, 14, 93, 72, 546, 84, 546, 72, 93, 14, 1], [1, 15, 84, 108, 462, 210, 420, 156, 57, 23, 0], [1, 15, 85, 100, 490, 154, 490, 100, 85, 15, 1], [1, 15, 86, 92, 518, 98, 560, 44, 113, 7, 2], [1, 16, 76, 136, 406, 280, 364, 184, 49, 24, 0], [1, 16, 77, 128, 434, 224, 434, 128, 77, 16, 1], [1, 16, 78, 120, 462, 168, 504, 72, 105, 8, 2], [1, 16, 79, 112, 490, 112, 574, 16, 133, 0, 3], [1, 17, 68, 164, 350, 350, 308, 212, 41, 25, 0], [1, 17, 69, 156, 378, 294, 378, 156, 69, 17, 1], [1, 17, 70, 148, 406, 238, 448, 100, 97, 9, 2], [1, 17, 71, 140, 434, 182, 518, 44, 125, 1, 3], [1, 18, 60, 192, 294, 420, 252, 240, 33, 26, 0], [1, 18, 61, 184, 322, 364, 322, 184, 61, 18, 1], [1, 18, 62, 176, 350, 308, 392, 128, 89, 10, 2], [1, 18, 63, 168, 378, 252, 462, 72, 117, 2, 3], [1, 19, 52, 220, 238, 490, 196, 268, 25, 27, 0], [1, 19, 53, 212, 266, 434, 266, 212, 53, 19, 1], [1, 19, 54, 204, 294, 378, 336, 156, 81, 11, 2], [1, 19, 55, 196, 322, 322, 406, 100, 109, 3, 3], [1, 20, 44, 248, 182, 560, 140, 296, 17, 28, 0], [1, 20, 45, 240, 210, 504, 210, 240, 45, 20, 1], [1, 20, 46, 232, 238, 448, 280, 184, 73, 12, 2], [1, 20, 47, 224, 266, 392, 350, 128, 101, 4, 3], [1, 21, 36, 276, 126, 630, 84, 324, 9, 29, 0], [1, 21, 37, 268, 154, 574, 154, 268, 37, 21, 1], [1, 21, 38, 260, 182, 518, 224, 212, 65, 13, 2], [1, 21, 39, 252, 210, 462, 294, 156, 93, 5, 3], [1, 22, 28, 304, 70, 700, 28, 352, 1, 30, 0], [1, 22, 29, 296, 98, 644, 98, 296, 29, 22, 1], [1, 22, 30, 288, 126, 588, 168, 240, 57, 14, 2], [1, 22, 31, 280, 154, 532, 238, 184, 85, 6, 3], [1, 23, 21, 324, 42, 714, 42, 324, 21, 23, 1], [1, 23, 22, 316, 70, 658, 112, 268, 49, 15, 2], [1, 23, 23, 308, 98, 602, 182, 212, 77, 7, 3], [1, 24, 15, 336, 42, 672, 126, 240, 69, 8, 3], [2, 6, 120, 24, 588, 84, 504, 120, 66, 22, 0], [2, 7, 112, 52, 532, 154, 448, 148, 58, 23, 0], [2, 7, 113, 44, 560, 98, 518, 92, 86, 15, 1], [2, 7, 114, 36, 588, 42, 588, 36, 114, 7, 2], [2, 8, 104, 80, 476, 224, 392, 176, 50, 24, 0], [2, 8, 105, 72, 504, 168, 462, 120, 78, 16, 1], [2, 8, 106, 64, 532, 112, 532, 64, 106, 8, 2], [2, 8, 107, 56, 560, 56, 602, 8, 134, 0, 3], [2, 9, 96, 108, 420, 294, 336, 204, 42, 25, 0], [2, 9, 97, 100, 448, 238, 406, 148, 70, 17, 1], [2, 9, 98, 92, 476, 182, 476, 92, 98, 9, 2], [2, 9, 99, 84, 504, 126, 546, 36, 126, 1, 3], [2, 10, 88, 136, 364, 364, 280, 232, 34, 26, 0], [2, 10, 89, 128, 392, 308, 350, 176, 62, 18, 1], [2, 10, 90, 120, 420, 252, 420, 120, 90, 10, 2], [2, 10, 91, 112, 448, 196, 490, 64, 118, 2, 3], [2, 11, 80, 164, 308, 434, 224, 260, 26, 27, 0], [2, 11, 81, 156, 336, 378, 294, 204, 54, 19, 1], [2, 11, 82, 148, 364, 322, 364, 148, 82, 11, 2], [2, 11, 83, 140, 392, 266, 434, 92, 110, 3, 3], [2, 12, 72, 192, 252, 504, 168, 288, 18, 28, 0], [2, 12, 73, 184, 280, 448, 238, 232, 46, 20, 1], [2, 12, 74, 176, 308, 392, 308, 176, 74, 12, 2], [2, 12, 75, 168, 336, 336, 378, 120, 102, 4, 3], [2, 13, 64, 220, 196, 574, 112, 316, 10, 29, 0], [2, 13, 65, 212, 224, 518, 182, 260, 38, 21, 1], [2, 13, 66, 204, 252, 462, 252, 204, 66, 13, 2], [2, 13, 67, 196, 280, 406, 322, 148, 94, 5, 3], [2, 14, 56, 248, 140, 644, 56, 344, 2, 30, 0], [2, 14, 57, 240, 168, 588, 126, 288, 30, 22, 1], [2, 14, 58, 232, 196, 532, 196, 232, 58, 14, 2], [2, 14, 59, 224, 224, 476, 266, 176, 86, 6, 3], [2, 15, 49, 268, 112, 658, 70, 316, 22, 23, 1], [2, 15, 50, 260, 140, 602, 140, 260, 50, 15, 2], [2, 15, 51, 252, 168, 546, 210, 204, 78, 7, 3], [2, 16, 42, 288, 84, 672, 84, 288, 42, 16, 2], [2, 16, 43, 280, 112, 616, 154, 232, 70, 8, 3], [2, 16, 44, 272, 140, 560, 224, 176, 98, 0, 4], [3, 0, 132, 24, 546, 168, 420, 168, 51, 24, 0], [3, 0, 133, 16, 574, 112, 490, 112, 79, 16, 1], [3, 0, 134, 8, 602, 56, 560, 56, 107, 8, 2], [3, 0, 135, 0, 630, 0, 630, 0, 135, 0, 3], [3, 1, 124, 52, 490, 238, 364, 196, 43, 25, 0], [3, 1, 125, 44, 518, 182, 434, 140, 71, 17, 1], [3, 1, 126, 36, 546, 126, 504, 84, 99, 9, 2], [3, 1, 127, 28, 574, 70, 574, 28, 127, 1, 3], [3, 2, 116, 80, 434, 308, 308, 224, 35, 26, 0], [3, 2, 117, 72, 462, 252, 378, 168, 63, 18, 1], [3, 2, 118, 64, 490, 196, 448, 112, 91, 10, 2], [3, 2, 119, 56, 518, 140, 518, 56, 119, 2, 3], [3, 3, 108, 108, 378, 378, 252, 252, 27, 27, 0], [3, 3, 109, 100, 406, 322, 322, 196, 55, 19, 1], [3, 3, 110, 92, 434, 266, 392, 140, 83, 11, 2], [3, 3, 111, 84, 462, 210, 462, 84, 111, 3, 3], [3, 4, 100, 136, 322, 448, 196, 280, 19, 28, 0], [3, 4, 101, 128, 350, 392, 266, 224, 47, 20, 1], [3, 4, 102, 120, 378, 336, 336, 168, 75, 12, 2], [3, 4, 103, 112, 406, 280, 406, 112, 103, 4, 3], [3, 5, 92, 164, 266, 518, 140, 308, 11, 29, 0], [3, 5, 93, 156, 294, 462, 210, 252, 39, 21, 1], [3, 5, 94, 148, 322, 406, 280, 196, 67, 13, 2], [3, 5, 95, 140, 350, 350, 350, 140, 95, 5, 3], [3, 6, 84, 192, 210, 588, 84, 336, 3, 30, 0], [3, 6, 85, 184, 238, 532, 154, 280, 31, 22, 1], [3, 6, 86, 176, 266, 476, 224, 224, 59, 14, 2], [3, 6, 87, 168, 294, 420, 294, 168, 87, 6, 3], [3, 7, 77, 212, 182, 602, 98, 308, 23, 23, 1], [3, 7, 78, 204, 210, 546, 168, 252, 51, 15, 2], [3, 7, 79, 196, 238, 490, 238, 196, 79, 7, 3], [3, 8, 69, 240, 126, 672, 42, 336, 15, 24, 1], [3, 8, 70, 232, 154, 616, 112, 280, 43, 16, 2], [3, 8, 71, 224, 182, 560, 182, 224, 71, 8, 3], [3, 8, 72, 216, 210, 504, 252, 168, 99, 0, 4], [3, 9, 63, 252, 126, 630, 126, 252, 63, 9, 3], [3, 9, 64, 244, 154, 574, 196, 196, 91, 1, 4], [3, 10, 55, 280, 70, 700, 70, 280, 55, 10, 3], [4, 0, 98, 176, 224, 560, 140, 272, 44, 16, 2], [4, 0, 99, 168, 252, 504, 210, 216, 72, 8, 3], [4, 0, 100, 160, 280, 448, 280, 160, 100, 0, 4], [4, 1, 91, 196, 196, 574, 154, 244, 64, 9, 3], [4, 1, 92, 188, 224, 518, 224, 188, 92, 1, 4], [4, 2, 84, 216, 168, 588, 168, 216, 84, 2, 4]}
(11, 1536, 7) has 141 possible DDs: {[0, 9, 57, 60, 348, 294, 294, 348, 60, 57, 9, 0], [0, 9, 58, 52, 376, 238, 364, 292, 88, 49, 10, 0], [0, 10, 49, 88, 292, 364, 238, 376, 52, 58, 9, 0], [0, 10, 50, 80, 320, 308, 308, 320, 80, 50, 10, 0], [0, 10, 51, 72, 348, 252, 378, 264, 108, 42, 11, 0], [0, 10, 52, 65, 368, 224, 392, 278, 80, 62, 4, 1], [0, 11, 42, 108, 264, 378, 252, 348, 72, 51, 10, 0], [0, 11, 43, 100, 292, 322, 322, 292, 100, 43, 11, 0], [0, 11, 43, 101, 284, 350, 266, 362, 44, 71, 3, 1], [0, 11, 44, 92, 320, 266, 392, 236, 128, 35, 12, 0], [0, 11, 44, 93, 312, 294, 336, 306, 72, 63, 4, 1], [0, 11, 45, 84, 348, 210, 462, 180, 156, 27, 13, 0], [0, 11, 45, 85, 340, 238, 406, 250, 100, 55, 5, 1], [0, 12, 35, 128, 236, 392, 266, 320, 92, 44, 11, 0], [0, 12, 36, 120, 264, 336, 336, 264, 120, 36, 12, 0], [0, 12, 36, 121, 256, 364, 280, 334, 64, 64, 4, 1], [0, 12, 37, 112, 292, 280, 406, 208, 148, 28, 13, 0], [0, 12, 37, 113, 284, 308, 350, 278, 92, 56, 5, 1], [0, 12, 38, 105, 312, 252, 420, 222, 120, 48, 6, 1], [0, 12, 39, 97, 340, 196, 490, 166, 148, 40, 7, 1], [0, 13, 27, 156, 180, 462, 210, 348, 84, 45, 11, 0], [0, 13, 28, 148, 208, 406, 280, 292, 112, 37, 12, 0], [0, 13, 29, 140, 236, 350, 350, 236, 140, 29, 13, 0], [0, 13, 29, 141, 228, 378, 294, 306, 84, 57, 5, 1], [0, 13, 30, 132, 264, 294, 420, 180, 168, 21, 14, 0], [0, 13, 30, 133, 256, 322, 364, 250, 112, 49, 6, 1], [0, 13, 31, 125, 284, 266, 434, 194, 140, 41, 7, 1], [0, 13, 32, 118, 304, 238, 448, 208, 112, 61, 0, 2], [0, 13, 33, 110, 332, 182, 518, 152, 140, 53, 1, 2], [0, 14, 21, 168, 180, 420, 294, 264, 132, 30, 13, 0], [0, 14, 21, 169, 172, 448, 238, 334, 76, 58, 5, 1], [0, 14, 22, 160, 208, 364, 364, 208, 160, 22, 14, 0], [0, 14, 22, 161, 200, 392, 308, 278, 104, 50, 6, 1], [0, 14, 23, 152, 236, 308, 434, 152, 188, 14, 15, 0], [0, 14, 23, 153, 228, 336, 378, 222, 132, 42, 7, 1], [0, 14, 24, 145, 256, 280, 448, 166, 160, 34, 8, 1], [0, 14, 24, 146, 248, 308, 392, 236, 104, 62, 0, 2], [0, 14, 25, 138, 276, 252, 462, 180, 132, 54, 1, 2], [0, 15, 14, 188, 152, 434, 308, 236, 152, 23, 14, 0], [0, 15, 15, 180, 180, 378, 378, 180, 180, 15, 15, 0], [0, 15, 15, 181, 172, 406, 322, 250, 124, 43, 7, 1], [0, 15, 16, 173, 200, 350, 392, 194, 152, 35, 8, 1], [0, 15, 16, 174, 192, 378, 336, 264, 96, 63, 0, 2], [0, 15, 17, 165, 228, 294, 462, 138, 180, 27, 9, 1], [0, 15, 17, 166, 220, 322, 406, 208, 124, 55, 1, 2], [1, 3, 71, 44, 362, 266, 350, 284, 101, 43, 11, 0], [1, 3, 71, 45, 354, 294, 294, 354, 45, 71, 3, 1], [1, 4, 62, 80, 278, 392, 224, 368, 65, 52, 10, 0], [1, 4, 63, 72, 306, 336, 294, 312, 93, 44, 11, 0], [1, 4, 64, 64, 334, 280, 364, 256, 121, 36, 12, 0], [1, 4, 64, 65, 326, 308, 308, 326, 65, 64, 4, 1], [1, 4, 65, 57, 354, 252, 378, 270, 93, 56, 5, 1], [1, 5, 55, 100, 250, 406, 238, 340, 85, 45, 11, 0], [1, 5, 56, 92, 278, 350, 308, 284, 113, 37, 12, 0], [1, 5, 56, 93, 270, 378, 252, 354, 57, 65, 4, 1], [1, 5, 57, 84, 306, 294, 378, 228, 141, 29, 13, 0], [1, 5, 57, 85, 298, 322, 322, 298, 85, 57, 5, 1], [1, 5, 58, 76, 334, 238, 448, 172, 169, 21, 14, 0], [1, 5, 58, 77, 326, 266, 392, 242, 113, 49, 6, 1], [1, 6, 48, 120, 222, 420, 252, 312, 105, 38, 12, 0], [1, 6, 49, 112, 250, 364, 322, 256, 133, 30, 13, 0], [1, 6, 49, 113, 242, 392, 266, 326, 77, 58, 5, 1], [1, 6, 50, 104, 278, 308, 392, 200, 161, 22, 14, 0], [1, 6, 50, 105, 270, 336, 336, 270, 105, 50, 6, 1], [1, 6, 51, 97, 298, 280, 406, 214, 133, 42, 7, 1], [1, 6, 52, 89, 326, 224, 476, 158, 161, 34, 8, 1], [1, 6, 52, 90, 318, 252, 420, 228, 105, 62, 0, 2], [1, 7, 40, 148, 166, 490, 196, 340, 97, 39, 12, 0], [1, 7, 41, 140, 194, 434, 266, 284, 125, 31, 13, 0], [1, 7, 42, 132, 222, 378, 336, 228, 153, 23, 14, 0], [1, 7, 42, 133, 214, 406, 280, 298, 97, 51, 6, 1], [1, 7, 43, 124, 250, 322, 406, 172, 181, 15, 15, 0], [1, 7, 43, 125, 242, 350, 350, 242, 125, 43, 7, 1], [1, 7, 44, 117, 270, 294, 420, 186, 153, 35, 8, 1], [1, 7, 44, 118, 262, 322, 364, 256, 97, 63, 0, 2], [1, 7, 45, 110, 290, 266, 434, 200, 125, 55, 1, 2], [1, 7, 46, 102, 318, 210, 504, 144, 153, 47, 2, 2], [1, 8, 34, 160, 166, 448, 280, 256, 145, 24, 14, 0], [1, 8, 34, 161, 158, 476, 224, 326, 89, 52, 6, 1], [1, 8, 35, 152, 194, 392, 350, 200, 173, 16, 15, 0], [1, 8, 35, 153, 186, 420, 294, 270, 117, 44, 7, 1], [1, 8, 36, 145, 214, 364, 364, 214, 145, 36, 8, 1], [1, 8, 36, 146, 206, 392, 308, 284, 89, 64, 0, 2], [1, 8, 37, 137, 242, 308, 434, 158, 173, 28, 9, 1], [1, 8, 37, 138, 234, 336, 378, 228, 117, 56, 1, 2], [1, 8, 38, 130, 262, 280, 448, 172, 145, 48, 2, 2], [1, 9, 27, 180, 138, 462, 294, 228, 165, 17, 15, 0], [1, 9, 28, 173, 158, 434, 308, 242, 137, 37, 8, 1], [1, 9, 28, 174, 150, 462, 252, 312, 81, 65, 0, 2], [1, 9, 29, 165, 186, 378, 378, 186, 165, 29, 9, 1], [1, 9, 29, 166, 178, 406, 322, 256, 109, 57, 1, 2], [1, 9, 30, 157, 214, 322, 448, 130, 193, 21, 10, 1], [1, 9, 30, 158, 206, 350, 392, 200, 137, 49, 2, 2], [1, 9, 31, 150, 234, 294, 462, 144, 165, 41, 3, 2], [1, 10, 21, 193, 130, 448, 322, 214, 157, 30, 9, 1], [1, 10, 22, 185, 158, 392, 392, 158, 185, 22, 10, 1], [1, 10, 22, 186, 150, 420, 336, 228, 129, 50, 2, 2], [1, 10, 23, 178, 178, 364, 406, 172, 157, 42, 3, 2], [1, 10, 24, 170, 206, 308, 476, 116, 185, 34, 4, 2], [1, 11, 15, 205, 130, 406, 406, 130, 205, 15, 11, 1], [1, 11, 15, 206, 122, 434, 350, 200, 149, 43, 3, 2], [2, 0, 61, 112, 208, 448, 238, 304, 118, 32, 13, 0], [2, 0, 62, 104, 236, 392, 308, 248, 146, 24, 14, 0], [2, 0, 62, 105, 228, 420, 252, 318, 90, 52, 6, 1], [2, 0, 63, 96, 264, 336, 378, 192, 174, 16, 15, 0], [2, 0, 63, 97, 256, 364, 322, 262, 118, 44, 7, 1], [2, 0, 64, 89, 284, 308, 392, 206, 146, 36, 8, 1], [2, 0, 64, 90, 276, 336, 336, 276, 90, 64, 0, 2], [2, 0, 65, 81, 312, 252, 462, 150, 174, 28, 9, 1], [2, 0, 65, 82, 304, 280, 406, 220, 118, 56, 1, 2], [2, 1, 53, 140, 152, 518, 182, 332, 110, 33, 13, 0], [2, 1, 54, 132, 180, 462, 252, 276, 138, 25, 14, 0], [2, 1, 55, 124, 208, 406, 322, 220, 166, 17, 15, 0], [2, 1, 55, 125, 200, 434, 266, 290, 110, 45, 7, 1], [2, 1, 56, 117, 228, 378, 336, 234, 138, 37, 8, 1], [2, 1, 56, 118, 220, 406, 280, 304, 82, 65, 0, 2], [2, 1, 57, 109, 256, 322, 406, 178, 166, 29, 9, 1], [2, 1, 57, 110, 248, 350, 350, 248, 110, 57, 1, 2], [2, 1, 58, 102, 276, 294, 420, 192, 138, 49, 2, 2], [2, 1, 59, 94, 304, 238, 490, 136, 166, 41, 3, 2], [2, 2, 47, 153, 144, 504, 210, 318, 102, 46, 7, 1], [2, 2, 48, 145, 172, 448, 280, 262, 130, 38, 8, 1], [2, 2, 49, 137, 200, 392, 350, 206, 158, 30, 9, 1], [2, 2, 49, 138, 192, 420, 294, 276, 102, 58, 1, 2], [2, 2, 50, 129, 228, 336, 420, 150, 186, 22, 10, 1], [2, 2, 50, 130, 220, 364, 364, 220, 130, 50, 2, 2], [2, 2, 51, 122, 248, 308, 434, 164, 158, 42, 3, 2], [2, 3, 41, 165, 144, 462, 294, 234, 150, 31, 9, 1], [2, 3, 41, 166, 136, 490, 238, 304, 94, 59, 1, 2], [2, 3, 42, 157, 172, 406, 364, 178, 178, 23, 10, 1], [2, 3, 42, 158, 164, 434, 308, 248, 122, 51, 2, 2], [2, 3, 43, 149, 200, 350, 434, 122, 206, 15, 11, 1], [2, 3, 43, 150, 192, 378, 378, 192, 150, 43, 3, 2], [2, 3, 44, 142, 220, 322, 448, 136, 178, 35, 4, 2], [2, 4, 34, 185, 116, 476, 308, 206, 170, 24, 10, 1], [2, 4, 35, 178, 136, 448, 322, 220, 142, 44, 3, 2], [2, 4, 36, 170, 164, 392, 392, 164, 170, 36, 4, 2], [2, 4, 37, 162, 192, 336, 462, 108, 198, 28, 5, 2], [2, 5, 28, 198, 108, 462, 336, 192, 162, 37, 4, 2], [2, 5, 29, 190, 136, 406, 406, 136, 190, 29, 5, 2], [3, 0, 36, 195, 114, 420, 420, 114, 195, 36, 0, 3]}
(12, 1536, 7) has 395 possible DDs: {[0, 2, 47, 34, 196, 412, 154, 412, 196, 34, 47, 2, 0], [0, 2, 48, 26, 224, 356, 224, 356, 224, 26, 48, 2, 0], [0, 2, 48, 27, 216, 384, 168, 426, 168, 54, 40, 3, 0], [0, 2, 49, 18, 252, 300, 294, 300, 252, 18, 49, 2, 0], [0, 2, 49, 19, 244, 328, 238, 370, 196, 46, 41, 3, 0], [0, 2, 50, 12, 264, 300, 252, 384, 168, 66, 34, 4, 0], [0, 3, 40, 54, 168, 426, 168, 384, 216, 27, 48, 2, 0], [0, 3, 40, 55, 160, 454, 112, 454, 160, 55, 40, 3, 0], [0, 3, 41, 46, 196, 370, 238, 328, 244, 19, 49, 2, 0], [0, 3, 41, 47, 188, 398, 182, 398, 188, 47, 41, 3, 0], [0, 3, 42, 39, 216, 342, 252, 342, 216, 39, 42, 3, 0], [0, 3, 42, 40, 208, 370, 196, 412, 160, 67, 34, 4, 0], [0, 3, 43, 31, 244, 286, 322, 286, 244, 31, 43, 3, 0], [0, 3, 43, 32, 236, 314, 266, 356, 188, 59, 35, 4, 0], [0, 3, 43, 33, 228, 342, 210, 426, 132, 87, 27, 5, 0], [0, 3, 44, 25, 256, 286, 280, 370, 160, 79, 28, 5, 0], [0, 4, 34, 66, 168, 384, 252, 300, 264, 12, 50, 2, 0], [0, 4, 34, 67, 160, 412, 196, 370, 208, 40, 42, 3, 0], [0, 4, 34, 68, 152, 440, 140, 440, 152, 68, 34, 4, 0], [0, 4, 35, 59, 188, 356, 266, 314, 236, 32, 43, 3, 0], [0, 4, 35, 60, 180, 384, 210, 384, 180, 60, 35, 4, 0], [0, 4, 35, 61, 172, 412, 154, 454, 124, 88, 27, 5, 0], [0, 4, 36, 52, 208, 328, 280, 328, 208, 52, 36, 4, 0], [0, 4, 36, 53, 200, 356, 224, 398, 152, 80, 28, 5, 0], [0, 4, 37, 44, 236, 272, 350, 272, 236, 44, 37, 4, 0], [0, 4, 37, 45, 228, 300, 294, 342, 180, 72, 29, 5, 0], [0, 4, 37, 46, 220, 328, 238, 412, 124, 100, 21, 6, 0], [0, 4, 38, 36, 264, 216, 420, 216, 264, 36, 38, 4, 0], [0, 4, 38, 37, 256, 244, 364, 286, 208, 64, 30, 5, 0], [0, 4, 38, 38, 248, 272, 308, 356, 152, 92, 22, 6, 0], [0, 4, 38, 40, 233, 320, 224, 440, 110, 92, 34, 0, 1], [0, 4, 39, 28, 292, 160, 490, 160, 292, 28, 39, 4, 0], [0, 4, 39, 29, 284, 188, 434, 230, 236, 56, 31, 5, 0], [0, 4, 39, 30, 276, 216, 378, 300, 180, 84, 23, 6, 0], [0, 4, 39, 31, 268, 244, 322, 370, 124, 112, 15, 7, 0], [0, 4, 39, 32, 261, 264, 294, 384, 138, 84, 35, 0, 1], [0, 4, 40, 20, 320, 104, 560, 104, 320, 20, 40, 4, 0], [0, 4, 40, 25, 281, 236, 308, 398, 110, 104, 28, 1, 1], [0, 5, 27, 87, 132, 426, 210, 342, 228, 33, 43, 3, 0], [0, 5, 27, 88, 124, 454, 154, 412, 172, 61, 35, 4, 0], [0, 5, 27, 89, 116, 482, 98, 482, 116, 89, 27, 5, 0], [0, 5, 28, 79, 160, 370, 280, 286, 256, 25, 44, 3, 0], [0, 5, 28, 80, 152, 398, 224, 356, 200, 53, 36, 4, 0], [0, 5, 28, 81, 144, 426, 168, 426, 144, 81, 28, 5, 0], [0, 5, 29, 72, 180, 342, 294, 300, 228, 45, 37, 4, 0], [0, 5, 29, 73, 172, 370, 238, 370, 172, 73, 29, 5, 0], [0, 5, 29, 74, 164, 398, 182, 440, 116, 101, 21, 6, 0], [0, 5, 30, 64, 208, 286, 364, 244, 256, 37, 38, 4, 0], [0, 5, 30, 65, 200, 314, 308, 314, 200, 65, 30, 5, 0], [0, 5, 30, 66, 192, 342, 252, 384, 144, 93, 22, 6, 0], [0, 5, 30, 68, 177, 390, 168, 468, 102, 93, 34, 0, 1], [0, 5, 31, 56, 236, 230, 434, 188, 284, 29, 39, 4, 0], [0, 5, 31, 57, 228, 258, 378, 258, 228, 57, 31, 5, 0], [0, 5, 31, 58, 220, 286, 322, 328, 172, 85, 23, 6, 0], [0, 5, 31, 59, 212, 314, 266, 398, 116, 113, 15, 7, 0], [0, 5, 31, 60, 205, 334, 238, 412, 130, 85, 35, 0, 1], [0, 5, 32, 49, 256, 202, 448, 202, 256, 49, 32, 5, 0], [0, 5, 32, 50, 248, 230, 392, 272, 200, 77, 24, 6, 0], [0, 5, 32, 51, 240, 258, 336, 342, 144, 105, 16, 7, 0], [0, 5, 32, 52, 233, 278, 308, 356, 158, 77, 36, 0, 1], [0, 5, 32, 53, 225, 306, 252, 426, 102, 105, 28, 1, 1], [0, 5, 33, 41, 284, 146, 518, 146, 284, 41, 33, 5, 0], [0, 5, 33, 42, 276, 174, 462, 216, 228, 69, 25, 6, 0], [0, 5, 33, 43, 268, 202, 406, 286, 172, 97, 17, 7, 0], [0, 5, 33, 44, 260, 230, 350, 356, 116, 125, 9, 8, 0], [0, 5, 33, 44, 261, 222, 378, 300, 186, 69, 37, 0, 1], [0, 5, 33, 45, 253, 250, 322, 370, 130, 97, 29, 1, 1], [0, 5, 34, 37, 281, 194, 392, 314, 158, 89, 30, 1, 1], [0, 5, 34, 38, 273, 222, 336, 384, 102, 117, 22, 2, 1], [0, 6, 21, 100, 124, 412, 238, 328, 220, 46, 37, 4, 0], [0, 6, 21, 101, 116, 440, 182, 398, 164, 74, 29, 5, 0], [0, 6, 21, 102, 108, 468, 126, 468, 108, 102, 21, 6, 0], [0, 6, 22, 92, 152, 356, 308, 272, 248, 38, 38, 4, 0], [0, 6, 22, 93, 144, 384, 252, 342, 192, 66, 30, 5, 0], [0, 6, 22, 94, 136, 412, 196, 412, 136, 94, 22, 6, 0], [0, 6, 23, 84, 180, 300, 378, 216, 276, 30, 39, 4, 0], [0, 6, 23, 85, 172, 328, 322, 286, 220, 58, 31, 5, 0], [0, 6, 23, 86, 164, 356, 266, 356, 164, 86, 23, 6, 0], [0, 6, 23, 87, 156, 384, 210, 426, 108, 114, 15, 7, 0], [0, 6, 23, 88, 149, 404, 182, 440, 122, 86, 35, 0, 1], [0, 6, 24, 77, 200, 272, 392, 230, 248, 50, 32, 5, 0], [0, 6, 24, 78, 192, 300, 336, 300, 192, 78, 24, 6, 0], [0, 6, 24, 79, 184, 328, 280, 370, 136, 106, 16, 7, 0], [0, 6, 24, 80, 177, 348, 252, 384, 150, 78, 36, 0, 1], [0, 6, 24, 81, 169, 376, 196, 454, 94, 106, 28, 1, 1], [0, 6, 25, 69, 228, 216, 462, 174, 276, 42, 33, 5, 0], [0, 6, 25, 70, 220, 244, 406, 244, 220, 70, 25, 6, 0], [0, 6, 25, 71, 212, 272, 350, 314, 164, 98, 17, 7, 0], [0, 6, 25, 72, 204, 300, 294, 384, 108, 126, 9, 8, 0], [0, 6, 25, 72, 205, 292, 322, 328, 178, 70, 37, 0, 1], [0, 6, 25, 73, 197, 320, 266, 398, 122, 98, 29, 1, 1], [0, 6, 26, 62, 248, 188, 476, 188, 248, 62, 26, 6, 0], [0, 6, 26, 63, 240, 216, 420, 258, 192, 90, 18, 7, 0], [0, 6, 26, 64, 232, 244, 364, 328, 136, 118, 10, 8, 0], [0, 6, 26, 64, 233, 236, 392, 272, 206, 62, 38, 0, 1], [0, 6, 26, 65, 225, 264, 336, 342, 150, 90, 30, 1, 1], [0, 6, 26, 66, 217, 292, 280, 412, 94, 118, 22, 2, 1], [0, 6, 27, 54, 276, 132, 546, 132, 276, 54, 27, 6, 0], [0, 6, 27, 55, 268, 160, 490, 202, 220, 82, 19, 7, 0], [0, 6, 27, 56, 260, 188, 434, 272, 164, 110, 11, 8, 0], [0, 6, 27, 56, 261, 180, 462, 216, 234, 54, 39, 0, 1], [0, 6, 27, 57, 253, 208, 406, 286, 178, 82, 31, 1, 1], [0, 6, 27, 58, 245, 236, 350, 356, 122, 110, 23, 2, 1], [0, 6, 28, 49, 281, 152, 476, 230, 206, 74, 32, 1, 1], [0, 6, 28, 50, 273, 180, 420, 300, 150, 102, 24, 2, 1], [0, 6, 28, 51, 265, 208, 364, 370, 94, 130, 16, 3, 1], [0, 7, 15, 112, 124, 370, 322, 244, 268, 31, 39, 4, 0], [0, 7, 15, 113, 116, 398, 266, 314, 212, 59, 31, 5, 0], [0, 7, 15, 114, 108, 426, 210, 384, 156, 87, 23, 6, 0], [0, 7, 15, 115, 100, 454, 154, 454, 100, 115, 15, 7, 0], [0, 7, 16, 105, 144, 342, 336, 258, 240, 51, 32, 5, 0], [0, 7, 16, 106, 136, 370, 280, 328, 184, 79, 24, 6, 0], [0, 7, 16, 107, 128, 398, 224, 398, 128, 107, 16, 7, 0], [0, 7, 16, 108, 121, 418, 196, 412, 142, 79, 36, 0, 1], [0, 7, 17, 97, 172, 286, 406, 202, 268, 43, 33, 5, 0], [0, 7, 17, 98, 164, 314, 350, 272, 212, 71, 25, 6, 0], [0, 7, 17, 99, 156, 342, 294, 342, 156, 99, 17, 7, 0], [0, 7, 17, 100, 148, 370, 238, 412, 100, 127, 9, 8, 0], [0, 7, 17, 100, 149, 362, 266, 356, 170, 71, 37, 0, 1], [0, 7, 17, 101, 141, 390, 210, 426, 114, 99, 29, 1, 1], [0, 7, 18, 90, 192, 258, 420, 216, 240, 63, 26, 6, 0], [0, 7, 18, 91, 184, 286, 364, 286, 184, 91, 18, 7, 0], [0, 7, 18, 92, 176, 314, 308, 356, 128, 119, 10, 8, 0], [0, 7, 18, 92, 177, 306, 336, 300, 198, 63, 38, 0, 1], [0, 7, 18, 93, 169, 334, 280, 370, 142, 91, 30, 1, 1], [0, 7, 18, 94, 161, 362, 224, 440, 86, 119, 22, 2, 1], [0, 7, 19, 82, 220, 202, 490, 160, 268, 55, 27, 6, 0], [0, 7, 19, 83, 212, 230, 434, 230, 212, 83, 19, 7, 0], [0, 7, 19, 84, 204, 258, 378, 300, 156, 111, 11, 8, 0], [0, 7, 19, 84, 205, 250, 406, 244, 226, 55, 39, 0, 1], [0, 7, 19, 85, 197, 278, 350, 314, 170, 83, 31, 1, 1], [0, 7, 19, 86, 189, 306, 294, 384, 114, 111, 23, 2, 1], [0, 7, 20, 75, 240, 174, 504, 174, 240, 75, 20, 7, 0], [0, 7, 20, 76, 232, 202, 448, 244, 184, 103, 12, 8, 0], [0, 7, 20, 76, 233, 194, 476, 188, 254, 47, 40, 0, 1], [0, 7, 20, 77, 224, 230, 392, 314, 128, 131, 4, 9, 0], [0, 7, 20, 77, 225, 222, 420, 258, 198, 75, 32, 1, 1], [0, 7, 20, 78, 217, 250, 364, 328, 142, 103, 24, 2, 1], [0, 7, 20, 79, 209, 278, 308, 398, 86, 131, 16, 3, 1], [0, 7, 21, 67, 268, 118, 574, 118, 268, 67, 21, 7, 0], [0, 7, 21, 68, 260, 146, 518, 188, 212, 95, 13, 8, 0], [0, 7, 21, 69, 252, 174, 462, 258, 156, 123, 5, 9, 0], [0, 7, 21, 69, 253, 166, 490, 202, 226, 67, 33, 1, 1], [0, 7, 21, 70, 245, 194, 434, 272, 170, 95, 25, 2, 1], [0, 7, 21, 71, 237, 222, 378, 342, 114, 123, 17, 3, 1], [0, 7, 22, 62, 273, 138, 504, 216, 198, 87, 26, 2, 1], [0, 7, 22, 63, 265, 166, 448, 286, 142, 115, 18, 3, 1], [0, 8, 8, 136, 64, 496, 112, 496, 64, 136, 8, 8, 0], [0, 8, 9, 125, 116, 356, 350, 230, 260, 44, 33, 5, 0], [0, 8, 9, 126, 108, 384, 294, 300, 204, 72, 25, 6, 0], [0, 8, 9, 127, 100, 412, 238, 370, 148, 100, 17, 7, 0], [0, 8, 9, 128, 92, 440, 182, 440, 92, 128, 9, 8, 0], [0, 8, 9, 128, 93, 432, 210, 384, 162, 72, 37, 0, 1], [0, 8, 10, 118, 136, 328, 364, 244, 232, 64, 26, 6, 0], [0, 8, 10, 119, 128, 356, 308, 314, 176, 92, 18, 7, 0], [0, 8, 10, 120, 120, 384, 252, 384, 120, 120, 10, 8, 0], [0, 8, 10, 120, 121, 376, 280, 328, 190, 64, 38, 0, 1], [0, 8, 10, 121, 113, 404, 224, 398, 134, 92, 30, 1, 1], [0, 8, 11, 110, 164, 272, 434, 188, 260, 56, 27, 6, 0], [0, 8, 11, 111, 156, 300, 378, 258, 204, 84, 19, 7, 0], [0, 8, 11, 112, 148, 328, 322, 328, 148, 112, 11, 8, 0], [0, 8, 11, 112, 149, 320, 350, 272, 218, 56, 39, 0, 1], [0, 8, 11, 113, 141, 348, 294, 342, 162, 84, 31, 1, 1], [0, 8, 11, 114, 133, 376, 238, 412, 106, 112, 23, 2, 1], [0, 8, 12, 103, 184, 244, 448, 202, 232, 76, 20, 7, 0], [0, 8, 12, 104, 176, 272, 392, 272, 176, 104, 12, 8, 0], [0, 8, 12, 104, 177, 264, 420, 216, 246, 48, 40, 0, 1], [0, 8, 12, 105, 169, 292, 364, 286, 190, 76, 32, 1, 1], [0, 8, 12, 106, 161, 320, 308, 356, 134, 104, 24, 2, 1], [0, 8, 13, 95, 212, 188, 518, 146, 260, 68, 21, 7, 0], [0, 8, 13, 96, 204, 216, 462, 216, 204, 96, 13, 8, 0], [0, 8, 13, 96, 205, 208, 490, 160, 274, 40, 41, 0, 1], [0, 8, 13, 97, 196, 244, 406, 286, 148, 124, 5, 9, 0], [0, 8, 13, 97, 197, 236, 434, 230, 218, 68, 33, 1, 1], [0, 8, 13, 98, 189, 264, 378, 300, 162, 96, 25, 2, 1], [0, 8, 13, 99, 181, 292, 322, 370, 106, 124, 17, 3, 1], [0, 8, 14, 88, 232, 160, 532, 160, 232, 88, 14, 8, 0], [0, 8, 14, 89, 224, 188, 476, 230, 176, 116, 6, 9, 0], [0, 8, 14, 89, 225, 180, 504, 174, 246, 60, 34, 1, 1], [0, 8, 14, 90, 217, 208, 448, 244, 190, 88, 26, 2, 1], [0, 8, 14, 91, 209, 236, 392, 314, 134, 116, 18, 3, 1], [0, 8, 15, 82, 245, 152, 518, 188, 218, 80, 27, 2, 1], [0, 8, 15, 83, 237, 180, 462, 258, 162, 108, 19, 3, 1], [0, 8, 15, 84, 229, 208, 406, 328, 106, 136, 11, 4, 1], [0, 8, 16, 75, 265, 124, 532, 202, 190, 100, 20, 3, 1], [0, 8, 16, 76, 257, 152, 476, 272, 134, 128, 12, 4, 1], [0, 9, 4, 131, 128, 314, 392, 230, 224, 77, 20, 7, 0], [0, 9, 5, 123, 156, 258, 462, 174, 252, 69, 21, 7, 0], [0, 9, 5, 124, 148, 286, 406, 244, 196, 97, 13, 8, 0], [0, 9, 5, 125, 140, 314, 350, 314, 140, 125, 5, 9, 0], [0, 9, 5, 125, 141, 306, 378, 258, 210, 69, 33, 1, 1], [0, 9, 6, 116, 176, 230, 476, 188, 224, 89, 14, 8, 0], [0, 9, 6, 117, 168, 258, 420, 258, 168, 117, 6, 9, 0], [0, 9, 6, 117, 169, 250, 448, 202, 238, 61, 34, 1, 1], [0, 9, 6, 118, 161, 278, 392, 272, 182, 89, 26, 2, 1], [0, 9, 6, 119, 153, 306, 336, 342, 126, 117, 18, 3, 1], [0, 9, 7, 109, 196, 202, 490, 202, 196, 109, 7, 9, 0], [0, 9, 7, 110, 189, 222, 462, 216, 210, 81, 27, 2, 1], [0, 9, 7, 111, 181, 250, 406, 286, 154, 109, 19, 3, 1], [0, 9, 8, 101, 224, 146, 560, 146, 224, 101, 8, 9, 0], [0, 9, 8, 102, 217, 166, 532, 160, 238, 73, 28, 2, 1], [0, 9, 8, 103, 209, 194, 476, 230, 182, 101, 20, 3, 1], [0, 9, 8, 104, 201, 222, 420, 300, 126, 129, 12, 4, 1], [0, 9, 9, 95, 237, 138, 546, 174, 210, 93, 21, 3, 1], [0, 9, 9, 96, 229, 166, 490, 244, 154, 121, 13, 4, 1], [1, 0, 34, 92, 110, 440, 224, 320, 233, 40, 38, 4, 0], [1, 0, 34, 93, 102, 468, 168, 390, 177, 68, 30, 5, 0], [1, 0, 35, 84, 138, 384, 294, 264, 261, 32, 39, 4, 0], [1, 0, 35, 85, 130, 412, 238, 334, 205, 60, 31, 5, 0], [1, 0, 35, 86, 122, 440, 182, 404, 149, 88, 23, 6, 0], [1, 0, 36, 77, 158, 356, 308, 278, 233, 52, 32, 5, 0], [1, 0, 36, 78, 150, 384, 252, 348, 177, 80, 24, 6, 0], [1, 0, 36, 79, 142, 412, 196, 418, 121, 108, 16, 7, 0], [1, 0, 36, 80, 135, 432, 168, 432, 135, 80, 36, 0, 1], [1, 0, 37, 69, 186, 300, 378, 222, 261, 44, 33, 5, 0], [1, 0, 37, 70, 178, 328, 322, 292, 205, 72, 25, 6, 0], [1, 0, 37, 71, 170, 356, 266, 362, 149, 100, 17, 7, 0], [1, 0, 37, 72, 162, 384, 210, 432, 93, 128, 9, 8, 0], [1, 0, 37, 72, 163, 376, 238, 376, 163, 72, 37, 0, 1], [1, 0, 37, 73, 155, 404, 182, 446, 107, 100, 29, 1, 1], [1, 0, 38, 62, 206, 272, 392, 236, 233, 64, 26, 6, 0], [1, 0, 38, 63, 198, 300, 336, 306, 177, 92, 18, 7, 0], [1, 0, 38, 64, 190, 328, 280, 376, 121, 120, 10, 8, 0], [1, 0, 38, 64, 191, 320, 308, 320, 191, 64, 38, 0, 1], [1, 0, 38, 65, 183, 348, 252, 390, 135, 92, 30, 1, 1], [1, 0, 39, 54, 234, 216, 462, 180, 261, 56, 27, 6, 0], [1, 0, 39, 55, 226, 244, 406, 250, 205, 84, 19, 7, 0], [1, 0, 39, 56, 218, 272, 350, 320, 149, 112, 11, 8, 0], [1, 0, 39, 56, 219, 264, 378, 264, 219, 56, 39, 0, 1], [1, 0, 39, 57, 211, 292, 322, 334, 163, 84, 31, 1, 1], [1, 0, 39, 58, 203, 320, 266, 404, 107, 112, 23, 2, 1], [1, 0, 40, 47, 254, 188, 476, 194, 233, 76, 20, 7, 0], [1, 0, 40, 48, 246, 216, 420, 264, 177, 104, 12, 8, 0], [1, 0, 40, 48, 247, 208, 448, 208, 247, 48, 40, 0, 1], [1, 0, 40, 49, 239, 236, 392, 278, 191, 76, 32, 1, 1], [1, 0, 40, 50, 231, 264, 336, 348, 135, 104, 24, 2, 1], [1, 0, 41, 40, 274, 160, 490, 208, 205, 96, 13, 8, 0], [1, 0, 41, 40, 275, 152, 518, 152, 275, 40, 41, 0, 1], [1, 0, 41, 41, 267, 180, 462, 222, 219, 68, 33, 1, 1], [1, 0, 41, 42, 259, 208, 406, 292, 163, 96, 25, 2, 1], [1, 0, 41, 43, 251, 236, 350, 362, 107, 124, 17, 3, 1], [1, 0, 42, 32, 303, 96, 588, 96, 303, 32, 42, 0, 1], [1, 1, 28, 104, 110, 398, 308, 236, 281, 25, 40, 4, 0], [1, 1, 28, 105, 102, 426, 252, 306, 225, 53, 32, 5, 0], [1, 1, 28, 106, 94, 454, 196, 376, 169, 81, 24, 6, 0], [1, 1, 29, 97, 130, 370, 322, 250, 253, 45, 33, 5, 0], [1, 1, 29, 98, 122, 398, 266, 320, 197, 73, 25, 6, 0], [1, 1, 29, 99, 114, 426, 210, 390, 141, 101, 17, 7, 0], [1, 1, 29, 100, 107, 446, 182, 404, 155, 73, 37, 0, 1], [1, 1, 29, 101, 99, 474, 126, 474, 99, 101, 29, 1, 1], [1, 1, 30, 89, 158, 314, 392, 194, 281, 37, 34, 5, 0], [1, 1, 30, 90, 150, 342, 336, 264, 225, 65, 26, 6, 0], [1, 1, 30, 91, 142, 370, 280, 334, 169, 93, 18, 7, 0], [1, 1, 30, 92, 134, 398, 224, 404, 113, 121, 10, 8, 0], [1, 1, 30, 92, 135, 390, 252, 348, 183, 65, 38, 0, 1], [1, 1, 30, 93, 127, 418, 196, 418, 127, 93, 30, 1, 1], [1, 1, 31, 82, 178, 286, 406, 208, 253, 57, 27, 6, 0], [1, 1, 31, 83, 170, 314, 350, 278, 197, 85, 19, 7, 0], [1, 1, 31, 84, 162, 342, 294, 348, 141, 113, 11, 8, 0], [1, 1, 31, 84, 163, 334, 322, 292, 211, 57, 39, 0, 1], [1, 1, 31, 85, 155, 362, 266, 362, 155, 85, 31, 1, 1], [1, 1, 31, 86, 147, 390, 210, 432, 99, 113, 23, 2, 1], [1, 1, 32, 74, 206, 230, 476, 152, 281, 49, 28, 6, 0], [1, 1, 32, 75, 198, 258, 420, 222, 225, 77, 20, 7, 0], [1, 1, 32, 76, 190, 286, 364, 292, 169, 105, 12, 8, 0], [1, 1, 32, 76, 191, 278, 392, 236, 239, 49, 40, 0, 1], [1, 1, 32, 77, 183, 306, 336, 306, 183, 77, 32, 1, 1], [1, 1, 32, 78, 175, 334, 280, 376, 127, 105, 24, 2, 1], [1, 1, 33, 67, 226, 202, 490, 166, 253, 69, 21, 7, 0], [1, 1, 33, 68, 218, 230, 434, 236, 197, 97, 13, 8, 0], [1, 1, 33, 68, 219, 222, 462, 180, 267, 41, 41, 0, 1], [1, 1, 33, 69, 210, 258, 378, 306, 141, 125, 5, 9, 0], [1, 1, 33, 69, 211, 250, 406, 250, 211, 69, 33, 1, 1], [1, 1, 33, 70, 203, 278, 350, 320, 155, 97, 25, 2, 1], [1, 1, 33, 71, 195, 306, 294, 390, 99, 125, 17, 3, 1], [1, 1, 34, 60, 246, 174, 504, 180, 225, 89, 14, 8, 0], [1, 1, 34, 61, 238, 202, 448, 250, 169, 117, 6, 9, 0], [1, 1, 34, 61, 239, 194, 476, 194, 239, 61, 34, 1, 1], [1, 1, 34, 62, 231, 222, 420, 264, 183, 89, 26, 2, 1], [1, 1, 34, 63, 223, 250, 364, 334, 127, 117, 18, 3, 1], [1, 1, 35, 53, 267, 138, 546, 138, 267, 53, 35, 1, 1], [1, 1, 35, 54, 259, 166, 490, 208, 211, 81, 27, 2, 1], [1, 1, 35, 55, 251, 194, 434, 278, 155, 109, 19, 3, 1], [1, 2, 22, 117, 102, 384, 336, 222, 273, 38, 34, 5, 0], [1, 2, 22, 118, 94, 412, 280, 292, 217, 66, 26, 6, 0], [1, 2, 22, 119, 86, 440, 224, 362, 161, 94, 18, 7, 0], [1, 2, 23, 110, 122, 356, 350, 236, 245, 58, 27, 6, 0], [1, 2, 23, 111, 114, 384, 294, 306, 189, 86, 19, 7, 0], [1, 2, 23, 112, 106, 412, 238, 376, 133, 114, 11, 8, 0], [1, 2, 23, 112, 107, 404, 266, 320, 203, 58, 39, 0, 1], [1, 2, 23, 113, 99, 432, 210, 390, 147, 86, 31, 1, 1], [1, 2, 23, 114, 91, 460, 154, 460, 91, 114, 23, 2, 1], [1, 2, 24, 102, 150, 300, 420, 180, 273, 50, 28, 6, 0], [1, 2, 24, 103, 142, 328, 364, 250, 217, 78, 20, 7, 0], [1, 2, 24, 104, 134, 356, 308, 320, 161, 106, 12, 8, 0], [1, 2, 24, 104, 135, 348, 336, 264, 231, 50, 40, 0, 1], [1, 2, 24, 105, 127, 376, 280, 334, 175, 78, 32, 1, 1], [1, 2, 24, 106, 119, 404, 224, 404, 119, 106, 24, 2, 1], [1, 2, 25, 95, 170, 272, 434, 194, 245, 70, 21, 7, 0], [1, 2, 25, 96, 162, 300, 378, 264, 189, 98, 13, 8, 0], [1, 2, 25, 96, 163, 292, 406, 208, 259, 42, 41, 0, 1], [1, 2, 25, 97, 155, 320, 350, 278, 203, 70, 33, 1, 1], [1, 2, 25, 98, 147, 348, 294, 348, 147, 98, 25, 2, 1], [1, 2, 25, 99, 139, 376, 238, 418, 91, 126, 17, 3, 1], [1, 2, 26, 87, 198, 216, 504, 138, 273, 62, 22, 7, 0], [1, 2, 26, 88, 190, 244, 448, 208, 217, 90, 14, 8, 0], [1, 2, 26, 89, 182, 272, 392, 278, 161, 118, 6, 9, 0], [1, 2, 26, 89, 183, 264, 420, 222, 231, 62, 34, 1, 1], [1, 2, 26, 90, 175, 292, 364, 292, 175, 90, 26, 2, 1], [1, 2, 26, 91, 167, 320, 308, 362, 119, 118, 18, 3, 1], [1, 2, 27, 80, 218, 188, 518, 152, 245, 82, 15, 8, 0], [1, 2, 27, 81, 210, 216, 462, 222, 189, 110, 7, 9, 0], [1, 2, 27, 81, 211, 208, 490, 166, 259, 54, 35, 1, 1], [1, 2, 27, 82, 203, 236, 434, 236, 203, 82, 27, 2, 1], [1, 2, 27, 83, 195, 264, 378, 306, 147, 110, 19, 3, 1], [1, 2, 28, 73, 238, 160, 532, 166, 217, 102, 8, 9, 0], [1, 2, 28, 74, 231, 180, 504, 180, 231, 74, 28, 2, 1], [1, 2, 28, 75, 223, 208, 448, 250, 175, 102, 20, 3, 1], [1, 2, 28, 76, 215, 236, 392, 320, 119, 130, 12, 4, 1], [1, 2, 29, 66, 259, 124, 574, 124, 259, 66, 29, 2, 1], [1, 2, 29, 67, 251, 152, 518, 194, 203, 94, 21, 3, 1], [1, 2, 29, 68, 243, 180, 462, 264, 147, 122, 13, 4, 1], [1, 3, 16, 130, 94, 370, 364, 208, 265, 51, 28, 6, 0], [1, 3, 16, 131, 86, 398, 308, 278, 209, 79, 20, 7, 0], [1, 3, 17, 123, 114, 342, 378, 222, 237, 71, 21, 7, 0], [1, 3, 17, 124, 106, 370, 322, 292, 181, 99, 13, 8, 0], [1, 3, 17, 124, 107, 362, 350, 236, 251, 43, 41, 0, 1], [1, 3, 17, 125, 99, 390, 294, 306, 195, 71, 33, 1, 1], [1, 3, 17, 126, 91, 418, 238, 376, 139, 99, 25, 2, 1], [1, 3, 18, 115, 142, 286, 448, 166, 265, 63, 22, 7, 0], [1, 3, 18, 116, 134, 314, 392, 236, 209, 91, 14, 8, 0], [1, 3, 18, 117, 126, 342, 336, 306, 153, 119, 6, 9, 0], [1, 3, 18, 117, 127, 334, 364, 250, 223, 63, 34, 1, 1], [1, 3, 18, 118, 119, 362, 308, 320, 167, 91, 26, 2, 1], [1, 3, 18, 119, 111, 390, 252, 390, 111, 119, 18, 3, 1], [1, 3, 19, 108, 162, 258, 462, 180, 237, 83, 15, 8, 0], [1, 3, 19, 109, 154, 286, 406, 250, 181, 111, 7, 9, 0], [1, 3, 19, 109, 155, 278, 434, 194, 251, 55, 35, 1, 1], [1, 3, 19, 110, 147, 306, 378, 264, 195, 83, 27, 2, 1], [1, 3, 19, 111, 139, 334, 322, 334, 139, 111, 19, 3, 1], [1, 3, 20, 100, 190, 202, 532, 124, 265, 75, 16, 8, 0], [1, 3, 20, 101, 182, 230, 476, 194, 209, 103, 8, 9, 0], [1, 3, 20, 102, 175, 250, 448, 208, 223, 75, 28, 2, 1], [1, 3, 20, 103, 167, 278, 392, 278, 167, 103, 20, 3, 1], [1, 3, 20, 104, 159, 306, 336, 348, 111, 131, 12, 4, 1], [1, 3, 21, 93, 210, 174, 546, 138, 237, 95, 9, 9, 0], [1, 3, 21, 94, 203, 194, 518, 152, 251, 67, 29, 2, 1], [1, 3, 21, 95, 195, 222, 462, 222, 195, 95, 21, 3, 1], [1, 3, 21, 96, 187, 250, 406, 292, 139, 123, 13, 4, 1], [1, 3, 22, 87, 223, 166, 532, 166, 223, 87, 22, 3, 1], [1, 3, 22, 88, 215, 194, 476, 236, 167, 115, 14, 4, 1], [1, 3, 24, 76, 240, 186, 420, 348, 69, 155, 12, 0, 2], [1, 4, 11, 136, 106, 328, 406, 208, 229, 84, 15, 8, 0], [1, 4, 12, 128, 134, 272, 476, 152, 257, 76, 16, 8, 0], [1, 4, 12, 129, 126, 300, 420, 222, 201, 104, 8, 9, 0], [1, 4, 12, 130, 119, 320, 392, 236, 215, 76, 28, 2, 1], [1, 4, 12, 131, 111, 348, 336, 306, 159, 104, 20, 3, 1], [1, 4, 12, 132, 103, 376, 280, 376, 103, 132, 12, 4, 1], [1, 4, 13, 121, 154, 244, 490, 166, 229, 96, 9, 9, 0], [1, 4, 13, 122, 147, 264, 462, 180, 243, 68, 29, 2, 1], [1, 4, 13, 123, 139, 292, 406, 250, 187, 96, 21, 3, 1], [1, 4, 13, 124, 131, 320, 350, 320, 131, 124, 13, 4, 1], [1, 4, 14, 115, 167, 236, 476, 194, 215, 88, 22, 3, 1], [1, 4, 14, 116, 159, 264, 420, 264, 159, 116, 14, 4, 1], [1, 4, 15, 108, 187, 208, 490, 208, 187, 108, 15, 4, 1], [1, 4, 15, 109, 179, 236, 434, 278, 131, 136, 7, 5, 1], [1, 4, 16, 100, 215, 152, 560, 152, 215, 100, 16, 4, 1], [1, 4, 16, 101, 207, 180, 504, 222, 159, 128, 8, 5, 1], [1, 4, 17, 96, 212, 200, 434, 320, 89, 148, 13, 0, 2], [1, 4, 18, 88, 240, 144, 504, 264, 117, 140, 14, 0, 2], [1, 5, 7, 136, 131, 278, 434, 236, 179, 109, 15, 4, 1], [1, 5, 7, 137, 123, 306, 378, 306, 123, 137, 7, 5, 1], [1, 5, 8, 128, 159, 222, 504, 180, 207, 101, 16, 4, 1], [1, 5, 8, 129, 151, 250, 448, 250, 151, 129, 8, 5, 1], [1, 5, 9, 121, 179, 194, 518, 194, 179, 121, 9, 5, 1], [1, 5, 9, 124, 156, 270, 378, 348, 81, 149, 13, 0, 2], [1, 5, 10, 113, 207, 138, 588, 138, 207, 113, 10, 5, 1], [1, 5, 10, 116, 184, 214, 448, 292, 109, 141, 14, 0, 2], [1, 5, 11, 108, 212, 158, 518, 236, 137, 133, 15, 0, 2], [2, 0, 12, 155, 69, 348, 420, 186, 240, 76, 24, 3, 1], [2, 0, 12, 160, 30, 480, 168, 480, 30, 160, 12, 0, 2], [2, 0, 13, 148, 89, 320, 434, 200, 212, 96, 17, 4, 1], [2, 0, 13, 149, 81, 348, 378, 270, 156, 124, 9, 5, 1], [2, 0, 13, 152, 58, 424, 238, 424, 58, 152, 13, 0, 2], [2, 0, 14, 140, 117, 264, 504, 144, 240, 88, 18, 4, 1], [2, 0, 14, 141, 109, 292, 448, 214, 184, 116, 10, 5, 1], [2, 0, 14, 144, 86, 368, 308, 368, 86, 144, 14, 0, 2], [2, 0, 15, 133, 137, 236, 518, 158, 212, 108, 11, 5, 1], [2, 0, 15, 136, 114, 312, 378, 312, 114, 136, 15, 0, 2], [2, 0, 16, 128, 142, 256, 448, 256, 142, 128, 16, 0, 2], [2, 0, 17, 120, 170, 200, 518, 200, 170, 120, 17, 0, 2], [2, 0, 18, 112, 198, 144, 588, 144, 198, 112, 18, 0, 2], [2, 1, 9, 149, 106, 298, 406, 298, 106, 149, 9, 1, 2], [2, 1, 10, 141, 134, 242, 476, 242, 134, 141, 10, 1, 2], [2, 1, 11, 133, 162, 186, 546, 186, 162, 133, 11, 1, 2]}