-------
(13, 3584, 8) Remaining distance distributions for EXTERNAL point
(8, 3584, 8) has 0 possible DDs: {}
(9, 3584, 8) has 1 possible DDs: {[0, 126, 0, 1176, 0, 1764, 0, 504, 0, 14]}
(10, 3584, 8) has 8 possible DDs: {[0, 63, 63, 588, 588, 882, 882, 252, 252, 7, 7], [0, 64, 54, 624, 504, 1008, 756, 336, 216, 16, 6], [0, 65, 45, 660, 420, 1134, 630, 420, 180, 25, 5], [0, 66, 36, 696, 336, 1260, 504, 504, 144, 34, 4], [0, 67, 27, 732, 252, 1386, 378, 588, 108, 43, 3], [0, 68, 18, 768, 168, 1512, 252, 672, 72, 52, 2], [0, 69, 9, 804, 84, 1638, 126, 756, 36, 61, 1], [0, 70, 0, 840, 0, 1764, 0, 840, 0, 70, 0]}
(11, 3584, 8) has 27 possible DDs: {[0, 28, 94, 204, 864, 336, 1260, 336, 336, 116, 6, 4], [0, 29, 85, 240, 780, 462, 1134, 420, 300, 125, 5, 4], [0, 29, 86, 231, 816, 378, 1260, 294, 384, 89, 14, 3], [0, 30, 76, 276, 696, 588, 1008, 504, 264, 134, 4, 4], [0, 30, 77, 267, 732, 504, 1134, 378, 348, 98, 13, 3], [0, 30, 78, 258, 768, 420, 1260, 252, 432, 62, 22, 2], [0, 31, 67, 312, 612, 714, 882, 588, 228, 143, 3, 4], [0, 31, 68, 303, 648, 630, 1008, 462, 312, 107, 12, 3], [0, 31, 69, 294, 684, 546, 1134, 336, 396, 71, 21, 2], [0, 32, 58, 348, 528, 840, 756, 672, 192, 152, 2, 4], [0, 32, 59, 339, 564, 756, 882, 546, 276, 116, 11, 3], [0, 32, 60, 330, 600, 672, 1008, 420, 360, 80, 20, 2], [0, 32, 61, 321, 636, 588, 1134, 294, 444, 44, 29, 1], [0, 33, 49, 384, 444, 966, 630, 756, 156, 161, 1, 4], [0, 33, 50, 375, 480, 882, 756, 630, 240, 125, 10, 3], [0, 33, 51, 366, 516, 798, 882, 504, 324, 89, 19, 2], [0, 33, 52, 357, 552, 714, 1008, 378, 408, 53, 28, 1], [0, 34, 40, 420, 360, 1092, 504, 840, 120, 170, 0, 4], [0, 34, 41, 411, 396, 1008, 630, 714, 204, 134, 9, 3], [0, 34, 42, 402, 432, 924, 756, 588, 288, 98, 18, 2], [0, 34, 43, 393, 468, 840, 882, 462, 372, 62, 27, 1], [0, 35, 32, 447, 312, 1134, 504, 798, 168, 143, 8, 3], [0, 35, 33, 438, 348, 1050, 630, 672, 252, 107, 17, 2], [0, 35, 34, 429, 384, 966, 756, 546, 336, 71, 26, 1], [0, 35, 35, 420, 420, 882, 882, 420, 420, 35, 35, 0], [0, 36, 24, 474, 264, 1176, 504, 756, 216, 116, 16, 2], [0, 36, 25, 465, 300, 1092, 630, 630, 300, 80, 25, 1]}
(12, 3584, 8) has 88 possible DDs: {[0, 12, 75, 112, 567, 648, 630, 1008, 198, 268, 63, 0, 3], [0, 12, 77, 95, 630, 516, 798, 882, 240, 280, 45, 7, 2], [0, 12, 78, 86, 666, 432, 924, 756, 324, 244, 54, 6, 2], [0, 13, 68, 131, 546, 642, 672, 966, 204, 289, 44, 7, 2], [0, 13, 69, 122, 582, 558, 798, 840, 288, 253, 53, 6, 2], [0, 13, 70, 113, 618, 474, 924, 714, 372, 217, 62, 5, 2], [0, 13, 70, 114, 609, 510, 840, 840, 246, 301, 26, 14, 1], [0, 13, 71, 104, 654, 390, 1050, 588, 456, 181, 71, 4, 2], [0, 13, 71, 105, 645, 426, 966, 714, 330, 265, 35, 13, 1], [0, 13, 72, 96, 681, 342, 1092, 588, 414, 229, 44, 12, 1], [0, 14, 59, 167, 462, 768, 546, 1050, 168, 298, 43, 7, 2], [0, 14, 60, 158, 498, 684, 672, 924, 252, 262, 52, 6, 2], [0, 14, 61, 149, 534, 600, 798, 798, 336, 226, 61, 5, 2], [0, 14, 61, 150, 525, 636, 714, 924, 210, 310, 25, 14, 1], [0, 14, 62, 140, 570, 516, 924, 672, 420, 190, 70, 4, 2], [0, 14, 62, 141, 561, 552, 840, 798, 294, 274, 34, 13, 1], [0, 14, 63, 131, 606, 432, 1050, 546, 504, 154, 79, 3, 2], [0, 14, 63, 132, 597, 468, 966, 672, 378, 238, 43, 12, 1], [0, 14, 64, 122, 642, 348, 1176, 420, 588, 118, 88, 2, 2], [0, 14, 64, 123, 633, 384, 1092, 546, 462, 202, 52, 11, 1], [0, 14, 65, 115, 660, 336, 1134, 546, 420, 250, 25, 19, 0], [0, 15, 51, 194, 414, 810, 546, 1008, 216, 271, 51, 6, 2], [0, 15, 52, 185, 450, 726, 672, 882, 300, 235, 60, 5, 2], [0, 15, 53, 176, 486, 642, 798, 756, 384, 199, 69, 4, 2], [0, 15, 53, 177, 477, 678, 714, 882, 258, 283, 33, 13, 1], [0, 15, 54, 167, 522, 558, 924, 630, 468, 163, 78, 3, 2], [0, 15, 54, 168, 513, 594, 840, 756, 342, 247, 42, 12, 1], [0, 15, 55, 158, 558, 474, 1050, 504, 552, 127, 87, 2, 2], [0, 15, 55, 159, 549, 510, 966, 630, 426, 211, 51, 11, 1], [0, 15, 56, 150, 585, 426, 1092, 504, 510, 175, 60, 10, 1], [0, 15, 56, 151, 576, 462, 1008, 630, 384, 259, 24, 19, 0], [0, 15, 57, 141, 621, 342, 1218, 378, 594, 139, 69, 9, 1], [0, 15, 57, 142, 612, 378, 1134, 504, 468, 223, 33, 18, 0], [0, 16, 43, 221, 366, 852, 546, 966, 264, 244, 59, 5, 2], [0, 16, 44, 212, 402, 768, 672, 840, 348, 208, 68, 4, 2], [0, 16, 44, 213, 393, 804, 588, 966, 222, 292, 32, 13, 1], [0, 16, 45, 203, 438, 684, 798, 714, 432, 172, 77, 3, 2], [0, 16, 45, 204, 429, 720, 714, 840, 306, 256, 41, 12, 1], [0, 16, 46, 194, 474, 600, 924, 588, 516, 136, 86, 2, 2], [0, 16, 46, 195, 465, 636, 840, 714, 390, 220, 50, 11, 1], [0, 16, 47, 185, 510, 516, 1050, 462, 600, 100, 95, 1, 2], [0, 16, 47, 186, 501, 552, 966, 588, 474, 184, 59, 10, 1], [0, 16, 47, 187, 492, 588, 882, 714, 348, 268, 23, 19, 0], [0, 16, 48, 177, 537, 468, 1092, 462, 558, 148, 68, 9, 1], [0, 16, 48, 178, 528, 504, 1008, 588, 432, 232, 32, 18, 0], [0, 16, 49, 169, 564, 420, 1134, 462, 516, 196, 41, 17, 0], [0, 16, 50, 160, 600, 336, 1260, 336, 600, 160, 50, 16, 0], [0, 17, 34, 257, 282, 978, 420, 1050, 228, 253, 58, 5, 2], [0, 17, 35, 248, 318, 894, 546, 924, 312, 217, 67, 4, 2], [0, 17, 36, 239, 354, 810, 672, 798, 396, 181, 76, 3, 2], [0, 17, 36, 240, 345, 846, 588, 924, 270, 265, 40, 12, 1], [0, 17, 37, 230, 390, 726, 798, 672, 480, 145, 85, 2, 2], [0, 17, 37, 231, 381, 762, 714, 798, 354, 229, 49, 11, 1], [0, 17, 38, 221, 426, 642, 924, 546, 564, 109, 94, 1, 2], [0, 17, 38, 222, 417, 678, 840, 672, 438, 193, 58, 10, 1], [0, 17, 38, 223, 408, 714, 756, 798, 312, 277, 22, 19, 0], [0, 17, 39, 213, 453, 594, 966, 546, 522, 157, 67, 9, 1], [0, 17, 39, 214, 444, 630, 882, 672, 396, 241, 31, 18, 0], [0, 17, 40, 204, 489, 510, 1092, 420, 606, 121, 76, 8, 1], [0, 17, 40, 205, 480, 546, 1008, 546, 480, 205, 40, 17, 0], [0, 17, 41, 196, 516, 462, 1134, 420, 564, 169, 49, 16, 0], [0, 18, 27, 275, 270, 936, 546, 882, 360, 190, 75, 3, 2], [0, 18, 27, 276, 261, 972, 462, 1008, 234, 274, 39, 12, 1], [0, 18, 28, 266, 306, 852, 672, 756, 444, 154, 84, 2, 2], [0, 18, 28, 267, 297, 888, 588, 882, 318, 238, 48, 11, 1], [0, 18, 29, 257, 342, 768, 798, 630, 528, 118, 93, 1, 2], [0, 18, 29, 258, 333, 804, 714, 756, 402, 202, 57, 10, 1], [0, 18, 29, 259, 324, 840, 630, 882, 276, 286, 21, 19, 0], [0, 18, 30, 248, 378, 684, 924, 504, 612, 82, 102, 0, 2], [0, 18, 30, 249, 369, 720, 840, 630, 486, 166, 66, 9, 1], [0, 18, 30, 250, 360, 756, 756, 756, 360, 250, 30, 18, 0], [0, 18, 31, 240, 405, 636, 966, 504, 570, 130, 75, 8, 1], [0, 18, 31, 241, 396, 672, 882, 630, 444, 214, 39, 17, 0], [0, 18, 32, 231, 441, 552, 1092, 378, 654, 94, 84, 7, 1], [0, 18, 32, 232, 432, 588, 1008, 504, 528, 178, 48, 16, 0], [0, 18, 33, 223, 468, 504, 1134, 378, 612, 142, 57, 15, 0], [0, 19, 20, 293, 258, 894, 672, 714, 492, 127, 92, 1, 2], [0, 19, 20, 294, 249, 930, 588, 840, 366, 211, 56, 10, 1], [0, 19, 20, 295, 240, 966, 504, 966, 240, 295, 20, 19, 0], [0, 19, 21, 284, 294, 810, 798, 588, 576, 91, 101, 0, 2], [0, 19, 21, 285, 285, 846, 714, 714, 450, 175, 65, 9, 1], [0, 19, 21, 286, 276, 882, 630, 840, 324, 259, 29, 18, 0], [0, 19, 22, 276, 321, 762, 840, 588, 534, 139, 74, 8, 1], [0, 19, 22, 277, 312, 798, 756, 714, 408, 223, 38, 17, 0], [0, 19, 23, 267, 357, 678, 966, 462, 618, 103, 83, 7, 1], [0, 19, 23, 268, 348, 714, 882, 588, 492, 187, 47, 16, 0], [0, 19, 24, 259, 384, 630, 1008, 462, 576, 151, 56, 15, 0], [0, 19, 25, 250, 420, 546, 1134, 336, 660, 115, 65, 14, 0]}
(13, 3584, 8) has 338 possible DDs: {[0, 3, 63, 49, 357, 720, 390, 1050, 522, 203, 203, 21, 1, 2], [0, 3, 63, 50, 348, 756, 306, 1176, 396, 287, 167, 30, 0, 2], [0, 3, 64, 40, 393, 636, 516, 924, 606, 167, 212, 20, 1, 2], [0, 3, 64, 41, 384, 672, 432, 1050, 480, 251, 176, 29, 0, 2], [0, 3, 65, 32, 420, 588, 558, 924, 564, 215, 185, 28, 0, 2], [0, 4, 55, 76, 309, 762, 390, 1008, 570, 176, 211, 20, 1, 2], [0, 4, 55, 77, 300, 798, 306, 1134, 444, 260, 175, 29, 0, 2], [0, 4, 56, 67, 345, 678, 516, 882, 654, 140, 220, 19, 1, 2], [0, 4, 56, 68, 336, 714, 432, 1008, 528, 224, 184, 28, 0, 2], [0, 4, 57, 59, 372, 630, 558, 882, 612, 188, 193, 27, 0, 2], [0, 4, 57, 62, 346, 729, 342, 1176, 360, 314, 169, 18, 6, 1], [0, 4, 58, 50, 408, 546, 684, 756, 696, 152, 202, 26, 0, 2], [0, 4, 58, 53, 382, 645, 468, 1050, 444, 278, 178, 17, 6, 1], [0, 4, 58, 54, 373, 681, 384, 1176, 318, 362, 142, 26, 5, 1], [0, 4, 59, 41, 444, 462, 810, 630, 780, 116, 211, 25, 0, 2], [0, 4, 59, 44, 418, 561, 594, 924, 528, 242, 187, 16, 6, 1], [0, 4, 59, 45, 409, 597, 510, 1050, 402, 326, 151, 25, 5, 1], [0, 4, 60, 36, 445, 513, 636, 924, 486, 290, 160, 24, 5, 1], [0, 4, 60, 37, 436, 549, 552, 1050, 360, 374, 124, 33, 4, 1], [0, 4, 60, 38, 428, 576, 504, 1092, 360, 332, 172, 6, 12, 0], [0, 4, 61, 28, 472, 465, 678, 924, 444, 338, 133, 32, 4, 1], [0, 5, 47, 104, 252, 840, 306, 1092, 492, 233, 183, 28, 0, 2], [0, 5, 48, 95, 288, 756, 432, 966, 576, 197, 192, 27, 0, 2], [0, 5, 49, 86, 324, 672, 558, 840, 660, 161, 201, 26, 0, 2], [0, 5, 49, 89, 298, 771, 342, 1134, 408, 287, 177, 17, 6, 1], [0, 5, 50, 77, 360, 588, 684, 714, 744, 125, 210, 25, 0, 2], [0, 5, 50, 80, 334, 687, 468, 1008, 492, 251, 186, 16, 6, 1], [0, 5, 50, 81, 325, 723, 384, 1134, 366, 335, 150, 25, 5, 1], [0, 5, 51, 71, 370, 603, 594, 882, 576, 215, 195, 15, 6, 1], [0, 5, 51, 72, 361, 639, 510, 1008, 450, 299, 159, 24, 5, 1], [0, 5, 51, 73, 352, 675, 426, 1134, 324, 383, 123, 33, 4, 1], [0, 5, 51, 74, 344, 702, 378, 1176, 324, 341, 171, 6, 12, 0], [0, 5, 52, 62, 406, 519, 720, 756, 660, 179, 204, 14, 6, 1], [0, 5, 52, 63, 397, 555, 636, 882, 534, 263, 168, 23, 5, 1], [0, 5, 52, 64, 388, 591, 552, 1008, 408, 347, 132, 32, 4, 1], [0, 5, 52, 65, 380, 618, 504, 1050, 408, 305, 180, 5, 12, 0], [0, 5, 52, 66, 371, 654, 420, 1176, 282, 389, 144, 14, 11, 0], [0, 5, 53, 54, 433, 471, 762, 756, 618, 227, 177, 22, 5, 1], [0, 5, 53, 55, 424, 507, 678, 882, 492, 311, 141, 31, 4, 1], [0, 5, 53, 56, 415, 543, 594, 1008, 366, 395, 105, 40, 3, 1], [0, 5, 53, 56, 416, 534, 630, 924, 492, 269, 189, 4, 12, 0], [0, 5, 53, 57, 407, 570, 546, 1050, 366, 353, 153, 13, 11, 0], [0, 5, 54, 45, 469, 387, 888, 630, 702, 191, 186, 21, 5, 1], [0, 5, 54, 46, 460, 423, 804, 756, 576, 275, 150, 30, 4, 1], [0, 5, 54, 47, 451, 459, 720, 882, 450, 359, 114, 39, 3, 1], [0, 5, 54, 48, 442, 495, 636, 1008, 324, 443, 78, 48, 2, 1], [0, 5, 54, 48, 443, 486, 672, 924, 450, 317, 162, 12, 11, 0], [0, 5, 54, 49, 434, 522, 588, 1050, 324, 401, 126, 21, 10, 0], [0, 5, 55, 38, 487, 375, 846, 756, 534, 323, 123, 38, 3, 1], [0, 5, 55, 39, 478, 411, 762, 882, 408, 407, 87, 47, 2, 1], [0, 5, 55, 39, 479, 402, 798, 798, 534, 281, 171, 11, 11, 0], [0, 5, 55, 40, 470, 438, 714, 924, 408, 365, 135, 20, 10, 0], [0, 5, 55, 41, 461, 474, 630, 1050, 282, 449, 99, 29, 9, 0], [0, 5, 56, 32, 497, 390, 756, 924, 366, 413, 108, 28, 9, 0], [0, 6, 40, 122, 240, 798, 432, 924, 624, 170, 200, 26, 0, 2], [0, 6, 41, 113, 276, 714, 558, 798, 708, 134, 209, 25, 0, 2], [0, 6, 41, 116, 250, 813, 342, 1092, 456, 260, 185, 16, 6, 1], [0, 6, 42, 104, 312, 630, 684, 672, 792, 98, 218, 24, 0, 2], [0, 6, 42, 107, 286, 729, 468, 966, 540, 224, 194, 15, 6, 1], [0, 6, 42, 108, 277, 765, 384, 1092, 414, 308, 158, 24, 5, 1], [0, 6, 43, 98, 322, 645, 594, 840, 624, 188, 203, 14, 6, 1], [0, 6, 43, 99, 313, 681, 510, 966, 498, 272, 167, 23, 5, 1], [0, 6, 43, 100, 304, 717, 426, 1092, 372, 356, 131, 32, 4, 1], [0, 6, 43, 101, 296, 744, 378, 1134, 372, 314, 179, 5, 12, 0], [0, 6, 44, 90, 349, 597, 636, 840, 582, 236, 176, 22, 5, 1], [0, 6, 44, 91, 340, 633, 552, 966, 456, 320, 140, 31, 4, 1], [0, 6, 44, 92, 331, 669, 468, 1092, 330, 404, 104, 40, 3, 1], [0, 6, 44, 92, 332, 660, 504, 1008, 456, 278, 188, 4, 12, 0], [0, 6, 44, 93, 323, 696, 420, 1134, 330, 362, 152, 13, 11, 0], [0, 6, 45, 81, 385, 513, 762, 714, 666, 200, 185, 21, 5, 1], [0, 6, 45, 82, 376, 549, 678, 840, 540, 284, 149, 30, 4, 1], [0, 6, 45, 83, 367, 585, 594, 966, 414, 368, 113, 39, 3, 1], [0, 6, 45, 83, 368, 576, 630, 882, 540, 242, 197, 3, 12, 0], [0, 6, 45, 84, 359, 612, 546, 1008, 414, 326, 161, 12, 11, 0], [0, 6, 45, 85, 350, 648, 462, 1134, 288, 410, 125, 21, 10, 0], [0, 6, 46, 72, 421, 429, 888, 588, 750, 164, 194, 20, 5, 1], [0, 6, 46, 73, 412, 465, 804, 714, 624, 248, 158, 29, 4, 1], [0, 6, 46, 74, 403, 501, 720, 840, 498, 332, 122, 38, 3, 1], [0, 6, 46, 75, 394, 537, 636, 966, 372, 416, 86, 47, 2, 1], [0, 6, 46, 75, 395, 528, 672, 882, 498, 290, 170, 11, 11, 0], [0, 6, 46, 76, 386, 564, 588, 1008, 372, 374, 134, 20, 10, 0], [0, 6, 47, 64, 448, 381, 930, 588, 708, 212, 167, 28, 4, 1], [0, 6, 47, 65, 439, 417, 846, 714, 582, 296, 131, 37, 3, 1], [0, 6, 47, 66, 430, 453, 762, 840, 456, 380, 95, 46, 2, 1], [0, 6, 47, 66, 431, 444, 798, 756, 582, 254, 179, 10, 11, 0], [0, 6, 47, 67, 421, 489, 678, 966, 330, 464, 59, 55, 1, 1], [0, 6, 47, 67, 422, 480, 714, 882, 456, 338, 143, 19, 10, 0], [0, 6, 47, 68, 413, 516, 630, 1008, 330, 422, 107, 28, 9, 0], [0, 6, 48, 56, 475, 333, 972, 588, 666, 260, 140, 36, 3, 1], [0, 6, 48, 57, 466, 369, 888, 714, 540, 344, 104, 45, 2, 1], [0, 6, 48, 57, 467, 360, 924, 630, 666, 218, 188, 9, 11, 0], [0, 6, 48, 58, 457, 405, 804, 840, 414, 428, 68, 54, 1, 1], [0, 6, 48, 58, 458, 396, 840, 756, 540, 302, 152, 18, 10, 0], [0, 6, 48, 59, 449, 432, 756, 882, 414, 386, 116, 27, 9, 0], [0, 6, 48, 60, 440, 468, 672, 1008, 288, 470, 80, 36, 8, 0], [0, 6, 49, 49, 494, 312, 966, 630, 624, 266, 161, 17, 10, 0], [0, 6, 49, 50, 485, 348, 882, 756, 498, 350, 125, 26, 9, 0], [0, 6, 49, 51, 476, 384, 798, 882, 372, 434, 89, 35, 8, 0], [0, 6, 50, 42, 512, 300, 924, 756, 456, 398, 98, 34, 8, 0], [0, 7, 32, 149, 192, 840, 432, 882, 672, 143, 208, 25, 0, 2], [0, 7, 33, 140, 228, 756, 558, 756, 756, 107, 217, 24, 0, 2], [0, 7, 34, 134, 238, 771, 468, 924, 588, 197, 202, 14, 6, 1], [0, 7, 34, 135, 229, 807, 384, 1050, 462, 281, 166, 23, 5, 1], [0, 7, 35, 125, 274, 687, 594, 798, 672, 161, 211, 13, 6, 1], [0, 7, 35, 126, 265, 723, 510, 924, 546, 245, 175, 22, 5, 1], [0, 7, 35, 127, 256, 759, 426, 1050, 420, 329, 139, 31, 4, 1], [0, 7, 35, 128, 248, 786, 378, 1092, 420, 287, 187, 4, 12, 0], [0, 7, 36, 117, 301, 639, 636, 798, 630, 209, 184, 21, 5, 1], [0, 7, 36, 118, 292, 675, 552, 924, 504, 293, 148, 30, 4, 1], [0, 7, 36, 119, 283, 711, 468, 1050, 378, 377, 112, 39, 3, 1], [0, 7, 36, 119, 284, 702, 504, 966, 504, 251, 196, 3, 12, 0], [0, 7, 36, 120, 275, 738, 420, 1092, 378, 335, 160, 12, 11, 0], [0, 7, 37, 108, 337, 555, 762, 672, 714, 173, 193, 20, 5, 1], [0, 7, 37, 109, 328, 591, 678, 798, 588, 257, 157, 29, 4, 1], [0, 7, 37, 110, 319, 627, 594, 924, 462, 341, 121, 38, 3, 1], [0, 7, 37, 111, 310, 663, 510, 1050, 336, 425, 85, 47, 2, 1], [0, 7, 37, 111, 311, 654, 546, 966, 462, 299, 169, 11, 11, 0], [0, 7, 37, 112, 302, 690, 462, 1092, 336, 383, 133, 20, 10, 0], [0, 7, 38, 99, 373, 471, 888, 546, 798, 137, 202, 19, 5, 1], [0, 7, 38, 100, 364, 507, 804, 672, 672, 221, 166, 28, 4, 1], [0, 7, 38, 101, 355, 543, 720, 798, 546, 305, 130, 37, 3, 1], [0, 7, 38, 102, 346, 579, 636, 924, 420, 389, 94, 46, 2, 1], [0, 7, 38, 102, 347, 570, 672, 840, 546, 263, 178, 10, 11, 0], [0, 7, 38, 103, 338, 606, 588, 966, 420, 347, 142, 19, 10, 0], [0, 7, 38, 104, 329, 642, 504, 1092, 294, 431, 106, 28, 9, 0], [0, 7, 39, 91, 400, 423, 930, 546, 756, 185, 175, 27, 4, 1], [0, 7, 39, 92, 391, 459, 846, 672, 630, 269, 139, 36, 3, 1], [0, 7, 39, 93, 382, 495, 762, 798, 504, 353, 103, 45, 2, 1], [0, 7, 39, 93, 383, 486, 798, 714, 630, 227, 187, 9, 11, 0], [0, 7, 39, 94, 373, 531, 678, 924, 378, 437, 67, 54, 1, 1], [0, 7, 39, 94, 374, 522, 714, 840, 504, 311, 151, 18, 10, 0], [0, 7, 39, 95, 365, 558, 630, 966, 378, 395, 115, 27, 9, 0], [0, 7, 40, 83, 427, 375, 972, 546, 714, 233, 148, 35, 3, 1], [0, 7, 40, 84, 418, 411, 888, 672, 588, 317, 112, 44, 2, 1], [0, 7, 40, 85, 409, 447, 804, 798, 462, 401, 76, 53, 1, 1], [0, 7, 40, 85, 410, 438, 840, 714, 588, 275, 160, 17, 10, 0], [0, 7, 40, 86, 401, 474, 756, 840, 462, 359, 124, 26, 9, 0], [0, 7, 40, 87, 392, 510, 672, 966, 336, 443, 88, 35, 8, 0], [0, 7, 41, 75, 454, 327, 1014, 546, 672, 281, 121, 43, 2, 1], [0, 7, 41, 76, 445, 363, 930, 672, 546, 365, 85, 52, 1, 1], [0, 7, 41, 76, 446, 354, 966, 588, 672, 239, 169, 16, 10, 0], [0, 7, 41, 77, 436, 399, 846, 798, 420, 449, 49, 61, 0, 1], [0, 7, 41, 77, 437, 390, 882, 714, 546, 323, 133, 25, 9, 0], [0, 7, 41, 78, 428, 426, 798, 840, 420, 407, 97, 34, 8, 0], [0, 7, 41, 79, 419, 462, 714, 966, 294, 491, 61, 43, 7, 0], [0, 7, 42, 68, 472, 315, 972, 672, 504, 413, 58, 60, 0, 1], [0, 7, 42, 68, 473, 306, 1008, 588, 630, 287, 142, 24, 9, 0], [0, 7, 42, 69, 464, 342, 924, 714, 504, 371, 106, 33, 8, 0], [0, 7, 42, 70, 455, 378, 840, 840, 378, 455, 70, 42, 7, 0], [0, 7, 43, 61, 491, 294, 966, 714, 462, 419, 79, 41, 7, 0], [0, 8, 27, 153, 217, 765, 510, 882, 594, 218, 183, 21, 5, 1], [0, 8, 27, 154, 208, 801, 426, 1008, 468, 302, 147, 30, 4, 1], [0, 8, 28, 144, 253, 681, 636, 756, 678, 182, 192, 20, 5, 1], [0, 8, 28, 145, 244, 717, 552, 882, 552, 266, 156, 29, 4, 1], [0, 8, 28, 146, 235, 753, 468, 1008, 426, 350, 120, 38, 3, 1], [0, 8, 28, 147, 227, 780, 420, 1050, 426, 308, 168, 11, 11, 0], [0, 8, 29, 135, 289, 597, 762, 630, 762, 146, 201, 19, 5, 1], [0, 8, 29, 136, 280, 633, 678, 756, 636, 230, 165, 28, 4, 1], [0, 8, 29, 137, 271, 669, 594, 882, 510, 314, 129, 37, 3, 1], [0, 8, 29, 138, 262, 705, 510, 1008, 384, 398, 93, 46, 2, 1], [0, 8, 29, 138, 263, 696, 546, 924, 510, 272, 177, 10, 11, 0], [0, 8, 29, 139, 254, 732, 462, 1050, 384, 356, 141, 19, 10, 0], [0, 8, 30, 127, 316, 549, 804, 630, 720, 194, 174, 27, 4, 1], [0, 8, 30, 128, 307, 585, 720, 756, 594, 278, 138, 36, 3, 1], [0, 8, 30, 129, 298, 621, 636, 882, 468, 362, 102, 45, 2, 1], [0, 8, 30, 129, 299, 612, 672, 798, 594, 236, 186, 9, 11, 0], [0, 8, 30, 130, 289, 657, 552, 1008, 342, 446, 66, 54, 1, 1], [0, 8, 30, 130, 290, 648, 588, 924, 468, 320, 150, 18, 10, 0], [0, 8, 30, 131, 281, 684, 504, 1050, 342, 404, 114, 27, 9, 0], [0, 8, 31, 118, 352, 465, 930, 504, 804, 158, 183, 26, 4, 1], [0, 8, 31, 119, 343, 501, 846, 630, 678, 242, 147, 35, 3, 1], [0, 8, 31, 120, 334, 537, 762, 756, 552, 326, 111, 44, 2, 1], [0, 8, 31, 120, 335, 528, 798, 672, 678, 200, 195, 8, 11, 0], [0, 8, 31, 121, 325, 573, 678, 882, 426, 410, 75, 53, 1, 1], [0, 8, 31, 121, 326, 564, 714, 798, 552, 284, 159, 17, 10, 0], [0, 8, 31, 122, 317, 600, 630, 924, 426, 368, 123, 26, 9, 0], [0, 8, 31, 123, 308, 636, 546, 1050, 300, 452, 87, 35, 8, 0], [0, 8, 32, 110, 379, 417, 972, 504, 762, 206, 156, 34, 3, 1], [0, 8, 32, 111, 370, 453, 888, 630, 636, 290, 120, 43, 2, 1], [0, 8, 32, 112, 361, 489, 804, 756, 510, 374, 84, 52, 1, 1], [0, 8, 32, 112, 362, 480, 840, 672, 636, 248, 168, 16, 10, 0], [0, 8, 32, 113, 352, 525, 720, 882, 384, 458, 48, 61, 0, 1], [0, 8, 32, 113, 353, 516, 756, 798, 510, 332, 132, 25, 9, 0], [0, 8, 32, 114, 344, 552, 672, 924, 384, 416, 96, 34, 8, 0], [0, 8, 33, 102, 406, 369, 1014, 504, 720, 254, 129, 42, 2, 1], [0, 8, 33, 103, 397, 405, 930, 630, 594, 338, 93, 51, 1, 1], [0, 8, 33, 103, 398, 396, 966, 546, 720, 212, 177, 15, 10, 0], [0, 8, 33, 104, 388, 441, 846, 756, 468, 422, 57, 60, 0, 1], [0, 8, 33, 104, 389, 432, 882, 672, 594, 296, 141, 24, 9, 0], [0, 8, 33, 105, 380, 468, 798, 798, 468, 380, 105, 33, 8, 0], [0, 8, 33, 106, 371, 504, 714, 924, 342, 464, 69, 42, 7, 0], [0, 8, 34, 94, 433, 321, 1056, 504, 678, 302, 102, 50, 1, 1], [0, 8, 34, 95, 424, 357, 972, 630, 552, 386, 66, 59, 0, 1], [0, 8, 34, 95, 425, 348, 1008, 546, 678, 260, 150, 23, 9, 0], [0, 8, 34, 96, 416, 384, 924, 672, 552, 344, 114, 32, 8, 0], [0, 8, 34, 97, 407, 420, 840, 798, 426, 428, 78, 41, 7, 0], [0, 8, 34, 98, 398, 456, 756, 924, 300, 512, 42, 50, 6, 0], [0, 8, 35, 87, 452, 300, 1050, 546, 636, 308, 123, 31, 8, 0], [0, 8, 35, 88, 443, 336, 966, 672, 510, 392, 87, 40, 7, 0], [0, 8, 35, 89, 434, 372, 882, 798, 384, 476, 51, 49, 6, 0], [0, 8, 36, 80, 470, 288, 1008, 672, 468, 440, 60, 48, 6, 0], [0, 9, 19, 180, 169, 807, 510, 840, 642, 191, 191, 20, 5, 1], [0, 9, 20, 171, 205, 723, 636, 714, 726, 155, 200, 19, 5, 1], [0, 9, 20, 172, 196, 759, 552, 840, 600, 239, 164, 28, 4, 1], [0, 9, 20, 173, 187, 795, 468, 966, 474, 323, 128, 37, 3, 1], [0, 9, 21, 163, 232, 675, 678, 714, 684, 203, 173, 27, 4, 1], [0, 9, 21, 164, 223, 711, 594, 840, 558, 287, 137, 36, 3, 1], [0, 9, 21, 165, 214, 747, 510, 966, 432, 371, 101, 45, 2, 1], [0, 9, 21, 165, 215, 738, 546, 882, 558, 245, 185, 9, 11, 0], [0, 9, 21, 166, 206, 774, 462, 1008, 432, 329, 149, 18, 10, 0], [0, 9, 22, 154, 268, 591, 804, 588, 768, 167, 182, 26, 4, 1], [0, 9, 22, 155, 259, 627, 720, 714, 642, 251, 146, 35, 3, 1], [0, 9, 22, 156, 250, 663, 636, 840, 516, 335, 110, 44, 2, 1], [0, 9, 22, 156, 251, 654, 672, 756, 642, 209, 194, 8, 11, 0], [0, 9, 22, 157, 241, 699, 552, 966, 390, 419, 74, 53, 1, 1], [0, 9, 22, 157, 242, 690, 588, 882, 516, 293, 158, 17, 10, 0], [0, 9, 22, 158, 233, 726, 504, 1008, 390, 377, 122, 26, 9, 0], [0, 9, 23, 146, 295, 543, 846, 588, 726, 215, 155, 34, 3, 1], [0, 9, 23, 147, 286, 579, 762, 714, 600, 299, 119, 43, 2, 1], [0, 9, 23, 148, 277, 615, 678, 840, 474, 383, 83, 52, 1, 1], [0, 9, 23, 148, 278, 606, 714, 756, 600, 257, 167, 16, 10, 0], [0, 9, 23, 149, 269, 642, 630, 882, 474, 341, 131, 25, 9, 0], [0, 9, 23, 150, 260, 678, 546, 1008, 348, 425, 95, 34, 8, 0], [0, 9, 24, 137, 331, 459, 972, 462, 810, 179, 164, 33, 3, 1], [0, 9, 24, 138, 322, 495, 888, 588, 684, 263, 128, 42, 2, 1], [0, 9, 24, 139, 313, 531, 804, 714, 558, 347, 92, 51, 1, 1], [0, 9, 24, 139, 314, 522, 840, 630, 684, 221, 176, 15, 10, 0], [0, 9, 24, 140, 304, 567, 720, 840, 432, 431, 56, 60, 0, 1], [0, 9, 24, 140, 305, 558, 756, 756, 558, 305, 140, 24, 9, 0], [0, 9, 24, 141, 296, 594, 672, 882, 432, 389, 104, 33, 8, 0], [0, 9, 24, 142, 287, 630, 588, 1008, 306, 473, 68, 42, 7, 0], [0, 9, 25, 129, 358, 411, 1014, 462, 768, 227, 137, 41, 2, 1], [0, 9, 25, 130, 349, 447, 930, 588, 642, 311, 101, 50, 1, 1], [0, 9, 25, 130, 350, 438, 966, 504, 768, 185, 185, 14, 10, 0], [0, 9, 25, 131, 340, 483, 846, 714, 516, 395, 65, 59, 0, 1], [0, 9, 25, 131, 341, 474, 882, 630, 642, 269, 149, 23, 9, 0], [0, 9, 25, 132, 332, 510, 798, 756, 516, 353, 113, 32, 8, 0], [0, 9, 25, 133, 323, 546, 714, 882, 390, 437, 77, 41, 7, 0], [0, 9, 26, 121, 385, 363, 1056, 462, 726, 275, 110, 49, 1, 1], [0, 9, 26, 122, 376, 399, 972, 588, 600, 359, 74, 58, 0, 1], [0, 9, 26, 122, 377, 390, 1008, 504, 726, 233, 158, 22, 9, 0], [0, 9, 26, 123, 368, 426, 924, 630, 600, 317, 122, 31, 8, 0], [0, 9, 26, 124, 359, 462, 840, 756, 474, 401, 86, 40, 7, 0], [0, 9, 26, 125, 350, 498, 756, 882, 348, 485, 50, 49, 6, 0], [0, 9, 27, 113, 412, 315, 1098, 462, 684, 323, 83, 57, 0, 1], [0, 9, 27, 114, 404, 342, 1050, 504, 684, 281, 131, 30, 8, 0], [0, 9, 27, 115, 395, 378, 966, 630, 558, 365, 95, 39, 7, 0], [0, 9, 27, 116, 386, 414, 882, 756, 432, 449, 59, 48, 6, 0], [0, 9, 28, 106, 431, 294, 1092, 504, 642, 329, 104, 38, 7, 0], [0, 9, 28, 107, 422, 330, 1008, 630, 516, 413, 68, 47, 6, 0], [0, 9, 28, 108, 413, 366, 924, 756, 390, 497, 32, 56, 5, 0], [0, 9, 29, 99, 449, 282, 1050, 630, 474, 461, 41, 55, 5, 0], [0, 10, 12, 199, 148, 801, 552, 798, 648, 212, 172, 27, 4, 1], [0, 10, 13, 190, 184, 717, 678, 672, 732, 176, 181, 26, 4, 1], [0, 10, 13, 191, 175, 753, 594, 798, 606, 260, 145, 35, 3, 1], [0, 10, 13, 192, 166, 789, 510, 924, 480, 344, 109, 44, 2, 1], [0, 10, 14, 181, 220, 633, 804, 546, 816, 140, 190, 25, 4, 1], [0, 10, 14, 182, 211, 669, 720, 672, 690, 224, 154, 34, 3, 1], [0, 10, 14, 183, 202, 705, 636, 798, 564, 308, 118, 43, 2, 1], [0, 10, 14, 183, 203, 696, 672, 714, 690, 182, 202, 7, 11, 0], [0, 10, 14, 184, 193, 741, 552, 924, 438, 392, 82, 52, 1, 1], [0, 10, 14, 184, 194, 732, 588, 840, 564, 266, 166, 16, 10, 0], [0, 10, 14, 185, 185, 768, 504, 966, 438, 350, 130, 25, 9, 0], [0, 10, 15, 173, 247, 585, 846, 546, 774, 188, 163, 33, 3, 1], [0, 10, 15, 174, 238, 621, 762, 672, 648, 272, 127, 42, 2, 1], [0, 10, 15, 175, 229, 657, 678, 798, 522, 356, 91, 51, 1, 1], [0, 10, 15, 175, 230, 648, 714, 714, 648, 230, 175, 15, 10, 0], [0, 10, 15, 176, 220, 693, 594, 924, 396, 440, 55, 60, 0, 1], [0, 10, 15, 176, 221, 684, 630, 840, 522, 314, 139, 24, 9, 0], [0, 10, 15, 177, 212, 720, 546, 966, 396, 398, 103, 33, 8, 0], [0, 10, 16, 165, 274, 537, 888, 546, 732, 236, 136, 41, 2, 1], [0, 10, 16, 166, 265, 573, 804, 672, 606, 320, 100, 50, 1, 1], [0, 10, 16, 166, 266, 564, 840, 588, 732, 194, 184, 14, 10, 0], [0, 10, 16, 167, 256, 609, 720, 798, 480, 404, 64, 59, 0, 1], [0, 10, 16, 167, 257, 600, 756, 714, 606, 278, 148, 23, 9, 0], [0, 10, 16, 168, 248, 636, 672, 840, 480, 362, 112, 32, 8, 0], [0, 10, 16, 169, 239, 672, 588, 966, 354, 446, 76, 41, 7, 0], [0, 10, 17, 156, 310, 453, 1014, 420, 816, 200, 145, 40, 2, 1], [0, 10, 17, 157, 301, 489, 930, 546, 690, 284, 109, 49, 1, 1], [0, 10, 17, 158, 292, 525, 846, 672, 564, 368, 73, 58, 0, 1], [0, 10, 17, 158, 293, 516, 882, 588, 690, 242, 157, 22, 9, 0], [0, 10, 17, 159, 284, 552, 798, 714, 564, 326, 121, 31, 8, 0], [0, 10, 17, 160, 275, 588, 714, 840, 438, 410, 85, 40, 7, 0], [0, 10, 17, 161, 266, 624, 630, 966, 312, 494, 49, 49, 6, 0], [0, 10, 18, 148, 337, 405, 1056, 420, 774, 248, 118, 48, 1, 1], [0, 10, 18, 149, 328, 441, 972, 546, 648, 332, 82, 57, 0, 1], [0, 10, 18, 149, 329, 432, 1008, 462, 774, 206, 166, 21, 9, 0], [0, 10, 18, 150, 320, 468, 924, 588, 648, 290, 130, 30, 8, 0], [0, 10, 18, 151, 311, 504, 840, 714, 522, 374, 94, 39, 7, 0], [0, 10, 18, 152, 302, 540, 756, 840, 396, 458, 58, 48, 6, 0], [0, 10, 19, 140, 364, 357, 1098, 420, 732, 296, 91, 56, 0, 1], [0, 10, 19, 141, 356, 384, 1050, 462, 732, 254, 139, 29, 8, 0], [0, 10, 19, 142, 347, 420, 966, 588, 606, 338, 103, 38, 7, 0], [0, 10, 19, 143, 338, 456, 882, 714, 480, 422, 67, 47, 6, 0], [0, 10, 20, 133, 383, 336, 1092, 462, 690, 302, 112, 37, 7, 0], [0, 10, 20, 134, 374, 372, 1008, 588, 564, 386, 76, 46, 6, 0], [0, 10, 20, 135, 365, 408, 924, 714, 438, 470, 40, 55, 5, 0], [0, 10, 21, 125, 410, 288, 1134, 462, 648, 350, 85, 45, 6, 0], [0, 10, 21, 126, 401, 324, 1050, 588, 522, 434, 49, 54, 5, 0], [0, 11, 7, 200, 199, 627, 846, 504, 822, 161, 171, 32, 3, 1], [0, 11, 7, 201, 190, 663, 762, 630, 696, 245, 135, 41, 2, 1], [0, 11, 7, 202, 182, 690, 714, 672, 696, 203, 183, 14, 10, 0], [0, 11, 8, 192, 226, 579, 888, 504, 780, 209, 144, 40, 2, 1], [0, 11, 8, 193, 217, 615, 804, 630, 654, 293, 108, 49, 1, 1], [0, 11, 8, 194, 208, 651, 720, 756, 528, 377, 72, 58, 0, 1], [0, 11, 8, 194, 209, 642, 756, 672, 654, 251, 156, 22, 9, 0], [0, 11, 8, 195, 200, 678, 672, 798, 528, 335, 120, 31, 8, 0], [0, 11, 9, 184, 253, 531, 930, 504, 738, 257, 117, 48, 1, 1], [0, 11, 9, 185, 244, 567, 846, 630, 612, 341, 81, 57, 0, 1], [0, 11, 9, 185, 245, 558, 882, 546, 738, 215, 165, 21, 9, 0], [0, 11, 9, 186, 236, 594, 798, 672, 612, 299, 129, 30, 8, 0], [0, 11, 9, 187, 227, 630, 714, 798, 486, 383, 93, 39, 7, 0], [0, 11, 9, 188, 218, 666, 630, 924, 360, 467, 57, 48, 6, 0], [0, 11, 10, 175, 289, 447, 1056, 378, 822, 221, 126, 47, 1, 1], [0, 11, 10, 176, 280, 483, 972, 504, 696, 305, 90, 56, 0, 1], [0, 11, 10, 177, 272, 510, 924, 546, 696, 263, 138, 29, 8, 0], [0, 11, 10, 178, 263, 546, 840, 672, 570, 347, 102, 38, 7, 0], [0, 11, 10, 179, 254, 582, 756, 798, 444, 431, 66, 47, 6, 0], [0, 11, 11, 167, 316, 399, 1098, 378, 780, 269, 99, 55, 0, 1], [0, 11, 11, 168, 308, 426, 1050, 420, 780, 227, 147, 28, 8, 0], [0, 11, 11, 169, 299, 462, 966, 546, 654, 311, 111, 37, 7, 0], [0, 11, 11, 170, 290, 498, 882, 672, 528, 395, 75, 46, 6, 0], [0, 11, 11, 171, 281, 534, 798, 798, 402, 479, 39, 55, 5, 0], [0, 11, 12, 160, 335, 378, 1092, 420, 738, 275, 120, 36, 7, 0], [0, 11, 12, 161, 326, 414, 1008, 546, 612, 359, 84, 45, 6, 0], [0, 11, 12, 162, 317, 450, 924, 672, 486, 443, 48, 54, 5, 0], [0, 11, 13, 152, 362, 330, 1134, 420, 696, 323, 93, 44, 6, 0], [0, 11, 13, 153, 353, 366, 1050, 546, 570, 407, 57, 53, 5, 0], [0, 11, 14, 144, 389, 282, 1176, 420, 654, 371, 66, 52, 5, 0], [0, 12, 3, 196, 251, 504, 966, 504, 702, 284, 119, 36, 7, 0], [0, 12, 3, 197, 242, 540, 882, 630, 576, 368, 83, 45, 6, 0], [0, 12, 4, 187, 287, 420, 1092, 378, 786, 248, 128, 35, 7, 0], [0, 12, 4, 188, 278, 456, 1008, 504, 660, 332, 92, 44, 6, 0], [0, 12, 4, 189, 269, 492, 924, 630, 534, 416, 56, 53, 5, 0], [0, 12, 5, 179, 314, 372, 1134, 378, 744, 296, 101, 43, 6, 0], [0, 12, 5, 180, 305, 408, 1050, 504, 618, 380, 65, 52, 5, 0], [0, 12, 6, 171, 341, 324, 1176, 378, 702, 344, 74, 51, 5, 0], [0, 12, 6, 172, 332, 360, 1092, 504, 576, 428, 38, 60, 4, 0]}