-------
(12, 1024, 7) ALL distance distributions
(7, 1024, 7) has 1 possible DDs: {[8, 56, 168, 280, 280, 168, 56, 8]}
(8, 1024, 7) has 9 possible DDs: {[0, 64, 0, 448, 0, 448, 0, 64, 0], [1, 56, 28, 392, 70, 392, 28, 56, 1], [2, 48, 56, 336, 140, 336, 56, 48, 2], [3, 40, 84, 280, 210, 280, 84, 40, 3], [4, 32, 112, 224, 280, 224, 112, 32, 4], [5, 24, 140, 168, 350, 168, 140, 24, 5], [6, 16, 168, 112, 420, 112, 168, 16, 6], [7, 8, 196, 56, 490, 56, 196, 8, 7], [8, 0, 224, 0, 560, 0, 224, 0, 8]}
(9, 1024, 7) has 25 possible DDs: {[0, 32, 32, 224, 224, 224, 224, 32, 32, 0], [0, 33, 24, 252, 168, 294, 168, 60, 24, 1], [0, 34, 16, 280, 112, 364, 112, 88, 16, 2], [0, 35, 8, 308, 56, 434, 56, 116, 8, 3], [0, 36, 0, 336, 0, 504, 0, 144, 0, 4], [1, 24, 60, 168, 294, 168, 252, 24, 33, 0], [1, 25, 52, 196, 238, 238, 196, 52, 25, 1], [1, 26, 44, 224, 182, 308, 140, 80, 17, 2], [1, 27, 36, 252, 126, 378, 84, 108, 9, 3], [1, 28, 28, 280, 70, 448, 28, 136, 1, 4], [2, 16, 88, 112, 364, 112, 280, 16, 34, 0], [2, 17, 80, 140, 308, 182, 224, 44, 26, 1], [2, 18, 72, 168, 252, 252, 168, 72, 18, 2], [2, 19, 64, 196, 196, 322, 112, 100, 10, 3], [2, 20, 56, 224, 140, 392, 56, 128, 2, 4], [3, 8, 116, 56, 434, 56, 308, 8, 35, 0], [3, 9, 108, 84, 378, 126, 252, 36, 27, 1], [3, 10, 100, 112, 322, 196, 196, 64, 19, 2], [3, 11, 92, 140, 266, 266, 140, 92, 11, 3], [3, 12, 84, 168, 210, 336, 84, 120, 3, 4], [4, 0, 144, 0, 504, 0, 336, 0, 36, 0], [4, 1, 136, 28, 448, 70, 280, 28, 28, 1], [4, 2, 128, 56, 392, 140, 224, 56, 20, 2], [4, 3, 120, 84, 336, 210, 168, 84, 12, 3], [4, 4, 112, 112, 280, 280, 112, 112, 4, 4]}
(10, 1024, 7) has 65 possible DDs: {[0, 13, 56, 44, 392, 14, 392, 44, 56, 13, 0], [0, 14, 48, 72, 336, 84, 336, 72, 48, 14, 0], [0, 14, 49, 64, 364, 28, 406, 16, 76, 6, 1], [0, 15, 40, 100, 280, 154, 280, 100, 40, 15, 0], [0, 15, 41, 92, 308, 98, 350, 44, 68, 7, 1], [0, 16, 32, 128, 224, 224, 224, 128, 32, 16, 0], [0, 16, 33, 120, 252, 168, 294, 72, 60, 8, 1], [0, 16, 34, 112, 280, 112, 364, 16, 88, 0, 2], [0, 17, 24, 156, 168, 294, 168, 156, 24, 17, 0], [0, 17, 25, 148, 196, 238, 238, 100, 52, 9, 1], [0, 17, 26, 140, 224, 182, 308, 44, 80, 1, 2], [0, 18, 16, 184, 112, 364, 112, 184, 16, 18, 0], [0, 18, 17, 176, 140, 308, 182, 128, 44, 10, 1], [0, 18, 18, 168, 168, 252, 252, 72, 72, 2, 2], [0, 19, 8, 212, 56, 434, 56, 212, 8, 19, 0], [0, 19, 9, 204, 84, 378, 126, 156, 36, 11, 1], [0, 19, 10, 196, 112, 322, 196, 100, 64, 3, 2], [0, 20, 0, 240, 0, 504, 0, 240, 0, 20, 0], [0, 20, 1, 232, 28, 448, 70, 184, 28, 12, 1], [0, 20, 2, 224, 56, 392, 140, 128, 56, 4, 2], [1, 6, 76, 16, 406, 28, 364, 64, 49, 14, 0], [1, 7, 68, 44, 350, 98, 308, 92, 41, 15, 0], [1, 7, 69, 36, 378, 42, 378, 36, 69, 7, 1], [1, 8, 60, 72, 294, 168, 252, 120, 33, 16, 0], [1, 8, 61, 64, 322, 112, 322, 64, 61, 8, 1], [1, 8, 62, 56, 350, 56, 392, 8, 89, 0, 2], [1, 9, 52, 100, 238, 238, 196, 148, 25, 17, 0], [1, 9, 53, 92, 266, 182, 266, 92, 53, 9, 1], [1, 9, 54, 84, 294, 126, 336, 36, 81, 1, 2], [1, 10, 44, 128, 182, 308, 140, 176, 17, 18, 0], [1, 10, 45, 120, 210, 252, 210, 120, 45, 10, 1], [1, 10, 46, 112, 238, 196, 280, 64, 73, 2, 2], [1, 11, 36, 156, 126, 378, 84, 204, 9, 19, 0], [1, 11, 37, 148, 154, 322, 154, 148, 37, 11, 1], [1, 11, 38, 140, 182, 266, 224, 92, 65, 3, 2], [1, 12, 28, 184, 70, 448, 28, 232, 1, 20, 0], [1, 12, 29, 176, 98, 392, 98, 176, 29, 12, 1], [1, 12, 30, 168, 126, 336, 168, 120, 57, 4, 2], [1, 13, 21, 204, 42, 462, 42, 204, 21, 13, 1], [1, 13, 22, 196, 70, 406, 112, 148, 49, 5, 2], [1, 14, 14, 224, 14, 476, 56, 176, 41, 6, 2], [2, 0, 88, 16, 364, 112, 280, 112, 34, 16, 0], [2, 0, 89, 8, 392, 56, 350, 56, 62, 8, 1], [2, 0, 90, 0, 420, 0, 420, 0, 90, 0, 2], [2, 1, 80, 44, 308, 182, 224, 140, 26, 17, 0], [2, 1, 81, 36, 336, 126, 294, 84, 54, 9, 1], [2, 1, 82, 28, 364, 70, 364, 28, 82, 1, 2], [2, 2, 72, 72, 252, 252, 168, 168, 18, 18, 0], [2, 2, 73, 64, 280, 196, 238, 112, 46, 10, 1], [2, 2, 74, 56, 308, 140, 308, 56, 74, 2, 2], [2, 3, 64, 100, 196, 322, 112, 196, 10, 19, 0], [2, 3, 65, 92, 224, 266, 182, 140, 38, 11, 1], [2, 3, 66, 84, 252, 210, 252, 84, 66, 3, 2], [2, 4, 56, 128, 140, 392, 56, 224, 2, 20, 0], [2, 4, 57, 120, 168, 336, 126, 168, 30, 12, 1], [2, 4, 58, 112, 196, 280, 196, 112, 58, 4, 2], [2, 5, 49, 148, 112, 406, 70, 196, 22, 13, 1], [2, 5, 50, 140, 140, 350, 140, 140, 50, 5, 2], [2, 6, 41, 176, 56, 476, 14, 224, 14, 14, 1], [2, 6, 42, 168, 84, 420, 84, 168, 42, 6, 2], [2, 7, 34, 196, 28, 490, 28, 196, 34, 7, 2], [2, 8, 27, 216, 0, 504, 42, 168, 54, 0, 3], [3, 0, 54, 168, 42, 504, 0, 216, 27, 8, 2], [3, 0, 55, 160, 70, 448, 70, 160, 55, 0, 3], [3, 1, 47, 188, 14, 518, 14, 188, 47, 1, 3]}
(11, 1024, 7) has 145 possible DDs: {[0, 4, 52, 0, 288, 168, 168, 288, 0, 52, 4, 0], [0, 5, 45, 20, 260, 182, 182, 260, 20, 45, 5, 0], [0, 5, 46, 12, 288, 126, 252, 204, 48, 37, 6, 0], [0, 5, 47, 4, 316, 70, 322, 148, 76, 29, 7, 0], [0, 6, 37, 48, 204, 252, 126, 288, 12, 46, 5, 0], [0, 6, 38, 40, 232, 196, 196, 232, 40, 38, 6, 0], [0, 6, 39, 32, 260, 140, 266, 176, 68, 30, 7, 0], [0, 6, 40, 24, 288, 84, 336, 120, 96, 22, 8, 0], [0, 6, 40, 25, 280, 112, 280, 190, 40, 50, 0, 1], [0, 6, 41, 16, 316, 28, 406, 64, 124, 14, 9, 0], [0, 6, 41, 17, 308, 56, 350, 134, 68, 42, 1, 1], [0, 6, 42, 9, 336, 0, 420, 78, 96, 34, 2, 1], [0, 7, 29, 76, 148, 322, 70, 316, 4, 47, 5, 0], [0, 7, 30, 68, 176, 266, 140, 260, 32, 39, 6, 0], [0, 7, 31, 60, 204, 210, 210, 204, 60, 31, 7, 0], [0, 7, 32, 52, 232, 154, 280, 148, 88, 23, 8, 0], [0, 7, 32, 53, 224, 182, 224, 218, 32, 51, 0, 1], [0, 7, 33, 44, 260, 98, 350, 92, 116, 15, 9, 0], [0, 7, 33, 45, 252, 126, 294, 162, 60, 43, 1, 1], [0, 7, 34, 36, 288, 42, 420, 36, 144, 7, 10, 0], [0, 7, 34, 37, 280, 70, 364, 106, 88, 35, 2, 1], [0, 7, 35, 29, 308, 14, 434, 50, 116, 27, 3, 1], [0, 8, 22, 96, 120, 336, 84, 288, 24, 40, 6, 0], [0, 8, 23, 88, 148, 280, 154, 232, 52, 32, 7, 0], [0, 8, 24, 80, 176, 224, 224, 176, 80, 24, 8, 0], [0, 8, 24, 81, 168, 252, 168, 246, 24, 52, 0, 1], [0, 8, 25, 72, 204, 168, 294, 120, 108, 16, 9, 0], [0, 8, 25, 73, 196, 196, 238, 190, 52, 44, 1, 1], [0, 8, 26, 64, 232, 112, 364, 64, 136, 8, 10, 0], [0, 8, 26, 65, 224, 140, 308, 134, 80, 36, 2, 1], [0, 8, 27, 56, 260, 56, 434, 8, 164, 0, 11, 0], [0, 8, 27, 57, 252, 84, 378, 78, 108, 28, 3, 1], [0, 8, 28, 49, 280, 28, 448, 22, 136, 20, 4, 1], [0, 9, 14, 124, 64, 406, 28, 316, 16, 41, 6, 0], [0, 9, 15, 116, 92, 350, 98, 260, 44, 33, 7, 0], [0, 9, 16, 108, 120, 294, 168, 204, 72, 25, 8, 0], [0, 9, 16, 109, 112, 322, 112, 274, 16, 53, 0, 1], [0, 9, 17, 100, 148, 238, 238, 148, 100, 17, 9, 0], [0, 9, 17, 101, 140, 266, 182, 218, 44, 45, 1, 1], [0, 9, 18, 92, 176, 182, 308, 92, 128, 9, 10, 0], [0, 9, 18, 93, 168, 210, 252, 162, 72, 37, 2, 1], [0, 9, 19, 84, 204, 126, 378, 36, 156, 1, 11, 0], [0, 9, 19, 85, 196, 154, 322, 106, 100, 29, 3, 1], [0, 9, 20, 77, 224, 98, 392, 50, 128, 21, 4, 1], [0, 10, 7, 144, 36, 420, 42, 288, 36, 34, 7, 0], [0, 10, 8, 136, 64, 364, 112, 232, 64, 26, 8, 0], [0, 10, 8, 137, 56, 392, 56, 302, 8, 54, 0, 1], [0, 10, 9, 128, 92, 308, 182, 176, 92, 18, 9, 0], [0, 10, 9, 129, 84, 336, 126, 246, 36, 46, 1, 1], [0, 10, 10, 120, 120, 252, 252, 120, 120, 10, 10, 0], [0, 10, 10, 121, 112, 280, 196, 190, 64, 38, 2, 1], [0, 10, 11, 112, 148, 196, 322, 64, 148, 2, 11, 0], [0, 10, 11, 113, 140, 224, 266, 134, 92, 30, 3, 1], [0, 10, 12, 105, 168, 168, 336, 78, 120, 22, 4, 1], [0, 10, 13, 97, 196, 112, 406, 22, 148, 14, 5, 1], [0, 11, 0, 164, 8, 434, 56, 260, 56, 27, 8, 0], [0, 11, 0, 165, 0, 462, 0, 330, 0, 55, 0, 1], [0, 11, 1, 156, 36, 378, 126, 204, 84, 19, 9, 0], [0, 11, 1, 157, 28, 406, 70, 274, 28, 47, 1, 1], [0, 11, 2, 148, 64, 322, 196, 148, 112, 11, 10, 0], [0, 11, 2, 149, 56, 350, 140, 218, 56, 39, 2, 1], [0, 11, 3, 140, 92, 266, 266, 92, 140, 3, 11, 0], [0, 11, 3, 141, 84, 294, 210, 162, 84, 31, 3, 1], [0, 11, 4, 133, 112, 238, 280, 106, 112, 23, 4, 1], [0, 11, 5, 125, 140, 182, 350, 50, 140, 15, 5, 1], [1, 0, 50, 40, 190, 280, 112, 280, 25, 40, 6, 0], [1, 0, 51, 32, 218, 224, 182, 224, 53, 32, 7, 0], [1, 0, 52, 24, 246, 168, 252, 168, 81, 24, 8, 0], [1, 0, 52, 25, 238, 196, 196, 238, 25, 52, 0, 1], [1, 0, 53, 16, 274, 112, 322, 112, 109, 16, 9, 0], [1, 0, 53, 17, 266, 140, 266, 182, 53, 44, 1, 1], [1, 0, 54, 8, 302, 56, 392, 56, 137, 8, 10, 0], [1, 0, 54, 9, 294, 84, 336, 126, 81, 36, 2, 1], [1, 0, 55, 0, 330, 0, 462, 0, 165, 0, 11, 0], [1, 0, 55, 1, 322, 28, 406, 70, 109, 28, 3, 1], [1, 1, 42, 68, 134, 350, 56, 308, 17, 41, 6, 0], [1, 1, 43, 60, 162, 294, 126, 252, 45, 33, 7, 0], [1, 1, 44, 52, 190, 238, 196, 196, 73, 25, 8, 0], [1, 1, 44, 53, 182, 266, 140, 266, 17, 53, 0, 1], [1, 1, 45, 44, 218, 182, 266, 140, 101, 17, 9, 0], [1, 1, 45, 45, 210, 210, 210, 210, 45, 45, 1, 1], [1, 1, 46, 36, 246, 126, 336, 84, 129, 9, 10, 0], [1, 1, 46, 37, 238, 154, 280, 154, 73, 37, 2, 1], [1, 1, 47, 28, 274, 70, 406, 28, 157, 1, 11, 0], [1, 1, 47, 29, 266, 98, 350, 98, 101, 29, 3, 1], [1, 1, 48, 21, 294, 42, 420, 42, 129, 21, 4, 1], [1, 2, 34, 96, 78, 420, 0, 336, 9, 42, 6, 0], [1, 2, 35, 88, 106, 364, 70, 280, 37, 34, 7, 0], [1, 2, 36, 80, 134, 308, 140, 224, 65, 26, 8, 0], [1, 2, 36, 81, 126, 336, 84, 294, 9, 54, 0, 1], [1, 2, 37, 72, 162, 252, 210, 168, 93, 18, 9, 0], [1, 2, 37, 73, 154, 280, 154, 238, 37, 46, 1, 1], [1, 2, 38, 64, 190, 196, 280, 112, 121, 10, 10, 0], [1, 2, 38, 65, 182, 224, 224, 182, 65, 38, 2, 1], [1, 2, 39, 56, 218, 140, 350, 56, 149, 2, 11, 0], [1, 2, 39, 57, 210, 168, 294, 126, 93, 30, 3, 1], [1, 2, 40, 49, 238, 112, 364, 70, 121, 22, 4, 1], [1, 2, 41, 41, 266, 56, 434, 14, 149, 14, 5, 1], [1, 3, 27, 116, 50, 434, 14, 308, 29, 35, 7, 0], [1, 3, 28, 108, 78, 378, 84, 252, 57, 27, 8, 0], [1, 3, 28, 109, 70, 406, 28, 322, 1, 55, 0, 1], [1, 3, 29, 100, 106, 322, 154, 196, 85, 19, 9, 0], [1, 3, 29, 101, 98, 350, 98, 266, 29, 47, 1, 1], [1, 3, 30, 92, 134, 266, 224, 140, 113, 11, 10, 0], [1, 3, 30, 93, 126, 294, 168, 210, 57, 39, 2, 1], [1, 3, 31, 84, 162, 210, 294, 84, 141, 3, 11, 0], [1, 3, 31, 85, 154, 238, 238, 154, 85, 31, 3, 1], [1, 3, 32, 77, 182, 182, 308, 98, 113, 23, 4, 1], [1, 3, 33, 69, 210, 126, 378, 42, 141, 15, 5, 1], [1, 4, 20, 136, 22, 448, 28, 280, 49, 28, 8, 0], [1, 4, 21, 128, 50, 392, 98, 224, 77, 20, 9, 0], [1, 4, 21, 129, 42, 420, 42, 294, 21, 48, 1, 1], [1, 4, 22, 120, 78, 336, 168, 168, 105, 12, 10, 0], [1, 4, 22, 121, 70, 364, 112, 238, 49, 40, 2, 1], [1, 4, 23, 112, 106, 280, 238, 112, 133, 4, 11, 0], [1, 4, 23, 113, 98, 308, 182, 182, 77, 32, 3, 1], [1, 4, 24, 105, 126, 252, 252, 126, 105, 24, 4, 1], [1, 4, 25, 97, 154, 196, 322, 70, 133, 16, 5, 1], [1, 4, 26, 89, 182, 140, 392, 14, 161, 8, 6, 1], [1, 5, 14, 148, 22, 406, 112, 196, 97, 13, 10, 0], [1, 5, 14, 149, 14, 434, 56, 266, 41, 41, 2, 1], [1, 5, 15, 140, 50, 350, 182, 140, 125, 5, 11, 0], [1, 5, 15, 141, 42, 378, 126, 210, 69, 33, 3, 1], [1, 5, 16, 133, 70, 322, 196, 154, 97, 25, 4, 1], [1, 5, 17, 125, 98, 266, 266, 98, 125, 17, 5, 1], [1, 5, 18, 117, 126, 210, 336, 42, 153, 9, 6, 1], [1, 5, 20, 102, 174, 126, 420, 0, 153, 21, 0, 2], [1, 6, 8, 161, 14, 392, 140, 182, 89, 26, 4, 1], [1, 6, 9, 153, 42, 336, 210, 126, 117, 18, 5, 1], [1, 6, 10, 145, 70, 280, 280, 70, 145, 10, 6, 1], [1, 6, 11, 137, 98, 224, 350, 14, 173, 2, 7, 1], [1, 6, 12, 130, 118, 196, 364, 28, 145, 22, 0, 2], [1, 7, 2, 173, 14, 350, 224, 98, 137, 11, 6, 1], [1, 7, 3, 165, 42, 294, 294, 42, 165, 3, 7, 1], [1, 7, 4, 158, 62, 266, 308, 56, 137, 23, 0, 2], [1, 7, 5, 150, 90, 210, 378, 0, 165, 15, 1, 2], [2, 0, 21, 153, 0, 420, 126, 174, 102, 20, 5, 1], [2, 0, 22, 145, 28, 364, 196, 118, 130, 12, 6, 1], [2, 0, 23, 137, 56, 308, 266, 62, 158, 4, 7, 1], [2, 0, 24, 130, 76, 280, 280, 76, 130, 24, 0, 2], [2, 0, 25, 122, 104, 224, 350, 20, 158, 16, 1, 2], [2, 1, 15, 165, 0, 378, 210, 90, 150, 5, 7, 1], [2, 1, 16, 158, 20, 350, 224, 104, 122, 25, 0, 2], [2, 1, 17, 150, 48, 294, 294, 48, 150, 17, 1, 2], [2, 2, 10, 170, 20, 308, 308, 20, 170, 10, 2, 2]}
(12, 1024, 7) has 300 possible DDs: {[0, 0, 39, 8, 132, 312, 42, 312, 132, 8, 39, 0, 0], [0, 0, 40, 0, 160, 256, 112, 256, 160, 0, 40, 0, 0], [0, 0, 40, 1, 152, 284, 56, 326, 104, 28, 32, 1, 0], [0, 0, 40, 2, 144, 312, 0, 396, 48, 56, 24, 2, 0], [0, 1, 32, 28, 104, 326, 56, 284, 152, 1, 40, 0, 0], [0, 1, 32, 29, 96, 354, 0, 354, 96, 29, 32, 1, 0], [0, 1, 33, 21, 124, 298, 70, 298, 124, 21, 33, 1, 0], [0, 1, 33, 22, 116, 326, 14, 368, 68, 49, 25, 2, 0], [0, 1, 34, 13, 152, 242, 140, 242, 152, 13, 34, 1, 0], [0, 1, 34, 14, 144, 270, 84, 312, 96, 41, 26, 2, 0], [0, 1, 34, 15, 136, 298, 28, 382, 40, 69, 18, 3, 0], [0, 1, 35, 5, 180, 186, 210, 186, 180, 5, 35, 1, 0], [0, 1, 35, 6, 172, 214, 154, 256, 124, 33, 27, 2, 0], [0, 1, 35, 7, 164, 242, 98, 326, 68, 61, 19, 3, 0], [0, 1, 35, 8, 156, 270, 42, 396, 12, 89, 11, 4, 0], [0, 1, 36, 0, 184, 214, 112, 340, 40, 81, 12, 4, 0], [0, 2, 24, 56, 48, 396, 0, 312, 144, 2, 40, 0, 0], [0, 2, 25, 49, 68, 368, 14, 326, 116, 22, 33, 1, 0], [0, 2, 26, 41, 96, 312, 84, 270, 144, 14, 34, 1, 0], [0, 2, 26, 42, 88, 340, 28, 340, 88, 42, 26, 2, 0], [0, 2, 27, 33, 124, 256, 154, 214, 172, 6, 35, 1, 0], [0, 2, 27, 34, 116, 284, 98, 284, 116, 34, 27, 2, 0], [0, 2, 27, 35, 108, 312, 42, 354, 60, 62, 19, 3, 0], [0, 2, 28, 26, 144, 228, 168, 228, 144, 26, 28, 2, 0], [0, 2, 28, 27, 136, 256, 112, 298, 88, 54, 20, 3, 0], [0, 2, 28, 28, 128, 284, 56, 368, 32, 82, 12, 4, 0], [0, 2, 29, 18, 172, 172, 238, 172, 172, 18, 29, 2, 0], [0, 2, 29, 19, 164, 200, 182, 242, 116, 46, 21, 3, 0], [0, 2, 29, 20, 156, 228, 126, 312, 60, 74, 13, 4, 0], [0, 2, 29, 21, 148, 256, 70, 382, 4, 102, 5, 5, 0], [0, 2, 30, 10, 200, 116, 308, 116, 200, 10, 30, 2, 0], [0, 2, 30, 11, 192, 144, 252, 186, 144, 38, 22, 3, 0], [0, 2, 30, 12, 184, 172, 196, 256, 88, 66, 14, 4, 0], [0, 2, 30, 13, 176, 200, 140, 326, 32, 94, 6, 5, 0], [0, 2, 31, 2, 228, 60, 378, 60, 228, 2, 31, 2, 0], [0, 2, 31, 3, 220, 88, 322, 130, 172, 30, 23, 3, 0], [0, 2, 31, 4, 212, 116, 266, 200, 116, 58, 15, 4, 0], [0, 2, 31, 5, 204, 144, 210, 270, 60, 86, 7, 5, 0], [0, 3, 18, 69, 40, 382, 28, 298, 136, 15, 34, 1, 0], [0, 3, 19, 61, 68, 326, 98, 242, 164, 7, 35, 1, 0], [0, 3, 19, 62, 60, 354, 42, 312, 108, 35, 27, 2, 0], [0, 3, 20, 54, 88, 298, 112, 256, 136, 27, 28, 2, 0], [0, 3, 20, 55, 80, 326, 56, 326, 80, 55, 20, 3, 0], [0, 3, 20, 56, 72, 354, 0, 396, 24, 83, 12, 4, 0], [0, 3, 21, 46, 116, 242, 182, 200, 164, 19, 29, 2, 0], [0, 3, 21, 47, 108, 270, 126, 270, 108, 47, 21, 3, 0], [0, 3, 21, 48, 100, 298, 70, 340, 52, 75, 13, 4, 0], [0, 3, 22, 38, 144, 186, 252, 144, 192, 11, 30, 2, 0], [0, 3, 22, 39, 136, 214, 196, 214, 136, 39, 22, 3, 0], [0, 3, 22, 40, 128, 242, 140, 284, 80, 67, 14, 4, 0], [0, 3, 22, 41, 120, 270, 84, 354, 24, 95, 6, 5, 0], [0, 3, 23, 30, 172, 130, 322, 88, 220, 3, 31, 2, 0], [0, 3, 23, 31, 164, 158, 266, 158, 164, 31, 23, 3, 0], [0, 3, 23, 32, 156, 186, 210, 228, 108, 59, 15, 4, 0], [0, 3, 23, 33, 148, 214, 154, 298, 52, 87, 7, 5, 0], [0, 3, 24, 23, 192, 102, 336, 102, 192, 23, 24, 3, 0], [0, 3, 24, 24, 184, 130, 280, 172, 136, 51, 16, 4, 0], [0, 3, 24, 25, 176, 158, 224, 242, 80, 79, 8, 5, 0], [0, 3, 24, 26, 168, 186, 168, 312, 24, 107, 0, 6, 0], [0, 3, 25, 15, 220, 46, 406, 46, 220, 15, 25, 3, 0], [0, 3, 25, 16, 212, 74, 350, 116, 164, 43, 17, 4, 0], [0, 3, 25, 17, 204, 102, 294, 186, 108, 71, 9, 5, 0], [0, 3, 25, 18, 196, 130, 238, 256, 52, 99, 1, 6, 0], [0, 3, 25, 20, 181, 178, 154, 340, 10, 99, 13, 0, 1], [0, 3, 26, 8, 240, 18, 420, 60, 192, 35, 18, 4, 0], [0, 3, 26, 9, 232, 46, 364, 130, 136, 63, 10, 5, 0], [0, 3, 26, 10, 224, 74, 308, 200, 80, 91, 2, 6, 0], [0, 3, 26, 12, 209, 122, 224, 284, 38, 91, 14, 0, 1], [0, 3, 27, 2, 252, 18, 378, 144, 108, 83, 3, 6, 0], [0, 3, 27, 4, 237, 66, 294, 228, 66, 83, 15, 0, 1], [0, 3, 27, 5, 229, 94, 238, 298, 10, 111, 7, 1, 1], [0, 4, 11, 89, 12, 396, 42, 270, 156, 8, 35, 1, 0], [0, 4, 12, 81, 40, 340, 112, 214, 184, 0, 36, 1, 0], [0, 4, 12, 82, 32, 368, 56, 284, 128, 28, 28, 2, 0], [0, 4, 12, 83, 24, 396, 0, 354, 72, 56, 20, 3, 0], [0, 4, 13, 74, 60, 312, 126, 228, 156, 20, 29, 2, 0], [0, 4, 13, 75, 52, 340, 70, 298, 100, 48, 21, 3, 0], [0, 4, 13, 76, 44, 368, 14, 368, 44, 76, 13, 4, 0], [0, 4, 14, 66, 88, 256, 196, 172, 184, 12, 30, 2, 0], [0, 4, 14, 67, 80, 284, 140, 242, 128, 40, 22, 3, 0], [0, 4, 14, 68, 72, 312, 84, 312, 72, 68, 14, 4, 0], [0, 4, 14, 69, 64, 340, 28, 382, 16, 96, 6, 5, 0], [0, 4, 15, 58, 116, 200, 266, 116, 212, 4, 31, 2, 0], [0, 4, 15, 59, 108, 228, 210, 186, 156, 32, 23, 3, 0], [0, 4, 15, 60, 100, 256, 154, 256, 100, 60, 15, 4, 0], [0, 4, 15, 61, 92, 284, 98, 326, 44, 88, 7, 5, 0], [0, 4, 16, 51, 136, 172, 280, 130, 184, 24, 24, 3, 0], [0, 4, 16, 52, 128, 200, 224, 200, 128, 52, 16, 4, 0], [0, 4, 16, 53, 120, 228, 168, 270, 72, 80, 8, 5, 0], [0, 4, 16, 54, 112, 256, 112, 340, 16, 108, 0, 6, 0], [0, 4, 17, 43, 164, 116, 350, 74, 212, 16, 25, 3, 0], [0, 4, 17, 44, 156, 144, 294, 144, 156, 44, 17, 4, 0], [0, 4, 17, 45, 148, 172, 238, 214, 100, 72, 9, 5, 0], [0, 4, 17, 46, 140, 200, 182, 284, 44, 100, 1, 6, 0], [0, 4, 17, 48, 125, 248, 98, 368, 2, 100, 13, 0, 1], [0, 4, 18, 35, 192, 60, 420, 18, 240, 8, 26, 3, 0], [0, 4, 18, 36, 184, 88, 364, 88, 184, 36, 18, 4, 0], [0, 4, 18, 37, 176, 116, 308, 158, 128, 64, 10, 5, 0], [0, 4, 18, 38, 168, 144, 252, 228, 72, 92, 2, 6, 0], [0, 4, 18, 40, 153, 192, 168, 312, 30, 92, 14, 0, 1], [0, 4, 19, 28, 212, 32, 434, 32, 212, 28, 19, 4, 0], [0, 4, 19, 29, 204, 60, 378, 102, 156, 56, 11, 5, 0], [0, 4, 19, 30, 196, 88, 322, 172, 100, 84, 3, 6, 0], [0, 4, 19, 32, 181, 136, 238, 256, 58, 84, 15, 0, 1], [0, 4, 19, 33, 173, 164, 182, 326, 2, 112, 7, 1, 1], [0, 4, 20, 21, 232, 4, 448, 46, 184, 48, 12, 5, 0], [0, 4, 20, 22, 224, 32, 392, 116, 128, 76, 4, 6, 0], [0, 4, 20, 24, 209, 80, 308, 200, 86, 76, 16, 0, 1], [0, 4, 20, 25, 201, 108, 252, 270, 30, 104, 8, 1, 1], [0, 4, 21, 16, 237, 24, 378, 144, 114, 68, 17, 0, 1], [0, 4, 21, 17, 229, 52, 322, 214, 58, 96, 9, 1, 1], [0, 4, 21, 18, 221, 80, 266, 284, 2, 124, 1, 2, 1], [0, 4, 22, 10, 249, 24, 336, 228, 30, 116, 2, 2, 1], [0, 5, 5, 102, 4, 382, 70, 256, 148, 21, 29, 2, 0], [0, 5, 6, 94, 32, 326, 140, 200, 176, 13, 30, 2, 0], [0, 5, 6, 95, 24, 354, 84, 270, 120, 41, 22, 3, 0], [0, 5, 6, 96, 16, 382, 28, 340, 64, 69, 14, 4, 0], [0, 5, 7, 86, 60, 270, 210, 144, 204, 5, 31, 2, 0], [0, 5, 7, 87, 52, 298, 154, 214, 148, 33, 23, 3, 0], [0, 5, 7, 88, 44, 326, 98, 284, 92, 61, 15, 4, 0], [0, 5, 7, 89, 36, 354, 42, 354, 36, 89, 7, 5, 0], [0, 5, 8, 79, 80, 242, 224, 158, 176, 25, 24, 3, 0], [0, 5, 8, 80, 72, 270, 168, 228, 120, 53, 16, 4, 0], [0, 5, 8, 81, 64, 298, 112, 298, 64, 81, 8, 5, 0], [0, 5, 8, 82, 56, 326, 56, 368, 8, 109, 0, 6, 0], [0, 5, 9, 71, 108, 186, 294, 102, 204, 17, 25, 3, 0], [0, 5, 9, 72, 100, 214, 238, 172, 148, 45, 17, 4, 0], [0, 5, 9, 73, 92, 242, 182, 242, 92, 73, 9, 5, 0], [0, 5, 9, 74, 84, 270, 126, 312, 36, 101, 1, 6, 0], [0, 5, 10, 63, 136, 130, 364, 46, 232, 9, 26, 3, 0], [0, 5, 10, 64, 128, 158, 308, 116, 176, 37, 18, 4, 0], [0, 5, 10, 65, 120, 186, 252, 186, 120, 65, 10, 5, 0], [0, 5, 10, 66, 112, 214, 196, 256, 64, 93, 2, 6, 0], [0, 5, 10, 68, 97, 262, 112, 340, 22, 93, 14, 0, 1], [0, 5, 11, 56, 156, 102, 378, 60, 204, 29, 19, 4, 0], [0, 5, 11, 57, 148, 130, 322, 130, 148, 57, 11, 5, 0], [0, 5, 11, 58, 140, 158, 266, 200, 92, 85, 3, 6, 0], [0, 5, 11, 60, 125, 206, 182, 284, 50, 85, 15, 0, 1], [0, 5, 12, 48, 184, 46, 448, 4, 232, 21, 20, 4, 0], [0, 5, 12, 49, 176, 74, 392, 74, 176, 49, 12, 5, 0], [0, 5, 12, 50, 168, 102, 336, 144, 120, 77, 4, 6, 0], [0, 5, 12, 52, 153, 150, 252, 228, 78, 77, 16, 0, 1], [0, 5, 12, 53, 145, 178, 196, 298, 22, 105, 8, 1, 1], [0, 5, 13, 41, 204, 18, 462, 18, 204, 41, 13, 5, 0], [0, 5, 13, 42, 196, 46, 406, 88, 148, 69, 5, 6, 0], [0, 5, 13, 44, 181, 94, 322, 172, 106, 69, 17, 0, 1], [0, 5, 13, 45, 173, 122, 266, 242, 50, 97, 9, 1, 1], [0, 5, 14, 36, 209, 38, 392, 116, 134, 61, 18, 0, 1], [0, 5, 14, 37, 201, 66, 336, 186, 78, 89, 10, 1, 1], [0, 5, 14, 38, 193, 94, 280, 256, 22, 117, 2, 2, 1], [0, 5, 15, 29, 229, 10, 406, 130, 106, 81, 11, 1, 1], [0, 5, 15, 30, 221, 38, 350, 200, 50, 109, 3, 2, 1], [0, 6, 0, 107, 24, 312, 168, 186, 168, 26, 24, 3, 0], [0, 6, 0, 108, 16, 340, 112, 256, 112, 54, 16, 4, 0], [0, 6, 0, 109, 8, 368, 56, 326, 56, 82, 8, 5, 0], [0, 6, 0, 110, 0, 396, 0, 396, 0, 110, 0, 6, 0], [0, 6, 1, 99, 52, 256, 238, 130, 196, 18, 25, 3, 0], [0, 6, 1, 100, 44, 284, 182, 200, 140, 46, 17, 4, 0], [0, 6, 1, 101, 36, 312, 126, 270, 84, 74, 9, 5, 0], [0, 6, 1, 102, 28, 340, 70, 340, 28, 102, 1, 6, 0], [0, 6, 2, 91, 80, 200, 308, 74, 224, 10, 26, 3, 0], [0, 6, 2, 92, 72, 228, 252, 144, 168, 38, 18, 4, 0], [0, 6, 2, 93, 64, 256, 196, 214, 112, 66, 10, 5, 0], [0, 6, 2, 94, 56, 284, 140, 284, 56, 94, 2, 6, 0], [0, 6, 2, 96, 41, 332, 56, 368, 14, 94, 14, 0, 1], [0, 6, 3, 83, 108, 144, 378, 18, 252, 2, 27, 3, 0], [0, 6, 3, 84, 100, 172, 322, 88, 196, 30, 19, 4, 0], [0, 6, 3, 85, 92, 200, 266, 158, 140, 58, 11, 5, 0], [0, 6, 3, 86, 84, 228, 210, 228, 84, 86, 3, 6, 0], [0, 6, 3, 88, 69, 276, 126, 312, 42, 86, 15, 0, 1], [0, 6, 4, 76, 128, 116, 392, 32, 224, 22, 20, 4, 0], [0, 6, 4, 77, 120, 144, 336, 102, 168, 50, 12, 5, 0], [0, 6, 4, 78, 112, 172, 280, 172, 112, 78, 4, 6, 0], [0, 6, 4, 80, 97, 220, 196, 256, 70, 78, 16, 0, 1], [0, 6, 4, 81, 89, 248, 140, 326, 14, 106, 8, 1, 1], [0, 6, 5, 69, 148, 88, 406, 46, 196, 42, 13, 5, 0], [0, 6, 5, 70, 140, 116, 350, 116, 140, 70, 5, 6, 0], [0, 6, 5, 72, 125, 164, 266, 200, 98, 70, 17, 0, 1], [0, 6, 5, 73, 117, 192, 210, 270, 42, 98, 9, 1, 1], [0, 6, 6, 62, 168, 60, 420, 60, 168, 62, 6, 6, 0], [0, 6, 6, 64, 153, 108, 336, 144, 126, 62, 18, 0, 1], [0, 6, 6, 65, 145, 136, 280, 214, 70, 90, 10, 1, 1], [0, 6, 6, 66, 137, 164, 224, 284, 14, 118, 2, 2, 1], [0, 6, 7, 54, 196, 4, 490, 4, 196, 54, 7, 6, 0], [0, 6, 7, 56, 181, 52, 406, 88, 154, 54, 19, 0, 1], [0, 6, 7, 57, 173, 80, 350, 158, 98, 82, 11, 1, 1], [0, 6, 7, 58, 165, 108, 294, 228, 42, 110, 3, 2, 1], [0, 6, 8, 49, 201, 24, 420, 102, 126, 74, 12, 1, 1], [0, 6, 8, 50, 193, 52, 364, 172, 70, 102, 4, 2, 1], [0, 7, 0, 75, 160, 46, 448, 46, 160, 75, 0, 7, 0], [0, 7, 0, 76, 153, 66, 420, 60, 174, 47, 20, 0, 1], [0, 7, 0, 77, 145, 94, 364, 130, 118, 75, 12, 1, 1], [0, 7, 0, 78, 137, 122, 308, 200, 62, 103, 4, 2, 1], [0, 7, 1, 68, 181, 10, 490, 4, 202, 39, 21, 0, 1], [0, 7, 1, 69, 173, 38, 434, 74, 146, 67, 13, 1, 1], [0, 7, 1, 70, 165, 66, 378, 144, 90, 95, 5, 2, 1], [0, 7, 2, 62, 193, 10, 448, 88, 118, 87, 6, 2, 1], [1, 0, 13, 99, 10, 340, 154, 178, 181, 20, 25, 3, 0], [1, 0, 13, 100, 2, 368, 98, 248, 125, 48, 17, 4, 0], [1, 0, 14, 91, 38, 284, 224, 122, 209, 12, 26, 3, 0], [1, 0, 14, 92, 30, 312, 168, 192, 153, 40, 18, 4, 0], [1, 0, 14, 93, 22, 340, 112, 262, 97, 68, 10, 5, 0], [1, 0, 14, 94, 14, 368, 56, 332, 41, 96, 2, 6, 0], [1, 0, 15, 83, 66, 228, 294, 66, 237, 4, 27, 3, 0], [1, 0, 15, 84, 58, 256, 238, 136, 181, 32, 19, 4, 0], [1, 0, 15, 85, 50, 284, 182, 206, 125, 60, 11, 5, 0], [1, 0, 15, 86, 42, 312, 126, 276, 69, 88, 3, 6, 0], [1, 0, 15, 88, 27, 360, 42, 360, 27, 88, 15, 0, 1], [1, 0, 16, 76, 86, 200, 308, 80, 209, 24, 20, 4, 0], [1, 0, 16, 77, 78, 228, 252, 150, 153, 52, 12, 5, 0], [1, 0, 16, 78, 70, 256, 196, 220, 97, 80, 4, 6, 0], [1, 0, 16, 80, 55, 304, 112, 304, 55, 80, 16, 0, 1], [1, 0, 17, 68, 114, 144, 378, 24, 237, 16, 21, 4, 0], [1, 0, 17, 69, 106, 172, 322, 94, 181, 44, 13, 5, 0], [1, 0, 17, 70, 98, 200, 266, 164, 125, 72, 5, 6, 0], [1, 0, 17, 72, 83, 248, 182, 248, 83, 72, 17, 0, 1], [1, 0, 17, 73, 75, 276, 126, 318, 27, 100, 9, 1, 1], [1, 0, 18, 61, 134, 116, 392, 38, 209, 36, 14, 5, 0], [1, 0, 18, 62, 126, 144, 336, 108, 153, 64, 6, 6, 0], [1, 0, 18, 64, 111, 192, 252, 192, 111, 64, 18, 0, 1], [1, 0, 18, 65, 103, 220, 196, 262, 55, 92, 10, 1, 1], [1, 0, 19, 54, 154, 88, 406, 52, 181, 56, 7, 6, 0], [1, 0, 19, 56, 139, 136, 322, 136, 139, 56, 19, 0, 1], [1, 0, 19, 57, 131, 164, 266, 206, 83, 84, 11, 1, 1], [1, 0, 19, 58, 123, 192, 210, 276, 27, 112, 3, 2, 1], [1, 0, 20, 47, 174, 60, 420, 66, 153, 76, 0, 7, 0], [1, 0, 20, 48, 167, 80, 392, 80, 167, 48, 20, 0, 1], [1, 0, 20, 49, 159, 108, 336, 150, 111, 76, 12, 1, 1], [1, 0, 20, 50, 151, 136, 280, 220, 55, 104, 4, 2, 1], [1, 0, 21, 39, 202, 4, 490, 10, 181, 68, 1, 7, 0], [1, 0, 21, 40, 195, 24, 462, 24, 195, 40, 21, 0, 1], [1, 0, 21, 41, 187, 52, 406, 94, 139, 68, 13, 1, 1], [1, 0, 21, 42, 179, 80, 350, 164, 83, 96, 5, 2, 1], [1, 0, 22, 34, 207, 24, 420, 108, 111, 88, 6, 2, 1], [1, 1, 7, 111, 10, 298, 238, 94, 229, 5, 27, 3, 0], [1, 1, 7, 112, 2, 326, 182, 164, 173, 33, 19, 4, 0], [1, 1, 8, 104, 30, 270, 252, 108, 201, 25, 20, 4, 0], [1, 1, 8, 105, 22, 298, 196, 178, 145, 53, 12, 5, 0], [1, 1, 8, 106, 14, 326, 140, 248, 89, 81, 4, 6, 0], [1, 1, 9, 96, 58, 214, 322, 52, 229, 17, 21, 4, 0], [1, 1, 9, 97, 50, 242, 266, 122, 173, 45, 13, 5, 0], [1, 1, 9, 98, 42, 270, 210, 192, 117, 73, 5, 6, 0], [1, 1, 9, 100, 27, 318, 126, 276, 75, 73, 17, 0, 1], [1, 1, 9, 101, 19, 346, 70, 346, 19, 101, 9, 1, 1], [1, 1, 10, 89, 78, 186, 336, 66, 201, 37, 14, 5, 0], [1, 1, 10, 90, 70, 214, 280, 136, 145, 65, 6, 6, 0], [1, 1, 10, 92, 55, 262, 196, 220, 103, 65, 18, 0, 1], [1, 1, 10, 93, 47, 290, 140, 290, 47, 93, 10, 1, 1], [1, 1, 11, 81, 106, 130, 406, 10, 229, 29, 15, 5, 0], [1, 1, 11, 82, 98, 158, 350, 80, 173, 57, 7, 6, 0], [1, 1, 11, 84, 83, 206, 266, 164, 131, 57, 19, 0, 1], [1, 1, 11, 85, 75, 234, 210, 234, 75, 85, 11, 1, 1], [1, 1, 11, 86, 67, 262, 154, 304, 19, 113, 3, 2, 1], [1, 1, 12, 74, 126, 102, 420, 24, 201, 49, 8, 6, 0], [1, 1, 12, 75, 118, 130, 364, 94, 145, 77, 0, 7, 0], [1, 1, 12, 76, 111, 150, 336, 108, 159, 49, 20, 0, 1], [1, 1, 12, 77, 103, 178, 280, 178, 103, 77, 12, 1, 1], [1, 1, 12, 78, 95, 206, 224, 248, 47, 105, 4, 2, 1], [1, 1, 13, 67, 146, 74, 434, 38, 173, 69, 1, 7, 0], [1, 1, 13, 68, 139, 94, 406, 52, 187, 41, 21, 0, 1], [1, 1, 13, 69, 131, 122, 350, 122, 131, 69, 13, 1, 1], [1, 1, 13, 70, 123, 150, 294, 192, 75, 97, 5, 2, 1], [1, 1, 14, 61, 159, 66, 420, 66, 159, 61, 14, 1, 1], [1, 1, 14, 62, 151, 94, 364, 136, 103, 89, 6, 2, 1], [1, 1, 15, 53, 187, 10, 490, 10, 187, 53, 15, 1, 1], [1, 1, 15, 54, 179, 38, 434, 80, 131, 81, 7, 2, 1], [1, 1, 16, 47, 199, 10, 448, 94, 103, 101, 0, 3, 1], [1, 2, 1, 124, 2, 284, 266, 80, 221, 18, 21, 4, 0], [1, 2, 2, 116, 30, 228, 336, 24, 249, 10, 22, 4, 0], [1, 2, 2, 117, 22, 256, 280, 94, 193, 38, 14, 5, 0], [1, 2, 2, 118, 14, 284, 224, 164, 137, 66, 6, 6, 0], [1, 2, 3, 109, 50, 200, 350, 38, 221, 30, 15, 5, 0], [1, 2, 3, 110, 42, 228, 294, 108, 165, 58, 7, 6, 0], [1, 2, 3, 112, 27, 276, 210, 192, 123, 58, 19, 0, 1], [1, 2, 3, 113, 19, 304, 154, 262, 67, 86, 11, 1, 1], [1, 2, 3, 114, 11, 332, 98, 332, 11, 114, 3, 2, 1], [1, 2, 4, 102, 70, 172, 364, 52, 193, 50, 8, 6, 0], [1, 2, 4, 103, 62, 200, 308, 122, 137, 78, 0, 7, 0], [1, 2, 4, 104, 55, 220, 280, 136, 151, 50, 20, 0, 1], [1, 2, 4, 105, 47, 248, 224, 206, 95, 78, 12, 1, 1], [1, 2, 4, 106, 39, 276, 168, 276, 39, 106, 4, 2, 1], [1, 2, 5, 95, 90, 144, 378, 66, 165, 70, 1, 7, 0], [1, 2, 5, 96, 83, 164, 350, 80, 179, 42, 21, 0, 1], [1, 2, 5, 97, 75, 192, 294, 150, 123, 70, 13, 1, 1], [1, 2, 5, 98, 67, 220, 238, 220, 67, 98, 5, 2, 1], [1, 2, 6, 87, 118, 88, 448, 10, 193, 62, 2, 7, 0], [1, 2, 6, 88, 111, 108, 420, 24, 207, 34, 22, 0, 1], [1, 2, 6, 89, 103, 136, 364, 94, 151, 62, 14, 1, 1], [1, 2, 6, 90, 95, 164, 308, 164, 95, 90, 6, 2, 1], [1, 2, 7, 81, 131, 80, 434, 38, 179, 54, 15, 1, 1], [1, 2, 7, 82, 123, 108, 378, 108, 123, 82, 7, 2, 1], [1, 2, 8, 74, 151, 52, 448, 52, 151, 74, 8, 2, 1], [1, 2, 8, 75, 143, 80, 392, 122, 95, 102, 0, 3, 1], [1, 2, 9, 67, 171, 24, 462, 66, 123, 94, 1, 3, 1], [1, 3, 0, 101, 103, 94, 448, 10, 199, 47, 16, 1, 1], [1, 3, 0, 102, 95, 122, 392, 80, 143, 75, 8, 2, 1], [1, 3, 0, 103, 87, 150, 336, 150, 87, 103, 0, 3, 1], [1, 3, 1, 94, 123, 66, 462, 24, 171, 67, 9, 2, 1], [1, 3, 1, 95, 115, 94, 406, 94, 115, 95, 1, 3, 1], [1, 3, 2, 87, 143, 38, 476, 38, 143, 87, 2, 3, 1]}