------- (9, 4374, 6) Remaining distance distributions after NDDA (6, 4374, 6) has 1 possible DDs: {[6, 72, 360, 960, 1440, 1152, 384]} (7, 4374, 6) has 7 possible DDs: {[0, 42, 126, 630, 1050, 1386, 882, 258], [1, 35, 147, 595, 1085, 1365, 889, 257], [2, 28, 168, 560, 1120, 1344, 896, 256], [3, 21, 189, 525, 1155, 1323, 903, 255], [4, 14, 210, 490, 1190, 1302, 910, 254], [5, 7, 231, 455, 1225, 1281, 917, 253], [6, 0, 252, 420, 1260, 1260, 924, 252]} (8, 4374, 6) has 82 possible DDs: {[0, 0, 168, 0, 1260, 672, 1512, 576, 186], [0, 1, 161, 21, 1225, 707, 1491, 583, 185], [0, 2, 154, 42, 1190, 742, 1470, 590, 184], [0, 3, 147, 63, 1155, 777, 1449, 597, 183], [0, 4, 140, 84, 1120, 812, 1428, 604, 182], [0, 5, 133, 105, 1085, 847, 1407, 611, 181], [0, 6, 126, 126, 1050, 882, 1386, 618, 180], [0, 7, 119, 147, 1015, 917, 1365, 625, 179], [0, 8, 112, 168, 980, 952, 1344, 632, 178], [0, 9, 105, 189, 945, 987, 1323, 639, 177], [0, 10, 98, 210, 910, 1022, 1302, 646, 176], [0, 11, 91, 231, 875, 1057, 1281, 653, 175], [0, 12, 84, 252, 840, 1092, 1260, 660, 174], [0, 13, 77, 273, 805, 1127, 1239, 667, 173], [0, 14, 70, 294, 770, 1162, 1218, 674, 172], [0, 15, 63, 315, 735, 1197, 1197, 681, 171], [0, 16, 56, 336, 700, 1232, 1176, 688, 170], [0, 17, 49, 357, 665, 1267, 1155, 695, 169], [0, 18, 42, 378, 630, 1302, 1134, 702, 168], [0, 19, 35, 399, 595, 1337, 1113, 709, 167], [0, 20, 28, 420, 560, 1372, 1092, 716, 166], [0, 21, 21, 441, 525, 1407, 1071, 723, 165], [0, 22, 14, 462, 490, 1442, 1050, 730, 164], [0, 23, 7, 483, 455, 1477, 1029, 737, 163], [0, 24, 0, 504, 420, 1512, 1008, 744, 162], [1, 0, 140, 112, 1050, 896, 1372, 624, 179], [1, 1, 133, 133, 1015, 931, 1351, 631, 178], [1, 2, 126, 154, 980, 966, 1330, 638, 177], [1, 3, 119, 175, 945, 1001, 1309, 645, 176], [1, 4, 112, 196, 910, 1036, 1288, 652, 175], [1, 5, 105, 217, 875, 1071, 1267, 659, 174], [1, 6, 98, 238, 840, 1106, 1246, 666, 173], [1, 7, 91, 259, 805, 1141, 1225, 673, 172], [1, 8, 84, 280, 770, 1176, 1204, 680, 171], [1, 9, 77, 301, 735, 1211, 1183, 687, 170], [1, 10, 70, 322, 700, 1246, 1162, 694, 169], [1, 11, 63, 343, 665, 1281, 1141, 701, 168], [1, 12, 56, 364, 630, 1316, 1120, 708, 167], [1, 13, 49, 385, 595, 1351, 1099, 715, 166], [1, 14, 42, 406, 560, 1386, 1078, 722, 165], [1, 15, 35, 427, 525, 1421, 1057, 729, 164], [1, 16, 28, 448, 490, 1456, 1036, 736, 163], [1, 17, 21, 469, 455, 1491, 1015, 743, 162], [2, 0, 112, 224, 840, 1120, 1232, 672, 172], [2, 1, 105, 245, 805, 1155, 1211, 679, 171], [2, 2, 98, 266, 770, 1190, 1190, 686, 170], [2, 3, 91, 287, 735, 1225, 1169, 693, 169], [2, 4, 84, 308, 700, 1260, 1148, 700, 168], [2, 5, 77, 329, 665, 1295, 1127, 707, 167], [2, 6, 70, 350, 630, 1330, 1106, 714, 166], [2, 7, 63, 371, 595, 1365, 1085, 721, 165], [2, 8, 56, 392, 560, 1400, 1064, 728, 164], [2, 9, 49, 413, 525, 1435, 1043, 735, 163], [2, 10, 42, 434, 490, 1470, 1022, 742, 162], [2, 11, 35, 455, 455, 1505, 1001, 749, 161], [2, 12, 28, 476, 420, 1540, 980, 756, 160], [2, 13, 21, 497, 385, 1575, 959, 763, 159], [2, 14, 14, 518, 350, 1610, 938, 770, 158], [2, 15, 7, 539, 315, 1645, 917, 777, 157], [2, 16, 0, 560, 280, 1680, 896, 784, 156], [3, 0, 84, 336, 630, 1344, 1092, 720, 165], [3, 1, 77, 357, 595, 1379, 1071, 727, 164], [3, 2, 70, 378, 560, 1414, 1050, 734, 163], [3, 3, 63, 399, 525, 1449, 1029, 741, 162], [3, 4, 56, 420, 490, 1484, 1008, 748, 161], [3, 5, 49, 441, 455, 1519, 987, 755, 160], [3, 6, 42, 462, 420, 1554, 966, 762, 159], [3, 7, 35, 483, 385, 1589, 945, 769, 158], [3, 8, 28, 504, 350, 1624, 924, 776, 157], [3, 9, 21, 525, 315, 1659, 903, 783, 156], [4, 0, 56, 448, 420, 1568, 952, 768, 158], [4, 1, 49, 469, 385, 1603, 931, 775, 157], [4, 2, 42, 490, 350, 1638, 910, 782, 156], [4, 3, 35, 511, 315, 1673, 889, 789, 155], [4, 4, 28, 532, 280, 1708, 868, 796, 154], [4, 5, 21, 553, 245, 1743, 847, 803, 153], [4, 6, 14, 574, 210, 1778, 826, 810, 152], [4, 7, 7, 595, 175, 1813, 805, 817, 151], [4, 8, 0, 616, 140, 1848, 784, 824, 150], [5, 0, 28, 560, 210, 1792, 812, 816, 151], [5, 1, 21, 581, 175, 1827, 791, 823, 150], [6, 0, 0, 672, 0, 2016, 672, 864, 144]} (9, 4374, 6) has 839 possible DDs: {[0, 0, 40, 224, 84, 1624, 392, 1536, 334, 140], [0, 0, 41, 217, 105, 1589, 427, 1515, 341, 139], [0, 0, 42, 210, 126, 1554, 462, 1494, 348, 138], [0, 0, 43, 203, 147, 1519, 497, 1473, 355, 137], [0, 0, 44, 196, 168, 1484, 532, 1452, 362, 136], [0, 0, 45, 189, 189, 1449, 567, 1431, 369, 135], [0, 0, 46, 182, 210, 1414, 602, 1410, 376, 134], [0, 0, 47, 175, 231, 1379, 637, 1389, 383, 133], [0, 0, 48, 168, 252, 1344, 672, 1368, 390, 132], [0, 0, 49, 161, 273, 1309, 707, 1347, 397, 131], [0, 0, 50, 154, 294, 1274, 742, 1326, 404, 130], [0, 0, 51, 147, 315, 1239, 777, 1305, 411, 129], [0, 0, 52, 140, 336, 1204, 812, 1284, 418, 128], [0, 0, 53, 133, 357, 1169, 847, 1263, 425, 127], [0, 0, 54, 126, 378, 1134, 882, 1242, 432, 126], [0, 0, 55, 119, 399, 1099, 917, 1221, 439, 125], [0, 0, 56, 112, 420, 1064, 952, 1200, 446, 124], [0, 0, 57, 105, 441, 1029, 987, 1179, 453, 123], [0, 0, 58, 98, 462, 994, 1022, 1158, 460, 122], [0, 0, 59, 91, 483, 959, 1057, 1137, 467, 121], [0, 0, 60, 84, 504, 924, 1092, 1116, 474, 120], [0, 0, 61, 77, 525, 889, 1127, 1095, 481, 119], [0, 0, 62, 70, 546, 854, 1162, 1074, 488, 118], [0, 0, 63, 63, 567, 819, 1197, 1053, 495, 117], [0, 0, 64, 56, 588, 784, 1232, 1032, 502, 116], [0, 0, 65, 49, 609, 749, 1267, 1011, 509, 115], [0, 0, 66, 42, 630, 714, 1302, 990, 516, 114], [0, 0, 67, 35, 651, 679, 1337, 969, 523, 113], [0, 0, 68, 28, 672, 644, 1372, 948, 530, 112], [0, 0, 69, 21, 693, 609, 1407, 927, 537, 111], [0, 0, 70, 14, 714, 574, 1442, 906, 544, 110], [0, 0, 71, 7, 735, 539, 1477, 885, 551, 109], [0, 0, 72, 0, 756, 504, 1512, 864, 558, 108], [0, 1, 35, 231, 91, 1589, 441, 1501, 347, 138], [0, 1, 36, 224, 112, 1554, 476, 1480, 354, 137], [0, 1, 37, 217, 133, 1519, 511, 1459, 361, 136], [0, 1, 38, 210, 154, 1484, 546, 1438, 368, 135], [0, 1, 39, 203, 175, 1449, 581, 1417, 375, 134], [0, 1, 40, 196, 196, 1414, 616, 1396, 382, 133], [0, 1, 41, 189, 217, 1379, 651, 1375, 389, 132], [0, 1, 42, 182, 238, 1344, 686, 1354, 396, 131], [0, 1, 43, 175, 259, 1309, 721, 1333, 403, 130], [0, 1, 44, 168, 280, 1274, 756, 1312, 410, 129], [0, 1, 45, 161, 301, 1239, 791, 1291, 417, 128], [0, 1, 46, 154, 322, 1204, 826, 1270, 424, 127], [0, 1, 47, 147, 343, 1169, 861, 1249, 431, 126], [0, 1, 48, 140, 364, 1134, 896, 1228, 438, 125], [0, 1, 49, 133, 385, 1099, 931, 1207, 445, 124], [0, 1, 50, 126, 406, 1064, 966, 1186, 452, 123], [0, 1, 51, 119, 427, 1029, 1001, 1165, 459, 122], [0, 1, 52, 112, 448, 994, 1036, 1144, 466, 121], [0, 1, 53, 105, 469, 959, 1071, 1123, 473, 120], [0, 1, 54, 98, 490, 924, 1106, 1102, 480, 119], [0, 1, 55, 91, 511, 889, 1141, 1081, 487, 118], [0, 1, 56, 84, 532, 854, 1176, 1060, 494, 117], [0, 1, 57, 77, 553, 819, 1211, 1039, 501, 116], [0, 1, 58, 70, 574, 784, 1246, 1018, 508, 115], [0, 1, 59, 63, 595, 749, 1281, 997, 515, 114], [0, 1, 60, 56, 616, 714, 1316, 976, 522, 113], [0, 1, 61, 49, 637, 679, 1351, 955, 529, 112], [0, 1, 62, 42, 658, 644, 1386, 934, 536, 111], [0, 1, 63, 35, 679, 609, 1421, 913, 543, 110], [0, 1, 64, 28, 700, 574, 1456, 892, 550, 109], [0, 1, 65, 21, 721, 539, 1491, 871, 557, 108], [0, 2, 30, 238, 98, 1554, 490, 1466, 360, 136], [0, 2, 31, 231, 119, 1519, 525, 1445, 367, 135], [0, 2, 32, 224, 140, 1484, 560, 1424, 374, 134], [0, 2, 33, 217, 161, 1449, 595, 1403, 381, 133], [0, 2, 34, 210, 182, 1414, 630, 1382, 388, 132], [0, 2, 35, 203, 203, 1379, 665, 1361, 395, 131], [0, 2, 36, 196, 224, 1344, 700, 1340, 402, 130], [0, 2, 37, 189, 245, 1309, 735, 1319, 409, 129], [0, 2, 38, 182, 266, 1274, 770, 1298, 416, 128], [0, 2, 39, 175, 287, 1239, 805, 1277, 423, 127], [0, 2, 40, 168, 308, 1204, 840, 1256, 430, 126], [0, 2, 41, 161, 329, 1169, 875, 1235, 437, 125], [0, 2, 42, 154, 350, 1134, 910, 1214, 444, 124], [0, 2, 43, 147, 371, 1099, 945, 1193, 451, 123], [0, 2, 44, 140, 392, 1064, 980, 1172, 458, 122], [0, 2, 45, 133, 413, 1029, 1015, 1151, 465, 121], [0, 2, 46, 126, 434, 994, 1050, 1130, 472, 120], [0, 2, 47, 119, 455, 959, 1085, 1109, 479, 119], [0, 2, 48, 112, 476, 924, 1120, 1088, 486, 118], [0, 2, 49, 105, 497, 889, 1155, 1067, 493, 117], [0, 2, 50, 98, 518, 854, 1190, 1046, 500, 116], [0, 2, 51, 91, 539, 819, 1225, 1025, 507, 115], [0, 2, 52, 84, 560, 784, 1260, 1004, 514, 114], [0, 2, 53, 77, 581, 749, 1295, 983, 521, 113], [0, 2, 54, 70, 602, 714, 1330, 962, 528, 112], [0, 2, 55, 63, 623, 679, 1365, 941, 535, 111], [0, 2, 56, 56, 644, 644, 1400, 920, 542, 110], [0, 2, 57, 49, 665, 609, 1435, 899, 549, 109], [0, 2, 58, 42, 686, 574, 1470, 878, 556, 108], [0, 2, 59, 35, 707, 539, 1505, 857, 563, 107], [0, 2, 60, 28, 728, 504, 1540, 836, 570, 106], [0, 2, 61, 21, 749, 469, 1575, 815, 577, 105], [0, 2, 62, 14, 770, 434, 1610, 794, 584, 104], [0, 2, 63, 7, 791, 399, 1645, 773, 591, 103], [0, 2, 64, 0, 812, 364, 1680, 752, 598, 102], [0, 3, 24, 252, 84, 1554, 504, 1452, 366, 135], [0, 3, 25, 245, 105, 1519, 539, 1431, 373, 134], [0, 3, 26, 238, 126, 1484, 574, 1410, 380, 133], [0, 3, 27, 231, 147, 1449, 609, 1389, 387, 132], [0, 3, 28, 224, 168, 1414, 644, 1368, 394, 131], [0, 3, 29, 217, 189, 1379, 679, 1347, 401, 130], [0, 3, 30, 210, 210, 1344, 714, 1326, 408, 129], [0, 3, 31, 203, 231, 1309, 749, 1305, 415, 128], [0, 3, 32, 196, 252, 1274, 784, 1284, 422, 127], [0, 3, 33, 189, 273, 1239, 819, 1263, 429, 126], [0, 3, 34, 182, 294, 1204, 854, 1242, 436, 125], [0, 3, 35, 175, 315, 1169, 889, 1221, 443, 124], [0, 3, 36, 168, 336, 1134, 924, 1200, 450, 123], [0, 3, 37, 161, 357, 1099, 959, 1179, 457, 122], [0, 3, 38, 154, 378, 1064, 994, 1158, 464, 121], [0, 3, 39, 147, 399, 1029, 1029, 1137, 471, 120], [0, 3, 40, 140, 420, 994, 1064, 1116, 478, 119], [0, 3, 41, 133, 441, 959, 1099, 1095, 485, 118], [0, 3, 42, 126, 462, 924, 1134, 1074, 492, 117], [0, 3, 43, 119, 483, 889, 1169, 1053, 499, 116], [0, 3, 44, 112, 504, 854, 1204, 1032, 506, 115], [0, 3, 45, 105, 525, 819, 1239, 1011, 513, 114], [0, 3, 46, 98, 546, 784, 1274, 990, 520, 113], [0, 3, 47, 91, 567, 749, 1309, 969, 527, 112], [0, 3, 48, 84, 588, 714, 1344, 948, 534, 111], [0, 3, 49, 77, 609, 679, 1379, 927, 541, 110], [0, 3, 50, 70, 630, 644, 1414, 906, 548, 109], [0, 3, 51, 63, 651, 609, 1449, 885, 555, 108], [0, 3, 52, 56, 672, 574, 1484, 864, 562, 107], [0, 3, 53, 49, 693, 539, 1519, 843, 569, 106], [0, 3, 54, 42, 714, 504, 1554, 822, 576, 105], [0, 3, 55, 35, 735, 469, 1589, 801, 583, 104], [0, 3, 56, 28, 756, 434, 1624, 780, 590, 103], [0, 3, 57, 21, 777, 399, 1659, 759, 597, 102], [0, 4, 19, 259, 91, 1519, 553, 1417, 379, 133], [0, 4, 20, 252, 112, 1484, 588, 1396, 386, 132], [0, 4, 21, 245, 133, 1449, 623, 1375, 393, 131], [0, 4, 22, 238, 154, 1414, 658, 1354, 400, 130], [0, 4, 23, 231, 175, 1379, 693, 1333, 407, 129], [0, 4, 24, 224, 196, 1344, 728, 1312, 414, 128], [0, 4, 25, 217, 217, 1309, 763, 1291, 421, 127], [0, 4, 26, 210, 238, 1274, 798, 1270, 428, 126], [0, 4, 27, 203, 259, 1239, 833, 1249, 435, 125], [0, 4, 28, 196, 280, 1204, 868, 1228, 442, 124], [0, 4, 29, 189, 301, 1169, 903, 1207, 449, 123], [0, 4, 30, 182, 322, 1134, 938, 1186, 456, 122], [0, 4, 31, 175, 343, 1099, 973, 1165, 463, 121], [0, 4, 32, 168, 364, 1064, 1008, 1144, 470, 120], [0, 4, 33, 161, 385, 1029, 1043, 1123, 477, 119], [0, 4, 34, 154, 406, 994, 1078, 1102, 484, 118], [0, 4, 35, 147, 427, 959, 1113, 1081, 491, 117], [0, 4, 36, 140, 448, 924, 1148, 1060, 498, 116], [0, 4, 37, 133, 469, 889, 1183, 1039, 505, 115], [0, 4, 38, 126, 490, 854, 1218, 1018, 512, 114], [0, 4, 39, 119, 511, 819, 1253, 997, 519, 113], [0, 4, 40, 112, 532, 784, 1288, 976, 526, 112], [0, 4, 41, 105, 553, 749, 1323, 955, 533, 111], [0, 4, 42, 98, 574, 714, 1358, 934, 540, 110], [0, 4, 43, 91, 595, 679, 1393, 913, 547, 109], [0, 4, 44, 84, 616, 644, 1428, 892, 554, 108], [0, 4, 45, 77, 637, 609, 1463, 871, 561, 107], [0, 4, 46, 70, 658, 574, 1498, 850, 568, 106], [0, 4, 47, 63, 679, 539, 1533, 829, 575, 105], [0, 4, 48, 56, 700, 504, 1568, 808, 582, 104], [0, 4, 49, 49, 721, 469, 1603, 787, 589, 103], [0, 4, 50, 42, 742, 434, 1638, 766, 596, 102], [0, 4, 51, 35, 763, 399, 1673, 745, 603, 101], [0, 4, 52, 28, 784, 364, 1708, 724, 610, 100], [0, 4, 53, 21, 805, 329, 1743, 703, 617, 99], [0, 4, 54, 14, 826, 294, 1778, 682, 624, 98], [0, 4, 55, 7, 847, 259, 1813, 661, 631, 97], [0, 4, 56, 0, 868, 224, 1848, 640, 638, 96], [0, 5, 12, 280, 56, 1554, 532, 1424, 378, 133], [0, 5, 13, 273, 77, 1519, 567, 1403, 385, 132], [0, 5, 14, 266, 98, 1484, 602, 1382, 392, 131], [0, 5, 15, 259, 119, 1449, 637, 1361, 399, 130], [0, 5, 16, 252, 140, 1414, 672, 1340, 406, 129], [0, 5, 17, 245, 161, 1379, 707, 1319, 413, 128], [0, 5, 18, 238, 182, 1344, 742, 1298, 420, 127], [0, 5, 19, 231, 203, 1309, 777, 1277, 427, 126], [0, 5, 20, 224, 224, 1274, 812, 1256, 434, 125], [0, 5, 21, 217, 245, 1239, 847, 1235, 441, 124], [0, 5, 22, 210, 266, 1204, 882, 1214, 448, 123], [0, 5, 23, 203, 287, 1169, 917, 1193, 455, 122], [0, 5, 24, 196, 308, 1134, 952, 1172, 462, 121], [0, 5, 25, 189, 329, 1099, 987, 1151, 469, 120], [0, 5, 26, 182, 350, 1064, 1022, 1130, 476, 119], [0, 5, 27, 175, 371, 1029, 1057, 1109, 483, 118], [0, 5, 28, 168, 392, 994, 1092, 1088, 490, 117], [0, 5, 29, 161, 413, 959, 1127, 1067, 497, 116], [0, 5, 30, 154, 434, 924, 1162, 1046, 504, 115], [0, 5, 31, 147, 455, 889, 1197, 1025, 511, 114], [0, 5, 32, 140, 476, 854, 1232, 1004, 518, 113], [0, 5, 33, 133, 497, 819, 1267, 983, 525, 112], [0, 5, 34, 126, 518, 784, 1302, 962, 532, 111], [0, 5, 35, 119, 539, 749, 1337, 941, 539, 110], [0, 5, 36, 112, 560, 714, 1372, 920, 546, 109], [0, 5, 37, 105, 581, 679, 1407, 899, 553, 108], [0, 5, 38, 98, 602, 644, 1442, 878, 560, 107], [0, 5, 39, 91, 623, 609, 1477, 857, 567, 106], [0, 5, 40, 84, 644, 574, 1512, 836, 574, 105], [0, 5, 41, 77, 665, 539, 1547, 815, 581, 104], [0, 5, 42, 70, 686, 504, 1582, 794, 588, 103], [0, 5, 43, 63, 707, 469, 1617, 773, 595, 102], [0, 5, 44, 56, 728, 434, 1652, 752, 602, 101], [0, 5, 45, 49, 749, 399, 1687, 731, 609, 100], [0, 5, 46, 42, 770, 364, 1722, 710, 616, 99], [0, 5, 47, 35, 791, 329, 1757, 689, 623, 98], [0, 5, 48, 28, 812, 294, 1792, 668, 630, 97], [0, 5, 49, 21, 833, 259, 1827, 647, 637, 96], [0, 6, 6, 294, 42, 1554, 546, 1410, 384, 132], [0, 6, 7, 287, 63, 1519, 581, 1389, 391, 131], [0, 6, 8, 280, 84, 1484, 616, 1368, 398, 130], [0, 6, 9, 273, 105, 1449, 651, 1347, 405, 129], [0, 6, 10, 266, 126, 1414, 686, 1326, 412, 128], [0, 6, 11, 259, 147, 1379, 721, 1305, 419, 127], [0, 6, 12, 252, 168, 1344, 756, 1284, 426, 126], [0, 6, 13, 245, 189, 1309, 791, 1263, 433, 125], [0, 6, 14, 238, 210, 1274, 826, 1242, 440, 124], [0, 6, 15, 231, 231, 1239, 861, 1221, 447, 123], [0, 6, 16, 224, 252, 1204, 896, 1200, 454, 122], [0, 6, 17, 217, 273, 1169, 931, 1179, 461, 121], [0, 6, 18, 210, 294, 1134, 966, 1158, 468, 120], [0, 6, 19, 203, 315, 1099, 1001, 1137, 475, 119], [0, 6, 20, 196, 336, 1064, 1036, 1116, 482, 118], [0, 6, 21, 189, 357, 1029, 1071, 1095, 489, 117], [0, 6, 22, 182, 378, 994, 1106, 1074, 496, 116], [0, 6, 23, 175, 399, 959, 1141, 1053, 503, 115], [0, 6, 24, 168, 420, 924, 1176, 1032, 510, 114], [0, 6, 25, 161, 441, 889, 1211, 1011, 517, 113], [0, 6, 26, 154, 462, 854, 1246, 990, 524, 112], [0, 6, 27, 147, 483, 819, 1281, 969, 531, 111], [0, 6, 28, 140, 504, 784, 1316, 948, 538, 110], [0, 6, 29, 133, 525, 749, 1351, 927, 545, 109], [0, 6, 30, 126, 546, 714, 1386, 906, 552, 108], [0, 6, 31, 119, 567, 679, 1421, 885, 559, 107], [0, 6, 32, 112, 588, 644, 1456, 864, 566, 106], [0, 6, 33, 105, 609, 609, 1491, 843, 573, 105], [0, 6, 34, 98, 630, 574, 1526, 822, 580, 104], [0, 6, 35, 91, 651, 539, 1561, 801, 587, 103], [0, 6, 36, 84, 672, 504, 1596, 780, 594, 102], [0, 6, 37, 77, 693, 469, 1631, 759, 601, 101], [0, 6, 38, 70, 714, 434, 1666, 738, 608, 100], [0, 6, 39, 63, 735, 399, 1701, 717, 615, 99], [0, 6, 40, 56, 756, 364, 1736, 696, 622, 98], [0, 6, 41, 49, 777, 329, 1771, 675, 629, 97], [0, 6, 42, 42, 798, 294, 1806, 654, 636, 96], [0, 6, 43, 35, 819, 259, 1841, 633, 643, 95], [0, 6, 44, 28, 840, 224, 1876, 612, 650, 94], [0, 6, 45, 21, 861, 189, 1911, 591, 657, 93], [0, 6, 46, 14, 882, 154, 1946, 570, 664, 92], [0, 7, 2, 294, 70, 1484, 630, 1354, 404, 129], [0, 7, 3, 287, 91, 1449, 665, 1333, 411, 128], [0, 7, 4, 280, 112, 1414, 700, 1312, 418, 127], [0, 7, 5, 273, 133, 1379, 735, 1291, 425, 126], [0, 7, 6, 266, 154, 1344, 770, 1270, 432, 125], [0, 7, 7, 259, 175, 1309, 805, 1249, 439, 124], [0, 7, 8, 252, 196, 1274, 840, 1228, 446, 123], [0, 7, 9, 245, 217, 1239, 875, 1207, 453, 122], [0, 7, 10, 238, 238, 1204, 910, 1186, 460, 121], [0, 7, 11, 231, 259, 1169, 945, 1165, 467, 120], [0, 7, 12, 224, 280, 1134, 980, 1144, 474, 119], [0, 7, 13, 217, 301, 1099, 1015, 1123, 481, 118], [0, 7, 14, 210, 322, 1064, 1050, 1102, 488, 117], [0, 7, 15, 203, 343, 1029, 1085, 1081, 495, 116], [0, 7, 16, 196, 364, 994, 1120, 1060, 502, 115], [0, 7, 17, 189, 385, 959, 1155, 1039, 509, 114], [0, 7, 18, 182, 406, 924, 1190, 1018, 516, 113], [0, 7, 19, 175, 427, 889, 1225, 997, 523, 112], [0, 7, 20, 168, 448, 854, 1260, 976, 530, 111], [0, 7, 21, 161, 469, 819, 1295, 955, 537, 110], [0, 7, 22, 154, 490, 784, 1330, 934, 544, 109], [0, 7, 23, 147, 511, 749, 1365, 913, 551, 108], [0, 7, 24, 140, 532, 714, 1400, 892, 558, 107], [0, 7, 25, 133, 553, 679, 1435, 871, 565, 106], [0, 7, 26, 126, 574, 644, 1470, 850, 572, 105], [0, 7, 27, 119, 595, 609, 1505, 829, 579, 104], [0, 7, 28, 112, 616, 574, 1540, 808, 586, 103], [0, 7, 29, 105, 637, 539, 1575, 787, 593, 102], [0, 7, 30, 98, 658, 504, 1610, 766, 600, 101], [0, 7, 31, 91, 679, 469, 1645, 745, 607, 100], [0, 7, 32, 84, 700, 434, 1680, 724, 614, 99], [0, 7, 33, 77, 721, 399, 1715, 703, 621, 98], [0, 7, 34, 70, 742, 364, 1750, 682, 628, 97], [0, 7, 35, 63, 763, 329, 1785, 661, 635, 96], [0, 7, 36, 56, 784, 294, 1820, 640, 642, 95], [0, 7, 37, 49, 805, 259, 1855, 619, 649, 94], [0, 7, 38, 42, 826, 224, 1890, 598, 656, 93], [0, 7, 39, 35, 847, 189, 1925, 577, 663, 92], [0, 8, 0, 280, 140, 1344, 784, 1256, 438, 124], [0, 8, 1, 273, 161, 1309, 819, 1235, 445, 123], [0, 8, 2, 266, 182, 1274, 854, 1214, 452, 122], [0, 8, 3, 259, 203, 1239, 889, 1193, 459, 121], [0, 8, 4, 252, 224, 1204, 924, 1172, 466, 120], [0, 8, 5, 245, 245, 1169, 959, 1151, 473, 119], [0, 8, 6, 238, 266, 1134, 994, 1130, 480, 118], [0, 8, 7, 231, 287, 1099, 1029, 1109, 487, 117], [0, 8, 8, 224, 308, 1064, 1064, 1088, 494, 116], [0, 8, 9, 217, 329, 1029, 1099, 1067, 501, 115], [0, 8, 10, 210, 350, 994, 1134, 1046, 508, 114], [0, 8, 11, 203, 371, 959, 1169, 1025, 515, 113], [0, 8, 12, 196, 392, 924, 1204, 1004, 522, 112], [0, 8, 13, 189, 413, 889, 1239, 983, 529, 111], [0, 8, 14, 182, 434, 854, 1274, 962, 536, 110], [0, 8, 15, 175, 455, 819, 1309, 941, 543, 109], [0, 8, 16, 168, 476, 784, 1344, 920, 550, 108], [0, 8, 17, 161, 497, 749, 1379, 899, 557, 107], [0, 8, 18, 154, 518, 714, 1414, 878, 564, 106], [0, 8, 19, 147, 539, 679, 1449, 857, 571, 105], [0, 8, 20, 140, 560, 644, 1484, 836, 578, 104], [0, 8, 21, 133, 581, 609, 1519, 815, 585, 103], [0, 8, 22, 126, 602, 574, 1554, 794, 592, 102], [0, 8, 23, 119, 623, 539, 1589, 773, 599, 101], [0, 8, 24, 112, 644, 504, 1624, 752, 606, 100], [0, 8, 25, 105, 665, 469, 1659, 731, 613, 99], [0, 8, 26, 98, 686, 434, 1694, 710, 620, 98], [0, 8, 27, 91, 707, 399, 1729, 689, 627, 97], [0, 8, 28, 84, 728, 364, 1764, 668, 634, 96], [0, 8, 29, 77, 749, 329, 1799, 647, 641, 95], [0, 8, 30, 70, 770, 294, 1834, 626, 648, 94], [0, 8, 31, 63, 791, 259, 1869, 605, 655, 93], [0, 8, 32, 56, 812, 224, 1904, 584, 662, 92], [0, 8, 33, 49, 833, 189, 1939, 563, 669, 91], [0, 8, 34, 42, 854, 154, 1974, 542, 676, 90], [0, 8, 35, 35, 875, 119, 2009, 521, 683, 89], [0, 9, 0, 252, 252, 1134, 1008, 1116, 486, 117], [0, 9, 1, 245, 273, 1099, 1043, 1095, 493, 116], [0, 9, 2, 238, 294, 1064, 1078, 1074, 500, 115], [0, 9, 3, 231, 315, 1029, 1113, 1053, 507, 114], [0, 9, 4, 224, 336, 994, 1148, 1032, 514, 113], [0, 9, 5, 217, 357, 959, 1183, 1011, 521, 112], [0, 9, 6, 210, 378, 924, 1218, 990, 528, 111], [0, 9, 7, 203, 399, 889, 1253, 969, 535, 110], [0, 9, 8, 196, 420, 854, 1288, 948, 542, 109], [0, 9, 9, 189, 441, 819, 1323, 927, 549, 108], [0, 9, 10, 182, 462, 784, 1358, 906, 556, 107], [0, 9, 11, 175, 483, 749, 1393, 885, 563, 106], [0, 9, 12, 168, 504, 714, 1428, 864, 570, 105], [0, 9, 13, 161, 525, 679, 1463, 843, 577, 104], [0, 9, 14, 154, 546, 644, 1498, 822, 584, 103], [0, 9, 15, 147, 567, 609, 1533, 801, 591, 102], [0, 9, 16, 140, 588, 574, 1568, 780, 598, 101], [0, 9, 17, 133, 609, 539, 1603, 759, 605, 100], [0, 9, 18, 126, 630, 504, 1638, 738, 612, 99], [0, 9, 19, 119, 651, 469, 1673, 717, 619, 98], [0, 9, 20, 112, 672, 434, 1708, 696, 626, 97], [0, 9, 21, 105, 693, 399, 1743, 675, 633, 96], [0, 9, 22, 98, 714, 364, 1778, 654, 640, 95], [0, 9, 23, 91, 735, 329, 1813, 633, 647, 94], [0, 9, 24, 84, 756, 294, 1848, 612, 654, 93], [0, 9, 25, 77, 777, 259, 1883, 591, 661, 92], [0, 9, 26, 70, 798, 224, 1918, 570, 668, 91], [0, 9, 27, 63, 819, 189, 1953, 549, 675, 90], [0, 9, 28, 56, 840, 154, 1988, 528, 682, 89], [0, 9, 29, 49, 861, 119, 2023, 507, 689, 88], [0, 10, 0, 224, 364, 924, 1232, 976, 534, 110], [0, 10, 1, 217, 385, 889, 1267, 955, 541, 109], [0, 10, 2, 210, 406, 854, 1302, 934, 548, 108], [0, 10, 3, 203, 427, 819, 1337, 913, 555, 107], [0, 10, 4, 196, 448, 784, 1372, 892, 562, 106], [0, 10, 5, 189, 469, 749, 1407, 871, 569, 105], [0, 10, 6, 182, 490, 714, 1442, 850, 576, 104], [0, 10, 7, 175, 511, 679, 1477, 829, 583, 103], [0, 10, 8, 168, 532, 644, 1512, 808, 590, 102], [0, 10, 9, 161, 553, 609, 1547, 787, 597, 101], [0, 10, 10, 154, 574, 574, 1582, 766, 604, 100], [0, 10, 11, 147, 595, 539, 1617, 745, 611, 99], [0, 10, 12, 140, 616, 504, 1652, 724, 618, 98], [0, 10, 13, 133, 637, 469, 1687, 703, 625, 97], [0, 10, 14, 126, 658, 434, 1722, 682, 632, 96], [0, 10, 15, 119, 679, 399, 1757, 661, 639, 95], [0, 10, 16, 112, 700, 364, 1792, 640, 646, 94], [0, 10, 17, 105, 721, 329, 1827, 619, 653, 93], [0, 10, 18, 98, 742, 294, 1862, 598, 660, 92], [0, 10, 19, 91, 763, 259, 1897, 577, 667, 91], [0, 10, 20, 84, 784, 224, 1932, 556, 674, 90], [0, 10, 21, 77, 805, 189, 1967, 535, 681, 89], [0, 10, 22, 70, 826, 154, 2002, 514, 688, 88], [0, 10, 23, 63, 847, 119, 2037, 493, 695, 87], [0, 11, 0, 196, 476, 714, 1456, 836, 582, 103], [0, 11, 1, 189, 497, 679, 1491, 815, 589, 102], [0, 11, 2, 182, 518, 644, 1526, 794, 596, 101], [0, 11, 3, 175, 539, 609, 1561, 773, 603, 100], [0, 11, 4, 168, 560, 574, 1596, 752, 610, 99], [0, 11, 5, 161, 581, 539, 1631, 731, 617, 98], [0, 11, 6, 154, 602, 504, 1666, 710, 624, 97], [0, 11, 7, 147, 623, 469, 1701, 689, 631, 96], [0, 11, 8, 140, 644, 434, 1736, 668, 638, 95], [0, 11, 9, 133, 665, 399, 1771, 647, 645, 94], [0, 11, 10, 126, 686, 364, 1806, 626, 652, 93], [0, 11, 11, 119, 707, 329, 1841, 605, 659, 92], [0, 11, 12, 112, 728, 294, 1876, 584, 666, 91], [0, 11, 13, 105, 749, 259, 1911, 563, 673, 90], [0, 11, 14, 98, 770, 224, 1946, 542, 680, 89], [0, 11, 15, 91, 791, 189, 1981, 521, 687, 88], [0, 11, 16, 84, 812, 154, 2016, 500, 694, 87], [0, 12, 0, 168, 588, 504, 1680, 696, 630, 96], [1, 0, 21, 273, 63, 1533, 567, 1395, 390, 131], [1, 0, 22, 266, 84, 1498, 602, 1374, 397, 130], [1, 0, 23, 259, 105, 1463, 637, 1353, 404, 129], [1, 0, 24, 252, 126, 1428, 672, 1332, 411, 128], [1, 0, 25, 245, 147, 1393, 707, 1311, 418, 127], [1, 0, 26, 238, 168, 1358, 742, 1290, 425, 126], [1, 0, 27, 231, 189, 1323, 777, 1269, 432, 125], [1, 0, 28, 224, 210, 1288, 812, 1248, 439, 124], [1, 0, 29, 217, 231, 1253, 847, 1227, 446, 123], [1, 0, 30, 210, 252, 1218, 882, 1206, 453, 122], [1, 0, 31, 203, 273, 1183, 917, 1185, 460, 121], [1, 0, 32, 196, 294, 1148, 952, 1164, 467, 120], [1, 0, 33, 189, 315, 1113, 987, 1143, 474, 119], [1, 0, 34, 182, 336, 1078, 1022, 1122, 481, 118], [1, 0, 35, 175, 357, 1043, 1057, 1101, 488, 117], [1, 0, 36, 168, 378, 1008, 1092, 1080, 495, 116], [1, 0, 37, 161, 399, 973, 1127, 1059, 502, 115], [1, 0, 38, 154, 420, 938, 1162, 1038, 509, 114], [1, 0, 39, 147, 441, 903, 1197, 1017, 516, 113], [1, 0, 40, 140, 462, 868, 1232, 996, 523, 112], [1, 0, 41, 133, 483, 833, 1267, 975, 530, 111], [1, 0, 42, 126, 504, 798, 1302, 954, 537, 110], [1, 0, 43, 119, 525, 763, 1337, 933, 544, 109], [1, 0, 44, 112, 546, 728, 1372, 912, 551, 108], [1, 0, 45, 105, 567, 693, 1407, 891, 558, 107], [1, 0, 46, 98, 588, 658, 1442, 870, 565, 106], [1, 0, 47, 91, 609, 623, 1477, 849, 572, 105], [1, 0, 48, 84, 630, 588, 1512, 828, 579, 104], [1, 0, 49, 77, 651, 553, 1547, 807, 586, 103], [1, 0, 50, 70, 672, 518, 1582, 786, 593, 102], [1, 0, 51, 63, 693, 483, 1617, 765, 600, 101], [1, 0, 52, 56, 714, 448, 1652, 744, 607, 100], [1, 0, 53, 49, 735, 413, 1687, 723, 614, 99], [1, 0, 54, 42, 756, 378, 1722, 702, 621, 98], [1, 0, 55, 35, 777, 343, 1757, 681, 628, 97], [1, 0, 56, 28, 798, 308, 1792, 660, 635, 96], [1, 1, 16, 280, 70, 1498, 616, 1360, 403, 129], [1, 1, 17, 273, 91, 1463, 651, 1339, 410, 128], [1, 1, 18, 266, 112, 1428, 686, 1318, 417, 127], [1, 1, 19, 259, 133, 1393, 721, 1297, 424, 126], [1, 1, 20, 252, 154, 1358, 756, 1276, 431, 125], [1, 1, 21, 245, 175, 1323, 791, 1255, 438, 124], [1, 1, 22, 238, 196, 1288, 826, 1234, 445, 123], [1, 1, 23, 231, 217, 1253, 861, 1213, 452, 122], [1, 1, 24, 224, 238, 1218, 896, 1192, 459, 121], [1, 1, 25, 217, 259, 1183, 931, 1171, 466, 120], [1, 1, 26, 210, 280, 1148, 966, 1150, 473, 119], [1, 1, 27, 203, 301, 1113, 1001, 1129, 480, 118], [1, 1, 28, 196, 322, 1078, 1036, 1108, 487, 117], [1, 1, 29, 189, 343, 1043, 1071, 1087, 494, 116], [1, 1, 30, 182, 364, 1008, 1106, 1066, 501, 115], [1, 1, 31, 175, 385, 973, 1141, 1045, 508, 114], [1, 1, 32, 168, 406, 938, 1176, 1024, 515, 113], [1, 1, 33, 161, 427, 903, 1211, 1003, 522, 112], [1, 1, 34, 154, 448, 868, 1246, 982, 529, 111], [1, 1, 35, 147, 469, 833, 1281, 961, 536, 110], [1, 1, 36, 140, 490, 798, 1316, 940, 543, 109], [1, 1, 37, 133, 511, 763, 1351, 919, 550, 108], [1, 1, 38, 126, 532, 728, 1386, 898, 557, 107], [1, 1, 39, 119, 553, 693, 1421, 877, 564, 106], [1, 1, 40, 112, 574, 658, 1456, 856, 571, 105], [1, 1, 41, 105, 595, 623, 1491, 835, 578, 104], [1, 1, 42, 98, 616, 588, 1526, 814, 585, 103], [1, 1, 43, 91, 637, 553, 1561, 793, 592, 102], [1, 1, 44, 84, 658, 518, 1596, 772, 599, 101], [1, 1, 45, 77, 679, 483, 1631, 751, 606, 100], [1, 1, 46, 70, 700, 448, 1666, 730, 613, 99], [1, 1, 47, 63, 721, 413, 1701, 709, 620, 98], [1, 1, 48, 56, 742, 378, 1736, 688, 627, 97], [1, 1, 49, 49, 763, 343, 1771, 667, 634, 96], [1, 1, 50, 42, 784, 308, 1806, 646, 641, 95], [1, 1, 51, 35, 805, 273, 1841, 625, 648, 94], [1, 1, 52, 28, 826, 238, 1876, 604, 655, 93], [1, 2, 12, 280, 98, 1428, 700, 1304, 423, 126], [1, 2, 13, 273, 119, 1393, 735, 1283, 430, 125], [1, 2, 14, 266, 140, 1358, 770, 1262, 437, 124], [1, 2, 15, 259, 161, 1323, 805, 1241, 444, 123], [1, 2, 16, 252, 182, 1288, 840, 1220, 451, 122], [1, 2, 17, 245, 203, 1253, 875, 1199, 458, 121], [1, 2, 18, 238, 224, 1218, 910, 1178, 465, 120], [1, 2, 19, 231, 245, 1183, 945, 1157, 472, 119], [1, 2, 20, 224, 266, 1148, 980, 1136, 479, 118], [1, 2, 21, 217, 287, 1113, 1015, 1115, 486, 117], [1, 2, 22, 210, 308, 1078, 1050, 1094, 493, 116], [1, 2, 23, 203, 329, 1043, 1085, 1073, 500, 115], [1, 2, 24, 196, 350, 1008, 1120, 1052, 507, 114], [1, 2, 25, 189, 371, 973, 1155, 1031, 514, 113], [1, 2, 26, 182, 392, 938, 1190, 1010, 521, 112], [1, 2, 27, 175, 413, 903, 1225, 989, 528, 111], [1, 2, 28, 168, 434, 868, 1260, 968, 535, 110], [1, 2, 29, 161, 455, 833, 1295, 947, 542, 109], [1, 2, 30, 154, 476, 798, 1330, 926, 549, 108], [1, 2, 31, 147, 497, 763, 1365, 905, 556, 107], [1, 2, 32, 140, 518, 728, 1400, 884, 563, 106], [1, 2, 33, 133, 539, 693, 1435, 863, 570, 105], [1, 2, 34, 126, 560, 658, 1470, 842, 577, 104], [1, 2, 35, 119, 581, 623, 1505, 821, 584, 103], [1, 2, 36, 112, 602, 588, 1540, 800, 591, 102], [1, 2, 37, 105, 623, 553, 1575, 779, 598, 101], [1, 2, 38, 98, 644, 518, 1610, 758, 605, 100], [1, 2, 39, 91, 665, 483, 1645, 737, 612, 99], [1, 2, 40, 84, 686, 448, 1680, 716, 619, 98], [1, 2, 41, 77, 707, 413, 1715, 695, 626, 97], [1, 2, 42, 70, 728, 378, 1750, 674, 633, 96], [1, 2, 43, 63, 749, 343, 1785, 653, 640, 95], [1, 2, 44, 56, 770, 308, 1820, 632, 647, 94], [1, 2, 45, 49, 791, 273, 1855, 611, 654, 93], [1, 2, 46, 42, 812, 238, 1890, 590, 661, 92], [1, 2, 47, 35, 833, 203, 1925, 569, 668, 91], [1, 2, 48, 28, 854, 168, 1960, 548, 675, 90], [1, 3, 8, 280, 126, 1358, 784, 1248, 443, 123], [1, 3, 9, 273, 147, 1323, 819, 1227, 450, 122], [1, 3, 10, 266, 168, 1288, 854, 1206, 457, 121], [1, 3, 11, 259, 189, 1253, 889, 1185, 464, 120], [1, 3, 12, 252, 210, 1218, 924, 1164, 471, 119], [1, 3, 13, 245, 231, 1183, 959, 1143, 478, 118], [1, 3, 14, 238, 252, 1148, 994, 1122, 485, 117], [1, 3, 15, 231, 273, 1113, 1029, 1101, 492, 116], [1, 3, 16, 224, 294, 1078, 1064, 1080, 499, 115], [1, 3, 17, 217, 315, 1043, 1099, 1059, 506, 114], [1, 3, 18, 210, 336, 1008, 1134, 1038, 513, 113], [1, 3, 19, 203, 357, 973, 1169, 1017, 520, 112], [1, 3, 20, 196, 378, 938, 1204, 996, 527, 111], [1, 3, 21, 189, 399, 903, 1239, 975, 534, 110], [1, 3, 22, 182, 420, 868, 1274, 954, 541, 109], [1, 3, 23, 175, 441, 833, 1309, 933, 548, 108], [1, 3, 24, 168, 462, 798, 1344, 912, 555, 107], [1, 3, 25, 161, 483, 763, 1379, 891, 562, 106], [1, 3, 26, 154, 504, 728, 1414, 870, 569, 105], [1, 3, 27, 147, 525, 693, 1449, 849, 576, 104], [1, 3, 28, 140, 546, 658, 1484, 828, 583, 103], [1, 3, 29, 133, 567, 623, 1519, 807, 590, 102], [1, 3, 30, 126, 588, 588, 1554, 786, 597, 101], [1, 3, 31, 119, 609, 553, 1589, 765, 604, 100], [1, 3, 32, 112, 630, 518, 1624, 744, 611, 99], [1, 3, 33, 105, 651, 483, 1659, 723, 618, 98], [1, 3, 34, 98, 672, 448, 1694, 702, 625, 97], [1, 3, 35, 91, 693, 413, 1729, 681, 632, 96], [1, 3, 36, 84, 714, 378, 1764, 660, 639, 95], [1, 3, 37, 77, 735, 343, 1799, 639, 646, 94], [1, 3, 38, 70, 756, 308, 1834, 618, 653, 93], [1, 3, 39, 63, 777, 273, 1869, 597, 660, 92], [1, 3, 40, 56, 798, 238, 1904, 576, 667, 91], [1, 3, 41, 49, 819, 203, 1939, 555, 674, 90], [1, 3, 42, 42, 840, 168, 1974, 534, 681, 89], [1, 3, 43, 35, 861, 133, 2009, 513, 688, 88], [1, 4, 5, 273, 175, 1253, 903, 1171, 470, 119], [1, 4, 6, 266, 196, 1218, 938, 1150, 477, 118], [1, 4, 7, 259, 217, 1183, 973, 1129, 484, 117], [1, 4, 8, 252, 238, 1148, 1008, 1108, 491, 116], [1, 4, 9, 245, 259, 1113, 1043, 1087, 498, 115], [1, 4, 10, 238, 280, 1078, 1078, 1066, 505, 114], [1, 4, 11, 231, 301, 1043, 1113, 1045, 512, 113], [1, 4, 12, 224, 322, 1008, 1148, 1024, 519, 112], [1, 4, 13, 217, 343, 973, 1183, 1003, 526, 111], [1, 4, 14, 210, 364, 938, 1218, 982, 533, 110], [1, 4, 15, 203, 385, 903, 1253, 961, 540, 109], [1, 4, 16, 196, 406, 868, 1288, 940, 547, 108], [1, 4, 17, 189, 427, 833, 1323, 919, 554, 107], [1, 4, 18, 182, 448, 798, 1358, 898, 561, 106], [1, 4, 19, 175, 469, 763, 1393, 877, 568, 105], [1, 4, 20, 168, 490, 728, 1428, 856, 575, 104], [1, 4, 21, 161, 511, 693, 1463, 835, 582, 103], [1, 4, 22, 154, 532, 658, 1498, 814, 589, 102], [1, 4, 23, 147, 553, 623, 1533, 793, 596, 101], [1, 4, 24, 140, 574, 588, 1568, 772, 603, 100], [1, 4, 25, 133, 595, 553, 1603, 751, 610, 99], [1, 4, 26, 126, 616, 518, 1638, 730, 617, 98], [1, 4, 27, 119, 637, 483, 1673, 709, 624, 97], [1, 4, 28, 112, 658, 448, 1708, 688, 631, 96], [1, 4, 29, 105, 679, 413, 1743, 667, 638, 95], [1, 4, 30, 98, 700, 378, 1778, 646, 645, 94], [1, 4, 31, 91, 721, 343, 1813, 625, 652, 93], [1, 4, 32, 84, 742, 308, 1848, 604, 659, 92], [1, 4, 33, 77, 763, 273, 1883, 583, 666, 91], [1, 4, 34, 70, 784, 238, 1918, 562, 673, 90], [1, 4, 35, 63, 805, 203, 1953, 541, 680, 89], [1, 4, 36, 56, 826, 168, 1988, 520, 687, 88], [1, 4, 37, 49, 847, 133, 2023, 499, 694, 87], [1, 5, 3, 259, 245, 1113, 1057, 1073, 504, 114], [1, 5, 4, 252, 266, 1078, 1092, 1052, 511, 113], [1, 5, 5, 245, 287, 1043, 1127, 1031, 518, 112], [1, 5, 6, 238, 308, 1008, 1162, 1010, 525, 111], [1, 5, 7, 231, 329, 973, 1197, 989, 532, 110], [1, 5, 8, 224, 350, 938, 1232, 968, 539, 109], [1, 5, 9, 217, 371, 903, 1267, 947, 546, 108], [1, 5, 10, 210, 392, 868, 1302, 926, 553, 107], [1, 5, 11, 203, 413, 833, 1337, 905, 560, 106], [1, 5, 12, 196, 434, 798, 1372, 884, 567, 105], [1, 5, 13, 189, 455, 763, 1407, 863, 574, 104], [1, 5, 14, 182, 476, 728, 1442, 842, 581, 103], [1, 5, 15, 175, 497, 693, 1477, 821, 588, 102], [1, 5, 16, 168, 518, 658, 1512, 800, 595, 101], [1, 5, 17, 161, 539, 623, 1547, 779, 602, 100], [1, 5, 18, 154, 560, 588, 1582, 758, 609, 99], [1, 5, 19, 147, 581, 553, 1617, 737, 616, 98], [1, 5, 20, 140, 602, 518, 1652, 716, 623, 97], [1, 5, 21, 133, 623, 483, 1687, 695, 630, 96], [1, 5, 22, 126, 644, 448, 1722, 674, 637, 95], [1, 5, 23, 119, 665, 413, 1757, 653, 644, 94], [1, 5, 24, 112, 686, 378, 1792, 632, 651, 93], [1, 5, 25, 105, 707, 343, 1827, 611, 658, 92], [1, 5, 26, 98, 728, 308, 1862, 590, 665, 91], [1, 5, 27, 91, 749, 273, 1897, 569, 672, 90], [1, 5, 28, 84, 770, 238, 1932, 548, 679, 89], [1, 5, 29, 77, 791, 203, 1967, 527, 686, 88], [1, 5, 30, 70, 812, 168, 2002, 506, 693, 87], [1, 5, 31, 63, 833, 133, 2037, 485, 700, 86], [1, 6, 1, 245, 315, 973, 1211, 975, 538, 109], [1, 6, 2, 238, 336, 938, 1246, 954, 545, 108], [1, 6, 3, 231, 357, 903, 1281, 933, 552, 107], [1, 6, 4, 224, 378, 868, 1316, 912, 559, 106], [1, 6, 5, 217, 399, 833, 1351, 891, 566, 105], [1, 6, 6, 210, 420, 798, 1386, 870, 573, 104], [1, 6, 7, 203, 441, 763, 1421, 849, 580, 103], [1, 6, 8, 196, 462, 728, 1456, 828, 587, 102], [1, 6, 9, 189, 483, 693, 1491, 807, 594, 101], [1, 6, 10, 182, 504, 658, 1526, 786, 601, 100], [1, 6, 11, 175, 525, 623, 1561, 765, 608, 99], [1, 6, 12, 168, 546, 588, 1596, 744, 615, 98], [1, 6, 13, 161, 567, 553, 1631, 723, 622, 97], [1, 6, 14, 154, 588, 518, 1666, 702, 629, 96], [1, 6, 15, 147, 609, 483, 1701, 681, 636, 95], [1, 6, 16, 140, 630, 448, 1736, 660, 643, 94], [1, 6, 17, 133, 651, 413, 1771, 639, 650, 93], [1, 6, 18, 126, 672, 378, 1806, 618, 657, 92], [1, 6, 19, 119, 693, 343, 1841, 597, 664, 91], [1, 6, 20, 112, 714, 308, 1876, 576, 671, 90], [1, 6, 21, 105, 735, 273, 1911, 555, 678, 89], [1, 6, 22, 98, 756, 238, 1946, 534, 685, 88], [1, 6, 23, 91, 777, 203, 1981, 513, 692, 87], [1, 6, 24, 84, 798, 168, 2016, 492, 699, 86], [1, 6, 25, 77, 819, 133, 2051, 471, 706, 85], [1, 7, 0, 224, 406, 798, 1400, 856, 579, 103], [1, 7, 1, 217, 427, 763, 1435, 835, 586, 102], [1, 7, 2, 210, 448, 728, 1470, 814, 593, 101], [1, 7, 3, 203, 469, 693, 1505, 793, 600, 100], [1, 7, 4, 196, 490, 658, 1540, 772, 607, 99], [1, 7, 5, 189, 511, 623, 1575, 751, 614, 98], [1, 7, 6, 182, 532, 588, 1610, 730, 621, 97], [1, 7, 7, 175, 553, 553, 1645, 709, 628, 96], [1, 7, 8, 168, 574, 518, 1680, 688, 635, 95], [1, 7, 9, 161, 595, 483, 1715, 667, 642, 94], [1, 7, 10, 154, 616, 448, 1750, 646, 649, 93], [1, 7, 11, 147, 637, 413, 1785, 625, 656, 92], [1, 7, 12, 140, 658, 378, 1820, 604, 663, 91], [1, 7, 13, 133, 679, 343, 1855, 583, 670, 90], [1, 7, 14, 126, 700, 308, 1890, 562, 677, 89], [1, 7, 15, 119, 721, 273, 1925, 541, 684, 88], [1, 7, 16, 112, 742, 238, 1960, 520, 691, 87], [1, 7, 17, 105, 763, 203, 1995, 499, 698, 86], [1, 7, 18, 98, 784, 168, 2030, 478, 705, 85], [1, 7, 19, 91, 805, 133, 2065, 457, 712, 84], [1, 8, 0, 196, 518, 588, 1624, 716, 627, 96], [1, 8, 1, 189, 539, 553, 1659, 695, 634, 95], [1, 8, 2, 182, 560, 518, 1694, 674, 641, 94], [1, 8, 3, 175, 581, 483, 1729, 653, 648, 93], [1, 8, 4, 168, 602, 448, 1764, 632, 655, 92], [1, 8, 5, 161, 623, 413, 1799, 611, 662, 91], [1, 8, 6, 154, 644, 378, 1834, 590, 669, 90], [1, 8, 7, 147, 665, 343, 1869, 569, 676, 89], [1, 8, 8, 140, 686, 308, 1904, 548, 683, 88], [1, 8, 9, 133, 707, 273, 1939, 527, 690, 87], [1, 8, 10, 126, 728, 238, 1974, 506, 697, 86], [1, 8, 11, 119, 749, 203, 2009, 485, 704, 85], [1, 8, 12, 112, 770, 168, 2044, 464, 711, 84], [1, 9, 0, 168, 630, 378, 1848, 576, 675, 89], [1, 9, 1, 161, 651, 343, 1883, 555, 682, 88], [1, 9, 2, 154, 672, 308, 1918, 534, 689, 87], [1, 9, 3, 147, 693, 273, 1953, 513, 696, 86], [1, 9, 4, 140, 714, 238, 1988, 492, 703, 85], [1, 9, 5, 133, 735, 203, 2023, 471, 710, 84], [1, 9, 6, 126, 756, 168, 2058, 450, 717, 83], [2, 0, 0, 336, 0, 1512, 672, 1296, 432, 124], [2, 0, 1, 329, 21, 1477, 707, 1275, 439, 123], [2, 0, 2, 322, 42, 1442, 742, 1254, 446, 122], [2, 0, 3, 315, 63, 1407, 777, 1233, 453, 121], [2, 0, 4, 308, 84, 1372, 812, 1212, 460, 120], [2, 0, 5, 301, 105, 1337, 847, 1191, 467, 119], [2, 0, 6, 294, 126, 1302, 882, 1170, 474, 118], [2, 0, 7, 287, 147, 1267, 917, 1149, 481, 117], [2, 0, 8, 280, 168, 1232, 952, 1128, 488, 116], [2, 0, 9, 273, 189, 1197, 987, 1107, 495, 115], [2, 0, 10, 266, 210, 1162, 1022, 1086, 502, 114], [2, 0, 11, 259, 231, 1127, 1057, 1065, 509, 113], [2, 0, 12, 252, 252, 1092, 1092, 1044, 516, 112], [2, 0, 13, 245, 273, 1057, 1127, 1023, 523, 111], [2, 0, 14, 238, 294, 1022, 1162, 1002, 530, 110], [2, 0, 15, 231, 315, 987, 1197, 981, 537, 109], [2, 0, 16, 224, 336, 952, 1232, 960, 544, 108], [2, 0, 17, 217, 357, 917, 1267, 939, 551, 107], [2, 0, 18, 210, 378, 882, 1302, 918, 558, 106], [2, 0, 19, 203, 399, 847, 1337, 897, 565, 105], [2, 0, 20, 196, 420, 812, 1372, 876, 572, 104], [2, 0, 21, 189, 441, 777, 1407, 855, 579, 103], [2, 0, 22, 182, 462, 742, 1442, 834, 586, 102], [2, 0, 23, 175, 483, 707, 1477, 813, 593, 101], [2, 0, 24, 168, 504, 672, 1512, 792, 600, 100], [2, 0, 25, 161, 525, 637, 1547, 771, 607, 99], [2, 0, 26, 154, 546, 602, 1582, 750, 614, 98], [2, 0, 27, 147, 567, 567, 1617, 729, 621, 97], [2, 0, 28, 140, 588, 532, 1652, 708, 628, 96], [2, 0, 29, 133, 609, 497, 1687, 687, 635, 95], [2, 0, 30, 126, 630, 462, 1722, 666, 642, 94], [2, 0, 31, 119, 651, 427, 1757, 645, 649, 93], [2, 0, 32, 112, 672, 392, 1792, 624, 656, 92], [2, 0, 33, 105, 693, 357, 1827, 603, 663, 91], [2, 0, 34, 98, 714, 322, 1862, 582, 670, 90], [2, 0, 35, 91, 735, 287, 1897, 561, 677, 89], [2, 0, 36, 84, 756, 252, 1932, 540, 684, 88], [2, 0, 37, 77, 777, 217, 1967, 519, 691, 87], [2, 0, 38, 70, 798, 182, 2002, 498, 698, 86], [2, 0, 39, 63, 819, 147, 2037, 477, 705, 85], [2, 0, 40, 56, 840, 112, 2072, 456, 712, 84], [2, 1, 0, 308, 112, 1302, 896, 1156, 480, 117], [2, 1, 1, 301, 133, 1267, 931, 1135, 487, 116], [2, 1, 2, 294, 154, 1232, 966, 1114, 494, 115], [2, 1, 3, 287, 175, 1197, 1001, 1093, 501, 114], [2, 1, 4, 280, 196, 1162, 1036, 1072, 508, 113], [2, 1, 5, 273, 217, 1127, 1071, 1051, 515, 112], [2, 1, 6, 266, 238, 1092, 1106, 1030, 522, 111], [2, 1, 7, 259, 259, 1057, 1141, 1009, 529, 110], [2, 1, 8, 252, 280, 1022, 1176, 988, 536, 109], [2, 1, 9, 245, 301, 987, 1211, 967, 543, 108], [2, 1, 10, 238, 322, 952, 1246, 946, 550, 107], [2, 1, 11, 231, 343, 917, 1281, 925, 557, 106], [2, 1, 12, 224, 364, 882, 1316, 904, 564, 105], [2, 1, 13, 217, 385, 847, 1351, 883, 571, 104], [2, 1, 14, 210, 406, 812, 1386, 862, 578, 103], [2, 1, 15, 203, 427, 777, 1421, 841, 585, 102], [2, 1, 16, 196, 448, 742, 1456, 820, 592, 101], [2, 1, 17, 189, 469, 707, 1491, 799, 599, 100], [2, 1, 18, 182, 490, 672, 1526, 778, 606, 99], [2, 1, 19, 175, 511, 637, 1561, 757, 613, 98], [2, 1, 20, 168, 532, 602, 1596, 736, 620, 97], [2, 1, 21, 161, 553, 567, 1631, 715, 627, 96], [2, 1, 22, 154, 574, 532, 1666, 694, 634, 95], [2, 1, 23, 147, 595, 497, 1701, 673, 641, 94], [2, 1, 24, 140, 616, 462, 1736, 652, 648, 93], [2, 1, 25, 133, 637, 427, 1771, 631, 655, 92], [2, 1, 26, 126, 658, 392, 1806, 610, 662, 91], [2, 1, 27, 119, 679, 357, 1841, 589, 669, 90], [2, 1, 28, 112, 700, 322, 1876, 568, 676, 89], [2, 1, 29, 105, 721, 287, 1911, 547, 683, 88], [2, 1, 30, 98, 742, 252, 1946, 526, 690, 87], [2, 1, 31, 91, 763, 217, 1981, 505, 697, 86], [2, 1, 32, 84, 784, 182, 2016, 484, 704, 85], [2, 1, 33, 77, 805, 147, 2051, 463, 711, 84], [2, 2, 0, 280, 224, 1092, 1120, 1016, 528, 110], [2, 2, 1, 273, 245, 1057, 1155, 995, 535, 109], [2, 2, 2, 266, 266, 1022, 1190, 974, 542, 108], [2, 2, 3, 259, 287, 987, 1225, 953, 549, 107], [2, 2, 4, 252, 308, 952, 1260, 932, 556, 106], [2, 2, 5, 245, 329, 917, 1295, 911, 563, 105], [2, 2, 6, 238, 350, 882, 1330, 890, 570, 104], [2, 2, 7, 231, 371, 847, 1365, 869, 577, 103], [2, 2, 8, 224, 392, 812, 1400, 848, 584, 102], [2, 2, 9, 217, 413, 777, 1435, 827, 591, 101], [2, 2, 10, 210, 434, 742, 1470, 806, 598, 100], [2, 2, 11, 203, 455, 707, 1505, 785, 605, 99], [2, 2, 12, 196, 476, 672, 1540, 764, 612, 98], [2, 2, 13, 189, 497, 637, 1575, 743, 619, 97], [2, 2, 14, 182, 518, 602, 1610, 722, 626, 96], [2, 2, 15, 175, 539, 567, 1645, 701, 633, 95], [2, 2, 16, 168, 560, 532, 1680, 680, 640, 94], [2, 2, 17, 161, 581, 497, 1715, 659, 647, 93], [2, 2, 18, 154, 602, 462, 1750, 638, 654, 92], [2, 2, 19, 147, 623, 427, 1785, 617, 661, 91], [2, 2, 20, 140, 644, 392, 1820, 596, 668, 90], [2, 2, 21, 133, 665, 357, 1855, 575, 675, 89], [2, 2, 22, 126, 686, 322, 1890, 554, 682, 88], [2, 2, 23, 119, 707, 287, 1925, 533, 689, 87], [2, 2, 24, 112, 728, 252, 1960, 512, 696, 86], [2, 2, 25, 105, 749, 217, 1995, 491, 703, 85], [2, 2, 26, 98, 770, 182, 2030, 470, 710, 84], [2, 2, 27, 91, 791, 147, 2065, 449, 717, 83], [2, 3, 0, 252, 336, 882, 1344, 876, 576, 103], [2, 3, 1, 245, 357, 847, 1379, 855, 583, 102], [2, 3, 2, 238, 378, 812, 1414, 834, 590, 101], [2, 3, 3, 231, 399, 777, 1449, 813, 597, 100], [2, 3, 4, 224, 420, 742, 1484, 792, 604, 99], [2, 3, 5, 217, 441, 707, 1519, 771, 611, 98], [2, 3, 6, 210, 462, 672, 1554, 750, 618, 97], [2, 3, 7, 203, 483, 637, 1589, 729, 625, 96], [2, 3, 8, 196, 504, 602, 1624, 708, 632, 95], [2, 3, 9, 189, 525, 567, 1659, 687, 639, 94], [2, 3, 10, 182, 546, 532, 1694, 666, 646, 93], [2, 3, 11, 175, 567, 497, 1729, 645, 653, 92], [2, 3, 12, 168, 588, 462, 1764, 624, 660, 91], [2, 3, 13, 161, 609, 427, 1799, 603, 667, 90], [2, 3, 14, 154, 630, 392, 1834, 582, 674, 89], [2, 3, 15, 147, 651, 357, 1869, 561, 681, 88], [2, 3, 16, 140, 672, 322, 1904, 540, 688, 87], [2, 3, 17, 133, 693, 287, 1939, 519, 695, 86], [2, 3, 18, 126, 714, 252, 1974, 498, 702, 85], [2, 3, 19, 119, 735, 217, 2009, 477, 709, 84], [2, 3, 20, 112, 756, 182, 2044, 456, 716, 83], [2, 3, 21, 105, 777, 147, 2079, 435, 723, 82], [2, 4, 0, 224, 448, 672, 1568, 736, 624, 96], [2, 4, 1, 217, 469, 637, 1603, 715, 631, 95], [2, 4, 2, 210, 490, 602, 1638, 694, 638, 94], [2, 4, 3, 203, 511, 567, 1673, 673, 645, 93], [2, 4, 4, 196, 532, 532, 1708, 652, 652, 92], [2, 4, 5, 189, 553, 497, 1743, 631, 659, 91], [2, 4, 6, 182, 574, 462, 1778, 610, 666, 90], [2, 4, 7, 175, 595, 427, 1813, 589, 673, 89], [2, 4, 8, 168, 616, 392, 1848, 568, 680, 88], [2, 4, 9, 161, 637, 357, 1883, 547, 687, 87], [2, 4, 10, 154, 658, 322, 1918, 526, 694, 86], [2, 4, 11, 147, 679, 287, 1953, 505, 701, 85], [2, 4, 12, 140, 700, 252, 1988, 484, 708, 84], [2, 4, 13, 133, 721, 217, 2023, 463, 715, 83], [2, 4, 14, 126, 742, 182, 2058, 442, 722, 82], [2, 4, 15, 119, 763, 147, 2093, 421, 729, 81], [3, 0, 0, 252, 378, 756, 1512, 756, 621, 96], [3, 0, 1, 245, 399, 721, 1547, 735, 628, 95], [3, 0, 2, 238, 420, 686, 1582, 714, 635, 94], [3, 0, 3, 231, 441, 651, 1617, 693, 642, 93], [3, 0, 4, 224, 462, 616, 1652, 672, 649, 92], [3, 0, 5, 217, 483, 581, 1687, 651, 656, 91], [3, 0, 6, 210, 504, 546, 1722, 630, 663, 90], [3, 0, 7, 203, 525, 511, 1757, 609, 670, 89], [3, 0, 8, 196, 546, 476, 1792, 588, 677, 88], [3, 0, 9, 189, 567, 441, 1827, 567, 684, 87], [3, 0, 10, 182, 588, 406, 1862, 546, 691, 86], [3, 0, 11, 175, 609, 371, 1897, 525, 698, 85], [3, 0, 12, 168, 630, 336, 1932, 504, 705, 84], [3, 0, 13, 161, 651, 301, 1967, 483, 712, 83], [3, 0, 14, 154, 672, 266, 2002, 462, 719, 82], [3, 0, 15, 147, 693, 231, 2037, 441, 726, 81], [3, 0, 16, 140, 714, 196, 2072, 420, 733, 80], [3, 0, 17, 133, 735, 161, 2107, 399, 740, 79], [3, 1, 0, 224, 490, 546, 1736, 616, 669, 89], [3, 1, 1, 217, 511, 511, 1771, 595, 676, 88], [3, 1, 2, 210, 532, 476, 1806, 574, 683, 87], [3, 1, 3, 203, 553, 441, 1841, 553, 690, 86], [3, 1, 4, 196, 574, 406, 1876, 532, 697, 85], [3, 1, 5, 189, 595, 371, 1911, 511, 704, 84], [3, 1, 6, 182, 616, 336, 1946, 490, 711, 83], [3, 1, 7, 175, 637, 301, 1981, 469, 718, 82], [3, 1, 8, 168, 658, 266, 2016, 448, 725, 81], [3, 1, 9, 161, 679, 231, 2051, 427, 732, 80], [3, 2, 0, 196, 602, 336, 1960, 476, 717, 82]} ------- (9, 4374, 6) Remaining distance distributions after NDDA (6, 4374, 6) has 1 possible DDs: {[6, 72, 360, 960, 1440, 1152, 384]} (7, 4374, 6) has 7 possible DDs: {[0, 42, 126, 630, 1050, 1386, 882, 258], [1, 35, 147, 595, 1085, 1365, 889, 257], [2, 28, 168, 560, 1120, 1344, 896, 256], [3, 21, 189, 525, 1155, 1323, 903, 255], [4, 14, 210, 490, 1190, 1302, 910, 254], [5, 7, 231, 455, 1225, 1281, 917, 253], [6, 0, 252, 420, 1260, 1260, 924, 252]} (8, 4374, 6) has 82 possible DDs: {[0, 0, 168, 0, 1260, 672, 1512, 576, 186], [0, 1, 161, 21, 1225, 707, 1491, 583, 185], [0, 2, 154, 42, 1190, 742, 1470, 590, 184], [0, 3, 147, 63, 1155, 777, 1449, 597, 183], [0, 4, 140, 84, 1120, 812, 1428, 604, 182], [0, 5, 133, 105, 1085, 847, 1407, 611, 181], [0, 6, 126, 126, 1050, 882, 1386, 618, 180], [0, 7, 119, 147, 1015, 917, 1365, 625, 179], [0, 8, 112, 168, 980, 952, 1344, 632, 178], [0, 9, 105, 189, 945, 987, 1323, 639, 177], [0, 10, 98, 210, 910, 1022, 1302, 646, 176], [0, 11, 91, 231, 875, 1057, 1281, 653, 175], [0, 12, 84, 252, 840, 1092, 1260, 660, 174], [0, 13, 77, 273, 805, 1127, 1239, 667, 173], [0, 14, 70, 294, 770, 1162, 1218, 674, 172], [0, 15, 63, 315, 735, 1197, 1197, 681, 171], [0, 16, 56, 336, 700, 1232, 1176, 688, 170], [0, 17, 49, 357, 665, 1267, 1155, 695, 169], [0, 18, 42, 378, 630, 1302, 1134, 702, 168], [0, 19, 35, 399, 595, 1337, 1113, 709, 167], [0, 20, 28, 420, 560, 1372, 1092, 716, 166], [0, 21, 21, 441, 525, 1407, 1071, 723, 165], [0, 22, 14, 462, 490, 1442, 1050, 730, 164], [0, 23, 7, 483, 455, 1477, 1029, 737, 163], [0, 24, 0, 504, 420, 1512, 1008, 744, 162], [1, 0, 140, 112, 1050, 896, 1372, 624, 179], [1, 1, 133, 133, 1015, 931, 1351, 631, 178], [1, 2, 126, 154, 980, 966, 1330, 638, 177], [1, 3, 119, 175, 945, 1001, 1309, 645, 176], [1, 4, 112, 196, 910, 1036, 1288, 652, 175], [1, 5, 105, 217, 875, 1071, 1267, 659, 174], [1, 6, 98, 238, 840, 1106, 1246, 666, 173], [1, 7, 91, 259, 805, 1141, 1225, 673, 172], [1, 8, 84, 280, 770, 1176, 1204, 680, 171], [1, 9, 77, 301, 735, 1211, 1183, 687, 170], [1, 10, 70, 322, 700, 1246, 1162, 694, 169], [1, 11, 63, 343, 665, 1281, 1141, 701, 168], [1, 12, 56, 364, 630, 1316, 1120, 708, 167], [1, 13, 49, 385, 595, 1351, 1099, 715, 166], [1, 14, 42, 406, 560, 1386, 1078, 722, 165], [1, 15, 35, 427, 525, 1421, 1057, 729, 164], [1, 16, 28, 448, 490, 1456, 1036, 736, 163], [1, 17, 21, 469, 455, 1491, 1015, 743, 162], [2, 0, 112, 224, 840, 1120, 1232, 672, 172], [2, 1, 105, 245, 805, 1155, 1211, 679, 171], [2, 2, 98, 266, 770, 1190, 1190, 686, 170], [2, 3, 91, 287, 735, 1225, 1169, 693, 169], [2, 4, 84, 308, 700, 1260, 1148, 700, 168], [2, 5, 77, 329, 665, 1295, 1127, 707, 167], [2, 6, 70, 350, 630, 1330, 1106, 714, 166], [2, 7, 63, 371, 595, 1365, 1085, 721, 165], [2, 8, 56, 392, 560, 1400, 1064, 728, 164], [2, 9, 49, 413, 525, 1435, 1043, 735, 163], [2, 10, 42, 434, 490, 1470, 1022, 742, 162], [2, 11, 35, 455, 455, 1505, 1001, 749, 161], [2, 12, 28, 476, 420, 1540, 980, 756, 160], [2, 13, 21, 497, 385, 1575, 959, 763, 159], [2, 14, 14, 518, 350, 1610, 938, 770, 158], [2, 15, 7, 539, 315, 1645, 917, 777, 157], [2, 16, 0, 560, 280, 1680, 896, 784, 156], [3, 0, 84, 336, 630, 1344, 1092, 720, 165], [3, 1, 77, 357, 595, 1379, 1071, 727, 164], [3, 2, 70, 378, 560, 1414, 1050, 734, 163], [3, 3, 63, 399, 525, 1449, 1029, 741, 162], [3, 4, 56, 420, 490, 1484, 1008, 748, 161], [3, 5, 49, 441, 455, 1519, 987, 755, 160], [3, 6, 42, 462, 420, 1554, 966, 762, 159], [3, 7, 35, 483, 385, 1589, 945, 769, 158], [3, 8, 28, 504, 350, 1624, 924, 776, 157], [3, 9, 21, 525, 315, 1659, 903, 783, 156], [4, 0, 56, 448, 420, 1568, 952, 768, 158], [4, 1, 49, 469, 385, 1603, 931, 775, 157], [4, 2, 42, 490, 350, 1638, 910, 782, 156], [4, 3, 35, 511, 315, 1673, 889, 789, 155], [4, 4, 28, 532, 280, 1708, 868, 796, 154], [4, 5, 21, 553, 245, 1743, 847, 803, 153], [4, 6, 14, 574, 210, 1778, 826, 810, 152], [4, 7, 7, 595, 175, 1813, 805, 817, 151], [4, 8, 0, 616, 140, 1848, 784, 824, 150], [5, 0, 28, 560, 210, 1792, 812, 816, 151], [5, 1, 21, 581, 175, 1827, 791, 823, 150], [6, 0, 0, 672, 0, 2016, 672, 864, 144]} (9, 4374, 6) has 839 possible DDs: {[0, 0, 40, 224, 84, 1624, 392, 1536, 334, 140], [0, 0, 41, 217, 105, 1589, 427, 1515, 341, 139], [0, 0, 42, 210, 126, 1554, 462, 1494, 348, 138], [0, 0, 43, 203, 147, 1519, 497, 1473, 355, 137], [0, 0, 44, 196, 168, 1484, 532, 1452, 362, 136], [0, 0, 45, 189, 189, 1449, 567, 1431, 369, 135], [0, 0, 46, 182, 210, 1414, 602, 1410, 376, 134], [0, 0, 47, 175, 231, 1379, 637, 1389, 383, 133], [0, 0, 48, 168, 252, 1344, 672, 1368, 390, 132], [0, 0, 49, 161, 273, 1309, 707, 1347, 397, 131], [0, 0, 50, 154, 294, 1274, 742, 1326, 404, 130], [0, 0, 51, 147, 315, 1239, 777, 1305, 411, 129], [0, 0, 52, 140, 336, 1204, 812, 1284, 418, 128], [0, 0, 53, 133, 357, 1169, 847, 1263, 425, 127], [0, 0, 54, 126, 378, 1134, 882, 1242, 432, 126], [0, 0, 55, 119, 399, 1099, 917, 1221, 439, 125], [0, 0, 56, 112, 420, 1064, 952, 1200, 446, 124], [0, 0, 57, 105, 441, 1029, 987, 1179, 453, 123], [0, 0, 58, 98, 462, 994, 1022, 1158, 460, 122], [0, 0, 59, 91, 483, 959, 1057, 1137, 467, 121], [0, 0, 60, 84, 504, 924, 1092, 1116, 474, 120], [0, 0, 61, 77, 525, 889, 1127, 1095, 481, 119], [0, 0, 62, 70, 546, 854, 1162, 1074, 488, 118], [0, 0, 63, 63, 567, 819, 1197, 1053, 495, 117], [0, 0, 64, 56, 588, 784, 1232, 1032, 502, 116], [0, 0, 65, 49, 609, 749, 1267, 1011, 509, 115], [0, 0, 66, 42, 630, 714, 1302, 990, 516, 114], [0, 0, 67, 35, 651, 679, 1337, 969, 523, 113], [0, 0, 68, 28, 672, 644, 1372, 948, 530, 112], [0, 0, 69, 21, 693, 609, 1407, 927, 537, 111], [0, 0, 70, 14, 714, 574, 1442, 906, 544, 110], [0, 0, 71, 7, 735, 539, 1477, 885, 551, 109], [0, 0, 72, 0, 756, 504, 1512, 864, 558, 108], [0, 1, 35, 231, 91, 1589, 441, 1501, 347, 138], [0, 1, 36, 224, 112, 1554, 476, 1480, 354, 137], [0, 1, 37, 217, 133, 1519, 511, 1459, 361, 136], [0, 1, 38, 210, 154, 1484, 546, 1438, 368, 135], [0, 1, 39, 203, 175, 1449, 581, 1417, 375, 134], [0, 1, 40, 196, 196, 1414, 616, 1396, 382, 133], [0, 1, 41, 189, 217, 1379, 651, 1375, 389, 132], [0, 1, 42, 182, 238, 1344, 686, 1354, 396, 131], [0, 1, 43, 175, 259, 1309, 721, 1333, 403, 130], [0, 1, 44, 168, 280, 1274, 756, 1312, 410, 129], [0, 1, 45, 161, 301, 1239, 791, 1291, 417, 128], [0, 1, 46, 154, 322, 1204, 826, 1270, 424, 127], [0, 1, 47, 147, 343, 1169, 861, 1249, 431, 126], [0, 1, 48, 140, 364, 1134, 896, 1228, 438, 125], [0, 1, 49, 133, 385, 1099, 931, 1207, 445, 124], [0, 1, 50, 126, 406, 1064, 966, 1186, 452, 123], [0, 1, 51, 119, 427, 1029, 1001, 1165, 459, 122], [0, 1, 52, 112, 448, 994, 1036, 1144, 466, 121], [0, 1, 53, 105, 469, 959, 1071, 1123, 473, 120], [0, 1, 54, 98, 490, 924, 1106, 1102, 480, 119], [0, 1, 55, 91, 511, 889, 1141, 1081, 487, 118], [0, 1, 56, 84, 532, 854, 1176, 1060, 494, 117], [0, 1, 57, 77, 553, 819, 1211, 1039, 501, 116], [0, 1, 58, 70, 574, 784, 1246, 1018, 508, 115], [0, 1, 59, 63, 595, 749, 1281, 997, 515, 114], [0, 1, 60, 56, 616, 714, 1316, 976, 522, 113], [0, 1, 61, 49, 637, 679, 1351, 955, 529, 112], [0, 1, 62, 42, 658, 644, 1386, 934, 536, 111], [0, 1, 63, 35, 679, 609, 1421, 913, 543, 110], [0, 1, 64, 28, 700, 574, 1456, 892, 550, 109], [0, 1, 65, 21, 721, 539, 1491, 871, 557, 108], [0, 2, 30, 238, 98, 1554, 490, 1466, 360, 136], [0, 2, 31, 231, 119, 1519, 525, 1445, 367, 135], [0, 2, 32, 224, 140, 1484, 560, 1424, 374, 134], [0, 2, 33, 217, 161, 1449, 595, 1403, 381, 133], [0, 2, 34, 210, 182, 1414, 630, 1382, 388, 132], [0, 2, 35, 203, 203, 1379, 665, 1361, 395, 131], [0, 2, 36, 196, 224, 1344, 700, 1340, 402, 130], [0, 2, 37, 189, 245, 1309, 735, 1319, 409, 129], [0, 2, 38, 182, 266, 1274, 770, 1298, 416, 128], [0, 2, 39, 175, 287, 1239, 805, 1277, 423, 127], [0, 2, 40, 168, 308, 1204, 840, 1256, 430, 126], [0, 2, 41, 161, 329, 1169, 875, 1235, 437, 125], [0, 2, 42, 154, 350, 1134, 910, 1214, 444, 124], [0, 2, 43, 147, 371, 1099, 945, 1193, 451, 123], [0, 2, 44, 140, 392, 1064, 980, 1172, 458, 122], [0, 2, 45, 133, 413, 1029, 1015, 1151, 465, 121], [0, 2, 46, 126, 434, 994, 1050, 1130, 472, 120], [0, 2, 47, 119, 455, 959, 1085, 1109, 479, 119], [0, 2, 48, 112, 476, 924, 1120, 1088, 486, 118], [0, 2, 49, 105, 497, 889, 1155, 1067, 493, 117], [0, 2, 50, 98, 518, 854, 1190, 1046, 500, 116], [0, 2, 51, 91, 539, 819, 1225, 1025, 507, 115], [0, 2, 52, 84, 560, 784, 1260, 1004, 514, 114], [0, 2, 53, 77, 581, 749, 1295, 983, 521, 113], [0, 2, 54, 70, 602, 714, 1330, 962, 528, 112], [0, 2, 55, 63, 623, 679, 1365, 941, 535, 111], [0, 2, 56, 56, 644, 644, 1400, 920, 542, 110], [0, 2, 57, 49, 665, 609, 1435, 899, 549, 109], [0, 2, 58, 42, 686, 574, 1470, 878, 556, 108], [0, 2, 59, 35, 707, 539, 1505, 857, 563, 107], [0, 2, 60, 28, 728, 504, 1540, 836, 570, 106], [0, 2, 61, 21, 749, 469, 1575, 815, 577, 105], [0, 2, 62, 14, 770, 434, 1610, 794, 584, 104], [0, 2, 63, 7, 791, 399, 1645, 773, 591, 103], [0, 2, 64, 0, 812, 364, 1680, 752, 598, 102], [0, 3, 24, 252, 84, 1554, 504, 1452, 366, 135], [0, 3, 25, 245, 105, 1519, 539, 1431, 373, 134], [0, 3, 26, 238, 126, 1484, 574, 1410, 380, 133], [0, 3, 27, 231, 147, 1449, 609, 1389, 387, 132], [0, 3, 28, 224, 168, 1414, 644, 1368, 394, 131], [0, 3, 29, 217, 189, 1379, 679, 1347, 401, 130], [0, 3, 30, 210, 210, 1344, 714, 1326, 408, 129], [0, 3, 31, 203, 231, 1309, 749, 1305, 415, 128], [0, 3, 32, 196, 252, 1274, 784, 1284, 422, 127], [0, 3, 33, 189, 273, 1239, 819, 1263, 429, 126], [0, 3, 34, 182, 294, 1204, 854, 1242, 436, 125], [0, 3, 35, 175, 315, 1169, 889, 1221, 443, 124], [0, 3, 36, 168, 336, 1134, 924, 1200, 450, 123], [0, 3, 37, 161, 357, 1099, 959, 1179, 457, 122], [0, 3, 38, 154, 378, 1064, 994, 1158, 464, 121], [0, 3, 39, 147, 399, 1029, 1029, 1137, 471, 120], [0, 3, 40, 140, 420, 994, 1064, 1116, 478, 119], [0, 3, 41, 133, 441, 959, 1099, 1095, 485, 118], [0, 3, 42, 126, 462, 924, 1134, 1074, 492, 117], [0, 3, 43, 119, 483, 889, 1169, 1053, 499, 116], [0, 3, 44, 112, 504, 854, 1204, 1032, 506, 115], [0, 3, 45, 105, 525, 819, 1239, 1011, 513, 114], [0, 3, 46, 98, 546, 784, 1274, 990, 520, 113], [0, 3, 47, 91, 567, 749, 1309, 969, 527, 112], [0, 3, 48, 84, 588, 714, 1344, 948, 534, 111], [0, 3, 49, 77, 609, 679, 1379, 927, 541, 110], [0, 3, 50, 70, 630, 644, 1414, 906, 548, 109], [0, 3, 51, 63, 651, 609, 1449, 885, 555, 108], [0, 3, 52, 56, 672, 574, 1484, 864, 562, 107], [0, 3, 53, 49, 693, 539, 1519, 843, 569, 106], [0, 3, 54, 42, 714, 504, 1554, 822, 576, 105], [0, 3, 55, 35, 735, 469, 1589, 801, 583, 104], [0, 3, 56, 28, 756, 434, 1624, 780, 590, 103], [0, 3, 57, 21, 777, 399, 1659, 759, 597, 102], [0, 4, 19, 259, 91, 1519, 553, 1417, 379, 133], [0, 4, 20, 252, 112, 1484, 588, 1396, 386, 132], [0, 4, 21, 245, 133, 1449, 623, 1375, 393, 131], [0, 4, 22, 238, 154, 1414, 658, 1354, 400, 130], [0, 4, 23, 231, 175, 1379, 693, 1333, 407, 129], [0, 4, 24, 224, 196, 1344, 728, 1312, 414, 128], [0, 4, 25, 217, 217, 1309, 763, 1291, 421, 127], [0, 4, 26, 210, 238, 1274, 798, 1270, 428, 126], [0, 4, 27, 203, 259, 1239, 833, 1249, 435, 125], [0, 4, 28, 196, 280, 1204, 868, 1228, 442, 124], [0, 4, 29, 189, 301, 1169, 903, 1207, 449, 123], [0, 4, 30, 182, 322, 1134, 938, 1186, 456, 122], [0, 4, 31, 175, 343, 1099, 973, 1165, 463, 121], [0, 4, 32, 168, 364, 1064, 1008, 1144, 470, 120], [0, 4, 33, 161, 385, 1029, 1043, 1123, 477, 119], [0, 4, 34, 154, 406, 994, 1078, 1102, 484, 118], [0, 4, 35, 147, 427, 959, 1113, 1081, 491, 117], [0, 4, 36, 140, 448, 924, 1148, 1060, 498, 116], [0, 4, 37, 133, 469, 889, 1183, 1039, 505, 115], [0, 4, 38, 126, 490, 854, 1218, 1018, 512, 114], [0, 4, 39, 119, 511, 819, 1253, 997, 519, 113], [0, 4, 40, 112, 532, 784, 1288, 976, 526, 112], [0, 4, 41, 105, 553, 749, 1323, 955, 533, 111], [0, 4, 42, 98, 574, 714, 1358, 934, 540, 110], [0, 4, 43, 91, 595, 679, 1393, 913, 547, 109], [0, 4, 44, 84, 616, 644, 1428, 892, 554, 108], [0, 4, 45, 77, 637, 609, 1463, 871, 561, 107], [0, 4, 46, 70, 658, 574, 1498, 850, 568, 106], [0, 4, 47, 63, 679, 539, 1533, 829, 575, 105], [0, 4, 48, 56, 700, 504, 1568, 808, 582, 104], [0, 4, 49, 49, 721, 469, 1603, 787, 589, 103], [0, 4, 50, 42, 742, 434, 1638, 766, 596, 102], [0, 4, 51, 35, 763, 399, 1673, 745, 603, 101], [0, 4, 52, 28, 784, 364, 1708, 724, 610, 100], [0, 4, 53, 21, 805, 329, 1743, 703, 617, 99], [0, 4, 54, 14, 826, 294, 1778, 682, 624, 98], [0, 4, 55, 7, 847, 259, 1813, 661, 631, 97], [0, 4, 56, 0, 868, 224, 1848, 640, 638, 96], [0, 5, 12, 280, 56, 1554, 532, 1424, 378, 133], [0, 5, 13, 273, 77, 1519, 567, 1403, 385, 132], [0, 5, 14, 266, 98, 1484, 602, 1382, 392, 131], [0, 5, 15, 259, 119, 1449, 637, 1361, 399, 130], [0, 5, 16, 252, 140, 1414, 672, 1340, 406, 129], [0, 5, 17, 245, 161, 1379, 707, 1319, 413, 128], [0, 5, 18, 238, 182, 1344, 742, 1298, 420, 127], [0, 5, 19, 231, 203, 1309, 777, 1277, 427, 126], [0, 5, 20, 224, 224, 1274, 812, 1256, 434, 125], [0, 5, 21, 217, 245, 1239, 847, 1235, 441, 124], [0, 5, 22, 210, 266, 1204, 882, 1214, 448, 123], [0, 5, 23, 203, 287, 1169, 917, 1193, 455, 122], [0, 5, 24, 196, 308, 1134, 952, 1172, 462, 121], [0, 5, 25, 189, 329, 1099, 987, 1151, 469, 120], [0, 5, 26, 182, 350, 1064, 1022, 1130, 476, 119], [0, 5, 27, 175, 371, 1029, 1057, 1109, 483, 118], [0, 5, 28, 168, 392, 994, 1092, 1088, 490, 117], [0, 5, 29, 161, 413, 959, 1127, 1067, 497, 116], [0, 5, 30, 154, 434, 924, 1162, 1046, 504, 115], [0, 5, 31, 147, 455, 889, 1197, 1025, 511, 114], [0, 5, 32, 140, 476, 854, 1232, 1004, 518, 113], [0, 5, 33, 133, 497, 819, 1267, 983, 525, 112], [0, 5, 34, 126, 518, 784, 1302, 962, 532, 111], [0, 5, 35, 119, 539, 749, 1337, 941, 539, 110], [0, 5, 36, 112, 560, 714, 1372, 920, 546, 109], [0, 5, 37, 105, 581, 679, 1407, 899, 553, 108], [0, 5, 38, 98, 602, 644, 1442, 878, 560, 107], [0, 5, 39, 91, 623, 609, 1477, 857, 567, 106], [0, 5, 40, 84, 644, 574, 1512, 836, 574, 105], [0, 5, 41, 77, 665, 539, 1547, 815, 581, 104], [0, 5, 42, 70, 686, 504, 1582, 794, 588, 103], [0, 5, 43, 63, 707, 469, 1617, 773, 595, 102], [0, 5, 44, 56, 728, 434, 1652, 752, 602, 101], [0, 5, 45, 49, 749, 399, 1687, 731, 609, 100], [0, 5, 46, 42, 770, 364, 1722, 710, 616, 99], [0, 5, 47, 35, 791, 329, 1757, 689, 623, 98], [0, 5, 48, 28, 812, 294, 1792, 668, 630, 97], [0, 5, 49, 21, 833, 259, 1827, 647, 637, 96], [0, 6, 6, 294, 42, 1554, 546, 1410, 384, 132], [0, 6, 7, 287, 63, 1519, 581, 1389, 391, 131], [0, 6, 8, 280, 84, 1484, 616, 1368, 398, 130], [0, 6, 9, 273, 105, 1449, 651, 1347, 405, 129], [0, 6, 10, 266, 126, 1414, 686, 1326, 412, 128], [0, 6, 11, 259, 147, 1379, 721, 1305, 419, 127], [0, 6, 12, 252, 168, 1344, 756, 1284, 426, 126], [0, 6, 13, 245, 189, 1309, 791, 1263, 433, 125], [0, 6, 14, 238, 210, 1274, 826, 1242, 440, 124], [0, 6, 15, 231, 231, 1239, 861, 1221, 447, 123], [0, 6, 16, 224, 252, 1204, 896, 1200, 454, 122], [0, 6, 17, 217, 273, 1169, 931, 1179, 461, 121], [0, 6, 18, 210, 294, 1134, 966, 1158, 468, 120], [0, 6, 19, 203, 315, 1099, 1001, 1137, 475, 119], [0, 6, 20, 196, 336, 1064, 1036, 1116, 482, 118], [0, 6, 21, 189, 357, 1029, 1071, 1095, 489, 117], [0, 6, 22, 182, 378, 994, 1106, 1074, 496, 116], [0, 6, 23, 175, 399, 959, 1141, 1053, 503, 115], [0, 6, 24, 168, 420, 924, 1176, 1032, 510, 114], [0, 6, 25, 161, 441, 889, 1211, 1011, 517, 113], [0, 6, 26, 154, 462, 854, 1246, 990, 524, 112], [0, 6, 27, 147, 483, 819, 1281, 969, 531, 111], [0, 6, 28, 140, 504, 784, 1316, 948, 538, 110], [0, 6, 29, 133, 525, 749, 1351, 927, 545, 109], [0, 6, 30, 126, 546, 714, 1386, 906, 552, 108], [0, 6, 31, 119, 567, 679, 1421, 885, 559, 107], [0, 6, 32, 112, 588, 644, 1456, 864, 566, 106], [0, 6, 33, 105, 609, 609, 1491, 843, 573, 105], [0, 6, 34, 98, 630, 574, 1526, 822, 580, 104], [0, 6, 35, 91, 651, 539, 1561, 801, 587, 103], [0, 6, 36, 84, 672, 504, 1596, 780, 594, 102], [0, 6, 37, 77, 693, 469, 1631, 759, 601, 101], [0, 6, 38, 70, 714, 434, 1666, 738, 608, 100], [0, 6, 39, 63, 735, 399, 1701, 717, 615, 99], [0, 6, 40, 56, 756, 364, 1736, 696, 622, 98], [0, 6, 41, 49, 777, 329, 1771, 675, 629, 97], [0, 6, 42, 42, 798, 294, 1806, 654, 636, 96], [0, 6, 43, 35, 819, 259, 1841, 633, 643, 95], [0, 6, 44, 28, 840, 224, 1876, 612, 650, 94], [0, 6, 45, 21, 861, 189, 1911, 591, 657, 93], [0, 6, 46, 14, 882, 154, 1946, 570, 664, 92], [0, 7, 2, 294, 70, 1484, 630, 1354, 404, 129], [0, 7, 3, 287, 91, 1449, 665, 1333, 411, 128], [0, 7, 4, 280, 112, 1414, 700, 1312, 418, 127], [0, 7, 5, 273, 133, 1379, 735, 1291, 425, 126], [0, 7, 6, 266, 154, 1344, 770, 1270, 432, 125], [0, 7, 7, 259, 175, 1309, 805, 1249, 439, 124], [0, 7, 8, 252, 196, 1274, 840, 1228, 446, 123], [0, 7, 9, 245, 217, 1239, 875, 1207, 453, 122], [0, 7, 10, 238, 238, 1204, 910, 1186, 460, 121], [0, 7, 11, 231, 259, 1169, 945, 1165, 467, 120], [0, 7, 12, 224, 280, 1134, 980, 1144, 474, 119], [0, 7, 13, 217, 301, 1099, 1015, 1123, 481, 118], [0, 7, 14, 210, 322, 1064, 1050, 1102, 488, 117], [0, 7, 15, 203, 343, 1029, 1085, 1081, 495, 116], [0, 7, 16, 196, 364, 994, 1120, 1060, 502, 115], [0, 7, 17, 189, 385, 959, 1155, 1039, 509, 114], [0, 7, 18, 182, 406, 924, 1190, 1018, 516, 113], [0, 7, 19, 175, 427, 889, 1225, 997, 523, 112], [0, 7, 20, 168, 448, 854, 1260, 976, 530, 111], [0, 7, 21, 161, 469, 819, 1295, 955, 537, 110], [0, 7, 22, 154, 490, 784, 1330, 934, 544, 109], [0, 7, 23, 147, 511, 749, 1365, 913, 551, 108], [0, 7, 24, 140, 532, 714, 1400, 892, 558, 107], [0, 7, 25, 133, 553, 679, 1435, 871, 565, 106], [0, 7, 26, 126, 574, 644, 1470, 850, 572, 105], [0, 7, 27, 119, 595, 609, 1505, 829, 579, 104], [0, 7, 28, 112, 616, 574, 1540, 808, 586, 103], [0, 7, 29, 105, 637, 539, 1575, 787, 593, 102], [0, 7, 30, 98, 658, 504, 1610, 766, 600, 101], [0, 7, 31, 91, 679, 469, 1645, 745, 607, 100], [0, 7, 32, 84, 700, 434, 1680, 724, 614, 99], [0, 7, 33, 77, 721, 399, 1715, 703, 621, 98], [0, 7, 34, 70, 742, 364, 1750, 682, 628, 97], [0, 7, 35, 63, 763, 329, 1785, 661, 635, 96], [0, 7, 36, 56, 784, 294, 1820, 640, 642, 95], [0, 7, 37, 49, 805, 259, 1855, 619, 649, 94], [0, 7, 38, 42, 826, 224, 1890, 598, 656, 93], [0, 7, 39, 35, 847, 189, 1925, 577, 663, 92], [0, 8, 0, 280, 140, 1344, 784, 1256, 438, 124], [0, 8, 1, 273, 161, 1309, 819, 1235, 445, 123], [0, 8, 2, 266, 182, 1274, 854, 1214, 452, 122], [0, 8, 3, 259, 203, 1239, 889, 1193, 459, 121], [0, 8, 4, 252, 224, 1204, 924, 1172, 466, 120], [0, 8, 5, 245, 245, 1169, 959, 1151, 473, 119], [0, 8, 6, 238, 266, 1134, 994, 1130, 480, 118], [0, 8, 7, 231, 287, 1099, 1029, 1109, 487, 117], [0, 8, 8, 224, 308, 1064, 1064, 1088, 494, 116], [0, 8, 9, 217, 329, 1029, 1099, 1067, 501, 115], [0, 8, 10, 210, 350, 994, 1134, 1046, 508, 114], [0, 8, 11, 203, 371, 959, 1169, 1025, 515, 113], [0, 8, 12, 196, 392, 924, 1204, 1004, 522, 112], [0, 8, 13, 189, 413, 889, 1239, 983, 529, 111], [0, 8, 14, 182, 434, 854, 1274, 962, 536, 110], [0, 8, 15, 175, 455, 819, 1309, 941, 543, 109], [0, 8, 16, 168, 476, 784, 1344, 920, 550, 108], [0, 8, 17, 161, 497, 749, 1379, 899, 557, 107], [0, 8, 18, 154, 518, 714, 1414, 878, 564, 106], [0, 8, 19, 147, 539, 679, 1449, 857, 571, 105], [0, 8, 20, 140, 560, 644, 1484, 836, 578, 104], [0, 8, 21, 133, 581, 609, 1519, 815, 585, 103], [0, 8, 22, 126, 602, 574, 1554, 794, 592, 102], [0, 8, 23, 119, 623, 539, 1589, 773, 599, 101], [0, 8, 24, 112, 644, 504, 1624, 752, 606, 100], [0, 8, 25, 105, 665, 469, 1659, 731, 613, 99], [0, 8, 26, 98, 686, 434, 1694, 710, 620, 98], [0, 8, 27, 91, 707, 399, 1729, 689, 627, 97], [0, 8, 28, 84, 728, 364, 1764, 668, 634, 96], [0, 8, 29, 77, 749, 329, 1799, 647, 641, 95], [0, 8, 30, 70, 770, 294, 1834, 626, 648, 94], [0, 8, 31, 63, 791, 259, 1869, 605, 655, 93], [0, 8, 32, 56, 812, 224, 1904, 584, 662, 92], [0, 8, 33, 49, 833, 189, 1939, 563, 669, 91], [0, 8, 34, 42, 854, 154, 1974, 542, 676, 90], [0, 8, 35, 35, 875, 119, 2009, 521, 683, 89], [0, 9, 0, 252, 252, 1134, 1008, 1116, 486, 117], [0, 9, 1, 245, 273, 1099, 1043, 1095, 493, 116], [0, 9, 2, 238, 294, 1064, 1078, 1074, 500, 115], [0, 9, 3, 231, 315, 1029, 1113, 1053, 507, 114], [0, 9, 4, 224, 336, 994, 1148, 1032, 514, 113], [0, 9, 5, 217, 357, 959, 1183, 1011, 521, 112], [0, 9, 6, 210, 378, 924, 1218, 990, 528, 111], [0, 9, 7, 203, 399, 889, 1253, 969, 535, 110], [0, 9, 8, 196, 420, 854, 1288, 948, 542, 109], [0, 9, 9, 189, 441, 819, 1323, 927, 549, 108], [0, 9, 10, 182, 462, 784, 1358, 906, 556, 107], [0, 9, 11, 175, 483, 749, 1393, 885, 563, 106], [0, 9, 12, 168, 504, 714, 1428, 864, 570, 105], [0, 9, 13, 161, 525, 679, 1463, 843, 577, 104], [0, 9, 14, 154, 546, 644, 1498, 822, 584, 103], [0, 9, 15, 147, 567, 609, 1533, 801, 591, 102], [0, 9, 16, 140, 588, 574, 1568, 780, 598, 101], [0, 9, 17, 133, 609, 539, 1603, 759, 605, 100], [0, 9, 18, 126, 630, 504, 1638, 738, 612, 99], [0, 9, 19, 119, 651, 469, 1673, 717, 619, 98], [0, 9, 20, 112, 672, 434, 1708, 696, 626, 97], [0, 9, 21, 105, 693, 399, 1743, 675, 633, 96], [0, 9, 22, 98, 714, 364, 1778, 654, 640, 95], [0, 9, 23, 91, 735, 329, 1813, 633, 647, 94], [0, 9, 24, 84, 756, 294, 1848, 612, 654, 93], [0, 9, 25, 77, 777, 259, 1883, 591, 661, 92], [0, 9, 26, 70, 798, 224, 1918, 570, 668, 91], [0, 9, 27, 63, 819, 189, 1953, 549, 675, 90], [0, 9, 28, 56, 840, 154, 1988, 528, 682, 89], [0, 9, 29, 49, 861, 119, 2023, 507, 689, 88], [0, 10, 0, 224, 364, 924, 1232, 976, 534, 110], [0, 10, 1, 217, 385, 889, 1267, 955, 541, 109], [0, 10, 2, 210, 406, 854, 1302, 934, 548, 108], [0, 10, 3, 203, 427, 819, 1337, 913, 555, 107], [0, 10, 4, 196, 448, 784, 1372, 892, 562, 106], [0, 10, 5, 189, 469, 749, 1407, 871, 569, 105], [0, 10, 6, 182, 490, 714, 1442, 850, 576, 104], [0, 10, 7, 175, 511, 679, 1477, 829, 583, 103], [0, 10, 8, 168, 532, 644, 1512, 808, 590, 102], [0, 10, 9, 161, 553, 609, 1547, 787, 597, 101], [0, 10, 10, 154, 574, 574, 1582, 766, 604, 100], [0, 10, 11, 147, 595, 539, 1617, 745, 611, 99], [0, 10, 12, 140, 616, 504, 1652, 724, 618, 98], [0, 10, 13, 133, 637, 469, 1687, 703, 625, 97], [0, 10, 14, 126, 658, 434, 1722, 682, 632, 96], [0, 10, 15, 119, 679, 399, 1757, 661, 639, 95], [0, 10, 16, 112, 700, 364, 1792, 640, 646, 94], [0, 10, 17, 105, 721, 329, 1827, 619, 653, 93], [0, 10, 18, 98, 742, 294, 1862, 598, 660, 92], [0, 10, 19, 91, 763, 259, 1897, 577, 667, 91], [0, 10, 20, 84, 784, 224, 1932, 556, 674, 90], [0, 10, 21, 77, 805, 189, 1967, 535, 681, 89], [0, 10, 22, 70, 826, 154, 2002, 514, 688, 88], [0, 10, 23, 63, 847, 119, 2037, 493, 695, 87], [0, 11, 0, 196, 476, 714, 1456, 836, 582, 103], [0, 11, 1, 189, 497, 679, 1491, 815, 589, 102], [0, 11, 2, 182, 518, 644, 1526, 794, 596, 101], [0, 11, 3, 175, 539, 609, 1561, 773, 603, 100], [0, 11, 4, 168, 560, 574, 1596, 752, 610, 99], [0, 11, 5, 161, 581, 539, 1631, 731, 617, 98], [0, 11, 6, 154, 602, 504, 1666, 710, 624, 97], [0, 11, 7, 147, 623, 469, 1701, 689, 631, 96], [0, 11, 8, 140, 644, 434, 1736, 668, 638, 95], [0, 11, 9, 133, 665, 399, 1771, 647, 645, 94], [0, 11, 10, 126, 686, 364, 1806, 626, 652, 93], [0, 11, 11, 119, 707, 329, 1841, 605, 659, 92], [0, 11, 12, 112, 728, 294, 1876, 584, 666, 91], [0, 11, 13, 105, 749, 259, 1911, 563, 673, 90], [0, 11, 14, 98, 770, 224, 1946, 542, 680, 89], [0, 11, 15, 91, 791, 189, 1981, 521, 687, 88], [0, 11, 16, 84, 812, 154, 2016, 500, 694, 87], [0, 12, 0, 168, 588, 504, 1680, 696, 630, 96], [1, 0, 21, 273, 63, 1533, 567, 1395, 390, 131], [1, 0, 22, 266, 84, 1498, 602, 1374, 397, 130], [1, 0, 23, 259, 105, 1463, 637, 1353, 404, 129], [1, 0, 24, 252, 126, 1428, 672, 1332, 411, 128], [1, 0, 25, 245, 147, 1393, 707, 1311, 418, 127], [1, 0, 26, 238, 168, 1358, 742, 1290, 425, 126], [1, 0, 27, 231, 189, 1323, 777, 1269, 432, 125], [1, 0, 28, 224, 210, 1288, 812, 1248, 439, 124], [1, 0, 29, 217, 231, 1253, 847, 1227, 446, 123], [1, 0, 30, 210, 252, 1218, 882, 1206, 453, 122], [1, 0, 31, 203, 273, 1183, 917, 1185, 460, 121], [1, 0, 32, 196, 294, 1148, 952, 1164, 467, 120], [1, 0, 33, 189, 315, 1113, 987, 1143, 474, 119], [1, 0, 34, 182, 336, 1078, 1022, 1122, 481, 118], [1, 0, 35, 175, 357, 1043, 1057, 1101, 488, 117], [1, 0, 36, 168, 378, 1008, 1092, 1080, 495, 116], [1, 0, 37, 161, 399, 973, 1127, 1059, 502, 115], [1, 0, 38, 154, 420, 938, 1162, 1038, 509, 114], [1, 0, 39, 147, 441, 903, 1197, 1017, 516, 113], [1, 0, 40, 140, 462, 868, 1232, 996, 523, 112], [1, 0, 41, 133, 483, 833, 1267, 975, 530, 111], [1, 0, 42, 126, 504, 798, 1302, 954, 537, 110], [1, 0, 43, 119, 525, 763, 1337, 933, 544, 109], [1, 0, 44, 112, 546, 728, 1372, 912, 551, 108], [1, 0, 45, 105, 567, 693, 1407, 891, 558, 107], [1, 0, 46, 98, 588, 658, 1442, 870, 565, 106], [1, 0, 47, 91, 609, 623, 1477, 849, 572, 105], [1, 0, 48, 84, 630, 588, 1512, 828, 579, 104], [1, 0, 49, 77, 651, 553, 1547, 807, 586, 103], [1, 0, 50, 70, 672, 518, 1582, 786, 593, 102], [1, 0, 51, 63, 693, 483, 1617, 765, 600, 101], [1, 0, 52, 56, 714, 448, 1652, 744, 607, 100], [1, 0, 53, 49, 735, 413, 1687, 723, 614, 99], [1, 0, 54, 42, 756, 378, 1722, 702, 621, 98], [1, 0, 55, 35, 777, 343, 1757, 681, 628, 97], [1, 0, 56, 28, 798, 308, 1792, 660, 635, 96], [1, 1, 16, 280, 70, 1498, 616, 1360, 403, 129], [1, 1, 17, 273, 91, 1463, 651, 1339, 410, 128], [1, 1, 18, 266, 112, 1428, 686, 1318, 417, 127], [1, 1, 19, 259, 133, 1393, 721, 1297, 424, 126], [1, 1, 20, 252, 154, 1358, 756, 1276, 431, 125], [1, 1, 21, 245, 175, 1323, 791, 1255, 438, 124], [1, 1, 22, 238, 196, 1288, 826, 1234, 445, 123], [1, 1, 23, 231, 217, 1253, 861, 1213, 452, 122], [1, 1, 24, 224, 238, 1218, 896, 1192, 459, 121], [1, 1, 25, 217, 259, 1183, 931, 1171, 466, 120], [1, 1, 26, 210, 280, 1148, 966, 1150, 473, 119], [1, 1, 27, 203, 301, 1113, 1001, 1129, 480, 118], [1, 1, 28, 196, 322, 1078, 1036, 1108, 487, 117], [1, 1, 29, 189, 343, 1043, 1071, 1087, 494, 116], [1, 1, 30, 182, 364, 1008, 1106, 1066, 501, 115], [1, 1, 31, 175, 385, 973, 1141, 1045, 508, 114], [1, 1, 32, 168, 406, 938, 1176, 1024, 515, 113], [1, 1, 33, 161, 427, 903, 1211, 1003, 522, 112], [1, 1, 34, 154, 448, 868, 1246, 982, 529, 111], [1, 1, 35, 147, 469, 833, 1281, 961, 536, 110], [1, 1, 36, 140, 490, 798, 1316, 940, 543, 109], [1, 1, 37, 133, 511, 763, 1351, 919, 550, 108], [1, 1, 38, 126, 532, 728, 1386, 898, 557, 107], [1, 1, 39, 119, 553, 693, 1421, 877, 564, 106], [1, 1, 40, 112, 574, 658, 1456, 856, 571, 105], [1, 1, 41, 105, 595, 623, 1491, 835, 578, 104], [1, 1, 42, 98, 616, 588, 1526, 814, 585, 103], [1, 1, 43, 91, 637, 553, 1561, 793, 592, 102], [1, 1, 44, 84, 658, 518, 1596, 772, 599, 101], [1, 1, 45, 77, 679, 483, 1631, 751, 606, 100], [1, 1, 46, 70, 700, 448, 1666, 730, 613, 99], [1, 1, 47, 63, 721, 413, 1701, 709, 620, 98], [1, 1, 48, 56, 742, 378, 1736, 688, 627, 97], [1, 1, 49, 49, 763, 343, 1771, 667, 634, 96], [1, 1, 50, 42, 784, 308, 1806, 646, 641, 95], [1, 1, 51, 35, 805, 273, 1841, 625, 648, 94], [1, 1, 52, 28, 826, 238, 1876, 604, 655, 93], [1, 2, 12, 280, 98, 1428, 700, 1304, 423, 126], [1, 2, 13, 273, 119, 1393, 735, 1283, 430, 125], [1, 2, 14, 266, 140, 1358, 770, 1262, 437, 124], [1, 2, 15, 259, 161, 1323, 805, 1241, 444, 123], [1, 2, 16, 252, 182, 1288, 840, 1220, 451, 122], [1, 2, 17, 245, 203, 1253, 875, 1199, 458, 121], [1, 2, 18, 238, 224, 1218, 910, 1178, 465, 120], [1, 2, 19, 231, 245, 1183, 945, 1157, 472, 119], [1, 2, 20, 224, 266, 1148, 980, 1136, 479, 118], [1, 2, 21, 217, 287, 1113, 1015, 1115, 486, 117], [1, 2, 22, 210, 308, 1078, 1050, 1094, 493, 116], [1, 2, 23, 203, 329, 1043, 1085, 1073, 500, 115], [1, 2, 24, 196, 350, 1008, 1120, 1052, 507, 114], [1, 2, 25, 189, 371, 973, 1155, 1031, 514, 113], [1, 2, 26, 182, 392, 938, 1190, 1010, 521, 112], [1, 2, 27, 175, 413, 903, 1225, 989, 528, 111], [1, 2, 28, 168, 434, 868, 1260, 968, 535, 110], [1, 2, 29, 161, 455, 833, 1295, 947, 542, 109], [1, 2, 30, 154, 476, 798, 1330, 926, 549, 108], [1, 2, 31, 147, 497, 763, 1365, 905, 556, 107], [1, 2, 32, 140, 518, 728, 1400, 884, 563, 106], [1, 2, 33, 133, 539, 693, 1435, 863, 570, 105], [1, 2, 34, 126, 560, 658, 1470, 842, 577, 104], [1, 2, 35, 119, 581, 623, 1505, 821, 584, 103], [1, 2, 36, 112, 602, 588, 1540, 800, 591, 102], [1, 2, 37, 105, 623, 553, 1575, 779, 598, 101], [1, 2, 38, 98, 644, 518, 1610, 758, 605, 100], [1, 2, 39, 91, 665, 483, 1645, 737, 612, 99], [1, 2, 40, 84, 686, 448, 1680, 716, 619, 98], [1, 2, 41, 77, 707, 413, 1715, 695, 626, 97], [1, 2, 42, 70, 728, 378, 1750, 674, 633, 96], [1, 2, 43, 63, 749, 343, 1785, 653, 640, 95], [1, 2, 44, 56, 770, 308, 1820, 632, 647, 94], [1, 2, 45, 49, 791, 273, 1855, 611, 654, 93], [1, 2, 46, 42, 812, 238, 1890, 590, 661, 92], [1, 2, 47, 35, 833, 203, 1925, 569, 668, 91], [1, 2, 48, 28, 854, 168, 1960, 548, 675, 90], [1, 3, 8, 280, 126, 1358, 784, 1248, 443, 123], [1, 3, 9, 273, 147, 1323, 819, 1227, 450, 122], [1, 3, 10, 266, 168, 1288, 854, 1206, 457, 121], [1, 3, 11, 259, 189, 1253, 889, 1185, 464, 120], [1, 3, 12, 252, 210, 1218, 924, 1164, 471, 119], [1, 3, 13, 245, 231, 1183, 959, 1143, 478, 118], [1, 3, 14, 238, 252, 1148, 994, 1122, 485, 117], [1, 3, 15, 231, 273, 1113, 1029, 1101, 492, 116], [1, 3, 16, 224, 294, 1078, 1064, 1080, 499, 115], [1, 3, 17, 217, 315, 1043, 1099, 1059, 506, 114], [1, 3, 18, 210, 336, 1008, 1134, 1038, 513, 113], [1, 3, 19, 203, 357, 973, 1169, 1017, 520, 112], [1, 3, 20, 196, 378, 938, 1204, 996, 527, 111], [1, 3, 21, 189, 399, 903, 1239, 975, 534, 110], [1, 3, 22, 182, 420, 868, 1274, 954, 541, 109], [1, 3, 23, 175, 441, 833, 1309, 933, 548, 108], [1, 3, 24, 168, 462, 798, 1344, 912, 555, 107], [1, 3, 25, 161, 483, 763, 1379, 891, 562, 106], [1, 3, 26, 154, 504, 728, 1414, 870, 569, 105], [1, 3, 27, 147, 525, 693, 1449, 849, 576, 104], [1, 3, 28, 140, 546, 658, 1484, 828, 583, 103], [1, 3, 29, 133, 567, 623, 1519, 807, 590, 102], [1, 3, 30, 126, 588, 588, 1554, 786, 597, 101], [1, 3, 31, 119, 609, 553, 1589, 765, 604, 100], [1, 3, 32, 112, 630, 518, 1624, 744, 611, 99], [1, 3, 33, 105, 651, 483, 1659, 723, 618, 98], [1, 3, 34, 98, 672, 448, 1694, 702, 625, 97], [1, 3, 35, 91, 693, 413, 1729, 681, 632, 96], [1, 3, 36, 84, 714, 378, 1764, 660, 639, 95], [1, 3, 37, 77, 735, 343, 1799, 639, 646, 94], [1, 3, 38, 70, 756, 308, 1834, 618, 653, 93], [1, 3, 39, 63, 777, 273, 1869, 597, 660, 92], [1, 3, 40, 56, 798, 238, 1904, 576, 667, 91], [1, 3, 41, 49, 819, 203, 1939, 555, 674, 90], [1, 3, 42, 42, 840, 168, 1974, 534, 681, 89], [1, 3, 43, 35, 861, 133, 2009, 513, 688, 88], [1, 4, 5, 273, 175, 1253, 903, 1171, 470, 119], [1, 4, 6, 266, 196, 1218, 938, 1150, 477, 118], [1, 4, 7, 259, 217, 1183, 973, 1129, 484, 117], [1, 4, 8, 252, 238, 1148, 1008, 1108, 491, 116], [1, 4, 9, 245, 259, 1113, 1043, 1087, 498, 115], [1, 4, 10, 238, 280, 1078, 1078, 1066, 505, 114], [1, 4, 11, 231, 301, 1043, 1113, 1045, 512, 113], [1, 4, 12, 224, 322, 1008, 1148, 1024, 519, 112], [1, 4, 13, 217, 343, 973, 1183, 1003, 526, 111], [1, 4, 14, 210, 364, 938, 1218, 982, 533, 110], [1, 4, 15, 203, 385, 903, 1253, 961, 540, 109], [1, 4, 16, 196, 406, 868, 1288, 940, 547, 108], [1, 4, 17, 189, 427, 833, 1323, 919, 554, 107], [1, 4, 18, 182, 448, 798, 1358, 898, 561, 106], [1, 4, 19, 175, 469, 763, 1393, 877, 568, 105], [1, 4, 20, 168, 490, 728, 1428, 856, 575, 104], [1, 4, 21, 161, 511, 693, 1463, 835, 582, 103], [1, 4, 22, 154, 532, 658, 1498, 814, 589, 102], [1, 4, 23, 147, 553, 623, 1533, 793, 596, 101], [1, 4, 24, 140, 574, 588, 1568, 772, 603, 100], [1, 4, 25, 133, 595, 553, 1603, 751, 610, 99], [1, 4, 26, 126, 616, 518, 1638, 730, 617, 98], [1, 4, 27, 119, 637, 483, 1673, 709, 624, 97], [1, 4, 28, 112, 658, 448, 1708, 688, 631, 96], [1, 4, 29, 105, 679, 413, 1743, 667, 638, 95], [1, 4, 30, 98, 700, 378, 1778, 646, 645, 94], [1, 4, 31, 91, 721, 343, 1813, 625, 652, 93], [1, 4, 32, 84, 742, 308, 1848, 604, 659, 92], [1, 4, 33, 77, 763, 273, 1883, 583, 666, 91], [1, 4, 34, 70, 784, 238, 1918, 562, 673, 90], [1, 4, 35, 63, 805, 203, 1953, 541, 680, 89], [1, 4, 36, 56, 826, 168, 1988, 520, 687, 88], [1, 4, 37, 49, 847, 133, 2023, 499, 694, 87], [1, 5, 3, 259, 245, 1113, 1057, 1073, 504, 114], [1, 5, 4, 252, 266, 1078, 1092, 1052, 511, 113], [1, 5, 5, 245, 287, 1043, 1127, 1031, 518, 112], [1, 5, 6, 238, 308, 1008, 1162, 1010, 525, 111], [1, 5, 7, 231, 329, 973, 1197, 989, 532, 110], [1, 5, 8, 224, 350, 938, 1232, 968, 539, 109], [1, 5, 9, 217, 371, 903, 1267, 947, 546, 108], [1, 5, 10, 210, 392, 868, 1302, 926, 553, 107], [1, 5, 11, 203, 413, 833, 1337, 905, 560, 106], [1, 5, 12, 196, 434, 798, 1372, 884, 567, 105], [1, 5, 13, 189, 455, 763, 1407, 863, 574, 104], [1, 5, 14, 182, 476, 728, 1442, 842, 581, 103], [1, 5, 15, 175, 497, 693, 1477, 821, 588, 102], [1, 5, 16, 168, 518, 658, 1512, 800, 595, 101], [1, 5, 17, 161, 539, 623, 1547, 779, 602, 100], [1, 5, 18, 154, 560, 588, 1582, 758, 609, 99], [1, 5, 19, 147, 581, 553, 1617, 737, 616, 98], [1, 5, 20, 140, 602, 518, 1652, 716, 623, 97], [1, 5, 21, 133, 623, 483, 1687, 695, 630, 96], [1, 5, 22, 126, 644, 448, 1722, 674, 637, 95], [1, 5, 23, 119, 665, 413, 1757, 653, 644, 94], [1, 5, 24, 112, 686, 378, 1792, 632, 651, 93], [1, 5, 25, 105, 707, 343, 1827, 611, 658, 92], [1, 5, 26, 98, 728, 308, 1862, 590, 665, 91], [1, 5, 27, 91, 749, 273, 1897, 569, 672, 90], [1, 5, 28, 84, 770, 238, 1932, 548, 679, 89], [1, 5, 29, 77, 791, 203, 1967, 527, 686, 88], [1, 5, 30, 70, 812, 168, 2002, 506, 693, 87], [1, 5, 31, 63, 833, 133, 2037, 485, 700, 86], [1, 6, 1, 245, 315, 973, 1211, 975, 538, 109], [1, 6, 2, 238, 336, 938, 1246, 954, 545, 108], [1, 6, 3, 231, 357, 903, 1281, 933, 552, 107], [1, 6, 4, 224, 378, 868, 1316, 912, 559, 106], [1, 6, 5, 217, 399, 833, 1351, 891, 566, 105], [1, 6, 6, 210, 420, 798, 1386, 870, 573, 104], [1, 6, 7, 203, 441, 763, 1421, 849, 580, 103], [1, 6, 8, 196, 462, 728, 1456, 828, 587, 102], [1, 6, 9, 189, 483, 693, 1491, 807, 594, 101], [1, 6, 10, 182, 504, 658, 1526, 786, 601, 100], [1, 6, 11, 175, 525, 623, 1561, 765, 608, 99], [1, 6, 12, 168, 546, 588, 1596, 744, 615, 98], [1, 6, 13, 161, 567, 553, 1631, 723, 622, 97], [1, 6, 14, 154, 588, 518, 1666, 702, 629, 96], [1, 6, 15, 147, 609, 483, 1701, 681, 636, 95], [1, 6, 16, 140, 630, 448, 1736, 660, 643, 94], [1, 6, 17, 133, 651, 413, 1771, 639, 650, 93], [1, 6, 18, 126, 672, 378, 1806, 618, 657, 92], [1, 6, 19, 119, 693, 343, 1841, 597, 664, 91], [1, 6, 20, 112, 714, 308, 1876, 576, 671, 90], [1, 6, 21, 105, 735, 273, 1911, 555, 678, 89], [1, 6, 22, 98, 756, 238, 1946, 534, 685, 88], [1, 6, 23, 91, 777, 203, 1981, 513, 692, 87], [1, 6, 24, 84, 798, 168, 2016, 492, 699, 86], [1, 6, 25, 77, 819, 133, 2051, 471, 706, 85], [1, 7, 0, 224, 406, 798, 1400, 856, 579, 103], [1, 7, 1, 217, 427, 763, 1435, 835, 586, 102], [1, 7, 2, 210, 448, 728, 1470, 814, 593, 101], [1, 7, 3, 203, 469, 693, 1505, 793, 600, 100], [1, 7, 4, 196, 490, 658, 1540, 772, 607, 99], [1, 7, 5, 189, 511, 623, 1575, 751, 614, 98], [1, 7, 6, 182, 532, 588, 1610, 730, 621, 97], [1, 7, 7, 175, 553, 553, 1645, 709, 628, 96], [1, 7, 8, 168, 574, 518, 1680, 688, 635, 95], [1, 7, 9, 161, 595, 483, 1715, 667, 642, 94], [1, 7, 10, 154, 616, 448, 1750, 646, 649, 93], [1, 7, 11, 147, 637, 413, 1785, 625, 656, 92], [1, 7, 12, 140, 658, 378, 1820, 604, 663, 91], [1, 7, 13, 133, 679, 343, 1855, 583, 670, 90], [1, 7, 14, 126, 700, 308, 1890, 562, 677, 89], [1, 7, 15, 119, 721, 273, 1925, 541, 684, 88], [1, 7, 16, 112, 742, 238, 1960, 520, 691, 87], [1, 7, 17, 105, 763, 203, 1995, 499, 698, 86], [1, 7, 18, 98, 784, 168, 2030, 478, 705, 85], [1, 7, 19, 91, 805, 133, 2065, 457, 712, 84], [1, 8, 0, 196, 518, 588, 1624, 716, 627, 96], [1, 8, 1, 189, 539, 553, 1659, 695, 634, 95], [1, 8, 2, 182, 560, 518, 1694, 674, 641, 94], [1, 8, 3, 175, 581, 483, 1729, 653, 648, 93], [1, 8, 4, 168, 602, 448, 1764, 632, 655, 92], [1, 8, 5, 161, 623, 413, 1799, 611, 662, 91], [1, 8, 6, 154, 644, 378, 1834, 590, 669, 90], [1, 8, 7, 147, 665, 343, 1869, 569, 676, 89], [1, 8, 8, 140, 686, 308, 1904, 548, 683, 88], [1, 8, 9, 133, 707, 273, 1939, 527, 690, 87], [1, 8, 10, 126, 728, 238, 1974, 506, 697, 86], [1, 8, 11, 119, 749, 203, 2009, 485, 704, 85], [1, 8, 12, 112, 770, 168, 2044, 464, 711, 84], [1, 9, 0, 168, 630, 378, 1848, 576, 675, 89], [1, 9, 1, 161, 651, 343, 1883, 555, 682, 88], [1, 9, 2, 154, 672, 308, 1918, 534, 689, 87], [1, 9, 3, 147, 693, 273, 1953, 513, 696, 86], [1, 9, 4, 140, 714, 238, 1988, 492, 703, 85], [1, 9, 5, 133, 735, 203, 2023, 471, 710, 84], [1, 9, 6, 126, 756, 168, 2058, 450, 717, 83], [2, 0, 0, 336, 0, 1512, 672, 1296, 432, 124], [2, 0, 1, 329, 21, 1477, 707, 1275, 439, 123], [2, 0, 2, 322, 42, 1442, 742, 1254, 446, 122], [2, 0, 3, 315, 63, 1407, 777, 1233, 453, 121], [2, 0, 4, 308, 84, 1372, 812, 1212, 460, 120], [2, 0, 5, 301, 105, 1337, 847, 1191, 467, 119], [2, 0, 6, 294, 126, 1302, 882, 1170, 474, 118], [2, 0, 7, 287, 147, 1267, 917, 1149, 481, 117], [2, 0, 8, 280, 168, 1232, 952, 1128, 488, 116], [2, 0, 9, 273, 189, 1197, 987, 1107, 495, 115], [2, 0, 10, 266, 210, 1162, 1022, 1086, 502, 114], [2, 0, 11, 259, 231, 1127, 1057, 1065, 509, 113], [2, 0, 12, 252, 252, 1092, 1092, 1044, 516, 112], [2, 0, 13, 245, 273, 1057, 1127, 1023, 523, 111], [2, 0, 14, 238, 294, 1022, 1162, 1002, 530, 110], [2, 0, 15, 231, 315, 987, 1197, 981, 537, 109], [2, 0, 16, 224, 336, 952, 1232, 960, 544, 108], [2, 0, 17, 217, 357, 917, 1267, 939, 551, 107], [2, 0, 18, 210, 378, 882, 1302, 918, 558, 106], [2, 0, 19, 203, 399, 847, 1337, 897, 565, 105], [2, 0, 20, 196, 420, 812, 1372, 876, 572, 104], [2, 0, 21, 189, 441, 777, 1407, 855, 579, 103], [2, 0, 22, 182, 462, 742, 1442, 834, 586, 102], [2, 0, 23, 175, 483, 707, 1477, 813, 593, 101], [2, 0, 24, 168, 504, 672, 1512, 792, 600, 100], [2, 0, 25, 161, 525, 637, 1547, 771, 607, 99], [2, 0, 26, 154, 546, 602, 1582, 750, 614, 98], [2, 0, 27, 147, 567, 567, 1617, 729, 621, 97], [2, 0, 28, 140, 588, 532, 1652, 708, 628, 96], [2, 0, 29, 133, 609, 497, 1687, 687, 635, 95], [2, 0, 30, 126, 630, 462, 1722, 666, 642, 94], [2, 0, 31, 119, 651, 427, 1757, 645, 649, 93], [2, 0, 32, 112, 672, 392, 1792, 624, 656, 92], [2, 0, 33, 105, 693, 357, 1827, 603, 663, 91], [2, 0, 34, 98, 714, 322, 1862, 582, 670, 90], [2, 0, 35, 91, 735, 287, 1897, 561, 677, 89], [2, 0, 36, 84, 756, 252, 1932, 540, 684, 88], [2, 0, 37, 77, 777, 217, 1967, 519, 691, 87], [2, 0, 38, 70, 798, 182, 2002, 498, 698, 86], [2, 0, 39, 63, 819, 147, 2037, 477, 705, 85], [2, 0, 40, 56, 840, 112, 2072, 456, 712, 84], [2, 1, 0, 308, 112, 1302, 896, 1156, 480, 117], [2, 1, 1, 301, 133, 1267, 931, 1135, 487, 116], [2, 1, 2, 294, 154, 1232, 966, 1114, 494, 115], [2, 1, 3, 287, 175, 1197, 1001, 1093, 501, 114], [2, 1, 4, 280, 196, 1162, 1036, 1072, 508, 113], [2, 1, 5, 273, 217, 1127, 1071, 1051, 515, 112], [2, 1, 6, 266, 238, 1092, 1106, 1030, 522, 111], [2, 1, 7, 259, 259, 1057, 1141, 1009, 529, 110], [2, 1, 8, 252, 280, 1022, 1176, 988, 536, 109], [2, 1, 9, 245, 301, 987, 1211, 967, 543, 108], [2, 1, 10, 238, 322, 952, 1246, 946, 550, 107], [2, 1, 11, 231, 343, 917, 1281, 925, 557, 106], [2, 1, 12, 224, 364, 882, 1316, 904, 564, 105], [2, 1, 13, 217, 385, 847, 1351, 883, 571, 104], [2, 1, 14, 210, 406, 812, 1386, 862, 578, 103], [2, 1, 15, 203, 427, 777, 1421, 841, 585, 102], [2, 1, 16, 196, 448, 742, 1456, 820, 592, 101], [2, 1, 17, 189, 469, 707, 1491, 799, 599, 100], [2, 1, 18, 182, 490, 672, 1526, 778, 606, 99], [2, 1, 19, 175, 511, 637, 1561, 757, 613, 98], [2, 1, 20, 168, 532, 602, 1596, 736, 620, 97], [2, 1, 21, 161, 553, 567, 1631, 715, 627, 96], [2, 1, 22, 154, 574, 532, 1666, 694, 634, 95], [2, 1, 23, 147, 595, 497, 1701, 673, 641, 94], [2, 1, 24, 140, 616, 462, 1736, 652, 648, 93], [2, 1, 25, 133, 637, 427, 1771, 631, 655, 92], [2, 1, 26, 126, 658, 392, 1806, 610, 662, 91], [2, 1, 27, 119, 679, 357, 1841, 589, 669, 90], [2, 1, 28, 112, 700, 322, 1876, 568, 676, 89], [2, 1, 29, 105, 721, 287, 1911, 547, 683, 88], [2, 1, 30, 98, 742, 252, 1946, 526, 690, 87], [2, 1, 31, 91, 763, 217, 1981, 505, 697, 86], [2, 1, 32, 84, 784, 182, 2016, 484, 704, 85], [2, 1, 33, 77, 805, 147, 2051, 463, 711, 84], [2, 2, 0, 280, 224, 1092, 1120, 1016, 528, 110], [2, 2, 1, 273, 245, 1057, 1155, 995, 535, 109], [2, 2, 2, 266, 266, 1022, 1190, 974, 542, 108], [2, 2, 3, 259, 287, 987, 1225, 953, 549, 107], [2, 2, 4, 252, 308, 952, 1260, 932, 556, 106], [2, 2, 5, 245, 329, 917, 1295, 911, 563, 105], [2, 2, 6, 238, 350, 882, 1330, 890, 570, 104], [2, 2, 7, 231, 371, 847, 1365, 869, 577, 103], [2, 2, 8, 224, 392, 812, 1400, 848, 584, 102], [2, 2, 9, 217, 413, 777, 1435, 827, 591, 101], [2, 2, 10, 210, 434, 742, 1470, 806, 598, 100], [2, 2, 11, 203, 455, 707, 1505, 785, 605, 99], [2, 2, 12, 196, 476, 672, 1540, 764, 612, 98], [2, 2, 13, 189, 497, 637, 1575, 743, 619, 97], [2, 2, 14, 182, 518, 602, 1610, 722, 626, 96], [2, 2, 15, 175, 539, 567, 1645, 701, 633, 95], [2, 2, 16, 168, 560, 532, 1680, 680, 640, 94], [2, 2, 17, 161, 581, 497, 1715, 659, 647, 93], [2, 2, 18, 154, 602, 462, 1750, 638, 654, 92], [2, 2, 19, 147, 623, 427, 1785, 617, 661, 91], [2, 2, 20, 140, 644, 392, 1820, 596, 668, 90], [2, 2, 21, 133, 665, 357, 1855, 575, 675, 89], [2, 2, 22, 126, 686, 322, 1890, 554, 682, 88], [2, 2, 23, 119, 707, 287, 1925, 533, 689, 87], [2, 2, 24, 112, 728, 252, 1960, 512, 696, 86], [2, 2, 25, 105, 749, 217, 1995, 491, 703, 85], [2, 2, 26, 98, 770, 182, 2030, 470, 710, 84], [2, 2, 27, 91, 791, 147, 2065, 449, 717, 83], [2, 3, 0, 252, 336, 882, 1344, 876, 576, 103], [2, 3, 1, 245, 357, 847, 1379, 855, 583, 102], [2, 3, 2, 238, 378, 812, 1414, 834, 590, 101], [2, 3, 3, 231, 399, 777, 1449, 813, 597, 100], [2, 3, 4, 224, 420, 742, 1484, 792, 604, 99], [2, 3, 5, 217, 441, 707, 1519, 771, 611, 98], [2, 3, 6, 210, 462, 672, 1554, 750, 618, 97], [2, 3, 7, 203, 483, 637, 1589, 729, 625, 96], [2, 3, 8, 196, 504, 602, 1624, 708, 632, 95], [2, 3, 9, 189, 525, 567, 1659, 687, 639, 94], [2, 3, 10, 182, 546, 532, 1694, 666, 646, 93], [2, 3, 11, 175, 567, 497, 1729, 645, 653, 92], [2, 3, 12, 168, 588, 462, 1764, 624, 660, 91], [2, 3, 13, 161, 609, 427, 1799, 603, 667, 90], [2, 3, 14, 154, 630, 392, 1834, 582, 674, 89], [2, 3, 15, 147, 651, 357, 1869, 561, 681, 88], [2, 3, 16, 140, 672, 322, 1904, 540, 688, 87], [2, 3, 17, 133, 693, 287, 1939, 519, 695, 86], [2, 3, 18, 126, 714, 252, 1974, 498, 702, 85], [2, 3, 19, 119, 735, 217, 2009, 477, 709, 84], [2, 3, 20, 112, 756, 182, 2044, 456, 716, 83], [2, 3, 21, 105, 777, 147, 2079, 435, 723, 82], [2, 4, 0, 224, 448, 672, 1568, 736, 624, 96], [2, 4, 1, 217, 469, 637, 1603, 715, 631, 95], [2, 4, 2, 210, 490, 602, 1638, 694, 638, 94], [2, 4, 3, 203, 511, 567, 1673, 673, 645, 93], [2, 4, 4, 196, 532, 532, 1708, 652, 652, 92], [2, 4, 5, 189, 553, 497, 1743, 631, 659, 91], [2, 4, 6, 182, 574, 462, 1778, 610, 666, 90], [2, 4, 7, 175, 595, 427, 1813, 589, 673, 89], [2, 4, 8, 168, 616, 392, 1848, 568, 680, 88], [2, 4, 9, 161, 637, 357, 1883, 547, 687, 87], [2, 4, 10, 154, 658, 322, 1918, 526, 694, 86], [2, 4, 11, 147, 679, 287, 1953, 505, 701, 85], [2, 4, 12, 140, 700, 252, 1988, 484, 708, 84], [2, 4, 13, 133, 721, 217, 2023, 463, 715, 83], [2, 4, 14, 126, 742, 182, 2058, 442, 722, 82], [2, 4, 15, 119, 763, 147, 2093, 421, 729, 81], [3, 0, 0, 252, 378, 756, 1512, 756, 621, 96], [3, 0, 1, 245, 399, 721, 1547, 735, 628, 95], [3, 0, 2, 238, 420, 686, 1582, 714, 635, 94], [3, 0, 3, 231, 441, 651, 1617, 693, 642, 93], [3, 0, 4, 224, 462, 616, 1652, 672, 649, 92], [3, 0, 5, 217, 483, 581, 1687, 651, 656, 91], [3, 0, 6, 210, 504, 546, 1722, 630, 663, 90], [3, 0, 7, 203, 525, 511, 1757, 609, 670, 89], [3, 0, 8, 196, 546, 476, 1792, 588, 677, 88], [3, 0, 9, 189, 567, 441, 1827, 567, 684, 87], [3, 0, 10, 182, 588, 406, 1862, 546, 691, 86], [3, 0, 11, 175, 609, 371, 1897, 525, 698, 85], [3, 0, 12, 168, 630, 336, 1932, 504, 705, 84], [3, 0, 13, 161, 651, 301, 1967, 483, 712, 83], [3, 0, 14, 154, 672, 266, 2002, 462, 719, 82], [3, 0, 15, 147, 693, 231, 2037, 441, 726, 81], [3, 0, 16, 140, 714, 196, 2072, 420, 733, 80], [3, 0, 17, 133, 735, 161, 2107, 399, 740, 79], [3, 1, 0, 224, 490, 546, 1736, 616, 669, 89], [3, 1, 1, 217, 511, 511, 1771, 595, 676, 88], [3, 1, 2, 210, 532, 476, 1806, 574, 683, 87], [3, 1, 3, 203, 553, 441, 1841, 553, 690, 86], [3, 1, 4, 196, 574, 406, 1876, 532, 697, 85], [3, 1, 5, 189, 595, 371, 1911, 511, 704, 84], [3, 1, 6, 182, 616, 336, 1946, 490, 711, 83], [3, 1, 7, 175, 637, 301, 1981, 469, 718, 82], [3, 1, 8, 168, 658, 266, 2016, 448, 725, 81], [3, 1, 9, 161, 679, 231, 2051, 427, 732, 80], [3, 2, 0, 196, 602, 336, 1960, 476, 717, 82]}