-------
(12, 1024, 7) ALL distance distributions for EXTERNAL point
(7, 1024, 7) has 0 possible DDs: {}
(8, 1024, 7) has 1 possible DDs: {[0, 64, 0, 448, 0, 448, 0, 64, 0]}
(9, 1024, 7) has 5 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]}
(10, 1024, 7) has 20 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]}
(11, 1024, 7) has 65 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]}
(12, 1024, 7) has 197 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]}