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