-------
(9, 3645, 6) Remaining distance distributions after General for EXTERNAL point
(6, 3645, 6) has 0 possible DDs: {}
(7, 3645, 6) has 1 possible DDs: {[0, 35, 105, 525, 875, 1155, 735, 215]}
(8, 3645, 6) has 13 possible DDs: {[0, 5, 105, 105, 875, 735, 1155, 515, 150], [0, 6, 98, 126, 840, 770, 1134, 522, 149], [0, 7, 91, 147, 805, 805, 1113, 529, 148], [0, 8, 84, 168, 770, 840, 1092, 536, 147], [0, 9, 77, 189, 735, 875, 1071, 543, 146], [0, 10, 70, 210, 700, 910, 1050, 550, 145], [0, 11, 63, 231, 665, 945, 1029, 557, 144], [0, 12, 56, 252, 630, 980, 1008, 564, 143], [0, 13, 49, 273, 595, 1015, 987, 571, 142], [0, 14, 42, 294, 560, 1050, 966, 578, 141], [0, 15, 35, 315, 525, 1085, 945, 585, 140], [0, 16, 28, 336, 490, 1120, 924, 592, 139], [0, 17, 21, 357, 455, 1155, 903, 599, 138]}
(9, 3645, 6) has 233 possible DDs: {[0, 0, 36, 168, 126, 1260, 420, 1224, 297, 114], [0, 0, 37, 161, 147, 1225, 455, 1203, 304, 113], [0, 0, 38, 154, 168, 1190, 490, 1182, 311, 112], [0, 0, 39, 147, 189, 1155, 525, 1161, 318, 111], [0, 0, 40, 140, 210, 1120, 560, 1140, 325, 110], [0, 0, 41, 133, 231, 1085, 595, 1119, 332, 109], [0, 0, 42, 126, 252, 1050, 630, 1098, 339, 108], [0, 0, 43, 119, 273, 1015, 665, 1077, 346, 107], [0, 0, 44, 112, 294, 980, 700, 1056, 353, 106], [0, 0, 45, 105, 315, 945, 735, 1035, 360, 105], [0, 0, 46, 98, 336, 910, 770, 1014, 367, 104], [0, 0, 47, 91, 357, 875, 805, 993, 374, 103], [0, 0, 48, 84, 378, 840, 840, 972, 381, 102], [0, 0, 49, 77, 399, 805, 875, 951, 388, 101], [0, 0, 50, 70, 420, 770, 910, 930, 395, 100], [0, 0, 51, 63, 441, 735, 945, 909, 402, 99], [0, 0, 52, 56, 462, 700, 980, 888, 409, 98], [0, 0, 53, 49, 483, 665, 1015, 867, 416, 97], [0, 0, 54, 42, 504, 630, 1050, 846, 423, 96], [0, 0, 55, 35, 525, 595, 1085, 825, 430, 95], [0, 0, 56, 28, 546, 560, 1120, 804, 437, 94], [0, 1, 30, 182, 112, 1260, 434, 1210, 303, 113], [0, 1, 31, 175, 133, 1225, 469, 1189, 310, 112], [0, 1, 32, 168, 154, 1190, 504, 1168, 317, 111], [0, 1, 33, 161, 175, 1155, 539, 1147, 324, 110], [0, 1, 34, 154, 196, 1120, 574, 1126, 331, 109], [0, 1, 35, 147, 217, 1085, 609, 1105, 338, 108], [0, 1, 36, 140, 238, 1050, 644, 1084, 345, 107], [0, 1, 37, 133, 259, 1015, 679, 1063, 352, 106], [0, 1, 38, 126, 280, 980, 714, 1042, 359, 105], [0, 1, 39, 119, 301, 945, 749, 1021, 366, 104], [0, 1, 40, 112, 322, 910, 784, 1000, 373, 103], [0, 1, 41, 105, 343, 875, 819, 979, 380, 102], [0, 1, 42, 98, 364, 840, 854, 958, 387, 101], [0, 1, 43, 91, 385, 805, 889, 937, 394, 100], [0, 1, 44, 84, 406, 770, 924, 916, 401, 99], [0, 1, 45, 77, 427, 735, 959, 895, 408, 98], [0, 1, 46, 70, 448, 700, 994, 874, 415, 97], [0, 1, 47, 63, 469, 665, 1029, 853, 422, 96], [0, 1, 48, 56, 490, 630, 1064, 832, 429, 95], [0, 1, 49, 49, 511, 595, 1099, 811, 436, 94], [0, 1, 50, 42, 532, 560, 1134, 790, 443, 93], [0, 1, 51, 35, 553, 525, 1169, 769, 450, 92], [0, 1, 52, 28, 574, 490, 1204, 748, 457, 91], [0, 2, 25, 189, 119, 1225, 483, 1175, 316, 111], [0, 2, 26, 182, 140, 1190, 518, 1154, 323, 110], [0, 2, 27, 175, 161, 1155, 553, 1133, 330, 109], [0, 2, 28, 168, 182, 1120, 588, 1112, 337, 108], [0, 2, 29, 161, 203, 1085, 623, 1091, 344, 107], [0, 2, 30, 154, 224, 1050, 658, 1070, 351, 106], [0, 2, 31, 147, 245, 1015, 693, 1049, 358, 105], [0, 2, 32, 140, 266, 980, 728, 1028, 365, 104], [0, 2, 33, 133, 287, 945, 763, 1007, 372, 103], [0, 2, 34, 126, 308, 910, 798, 986, 379, 102], [0, 2, 35, 119, 329, 875, 833, 965, 386, 101], [0, 2, 36, 112, 350, 840, 868, 944, 393, 100], [0, 2, 37, 105, 371, 805, 903, 923, 400, 99], [0, 2, 38, 98, 392, 770, 938, 902, 407, 98], [0, 2, 39, 91, 413, 735, 973, 881, 414, 97], [0, 2, 40, 84, 434, 700, 1008, 860, 421, 96], [0, 2, 41, 77, 455, 665, 1043, 839, 428, 95], [0, 2, 42, 70, 476, 630, 1078, 818, 435, 94], [0, 2, 43, 63, 497, 595, 1113, 797, 442, 93], [0, 2, 44, 56, 518, 560, 1148, 776, 449, 92], [0, 2, 45, 49, 539, 525, 1183, 755, 456, 91], [0, 2, 46, 42, 560, 490, 1218, 734, 463, 90], [0, 2, 47, 35, 581, 455, 1253, 713, 470, 89], [0, 2, 48, 28, 602, 420, 1288, 692, 477, 88], [0, 3, 19, 203, 105, 1225, 497, 1161, 322, 110], [0, 3, 20, 196, 126, 1190, 532, 1140, 329, 109], [0, 3, 21, 189, 147, 1155, 567, 1119, 336, 108], [0, 3, 22, 182, 168, 1120, 602, 1098, 343, 107], [0, 3, 23, 175, 189, 1085, 637, 1077, 350, 106], [0, 3, 24, 168, 210, 1050, 672, 1056, 357, 105], [0, 3, 25, 161, 231, 1015, 707, 1035, 364, 104], [0, 3, 26, 154, 252, 980, 742, 1014, 371, 103], [0, 3, 27, 147, 273, 945, 777, 993, 378, 102], [0, 3, 28, 140, 294, 910, 812, 972, 385, 101], [0, 3, 29, 133, 315, 875, 847, 951, 392, 100], [0, 3, 30, 126, 336, 840, 882, 930, 399, 99], [0, 3, 31, 119, 357, 805, 917, 909, 406, 98], [0, 3, 32, 112, 378, 770, 952, 888, 413, 97], [0, 3, 33, 105, 399, 735, 987, 867, 420, 96], [0, 3, 34, 98, 420, 700, 1022, 846, 427, 95], [0, 3, 35, 91, 441, 665, 1057, 825, 434, 94], [0, 3, 36, 84, 462, 630, 1092, 804, 441, 93], [0, 3, 37, 77, 483, 595, 1127, 783, 448, 92], [0, 3, 38, 70, 504, 560, 1162, 762, 455, 91], [0, 3, 39, 63, 525, 525, 1197, 741, 462, 90], [0, 3, 40, 56, 546, 490, 1232, 720, 469, 89], [0, 3, 41, 49, 567, 455, 1267, 699, 476, 88], [0, 3, 42, 42, 588, 420, 1302, 678, 483, 87], [0, 3, 43, 35, 609, 385, 1337, 657, 490, 86], [0, 3, 44, 28, 630, 350, 1372, 636, 497, 85], [0, 4, 14, 210, 112, 1190, 546, 1126, 335, 108], [0, 4, 15, 203, 133, 1155, 581, 1105, 342, 107], [0, 4, 16, 196, 154, 1120, 616, 1084, 349, 106], [0, 4, 17, 189, 175, 1085, 651, 1063, 356, 105], [0, 4, 18, 182, 196, 1050, 686, 1042, 363, 104], [0, 4, 19, 175, 217, 1015, 721, 1021, 370, 103], [0, 4, 20, 168, 238, 980, 756, 1000, 377, 102], [0, 4, 21, 161, 259, 945, 791, 979, 384, 101], [0, 4, 22, 154, 280, 910, 826, 958, 391, 100], [0, 4, 23, 147, 301, 875, 861, 937, 398, 99], [0, 4, 24, 140, 322, 840, 896, 916, 405, 98], [0, 4, 25, 133, 343, 805, 931, 895, 412, 97], [0, 4, 26, 126, 364, 770, 966, 874, 419, 96], [0, 4, 27, 119, 385, 735, 1001, 853, 426, 95], [0, 4, 28, 112, 406, 700, 1036, 832, 433, 94], [0, 4, 29, 105, 427, 665, 1071, 811, 440, 93], [0, 4, 30, 98, 448, 630, 1106, 790, 447, 92], [0, 4, 31, 91, 469, 595, 1141, 769, 454, 91], [0, 4, 32, 84, 490, 560, 1176, 748, 461, 90], [0, 4, 33, 77, 511, 525, 1211, 727, 468, 89], [0, 4, 34, 70, 532, 490, 1246, 706, 475, 88], [0, 4, 35, 63, 553, 455, 1281, 685, 482, 87], [0, 4, 36, 56, 574, 420, 1316, 664, 489, 86], [0, 4, 37, 49, 595, 385, 1351, 643, 496, 85], [0, 4, 38, 42, 616, 350, 1386, 622, 503, 84], [0, 4, 39, 35, 637, 315, 1421, 601, 510, 83], [0, 5, 9, 217, 119, 1155, 595, 1091, 348, 106], [0, 5, 10, 210, 140, 1120, 630, 1070, 355, 105], [0, 5, 11, 203, 161, 1085, 665, 1049, 362, 104], [0, 5, 12, 196, 182, 1050, 700, 1028, 369, 103], [0, 5, 13, 189, 203, 1015, 735, 1007, 376, 102], [0, 5, 14, 182, 224, 980, 770, 986, 383, 101], [0, 5, 15, 175, 245, 945, 805, 965, 390, 100], [0, 5, 16, 168, 266, 910, 840, 944, 397, 99], [0, 5, 17, 161, 287, 875, 875, 923, 404, 98], [0, 5, 18, 154, 308, 840, 910, 902, 411, 97], [0, 5, 19, 147, 329, 805, 945, 881, 418, 96], [0, 5, 20, 140, 350, 770, 980, 860, 425, 95], [0, 5, 21, 133, 371, 735, 1015, 839, 432, 94], [0, 5, 22, 126, 392, 700, 1050, 818, 439, 93], [0, 5, 23, 119, 413, 665, 1085, 797, 446, 92], [0, 5, 24, 112, 434, 630, 1120, 776, 453, 91], [0, 5, 25, 105, 455, 595, 1155, 755, 460, 90], [0, 5, 26, 98, 476, 560, 1190, 734, 467, 89], [0, 5, 27, 91, 497, 525, 1225, 713, 474, 88], [0, 5, 28, 84, 518, 490, 1260, 692, 481, 87], [0, 5, 29, 77, 539, 455, 1295, 671, 488, 86], [0, 5, 30, 70, 560, 420, 1330, 650, 495, 85], [0, 5, 31, 63, 581, 385, 1365, 629, 502, 84], [0, 5, 32, 56, 602, 350, 1400, 608, 509, 83], [0, 5, 33, 49, 623, 315, 1435, 587, 516, 82], [0, 5, 34, 42, 644, 280, 1470, 566, 523, 81], [0, 5, 35, 35, 665, 245, 1505, 545, 530, 80], [0, 6, 5, 217, 147, 1085, 679, 1035, 368, 103], [0, 6, 6, 210, 168, 1050, 714, 1014, 375, 102], [0, 6, 7, 203, 189, 1015, 749, 993, 382, 101], [0, 6, 8, 196, 210, 980, 784, 972, 389, 100], [0, 6, 9, 189, 231, 945, 819, 951, 396, 99], [0, 6, 10, 182, 252, 910, 854, 930, 403, 98], [0, 6, 11, 175, 273, 875, 889, 909, 410, 97], [0, 6, 12, 168, 294, 840, 924, 888, 417, 96], [0, 6, 13, 161, 315, 805, 959, 867, 424, 95], [0, 6, 14, 154, 336, 770, 994, 846, 431, 94], [0, 6, 15, 147, 357, 735, 1029, 825, 438, 93], [0, 6, 16, 140, 378, 700, 1064, 804, 445, 92], [0, 6, 17, 133, 399, 665, 1099, 783, 452, 91], [0, 6, 18, 126, 420, 630, 1134, 762, 459, 90], [0, 6, 19, 119, 441, 595, 1169, 741, 466, 89], [0, 6, 20, 112, 462, 560, 1204, 720, 473, 88], [0, 6, 21, 105, 483, 525, 1239, 699, 480, 87], [0, 6, 22, 98, 504, 490, 1274, 678, 487, 86], [0, 6, 23, 91, 525, 455, 1309, 657, 494, 85], [0, 6, 24, 84, 546, 420, 1344, 636, 501, 84], [0, 6, 25, 77, 567, 385, 1379, 615, 508, 83], [0, 6, 26, 70, 588, 350, 1414, 594, 515, 82], [0, 6, 27, 63, 609, 315, 1449, 573, 522, 81], [0, 6, 28, 56, 630, 280, 1484, 552, 529, 80], [0, 6, 29, 49, 651, 245, 1519, 531, 536, 79], [0, 7, 1, 217, 175, 1015, 763, 979, 388, 100], [0, 7, 2, 210, 196, 980, 798, 958, 395, 99], [0, 7, 3, 203, 217, 945, 833, 937, 402, 98], [0, 7, 4, 196, 238, 910, 868, 916, 409, 97], [0, 7, 5, 189, 259, 875, 903, 895, 416, 96], [0, 7, 6, 182, 280, 840, 938, 874, 423, 95], [0, 7, 7, 175, 301, 805, 973, 853, 430, 94], [0, 7, 8, 168, 322, 770, 1008, 832, 437, 93], [0, 7, 9, 161, 343, 735, 1043, 811, 444, 92], [0, 7, 10, 154, 364, 700, 1078, 790, 451, 91], [0, 7, 11, 147, 385, 665, 1113, 769, 458, 90], [0, 7, 12, 140, 406, 630, 1148, 748, 465, 89], [0, 7, 13, 133, 427, 595, 1183, 727, 472, 88], [0, 7, 14, 126, 448, 560, 1218, 706, 479, 87], [0, 7, 15, 119, 469, 525, 1253, 685, 486, 86], [0, 7, 16, 112, 490, 490, 1288, 664, 493, 85], [0, 7, 17, 105, 511, 455, 1323, 643, 500, 84], [0, 7, 18, 98, 532, 420, 1358, 622, 507, 83], [0, 7, 19, 91, 553, 385, 1393, 601, 514, 82], [0, 7, 20, 84, 574, 350, 1428, 580, 521, 81], [0, 7, 21, 77, 595, 315, 1463, 559, 528, 80], [0, 7, 22, 70, 616, 280, 1498, 538, 535, 79], [0, 7, 23, 63, 637, 245, 1533, 517, 542, 78], [0, 7, 24, 56, 658, 210, 1568, 496, 549, 77], [0, 8, 0, 196, 266, 840, 952, 860, 429, 94], [0, 8, 1, 189, 287, 805, 987, 839, 436, 93], [0, 8, 2, 182, 308, 770, 1022, 818, 443, 92], [0, 8, 3, 175, 329, 735, 1057, 797, 450, 91], [0, 8, 4, 168, 350, 700, 1092, 776, 457, 90], [0, 8, 5, 161, 371, 665, 1127, 755, 464, 89], [0, 8, 6, 154, 392, 630, 1162, 734, 471, 88], [0, 8, 7, 147, 413, 595, 1197, 713, 478, 87], [0, 8, 8, 140, 434, 560, 1232, 692, 485, 86], [0, 8, 9, 133, 455, 525, 1267, 671, 492, 85], [0, 8, 10, 126, 476, 490, 1302, 650, 499, 84], [0, 8, 11, 119, 497, 455, 1337, 629, 506, 83], [0, 8, 12, 112, 518, 420, 1372, 608, 513, 82], [0, 8, 13, 105, 539, 385, 1407, 587, 520, 81], [0, 8, 14, 98, 560, 350, 1442, 566, 527, 80], [0, 8, 15, 91, 581, 315, 1477, 545, 534, 79], [0, 8, 16, 84, 602, 280, 1512, 524, 541, 78], [0, 8, 17, 77, 623, 245, 1547, 503, 548, 77], [0, 8, 18, 70, 644, 210, 1582, 482, 555, 76], [0, 9, 0, 168, 378, 630, 1176, 720, 477, 87], [0, 9, 1, 161, 399, 595, 1211, 699, 484, 86], [0, 9, 2, 154, 420, 560, 1246, 678, 491, 85], [0, 9, 3, 147, 441, 525, 1281, 657, 498, 84], [0, 9, 4, 140, 462, 490, 1316, 636, 505, 83], [0, 9, 5, 133, 483, 455, 1351, 615, 512, 82], [0, 9, 6, 126, 504, 420, 1386, 594, 519, 81], [0, 9, 7, 119, 525, 385, 1421, 573, 526, 80], [0, 9, 8, 112, 546, 350, 1456, 552, 533, 79], [0, 9, 9, 105, 567, 315, 1491, 531, 540, 78], [0, 9, 10, 98, 588, 280, 1526, 510, 547, 77], [0, 9, 11, 91, 609, 245, 1561, 489, 554, 76], [0, 9, 12, 84, 630, 210, 1596, 468, 561, 75], [0, 10, 0, 140, 490, 420, 1400, 580, 525, 80], [0, 10, 1, 133, 511, 385, 1435, 559, 532, 79], [0, 10, 2, 126, 532, 350, 1470, 538, 539, 78], [0, 10, 3, 119, 553, 315, 1505, 517, 546, 77], [0, 10, 4, 112, 574, 280, 1540, 496, 553, 76]}
-------
(9, 3645, 6) Remaining distance distributions after General for EXTERNAL point
(6, 3645, 6) has 0 possible DDs: {}
(7, 3645, 6) has 1 possible DDs: {[0, 35, 105, 525, 875, 1155, 735, 215]}
(8, 3645, 6) has 13 possible DDs: {[0, 5, 105, 105, 875, 735, 1155, 515, 150], [0, 6, 98, 126, 840, 770, 1134, 522, 149], [0, 7, 91, 147, 805, 805, 1113, 529, 148], [0, 8, 84, 168, 770, 840, 1092, 536, 147], [0, 9, 77, 189, 735, 875, 1071, 543, 146], [0, 10, 70, 210, 700, 910, 1050, 550, 145], [0, 11, 63, 231, 665, 945, 1029, 557, 144], [0, 12, 56, 252, 630, 980, 1008, 564, 143], [0, 13, 49, 273, 595, 1015, 987, 571, 142], [0, 14, 42, 294, 560, 1050, 966, 578, 141], [0, 15, 35, 315, 525, 1085, 945, 585, 140], [0, 16, 28, 336, 490, 1120, 924, 592, 139], [0, 17, 21, 357, 455, 1155, 903, 599, 138]}
(9, 3645, 6) has 233 possible DDs: {[0, 0, 36, 168, 126, 1260, 420, 1224, 297, 114], [0, 0, 37, 161, 147, 1225, 455, 1203, 304, 113], [0, 0, 38, 154, 168, 1190, 490, 1182, 311, 112], [0, 0, 39, 147, 189, 1155, 525, 1161, 318, 111], [0, 0, 40, 140, 210, 1120, 560, 1140, 325, 110], [0, 0, 41, 133, 231, 1085, 595, 1119, 332, 109], [0, 0, 42, 126, 252, 1050, 630, 1098, 339, 108], [0, 0, 43, 119, 273, 1015, 665, 1077, 346, 107], [0, 0, 44, 112, 294, 980, 700, 1056, 353, 106], [0, 0, 45, 105, 315, 945, 735, 1035, 360, 105], [0, 0, 46, 98, 336, 910, 770, 1014, 367, 104], [0, 0, 47, 91, 357, 875, 805, 993, 374, 103], [0, 0, 48, 84, 378, 840, 840, 972, 381, 102], [0, 0, 49, 77, 399, 805, 875, 951, 388, 101], [0, 0, 50, 70, 420, 770, 910, 930, 395, 100], [0, 0, 51, 63, 441, 735, 945, 909, 402, 99], [0, 0, 52, 56, 462, 700, 980, 888, 409, 98], [0, 0, 53, 49, 483, 665, 1015, 867, 416, 97], [0, 0, 54, 42, 504, 630, 1050, 846, 423, 96], [0, 0, 55, 35, 525, 595, 1085, 825, 430, 95], [0, 0, 56, 28, 546, 560, 1120, 804, 437, 94], [0, 1, 30, 182, 112, 1260, 434, 1210, 303, 113], [0, 1, 31, 175, 133, 1225, 469, 1189, 310, 112], [0, 1, 32, 168, 154, 1190, 504, 1168, 317, 111], [0, 1, 33, 161, 175, 1155, 539, 1147, 324, 110], [0, 1, 34, 154, 196, 1120, 574, 1126, 331, 109], [0, 1, 35, 147, 217, 1085, 609, 1105, 338, 108], [0, 1, 36, 140, 238, 1050, 644, 1084, 345, 107], [0, 1, 37, 133, 259, 1015, 679, 1063, 352, 106], [0, 1, 38, 126, 280, 980, 714, 1042, 359, 105], [0, 1, 39, 119, 301, 945, 749, 1021, 366, 104], [0, 1, 40, 112, 322, 910, 784, 1000, 373, 103], [0, 1, 41, 105, 343, 875, 819, 979, 380, 102], [0, 1, 42, 98, 364, 840, 854, 958, 387, 101], [0, 1, 43, 91, 385, 805, 889, 937, 394, 100], [0, 1, 44, 84, 406, 770, 924, 916, 401, 99], [0, 1, 45, 77, 427, 735, 959, 895, 408, 98], [0, 1, 46, 70, 448, 700, 994, 874, 415, 97], [0, 1, 47, 63, 469, 665, 1029, 853, 422, 96], [0, 1, 48, 56, 490, 630, 1064, 832, 429, 95], [0, 1, 49, 49, 511, 595, 1099, 811, 436, 94], [0, 1, 50, 42, 532, 560, 1134, 790, 443, 93], [0, 1, 51, 35, 553, 525, 1169, 769, 450, 92], [0, 1, 52, 28, 574, 490, 1204, 748, 457, 91], [0, 2, 25, 189, 119, 1225, 483, 1175, 316, 111], [0, 2, 26, 182, 140, 1190, 518, 1154, 323, 110], [0, 2, 27, 175, 161, 1155, 553, 1133, 330, 109], [0, 2, 28, 168, 182, 1120, 588, 1112, 337, 108], [0, 2, 29, 161, 203, 1085, 623, 1091, 344, 107], [0, 2, 30, 154, 224, 1050, 658, 1070, 351, 106], [0, 2, 31, 147, 245, 1015, 693, 1049, 358, 105], [0, 2, 32, 140, 266, 980, 728, 1028, 365, 104], [0, 2, 33, 133, 287, 945, 763, 1007, 372, 103], [0, 2, 34, 126, 308, 910, 798, 986, 379, 102], [0, 2, 35, 119, 329, 875, 833, 965, 386, 101], [0, 2, 36, 112, 350, 840, 868, 944, 393, 100], [0, 2, 37, 105, 371, 805, 903, 923, 400, 99], [0, 2, 38, 98, 392, 770, 938, 902, 407, 98], [0, 2, 39, 91, 413, 735, 973, 881, 414, 97], [0, 2, 40, 84, 434, 700, 1008, 860, 421, 96], [0, 2, 41, 77, 455, 665, 1043, 839, 428, 95], [0, 2, 42, 70, 476, 630, 1078, 818, 435, 94], [0, 2, 43, 63, 497, 595, 1113, 797, 442, 93], [0, 2, 44, 56, 518, 560, 1148, 776, 449, 92], [0, 2, 45, 49, 539, 525, 1183, 755, 456, 91], [0, 2, 46, 42, 560, 490, 1218, 734, 463, 90], [0, 2, 47, 35, 581, 455, 1253, 713, 470, 89], [0, 2, 48, 28, 602, 420, 1288, 692, 477, 88], [0, 3, 19, 203, 105, 1225, 497, 1161, 322, 110], [0, 3, 20, 196, 126, 1190, 532, 1140, 329, 109], [0, 3, 21, 189, 147, 1155, 567, 1119, 336, 108], [0, 3, 22, 182, 168, 1120, 602, 1098, 343, 107], [0, 3, 23, 175, 189, 1085, 637, 1077, 350, 106], [0, 3, 24, 168, 210, 1050, 672, 1056, 357, 105], [0, 3, 25, 161, 231, 1015, 707, 1035, 364, 104], [0, 3, 26, 154, 252, 980, 742, 1014, 371, 103], [0, 3, 27, 147, 273, 945, 777, 993, 378, 102], [0, 3, 28, 140, 294, 910, 812, 972, 385, 101], [0, 3, 29, 133, 315, 875, 847, 951, 392, 100], [0, 3, 30, 126, 336, 840, 882, 930, 399, 99], [0, 3, 31, 119, 357, 805, 917, 909, 406, 98], [0, 3, 32, 112, 378, 770, 952, 888, 413, 97], [0, 3, 33, 105, 399, 735, 987, 867, 420, 96], [0, 3, 34, 98, 420, 700, 1022, 846, 427, 95], [0, 3, 35, 91, 441, 665, 1057, 825, 434, 94], [0, 3, 36, 84, 462, 630, 1092, 804, 441, 93], [0, 3, 37, 77, 483, 595, 1127, 783, 448, 92], [0, 3, 38, 70, 504, 560, 1162, 762, 455, 91], [0, 3, 39, 63, 525, 525, 1197, 741, 462, 90], [0, 3, 40, 56, 546, 490, 1232, 720, 469, 89], [0, 3, 41, 49, 567, 455, 1267, 699, 476, 88], [0, 3, 42, 42, 588, 420, 1302, 678, 483, 87], [0, 3, 43, 35, 609, 385, 1337, 657, 490, 86], [0, 3, 44, 28, 630, 350, 1372, 636, 497, 85], [0, 4, 14, 210, 112, 1190, 546, 1126, 335, 108], [0, 4, 15, 203, 133, 1155, 581, 1105, 342, 107], [0, 4, 16, 196, 154, 1120, 616, 1084, 349, 106], [0, 4, 17, 189, 175, 1085, 651, 1063, 356, 105], [0, 4, 18, 182, 196, 1050, 686, 1042, 363, 104], [0, 4, 19, 175, 217, 1015, 721, 1021, 370, 103], [0, 4, 20, 168, 238, 980, 756, 1000, 377, 102], [0, 4, 21, 161, 259, 945, 791, 979, 384, 101], [0, 4, 22, 154, 280, 910, 826, 958, 391, 100], [0, 4, 23, 147, 301, 875, 861, 937, 398, 99], [0, 4, 24, 140, 322, 840, 896, 916, 405, 98], [0, 4, 25, 133, 343, 805, 931, 895, 412, 97], [0, 4, 26, 126, 364, 770, 966, 874, 419, 96], [0, 4, 27, 119, 385, 735, 1001, 853, 426, 95], [0, 4, 28, 112, 406, 700, 1036, 832, 433, 94], [0, 4, 29, 105, 427, 665, 1071, 811, 440, 93], [0, 4, 30, 98, 448, 630, 1106, 790, 447, 92], [0, 4, 31, 91, 469, 595, 1141, 769, 454, 91], [0, 4, 32, 84, 490, 560, 1176, 748, 461, 90], [0, 4, 33, 77, 511, 525, 1211, 727, 468, 89], [0, 4, 34, 70, 532, 490, 1246, 706, 475, 88], [0, 4, 35, 63, 553, 455, 1281, 685, 482, 87], [0, 4, 36, 56, 574, 420, 1316, 664, 489, 86], [0, 4, 37, 49, 595, 385, 1351, 643, 496, 85], [0, 4, 38, 42, 616, 350, 1386, 622, 503, 84], [0, 4, 39, 35, 637, 315, 1421, 601, 510, 83], [0, 5, 9, 217, 119, 1155, 595, 1091, 348, 106], [0, 5, 10, 210, 140, 1120, 630, 1070, 355, 105], [0, 5, 11, 203, 161, 1085, 665, 1049, 362, 104], [0, 5, 12, 196, 182, 1050, 700, 1028, 369, 103], [0, 5, 13, 189, 203, 1015, 735, 1007, 376, 102], [0, 5, 14, 182, 224, 980, 770, 986, 383, 101], [0, 5, 15, 175, 245, 945, 805, 965, 390, 100], [0, 5, 16, 168, 266, 910, 840, 944, 397, 99], [0, 5, 17, 161, 287, 875, 875, 923, 404, 98], [0, 5, 18, 154, 308, 840, 910, 902, 411, 97], [0, 5, 19, 147, 329, 805, 945, 881, 418, 96], [0, 5, 20, 140, 350, 770, 980, 860, 425, 95], [0, 5, 21, 133, 371, 735, 1015, 839, 432, 94], [0, 5, 22, 126, 392, 700, 1050, 818, 439, 93], [0, 5, 23, 119, 413, 665, 1085, 797, 446, 92], [0, 5, 24, 112, 434, 630, 1120, 776, 453, 91], [0, 5, 25, 105, 455, 595, 1155, 755, 460, 90], [0, 5, 26, 98, 476, 560, 1190, 734, 467, 89], [0, 5, 27, 91, 497, 525, 1225, 713, 474, 88], [0, 5, 28, 84, 518, 490, 1260, 692, 481, 87], [0, 5, 29, 77, 539, 455, 1295, 671, 488, 86], [0, 5, 30, 70, 560, 420, 1330, 650, 495, 85], [0, 5, 31, 63, 581, 385, 1365, 629, 502, 84], [0, 5, 32, 56, 602, 350, 1400, 608, 509, 83], [0, 5, 33, 49, 623, 315, 1435, 587, 516, 82], [0, 5, 34, 42, 644, 280, 1470, 566, 523, 81], [0, 5, 35, 35, 665, 245, 1505, 545, 530, 80], [0, 6, 5, 217, 147, 1085, 679, 1035, 368, 103], [0, 6, 6, 210, 168, 1050, 714, 1014, 375, 102], [0, 6, 7, 203, 189, 1015, 749, 993, 382, 101], [0, 6, 8, 196, 210, 980, 784, 972, 389, 100], [0, 6, 9, 189, 231, 945, 819, 951, 396, 99], [0, 6, 10, 182, 252, 910, 854, 930, 403, 98], [0, 6, 11, 175, 273, 875, 889, 909, 410, 97], [0, 6, 12, 168, 294, 840, 924, 888, 417, 96], [0, 6, 13, 161, 315, 805, 959, 867, 424, 95], [0, 6, 14, 154, 336, 770, 994, 846, 431, 94], [0, 6, 15, 147, 357, 735, 1029, 825, 438, 93], [0, 6, 16, 140, 378, 700, 1064, 804, 445, 92], [0, 6, 17, 133, 399, 665, 1099, 783, 452, 91], [0, 6, 18, 126, 420, 630, 1134, 762, 459, 90], [0, 6, 19, 119, 441, 595, 1169, 741, 466, 89], [0, 6, 20, 112, 462, 560, 1204, 720, 473, 88], [0, 6, 21, 105, 483, 525, 1239, 699, 480, 87], [0, 6, 22, 98, 504, 490, 1274, 678, 487, 86], [0, 6, 23, 91, 525, 455, 1309, 657, 494, 85], [0, 6, 24, 84, 546, 420, 1344, 636, 501, 84], [0, 6, 25, 77, 567, 385, 1379, 615, 508, 83], [0, 6, 26, 70, 588, 350, 1414, 594, 515, 82], [0, 6, 27, 63, 609, 315, 1449, 573, 522, 81], [0, 6, 28, 56, 630, 280, 1484, 552, 529, 80], [0, 6, 29, 49, 651, 245, 1519, 531, 536, 79], [0, 7, 1, 217, 175, 1015, 763, 979, 388, 100], [0, 7, 2, 210, 196, 980, 798, 958, 395, 99], [0, 7, 3, 203, 217, 945, 833, 937, 402, 98], [0, 7, 4, 196, 238, 910, 868, 916, 409, 97], [0, 7, 5, 189, 259, 875, 903, 895, 416, 96], [0, 7, 6, 182, 280, 840, 938, 874, 423, 95], [0, 7, 7, 175, 301, 805, 973, 853, 430, 94], [0, 7, 8, 168, 322, 770, 1008, 832, 437, 93], [0, 7, 9, 161, 343, 735, 1043, 811, 444, 92], [0, 7, 10, 154, 364, 700, 1078, 790, 451, 91], [0, 7, 11, 147, 385, 665, 1113, 769, 458, 90], [0, 7, 12, 140, 406, 630, 1148, 748, 465, 89], [0, 7, 13, 133, 427, 595, 1183, 727, 472, 88], [0, 7, 14, 126, 448, 560, 1218, 706, 479, 87], [0, 7, 15, 119, 469, 525, 1253, 685, 486, 86], [0, 7, 16, 112, 490, 490, 1288, 664, 493, 85], [0, 7, 17, 105, 511, 455, 1323, 643, 500, 84], [0, 7, 18, 98, 532, 420, 1358, 622, 507, 83], [0, 7, 19, 91, 553, 385, 1393, 601, 514, 82], [0, 7, 20, 84, 574, 350, 1428, 580, 521, 81], [0, 7, 21, 77, 595, 315, 1463, 559, 528, 80], [0, 7, 22, 70, 616, 280, 1498, 538, 535, 79], [0, 7, 23, 63, 637, 245, 1533, 517, 542, 78], [0, 7, 24, 56, 658, 210, 1568, 496, 549, 77], [0, 8, 0, 196, 266, 840, 952, 860, 429, 94], [0, 8, 1, 189, 287, 805, 987, 839, 436, 93], [0, 8, 2, 182, 308, 770, 1022, 818, 443, 92], [0, 8, 3, 175, 329, 735, 1057, 797, 450, 91], [0, 8, 4, 168, 350, 700, 1092, 776, 457, 90], [0, 8, 5, 161, 371, 665, 1127, 755, 464, 89], [0, 8, 6, 154, 392, 630, 1162, 734, 471, 88], [0, 8, 7, 147, 413, 595, 1197, 713, 478, 87], [0, 8, 8, 140, 434, 560, 1232, 692, 485, 86], [0, 8, 9, 133, 455, 525, 1267, 671, 492, 85], [0, 8, 10, 126, 476, 490, 1302, 650, 499, 84], [0, 8, 11, 119, 497, 455, 1337, 629, 506, 83], [0, 8, 12, 112, 518, 420, 1372, 608, 513, 82], [0, 8, 13, 105, 539, 385, 1407, 587, 520, 81], [0, 8, 14, 98, 560, 350, 1442, 566, 527, 80], [0, 8, 15, 91, 581, 315, 1477, 545, 534, 79], [0, 8, 16, 84, 602, 280, 1512, 524, 541, 78], [0, 8, 17, 77, 623, 245, 1547, 503, 548, 77], [0, 8, 18, 70, 644, 210, 1582, 482, 555, 76], [0, 9, 0, 168, 378, 630, 1176, 720, 477, 87], [0, 9, 1, 161, 399, 595, 1211, 699, 484, 86], [0, 9, 2, 154, 420, 560, 1246, 678, 491, 85], [0, 9, 3, 147, 441, 525, 1281, 657, 498, 84], [0, 9, 4, 140, 462, 490, 1316, 636, 505, 83], [0, 9, 5, 133, 483, 455, 1351, 615, 512, 82], [0, 9, 6, 126, 504, 420, 1386, 594, 519, 81], [0, 9, 7, 119, 525, 385, 1421, 573, 526, 80], [0, 9, 8, 112, 546, 350, 1456, 552, 533, 79], [0, 9, 9, 105, 567, 315, 1491, 531, 540, 78], [0, 9, 10, 98, 588, 280, 1526, 510, 547, 77], [0, 9, 11, 91, 609, 245, 1561, 489, 554, 76], [0, 9, 12, 84, 630, 210, 1596, 468, 561, 75], [0, 10, 0, 140, 490, 420, 1400, 580, 525, 80], [0, 10, 1, 133, 511, 385, 1435, 559, 532, 79], [0, 10, 2, 126, 532, 350, 1470, 538, 539, 78], [0, 10, 3, 119, 553, 315, 1505, 517, 546, 77], [0, 10, 4, 112, 574, 280, 1540, 496, 553, 76]}