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