-------
(11, 768, 6) Remaining distance distributions for EXTERNAL point
(6, 768, 6) has 0 possible DDs: {}
(7, 768, 6) has 1 possible DDs: {[0, 84, 0, 420, 0, 252, 0, 12]}
(8, 768, 6) has 7 possible DDs: {[0, 42, 42, 210, 210, 126, 126, 6, 6], [0, 43, 35, 231, 175, 161, 105, 13, 5], [0, 44, 28, 252, 140, 196, 84, 20, 4], [0, 45, 21, 273, 105, 231, 63, 27, 3], [0, 46, 14, 294, 70, 266, 42, 34, 2], [0, 47, 7, 315, 35, 301, 21, 41, 1], [0, 48, 0, 336, 0, 336, 0, 48, 0]}
(9, 768, 6) has 39 possible DDs: {[0, 17, 70, 42, 350, 28, 210, 38, 10, 3], [0, 18, 62, 70, 294, 98, 154, 66, 2, 4], [0, 18, 63, 63, 315, 63, 189, 45, 9, 3], [0, 19, 55, 91, 259, 133, 133, 73, 1, 4], [0, 19, 56, 84, 280, 98, 168, 52, 8, 3], [0, 19, 57, 77, 301, 63, 203, 31, 15, 2], [0, 19, 58, 70, 322, 28, 238, 10, 22, 1], [0, 20, 48, 112, 224, 168, 112, 80, 0, 4], [0, 20, 49, 105, 245, 133, 147, 59, 7, 3], [0, 20, 50, 98, 266, 98, 182, 38, 14, 2], [0, 20, 51, 91, 287, 63, 217, 17, 21, 1], [0, 21, 42, 126, 210, 168, 126, 66, 6, 3], [0, 21, 43, 119, 231, 133, 161, 45, 13, 2], [0, 21, 44, 112, 252, 98, 196, 24, 20, 1], [0, 21, 45, 105, 273, 63, 231, 3, 27, 0], [0, 22, 35, 147, 175, 203, 105, 73, 5, 3], [0, 22, 36, 140, 196, 168, 140, 52, 12, 2], [0, 22, 37, 133, 217, 133, 175, 31, 19, 1], [0, 22, 38, 126, 238, 98, 210, 10, 26, 0], [0, 23, 28, 168, 140, 238, 84, 80, 4, 3], [0, 23, 29, 161, 161, 203, 119, 59, 11, 2], [0, 23, 30, 154, 182, 168, 154, 38, 18, 1], [0, 23, 31, 147, 203, 133, 189, 17, 25, 0], [0, 24, 21, 189, 105, 273, 63, 87, 3, 3], [0, 24, 22, 182, 126, 238, 98, 66, 10, 2], [0, 24, 23, 175, 147, 203, 133, 45, 17, 1], [0, 24, 24, 168, 168, 168, 168, 24, 24, 0], [0, 25, 14, 210, 70, 308, 42, 94, 2, 3], [0, 25, 15, 203, 91, 273, 77, 73, 9, 2], [0, 25, 16, 196, 112, 238, 112, 52, 16, 1], [0, 25, 17, 189, 133, 203, 147, 31, 23, 0], [0, 26, 7, 231, 35, 343, 21, 101, 1, 3], [0, 26, 8, 224, 56, 308, 56, 80, 8, 2], [0, 26, 9, 217, 77, 273, 91, 59, 15, 1], [0, 26, 10, 210, 98, 238, 126, 38, 22, 0], [0, 27, 0, 252, 0, 378, 0, 108, 0, 3], [0, 27, 1, 245, 21, 343, 35, 87, 7, 2], [0, 27, 2, 238, 42, 308, 70, 66, 14, 1], [0, 27, 3, 231, 63, 273, 105, 45, 21, 0]}
(10, 768, 6) has 88 possible DDs: {[0, 6, 57, 30, 210, 210, 84, 138, 30, 0, 3], [0, 6, 58, 24, 224, 196, 84, 152, 16, 6, 2], [0, 7, 50, 51, 175, 245, 63, 145, 29, 0, 3], [0, 7, 51, 45, 189, 231, 63, 159, 15, 6, 2], [0, 7, 52, 38, 210, 196, 98, 138, 22, 5, 2], [0, 7, 53, 31, 231, 161, 133, 117, 29, 4, 2], [0, 7, 54, 24, 252, 126, 168, 96, 36, 3, 2], [0, 7, 54, 25, 245, 147, 133, 131, 15, 10, 1], [0, 8, 45, 59, 175, 231, 77, 145, 21, 5, 2], [0, 8, 46, 52, 196, 196, 112, 124, 28, 4, 2], [0, 8, 47, 45, 217, 161, 147, 103, 35, 3, 2], [0, 8, 47, 46, 210, 182, 112, 138, 14, 10, 1], [0, 8, 48, 38, 238, 126, 182, 82, 42, 2, 2], [0, 8, 48, 39, 231, 147, 147, 117, 21, 9, 1], [0, 8, 49, 32, 252, 112, 182, 96, 28, 8, 1], [0, 9, 38, 80, 140, 266, 56, 152, 20, 5, 2], [0, 9, 39, 73, 161, 231, 91, 131, 27, 4, 2], [0, 9, 40, 66, 182, 196, 126, 110, 34, 3, 2], [0, 9, 40, 67, 175, 217, 91, 145, 13, 10, 1], [0, 9, 41, 59, 203, 161, 161, 89, 41, 2, 2], [0, 9, 41, 60, 196, 182, 126, 124, 20, 9, 1], [0, 9, 42, 52, 224, 126, 196, 68, 48, 1, 2], [0, 9, 42, 53, 217, 147, 161, 103, 27, 8, 1], [0, 9, 42, 54, 210, 168, 126, 138, 6, 15, 0], [0, 9, 43, 46, 238, 112, 196, 82, 34, 7, 1], [0, 9, 43, 47, 231, 133, 161, 117, 13, 14, 0], [0, 9, 44, 40, 252, 98, 196, 96, 20, 13, 0], [0, 10, 32, 94, 126, 266, 70, 138, 26, 4, 2], [0, 10, 33, 87, 147, 231, 105, 117, 33, 3, 2], [0, 10, 33, 88, 140, 252, 70, 152, 12, 10, 1], [0, 10, 34, 80, 168, 196, 140, 96, 40, 2, 2], [0, 10, 34, 81, 161, 217, 105, 131, 19, 9, 1], [0, 10, 35, 73, 189, 161, 175, 75, 47, 1, 2], [0, 10, 35, 74, 182, 182, 140, 110, 26, 8, 1], [0, 10, 35, 75, 175, 203, 105, 145, 5, 15, 0], [0, 10, 36, 66, 210, 126, 210, 54, 54, 0, 2], [0, 10, 36, 67, 203, 147, 175, 89, 33, 7, 1], [0, 10, 36, 68, 196, 168, 140, 124, 12, 14, 0], [0, 10, 37, 60, 224, 112, 210, 68, 40, 6, 1], [0, 10, 37, 61, 217, 133, 175, 103, 19, 13, 0], [0, 10, 38, 54, 238, 98, 210, 82, 26, 12, 0], [0, 11, 26, 108, 112, 266, 84, 124, 32, 3, 2], [0, 11, 27, 101, 133, 231, 119, 103, 39, 2, 2], [0, 11, 27, 102, 126, 252, 84, 138, 18, 9, 1], [0, 11, 28, 94, 154, 196, 154, 82, 46, 1, 2], [0, 11, 28, 95, 147, 217, 119, 117, 25, 8, 1], [0, 11, 29, 87, 175, 161, 189, 61, 53, 0, 2], [0, 11, 29, 88, 168, 182, 154, 96, 32, 7, 1], [0, 11, 29, 89, 161, 203, 119, 131, 11, 14, 0], [0, 11, 30, 81, 189, 147, 189, 75, 39, 6, 1], [0, 11, 30, 82, 182, 168, 154, 110, 18, 13, 0], [0, 11, 31, 74, 210, 112, 224, 54, 46, 5, 1], [0, 11, 31, 75, 203, 133, 189, 89, 25, 12, 0], [0, 11, 32, 68, 224, 98, 224, 68, 32, 11, 0], [0, 12, 20, 122, 98, 266, 98, 110, 38, 2, 2], [0, 12, 21, 115, 119, 231, 133, 89, 45, 1, 2], [0, 12, 21, 116, 112, 252, 98, 124, 24, 8, 1], [0, 12, 22, 108, 140, 196, 168, 68, 52, 0, 2], [0, 12, 22, 109, 133, 217, 133, 103, 31, 7, 1], [0, 12, 22, 110, 126, 238, 98, 138, 10, 14, 0], [0, 12, 23, 102, 154, 182, 168, 82, 38, 6, 1], [0, 12, 23, 103, 147, 203, 133, 117, 17, 13, 0], [0, 12, 24, 95, 175, 147, 203, 61, 45, 5, 1], [0, 12, 24, 96, 168, 168, 168, 96, 24, 12, 0], [0, 12, 25, 88, 196, 112, 238, 40, 52, 4, 1], [0, 12, 25, 89, 189, 133, 203, 75, 31, 11, 0], [0, 12, 26, 82, 210, 98, 238, 54, 38, 10, 0], [0, 13, 14, 136, 84, 266, 112, 96, 44, 1, 2], [0, 13, 15, 129, 105, 231, 147, 75, 51, 0, 2], [0, 13, 15, 130, 98, 252, 112, 110, 30, 7, 1], [0, 13, 16, 123, 119, 217, 147, 89, 37, 6, 1], [0, 13, 16, 124, 112, 238, 112, 124, 16, 13, 0], [0, 13, 17, 116, 140, 182, 182, 68, 44, 5, 1], [0, 13, 17, 117, 133, 203, 147, 103, 23, 12, 0], [0, 13, 18, 109, 161, 147, 217, 47, 51, 4, 1], [0, 13, 18, 110, 154, 168, 182, 82, 30, 11, 0], [0, 13, 19, 103, 175, 133, 217, 61, 37, 10, 0], [0, 13, 20, 96, 196, 98, 252, 40, 44, 9, 0], [0, 14, 9, 144, 84, 252, 126, 96, 36, 6, 1], [0, 14, 10, 137, 105, 217, 161, 75, 43, 5, 1], [0, 14, 10, 138, 98, 238, 126, 110, 22, 12, 0], [0, 14, 11, 130, 126, 182, 196, 54, 50, 4, 1], [0, 14, 11, 131, 119, 203, 161, 89, 29, 11, 0], [0, 14, 12, 123, 147, 147, 231, 33, 57, 3, 1], [0, 14, 12, 124, 140, 168, 196, 68, 36, 10, 0], [0, 14, 13, 117, 161, 133, 231, 47, 43, 9, 0], [0, 15, 5, 145, 105, 203, 175, 75, 35, 10, 0], [0, 15, 6, 138, 126, 168, 210, 54, 42, 9, 0]}
(11, 768, 6) has 399 possible DDs: {[0, 0, 47, 17, 123, 259, 77, 153, 73, 17, 0, 2], [0, 0, 48, 10, 144, 224, 112, 132, 80, 16, 0, 2], [0, 1, 40, 37, 95, 273, 91, 125, 93, 10, 1, 2], [0, 1, 40, 38, 88, 294, 56, 160, 72, 17, 0, 2], [0, 1, 41, 30, 116, 238, 126, 104, 100, 9, 1, 2], [0, 1, 41, 31, 109, 259, 91, 139, 79, 16, 0, 2], [0, 1, 42, 23, 137, 203, 161, 83, 107, 8, 1, 2], [0, 1, 42, 24, 130, 224, 126, 118, 86, 15, 0, 2], [0, 1, 42, 26, 117, 259, 77, 153, 79, 8, 5, 1], [0, 1, 43, 17, 151, 189, 161, 97, 93, 14, 0, 2], [0, 1, 43, 19, 138, 224, 112, 132, 86, 7, 5, 1], [0, 1, 43, 20, 131, 245, 77, 167, 65, 14, 4, 1], [0, 1, 44, 12, 159, 189, 147, 111, 93, 6, 5, 1], [0, 1, 44, 13, 152, 210, 112, 146, 72, 13, 4, 1], [0, 1, 44, 14, 145, 231, 77, 181, 51, 20, 3, 1], [0, 1, 45, 6, 173, 175, 147, 125, 79, 12, 4, 1], [0, 2, 33, 59, 53, 329, 35, 167, 71, 17, 0, 2], [0, 2, 34, 51, 81, 273, 105, 111, 99, 9, 1, 2], [0, 2, 34, 52, 74, 294, 70, 146, 78, 16, 0, 2], [0, 2, 35, 44, 102, 238, 140, 90, 106, 8, 1, 2], [0, 2, 35, 45, 95, 259, 105, 125, 85, 15, 0, 2], [0, 2, 35, 47, 82, 294, 56, 160, 78, 8, 5, 1], [0, 2, 36, 37, 123, 203, 175, 69, 113, 7, 1, 2], [0, 2, 36, 38, 116, 224, 140, 104, 92, 14, 0, 2], [0, 2, 36, 40, 103, 259, 91, 139, 85, 7, 5, 1], [0, 2, 36, 41, 96, 280, 56, 174, 64, 14, 4, 1], [0, 2, 37, 31, 137, 189, 175, 83, 99, 13, 0, 2], [0, 2, 37, 33, 124, 224, 126, 118, 92, 6, 5, 1], [0, 2, 37, 34, 117, 245, 91, 153, 71, 13, 4, 1], [0, 2, 37, 35, 110, 266, 56, 188, 50, 20, 3, 1], [0, 2, 38, 24, 158, 154, 210, 62, 106, 12, 0, 2], [0, 2, 38, 26, 145, 189, 161, 97, 99, 5, 5, 1], [0, 2, 38, 27, 138, 210, 126, 132, 78, 12, 4, 1], [0, 2, 38, 28, 131, 231, 91, 167, 57, 19, 3, 1], [0, 2, 38, 29, 125, 245, 77, 167, 71, 5, 9, 0], [0, 2, 39, 17, 179, 119, 245, 41, 113, 11, 0, 2], [0, 2, 39, 20, 159, 175, 161, 111, 85, 11, 4, 1], [0, 2, 39, 21, 152, 196, 126, 146, 64, 18, 3, 1], [0, 2, 39, 22, 145, 217, 91, 181, 43, 25, 2, 1], [0, 2, 39, 22, 146, 210, 112, 146, 78, 4, 9, 0], [0, 2, 39, 23, 139, 231, 77, 181, 57, 11, 8, 0], [0, 2, 40, 10, 200, 84, 280, 20, 120, 10, 0, 2], [0, 2, 40, 14, 173, 161, 161, 125, 71, 17, 3, 1], [0, 2, 40, 15, 166, 182, 126, 160, 50, 24, 2, 1], [0, 2, 40, 15, 167, 175, 147, 125, 85, 3, 9, 0], [0, 2, 40, 16, 160, 196, 112, 160, 64, 10, 8, 0], [0, 2, 40, 17, 153, 217, 77, 195, 43, 17, 7, 0], [0, 2, 41, 8, 187, 147, 161, 139, 57, 23, 2, 1], [0, 2, 41, 9, 181, 161, 147, 139, 71, 9, 8, 0], [0, 2, 41, 10, 174, 182, 112, 174, 50, 16, 7, 0], [0, 3, 28, 65, 67, 273, 119, 97, 105, 8, 1, 2], [0, 3, 28, 66, 60, 294, 84, 132, 84, 15, 0, 2], [0, 3, 29, 58, 88, 238, 154, 76, 112, 7, 1, 2], [0, 3, 29, 59, 81, 259, 119, 111, 91, 14, 0, 2], [0, 3, 29, 61, 68, 294, 70, 146, 84, 7, 5, 1], [0, 3, 30, 52, 102, 224, 154, 90, 98, 13, 0, 2], [0, 3, 30, 54, 89, 259, 105, 125, 91, 6, 5, 1], [0, 3, 30, 55, 82, 280, 70, 160, 70, 13, 4, 1], [0, 3, 31, 45, 123, 189, 189, 69, 105, 12, 0, 2], [0, 3, 31, 47, 110, 224, 140, 104, 98, 5, 5, 1], [0, 3, 31, 48, 103, 245, 105, 139, 77, 12, 4, 1], [0, 3, 31, 49, 96, 266, 70, 174, 56, 19, 3, 1], [0, 3, 31, 50, 90, 280, 56, 174, 70, 5, 9, 0], [0, 3, 32, 38, 144, 154, 224, 48, 112, 11, 0, 2], [0, 3, 32, 40, 131, 189, 175, 83, 105, 4, 5, 1], [0, 3, 32, 41, 124, 210, 140, 118, 84, 11, 4, 1], [0, 3, 32, 42, 117, 231, 105, 153, 63, 18, 3, 1], [0, 3, 32, 43, 110, 252, 70, 188, 42, 25, 2, 1], [0, 3, 32, 43, 111, 245, 91, 153, 77, 4, 9, 0], [0, 3, 32, 44, 104, 266, 56, 188, 56, 11, 8, 0], [0, 3, 33, 31, 165, 119, 259, 27, 119, 10, 0, 2], [0, 3, 33, 34, 145, 175, 175, 97, 91, 10, 4, 1], [0, 3, 33, 35, 138, 196, 140, 132, 70, 17, 3, 1], [0, 3, 33, 36, 131, 217, 105, 167, 49, 24, 2, 1], [0, 3, 33, 36, 132, 210, 126, 132, 84, 3, 9, 0], [0, 3, 33, 37, 125, 231, 91, 167, 63, 10, 8, 0], [0, 3, 33, 38, 118, 252, 56, 202, 42, 17, 7, 0], [0, 3, 34, 27, 166, 140, 210, 76, 98, 9, 4, 1], [0, 3, 34, 28, 159, 161, 175, 111, 77, 16, 3, 1], [0, 3, 34, 29, 152, 182, 140, 146, 56, 23, 2, 1], [0, 3, 34, 29, 153, 175, 161, 111, 91, 2, 9, 0], [0, 3, 34, 30, 145, 203, 105, 181, 35, 30, 1, 1], [0, 3, 34, 30, 146, 196, 126, 146, 70, 9, 8, 0], [0, 3, 34, 31, 139, 217, 91, 181, 49, 16, 7, 0], [0, 3, 35, 21, 180, 126, 210, 90, 84, 15, 3, 1], [0, 3, 35, 22, 173, 147, 175, 125, 63, 22, 2, 1], [0, 3, 35, 23, 166, 168, 140, 160, 42, 29, 1, 1], [0, 3, 35, 23, 167, 161, 161, 125, 77, 8, 8, 0], [0, 3, 35, 24, 160, 182, 126, 160, 56, 15, 7, 0], [0, 3, 35, 25, 153, 203, 91, 195, 35, 22, 6, 0], [0, 3, 36, 15, 194, 112, 210, 104, 70, 21, 2, 1], [0, 3, 36, 16, 187, 133, 175, 139, 49, 28, 1, 1], [0, 3, 36, 17, 180, 154, 140, 174, 28, 35, 0, 1], [0, 3, 36, 17, 181, 147, 161, 139, 63, 14, 7, 0], [0, 3, 36, 18, 174, 168, 126, 174, 42, 21, 6, 0], [0, 3, 37, 11, 195, 133, 161, 153, 49, 20, 6, 0], [0, 4, 22, 80, 46, 294, 98, 118, 90, 14, 0, 2], [0, 4, 23, 73, 67, 259, 133, 97, 97, 13, 0, 2], [0, 4, 24, 66, 88, 224, 168, 76, 104, 12, 0, 2], [0, 4, 24, 68, 75, 259, 119, 111, 97, 5, 5, 1], [0, 4, 24, 69, 68, 280, 84, 146, 76, 12, 4, 1], [0, 4, 24, 70, 61, 301, 49, 181, 55, 19, 3, 1], [0, 4, 25, 59, 109, 189, 203, 55, 111, 11, 0, 2], [0, 4, 25, 61, 96, 224, 154, 90, 104, 4, 5, 1], [0, 4, 25, 62, 89, 245, 119, 125, 83, 11, 4, 1], [0, 4, 25, 63, 82, 266, 84, 160, 62, 18, 3, 1], [0, 4, 25, 64, 75, 287, 49, 195, 41, 25, 2, 1], [0, 4, 25, 64, 76, 280, 70, 160, 76, 4, 9, 0], [0, 4, 26, 52, 130, 154, 238, 34, 118, 10, 0, 2], [0, 4, 26, 54, 117, 189, 189, 69, 111, 3, 5, 1], [0, 4, 26, 55, 110, 210, 154, 104, 90, 10, 4, 1], [0, 4, 26, 56, 103, 231, 119, 139, 69, 17, 3, 1], [0, 4, 26, 57, 96, 252, 84, 174, 48, 24, 2, 1], [0, 4, 26, 57, 97, 245, 105, 139, 83, 3, 9, 0], [0, 4, 26, 58, 90, 266, 70, 174, 62, 10, 8, 0], [0, 4, 27, 48, 131, 175, 189, 83, 97, 9, 4, 1], [0, 4, 27, 49, 124, 196, 154, 118, 76, 16, 3, 1], [0, 4, 27, 50, 117, 217, 119, 153, 55, 23, 2, 1], [0, 4, 27, 50, 118, 210, 140, 118, 90, 2, 9, 0], [0, 4, 27, 51, 110, 238, 84, 188, 34, 30, 1, 1], [0, 4, 27, 51, 111, 231, 105, 153, 69, 9, 8, 0], [0, 4, 27, 52, 104, 252, 70, 188, 48, 16, 7, 0], [0, 4, 28, 42, 145, 161, 189, 97, 83, 15, 3, 1], [0, 4, 28, 43, 138, 182, 154, 132, 62, 22, 2, 1], [0, 4, 28, 43, 139, 175, 175, 97, 97, 1, 9, 0], [0, 4, 28, 44, 131, 203, 119, 167, 41, 29, 1, 1], [0, 4, 28, 44, 132, 196, 140, 132, 76, 8, 8, 0], [0, 4, 28, 45, 125, 217, 105, 167, 55, 15, 7, 0], [0, 4, 28, 46, 118, 238, 70, 202, 34, 22, 6, 0], [0, 4, 29, 35, 166, 126, 224, 76, 90, 14, 3, 1], [0, 4, 29, 36, 159, 147, 189, 111, 69, 21, 2, 1], [0, 4, 29, 37, 152, 168, 154, 146, 48, 28, 1, 1], [0, 4, 29, 37, 153, 161, 175, 111, 83, 7, 8, 0], [0, 4, 29, 38, 145, 189, 119, 181, 27, 35, 0, 1], [0, 4, 29, 38, 146, 182, 140, 146, 62, 14, 7, 0], [0, 4, 29, 39, 139, 203, 105, 181, 41, 21, 6, 0], [0, 4, 30, 28, 187, 91, 259, 55, 97, 13, 3, 1], [0, 4, 30, 29, 180, 112, 224, 90, 76, 20, 2, 1], [0, 4, 30, 30, 173, 133, 189, 125, 55, 27, 1, 1], [0, 4, 30, 30, 174, 126, 210, 90, 90, 6, 8, 0], [0, 4, 30, 31, 166, 154, 154, 160, 34, 34, 0, 1], [0, 4, 30, 31, 167, 147, 175, 125, 69, 13, 7, 0], [0, 4, 30, 32, 160, 168, 140, 160, 48, 20, 6, 0], [0, 4, 30, 33, 153, 189, 105, 195, 27, 27, 5, 0], [0, 4, 31, 22, 201, 77, 259, 69, 83, 19, 2, 1], [0, 4, 31, 23, 194, 98, 224, 104, 62, 26, 1, 1], [0, 4, 31, 23, 195, 91, 245, 69, 97, 5, 8, 0], [0, 4, 31, 24, 187, 119, 189, 139, 41, 33, 0, 1], [0, 4, 31, 24, 188, 112, 210, 104, 76, 12, 7, 0], [0, 4, 31, 25, 181, 133, 175, 139, 55, 19, 6, 0], [0, 4, 31, 26, 174, 154, 140, 174, 34, 26, 5, 0], [0, 4, 32, 16, 216, 56, 280, 48, 104, 4, 8, 0], [0, 4, 32, 17, 209, 77, 245, 83, 83, 11, 7, 0], [0, 4, 32, 18, 202, 98, 210, 118, 62, 18, 6, 0], [0, 4, 32, 19, 195, 119, 175, 153, 41, 25, 5, 0], [0, 4, 32, 20, 188, 140, 140, 188, 20, 32, 4, 0], [0, 5, 17, 87, 53, 259, 147, 83, 103, 12, 0, 2], [0, 5, 18, 80, 74, 224, 182, 62, 110, 11, 0, 2], [0, 5, 18, 82, 61, 259, 133, 97, 103, 4, 5, 1], [0, 5, 18, 83, 54, 280, 98, 132, 82, 11, 4, 1], [0, 5, 18, 84, 47, 301, 63, 167, 61, 18, 3, 1], [0, 5, 19, 73, 95, 189, 217, 41, 117, 10, 0, 2], [0, 5, 19, 75, 82, 224, 168, 76, 110, 3, 5, 1], [0, 5, 19, 76, 75, 245, 133, 111, 89, 10, 4, 1], [0, 5, 19, 77, 68, 266, 98, 146, 68, 17, 3, 1], [0, 5, 19, 78, 61, 287, 63, 181, 47, 24, 2, 1], [0, 5, 19, 78, 62, 280, 84, 146, 82, 3, 9, 0], [0, 5, 20, 69, 96, 210, 168, 90, 96, 9, 4, 1], [0, 5, 20, 70, 89, 231, 133, 125, 75, 16, 3, 1], [0, 5, 20, 71, 82, 252, 98, 160, 54, 23, 2, 1], [0, 5, 20, 71, 83, 245, 119, 125, 89, 2, 9, 0], [0, 5, 20, 72, 75, 273, 63, 195, 33, 30, 1, 1], [0, 5, 20, 72, 76, 266, 84, 160, 68, 9, 8, 0], [0, 5, 20, 73, 69, 287, 49, 195, 47, 16, 7, 0], [0, 5, 21, 62, 117, 175, 203, 69, 103, 8, 4, 1], [0, 5, 21, 63, 110, 196, 168, 104, 82, 15, 3, 1], [0, 5, 21, 64, 103, 217, 133, 139, 61, 22, 2, 1], [0, 5, 21, 64, 104, 210, 154, 104, 96, 1, 9, 0], [0, 5, 21, 65, 96, 238, 98, 174, 40, 29, 1, 1], [0, 5, 21, 65, 97, 231, 119, 139, 75, 8, 8, 0], [0, 5, 21, 66, 90, 252, 84, 174, 54, 15, 7, 0], [0, 5, 21, 67, 83, 273, 49, 209, 33, 22, 6, 0], [0, 5, 22, 56, 131, 161, 203, 83, 89, 14, 3, 1], [0, 5, 22, 57, 124, 182, 168, 118, 68, 21, 2, 1], [0, 5, 22, 58, 117, 203, 133, 153, 47, 28, 1, 1], [0, 5, 22, 58, 118, 196, 154, 118, 82, 7, 8, 0], [0, 5, 22, 59, 110, 224, 98, 188, 26, 35, 0, 1], [0, 5, 22, 59, 111, 217, 119, 153, 61, 14, 7, 0], [0, 5, 22, 60, 104, 238, 84, 188, 40, 21, 6, 0], [0, 5, 23, 49, 152, 126, 238, 62, 96, 13, 3, 1], [0, 5, 23, 50, 145, 147, 203, 97, 75, 20, 2, 1], [0, 5, 23, 51, 138, 168, 168, 132, 54, 27, 1, 1], [0, 5, 23, 51, 139, 161, 189, 97, 89, 6, 8, 0], [0, 5, 23, 52, 131, 189, 133, 167, 33, 34, 0, 1], [0, 5, 23, 52, 132, 182, 154, 132, 68, 13, 7, 0], [0, 5, 23, 53, 125, 203, 119, 167, 47, 20, 6, 0], [0, 5, 23, 54, 118, 224, 84, 202, 26, 27, 5, 0], [0, 5, 24, 42, 173, 91, 273, 41, 103, 12, 3, 1], [0, 5, 24, 43, 166, 112, 238, 76, 82, 19, 2, 1], [0, 5, 24, 44, 159, 133, 203, 111, 61, 26, 1, 1], [0, 5, 24, 44, 160, 126, 224, 76, 96, 5, 8, 0], [0, 5, 24, 45, 152, 154, 168, 146, 40, 33, 0, 1], [0, 5, 24, 45, 153, 147, 189, 111, 75, 12, 7, 0], [0, 5, 24, 46, 146, 168, 154, 146, 54, 19, 6, 0], [0, 5, 24, 47, 139, 189, 119, 181, 33, 26, 5, 0], [0, 5, 25, 36, 187, 77, 273, 55, 89, 18, 2, 1], [0, 5, 25, 37, 180, 98, 238, 90, 68, 25, 1, 1], [0, 5, 25, 37, 181, 91, 259, 55, 103, 4, 8, 0], [0, 5, 25, 38, 173, 119, 203, 125, 47, 32, 0, 1], [0, 5, 25, 38, 174, 112, 224, 90, 82, 11, 7, 0], [0, 5, 25, 39, 167, 133, 189, 125, 61, 18, 6, 0], [0, 5, 25, 40, 160, 154, 154, 160, 40, 25, 5, 0], [0, 5, 25, 41, 153, 175, 119, 195, 19, 32, 4, 0], [0, 5, 26, 30, 201, 63, 273, 69, 75, 24, 1, 1], [0, 5, 26, 31, 194, 84, 238, 104, 54, 31, 0, 1], [0, 5, 26, 31, 195, 77, 259, 69, 89, 10, 7, 0], [0, 5, 26, 32, 188, 98, 224, 104, 68, 17, 6, 0], [0, 5, 26, 33, 181, 119, 189, 139, 47, 24, 5, 0], [0, 5, 26, 34, 174, 140, 154, 174, 26, 31, 4, 0], [0, 5, 27, 25, 209, 63, 259, 83, 75, 16, 6, 0], [0, 5, 27, 26, 202, 84, 224, 118, 54, 23, 5, 0], [0, 5, 27, 27, 195, 105, 189, 153, 33, 30, 4, 0], [0, 6, 12, 94, 60, 224, 196, 48, 116, 10, 0, 2], [0, 6, 13, 90, 61, 245, 147, 97, 95, 9, 4, 1], [0, 6, 13, 91, 54, 266, 112, 132, 74, 16, 3, 1], [0, 6, 13, 92, 47, 287, 77, 167, 53, 23, 2, 1], [0, 6, 14, 83, 82, 210, 182, 76, 102, 8, 4, 1], [0, 6, 14, 84, 75, 231, 147, 111, 81, 15, 3, 1], [0, 6, 14, 85, 68, 252, 112, 146, 60, 22, 2, 1], [0, 6, 14, 85, 69, 245, 133, 111, 95, 1, 9, 0], [0, 6, 14, 86, 61, 273, 77, 181, 39, 29, 1, 1], [0, 6, 14, 86, 62, 266, 98, 146, 74, 8, 8, 0], [0, 6, 14, 87, 55, 287, 63, 181, 53, 15, 7, 0], [0, 6, 15, 76, 103, 175, 217, 55, 109, 7, 4, 1], [0, 6, 15, 77, 96, 196, 182, 90, 88, 14, 3, 1], [0, 6, 15, 78, 89, 217, 147, 125, 67, 21, 2, 1], [0, 6, 15, 79, 82, 238, 112, 160, 46, 28, 1, 1], [0, 6, 15, 79, 83, 231, 133, 125, 81, 7, 8, 0], [0, 6, 15, 80, 75, 259, 77, 195, 25, 35, 0, 1], [0, 6, 15, 80, 76, 252, 98, 160, 60, 14, 7, 0], [0, 6, 15, 81, 69, 273, 63, 195, 39, 21, 6, 0], [0, 6, 16, 70, 117, 161, 217, 69, 95, 13, 3, 1], [0, 6, 16, 71, 110, 182, 182, 104, 74, 20, 2, 1], [0, 6, 16, 72, 103, 203, 147, 139, 53, 27, 1, 1], [0, 6, 16, 72, 104, 196, 168, 104, 88, 6, 8, 0], [0, 6, 16, 73, 96, 224, 112, 174, 32, 34, 0, 1], [0, 6, 16, 73, 97, 217, 133, 139, 67, 13, 7, 0], [0, 6, 16, 74, 90, 238, 98, 174, 46, 20, 6, 0], [0, 6, 16, 75, 83, 259, 63, 209, 25, 27, 5, 0], [0, 6, 17, 63, 138, 126, 252, 48, 102, 12, 3, 1], [0, 6, 17, 64, 131, 147, 217, 83, 81, 19, 2, 1], [0, 6, 17, 65, 124, 168, 182, 118, 60, 26, 1, 1], [0, 6, 17, 65, 125, 161, 203, 83, 95, 5, 8, 0], [0, 6, 17, 66, 117, 189, 147, 153, 39, 33, 0, 1], [0, 6, 17, 66, 118, 182, 168, 118, 74, 12, 7, 0], [0, 6, 17, 67, 111, 203, 133, 153, 53, 19, 6, 0], [0, 6, 17, 68, 104, 224, 98, 188, 32, 26, 5, 0], [0, 6, 18, 57, 152, 112, 252, 62, 88, 18, 2, 1], [0, 6, 18, 58, 145, 133, 217, 97, 67, 25, 1, 1], [0, 6, 18, 58, 146, 126, 238, 62, 102, 4, 8, 0], [0, 6, 18, 59, 138, 154, 182, 132, 46, 32, 0, 1], [0, 6, 18, 59, 139, 147, 203, 97, 81, 11, 7, 0], [0, 6, 18, 60, 132, 168, 168, 132, 60, 18, 6, 0], [0, 6, 18, 61, 125, 189, 133, 167, 39, 25, 5, 0], [0, 6, 18, 62, 118, 210, 98, 202, 18, 32, 4, 0], [0, 6, 19, 50, 173, 77, 287, 41, 95, 17, 2, 1], [0, 6, 19, 51, 166, 98, 252, 76, 74, 24, 1, 1], [0, 6, 19, 52, 159, 119, 217, 111, 53, 31, 0, 1], [0, 6, 19, 52, 160, 112, 238, 76, 88, 10, 7, 0], [0, 6, 19, 53, 153, 133, 203, 111, 67, 17, 6, 0], [0, 6, 19, 54, 146, 154, 168, 146, 46, 24, 5, 0], [0, 6, 19, 55, 139, 175, 133, 181, 25, 31, 4, 0], [0, 6, 20, 44, 187, 63, 287, 55, 81, 23, 1, 1], [0, 6, 20, 45, 180, 84, 252, 90, 60, 30, 0, 1], [0, 6, 20, 45, 181, 77, 273, 55, 95, 9, 7, 0], [0, 6, 20, 46, 174, 98, 238, 90, 74, 16, 6, 0], [0, 6, 20, 47, 167, 119, 203, 125, 53, 23, 5, 0], [0, 6, 20, 48, 160, 140, 168, 160, 32, 30, 4, 0], [0, 6, 20, 49, 153, 161, 133, 195, 11, 37, 3, 0], [0, 6, 21, 39, 195, 63, 273, 69, 81, 15, 6, 0], [0, 6, 21, 40, 188, 84, 238, 104, 60, 22, 5, 0], [0, 6, 21, 41, 181, 105, 203, 139, 39, 29, 4, 0], [0, 6, 21, 42, 174, 126, 168, 174, 18, 36, 3, 0], [0, 6, 22, 33, 209, 49, 273, 83, 67, 21, 5, 0], [0, 6, 22, 34, 202, 70, 238, 118, 46, 28, 4, 0], [0, 6, 22, 35, 195, 91, 203, 153, 25, 35, 3, 0], [0, 7, 8, 97, 68, 210, 196, 62, 108, 7, 4, 1], [0, 7, 8, 98, 61, 231, 161, 97, 87, 14, 3, 1], [0, 7, 8, 99, 54, 252, 126, 132, 66, 21, 2, 1], [0, 7, 8, 100, 47, 273, 91, 167, 45, 28, 1, 1], [0, 7, 8, 101, 40, 294, 56, 202, 24, 35, 0, 1], [0, 7, 8, 101, 41, 287, 77, 167, 59, 14, 7, 0], [0, 7, 9, 91, 82, 196, 196, 76, 94, 13, 3, 1], [0, 7, 9, 92, 75, 217, 161, 111, 73, 20, 2, 1], [0, 7, 9, 93, 68, 238, 126, 146, 52, 27, 1, 1], [0, 7, 9, 93, 69, 231, 147, 111, 87, 6, 8, 0], [0, 7, 9, 94, 61, 259, 91, 181, 31, 34, 0, 1], [0, 7, 9, 94, 62, 252, 112, 146, 66, 13, 7, 0], [0, 7, 9, 95, 55, 273, 77, 181, 45, 20, 6, 0], [0, 7, 10, 84, 103, 161, 231, 55, 101, 12, 3, 1], [0, 7, 10, 85, 96, 182, 196, 90, 80, 19, 2, 1], [0, 7, 10, 86, 89, 203, 161, 125, 59, 26, 1, 1], [0, 7, 10, 86, 90, 196, 182, 90, 94, 5, 8, 0], [0, 7, 10, 87, 82, 224, 126, 160, 38, 33, 0, 1], [0, 7, 10, 87, 83, 217, 147, 125, 73, 12, 7, 0], [0, 7, 10, 88, 76, 238, 112, 160, 52, 19, 6, 0], [0, 7, 10, 89, 69, 259, 77, 195, 31, 26, 5, 0], [0, 7, 11, 78, 117, 147, 231, 69, 87, 18, 2, 1], [0, 7, 11, 79, 110, 168, 196, 104, 66, 25, 1, 1], [0, 7, 11, 79, 111, 161, 217, 69, 101, 4, 8, 0], [0, 7, 11, 80, 103, 189, 161, 139, 45, 32, 0, 1], [0, 7, 11, 80, 104, 182, 182, 104, 80, 11, 7, 0], [0, 7, 11, 81, 97, 203, 147, 139, 59, 18, 6, 0], [0, 7, 11, 82, 90, 224, 112, 174, 38, 25, 5, 0], [0, 7, 11, 83, 83, 245, 77, 209, 17, 32, 4, 0], [0, 7, 12, 71, 138, 112, 266, 48, 94, 17, 2, 1], [0, 7, 12, 72, 131, 133, 231, 83, 73, 24, 1, 1], [0, 7, 12, 73, 124, 154, 196, 118, 52, 31, 0, 1], [0, 7, 12, 73, 125, 147, 217, 83, 87, 10, 7, 0], [0, 7, 12, 74, 118, 168, 182, 118, 66, 17, 6, 0], [0, 7, 12, 75, 111, 189, 147, 153, 45, 24, 5, 0], [0, 7, 12, 76, 104, 210, 112, 188, 24, 31, 4, 0], [0, 7, 13, 65, 152, 98, 266, 62, 80, 23, 1, 1], [0, 7, 13, 66, 145, 119, 231, 97, 59, 30, 0, 1], [0, 7, 13, 66, 146, 112, 252, 62, 94, 9, 7, 0], [0, 7, 13, 67, 139, 133, 217, 97, 73, 16, 6, 0], [0, 7, 13, 68, 132, 154, 182, 132, 52, 23, 5, 0], [0, 7, 13, 69, 125, 175, 147, 167, 31, 30, 4, 0], [0, 7, 14, 59, 166, 84, 266, 76, 66, 29, 0, 1], [0, 7, 14, 59, 167, 77, 287, 41, 101, 8, 7, 0], [0, 7, 14, 60, 160, 98, 252, 76, 80, 15, 6, 0], [0, 7, 14, 61, 153, 119, 217, 111, 59, 22, 5, 0], [0, 7, 14, 62, 146, 140, 182, 146, 38, 29, 4, 0], [0, 7, 14, 63, 139, 161, 147, 181, 17, 36, 3, 0], [0, 7, 15, 52, 187, 49, 301, 55, 73, 28, 0, 1], [0, 7, 15, 53, 181, 63, 287, 55, 87, 14, 6, 0], [0, 7, 15, 54, 174, 84, 252, 90, 66, 21, 5, 0], [0, 7, 15, 55, 167, 105, 217, 125, 45, 28, 4, 0], [0, 7, 15, 56, 160, 126, 182, 160, 24, 35, 3, 0], [0, 7, 16, 47, 195, 49, 287, 69, 73, 20, 5, 0], [0, 7, 16, 48, 188, 70, 252, 104, 52, 27, 4, 0], [0, 7, 16, 49, 181, 91, 217, 139, 31, 34, 3, 0], [0, 7, 16, 50, 174, 112, 182, 174, 10, 41, 2, 0], [0, 7, 17, 42, 202, 56, 252, 118, 38, 33, 3, 0], [0, 7, 17, 43, 195, 77, 217, 153, 17, 40, 2, 0], [0, 8, 3, 106, 61, 217, 175, 97, 79, 19, 2, 1], [0, 8, 4, 99, 82, 182, 210, 76, 86, 18, 2, 1], [0, 8, 4, 100, 75, 203, 175, 111, 65, 25, 1, 1], [0, 8, 4, 101, 69, 217, 161, 111, 79, 11, 7, 0], [0, 8, 4, 102, 62, 238, 126, 146, 58, 18, 6, 0], [0, 8, 4, 103, 55, 259, 91, 181, 37, 25, 5, 0], [0, 8, 4, 104, 48, 280, 56, 216, 16, 32, 4, 0], [0, 8, 5, 92, 103, 147, 245, 55, 93, 17, 2, 1], [0, 8, 5, 93, 96, 168, 210, 90, 72, 24, 1, 1], [0, 8, 5, 94, 89, 189, 175, 125, 51, 31, 0, 1], [0, 8, 5, 94, 90, 182, 196, 90, 86, 10, 7, 0], [0, 8, 5, 95, 83, 203, 161, 125, 65, 17, 6, 0], [0, 8, 5, 96, 76, 224, 126, 160, 44, 24, 5, 0], [0, 8, 5, 97, 69, 245, 91, 195, 23, 31, 4, 0], [0, 8, 6, 86, 117, 133, 245, 69, 79, 23, 1, 1], [0, 8, 6, 87, 110, 154, 210, 104, 58, 30, 0, 1], [0, 8, 6, 87, 111, 147, 231, 69, 93, 9, 7, 0], [0, 8, 6, 88, 104, 168, 196, 104, 72, 16, 6, 0], [0, 8, 6, 89, 97, 189, 161, 139, 51, 23, 5, 0], [0, 8, 6, 90, 90, 210, 126, 174, 30, 30, 4, 0], [0, 8, 7, 79, 138, 98, 280, 48, 86, 22, 1, 1], [0, 8, 7, 80, 131, 119, 245, 83, 65, 29, 0, 1], [0, 8, 7, 81, 125, 133, 231, 83, 79, 15, 6, 0], [0, 8, 7, 82, 118, 154, 196, 118, 58, 22, 5, 0], [0, 8, 7, 83, 111, 175, 161, 153, 37, 29, 4, 0], [0, 8, 8, 73, 152, 84, 280, 62, 72, 28, 0, 1], [0, 8, 8, 74, 146, 98, 266, 62, 86, 14, 6, 0], [0, 8, 8, 75, 139, 119, 231, 97, 65, 21, 5, 0], [0, 8, 8, 76, 132, 140, 196, 132, 44, 28, 4, 0], [0, 8, 8, 77, 125, 161, 161, 167, 23, 35, 3, 0], [0, 8, 9, 68, 160, 84, 266, 76, 72, 20, 5, 0], [0, 8, 9, 69, 153, 105, 231, 111, 51, 27, 4, 0], [0, 8, 9, 70, 146, 126, 196, 146, 30, 34, 3, 0], [0, 8, 9, 71, 139, 147, 161, 181, 9, 41, 2, 0], [0, 8, 10, 62, 174, 70, 266, 90, 58, 26, 4, 0], [0, 8, 10, 63, 167, 91, 231, 125, 37, 33, 3, 0], [0, 8, 10, 64, 160, 112, 196, 160, 16, 40, 2, 0], [0, 8, 11, 56, 188, 56, 266, 104, 44, 32, 3, 0], [0, 8, 11, 57, 181, 77, 231, 139, 23, 39, 2, 0], [0, 9, 1, 95, 111, 133, 245, 69, 85, 14, 6, 0], [0, 9, 1, 96, 104, 154, 210, 104, 64, 21, 5, 0], [0, 9, 1, 97, 97, 175, 175, 139, 43, 28, 4, 0], [0, 9, 2, 89, 125, 119, 245, 83, 71, 20, 5, 0], [0, 9, 2, 90, 118, 140, 210, 118, 50, 27, 4, 0], [0, 9, 2, 91, 111, 161, 175, 153, 29, 34, 3, 0], [0, 9, 3, 82, 146, 84, 280, 62, 78, 19, 5, 0], [0, 9, 3, 83, 139, 105, 245, 97, 57, 26, 4, 0], [0, 9, 3, 84, 132, 126, 210, 132, 36, 33, 3, 0], [0, 9, 3, 85, 125, 147, 175, 167, 15, 40, 2, 0], [0, 9, 4, 76, 160, 70, 280, 76, 64, 25, 4, 0], [0, 9, 4, 77, 153, 91, 245, 111, 43, 32, 3, 0], [0, 9, 4, 78, 146, 112, 210, 146, 22, 39, 2, 0], [0, 9, 5, 70, 174, 56, 280, 90, 50, 31, 3, 0], [0, 9, 5, 71, 167, 77, 245, 125, 29, 38, 2, 0]}