-------
(12, 1536, 7) Remaining distance distributions for INTERNAL point
(7, 1536, 7) has 1 possible DDs: {[12, 84, 252, 420, 420, 252, 84, 12]}
(8, 1536, 7) has 12 possible DDs: {[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 42 possible DDs: {[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 119 possible DDs: {[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 96 possible DDs: {[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 190 possible DDs: {[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]}