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