-------
(10, 10935, 7) ALL distance distributions for EXTERNAL point
(7, 10935, 7) has 0 possible DDs: {}
(8, 10935, 7) has 1 possible DDs: {[0, 40, 140, 840, 1750, 3080, 2940, 1720, 425]}
(9, 10935, 7) has 23 possible DDs: {[0, 0, 180, 0, 1890, 1260, 3780, 2160, 1395, 270], [0, 1, 172, 28, 1834, 1330, 3724, 2188, 1387, 271], [0, 2, 164, 56, 1778, 1400, 3668, 2216, 1379, 272], [0, 3, 156, 84, 1722, 1470, 3612, 2244, 1371, 273], [0, 4, 148, 112, 1666, 1540, 3556, 2272, 1363, 274], [0, 5, 140, 140, 1610, 1610, 3500, 2300, 1355, 275], [0, 6, 132, 168, 1554, 1680, 3444, 2328, 1347, 276], [0, 7, 124, 196, 1498, 1750, 3388, 2356, 1339, 277], [0, 8, 116, 224, 1442, 1820, 3332, 2384, 1331, 278], [0, 9, 108, 252, 1386, 1890, 3276, 2412, 1323, 279], [0, 10, 100, 280, 1330, 1960, 3220, 2440, 1315, 280], [0, 11, 92, 308, 1274, 2030, 3164, 2468, 1307, 281], [0, 12, 84, 336, 1218, 2100, 3108, 2496, 1299, 282], [0, 13, 76, 364, 1162, 2170, 3052, 2524, 1291, 283], [0, 14, 68, 392, 1106, 2240, 2996, 2552, 1283, 284], [0, 15, 60, 420, 1050, 2310, 2940, 2580, 1275, 285], [0, 16, 52, 448, 994, 2380, 2884, 2608, 1267, 286], [0, 17, 44, 476, 938, 2450, 2828, 2636, 1259, 287], [0, 18, 36, 504, 882, 2520, 2772, 2664, 1251, 288], [0, 19, 28, 532, 826, 2590, 2716, 2692, 1243, 289], [0, 20, 20, 560, 770, 2660, 2660, 2720, 1235, 290], [0, 21, 12, 588, 714, 2730, 2604, 2748, 1227, 291], [0, 22, 4, 616, 658, 2800, 2548, 2776, 1219, 292]}
(10, 10935, 7) has 458 possible DDs: {[0, 0, 38, 296, 14, 2912, 560, 4472, 1289, 1196, 158], [0, 0, 39, 288, 42, 2856, 630, 4416, 1317, 1188, 159], [0, 0, 40, 280, 70, 2800, 700, 4360, 1345, 1180, 160], [0, 0, 41, 272, 98, 2744, 770, 4304, 1373, 1172, 161], [0, 0, 42, 264, 126, 2688, 840, 4248, 1401, 1164, 162], [0, 0, 43, 256, 154, 2632, 910, 4192, 1429, 1156, 163], [0, 0, 44, 248, 182, 2576, 980, 4136, 1457, 1148, 164], [0, 0, 45, 240, 210, 2520, 1050, 4080, 1485, 1140, 165], [0, 0, 46, 232, 238, 2464, 1120, 4024, 1513, 1132, 166], [0, 0, 47, 224, 266, 2408, 1190, 3968, 1541, 1124, 167], [0, 0, 48, 216, 294, 2352, 1260, 3912, 1569, 1116, 168], [0, 0, 49, 208, 322, 2296, 1330, 3856, 1597, 1108, 169], [0, 0, 50, 200, 350, 2240, 1400, 3800, 1625, 1100, 170], [0, 0, 51, 192, 378, 2184, 1470, 3744, 1653, 1092, 171], [0, 0, 52, 184, 406, 2128, 1540, 3688, 1681, 1084, 172], [0, 0, 53, 176, 434, 2072, 1610, 3632, 1709, 1076, 173], [0, 0, 54, 168, 462, 2016, 1680, 3576, 1737, 1068, 174], [0, 0, 55, 160, 490, 1960, 1750, 3520, 1765, 1060, 175], [0, 0, 56, 152, 518, 1904, 1820, 3464, 1793, 1052, 176], [0, 0, 57, 144, 546, 1848, 1890, 3408, 1821, 1044, 177], [0, 0, 58, 136, 574, 1792, 1960, 3352, 1849, 1036, 178], [0, 0, 59, 128, 602, 1736, 2030, 3296, 1877, 1028, 179], [0, 0, 60, 120, 630, 1680, 2100, 3240, 1905, 1020, 180], [0, 0, 61, 112, 658, 1624, 2170, 3184, 1933, 1012, 181], [0, 0, 62, 104, 686, 1568, 2240, 3128, 1961, 1004, 182], [0, 0, 63, 96, 714, 1512, 2310, 3072, 1989, 996, 183], [0, 0, 64, 88, 742, 1456, 2380, 3016, 2017, 988, 184], [0, 0, 65, 80, 770, 1400, 2450, 2960, 2045, 980, 185], [0, 0, 66, 72, 798, 1344, 2520, 2904, 2073, 972, 186], [0, 0, 67, 64, 826, 1288, 2590, 2848, 2101, 964, 187], [0, 0, 68, 56, 854, 1232, 2660, 2792, 2129, 956, 188], [0, 0, 69, 48, 882, 1176, 2730, 2736, 2157, 948, 189], [0, 0, 70, 40, 910, 1120, 2800, 2680, 2185, 940, 190], [0, 0, 71, 32, 938, 1064, 2870, 2624, 2213, 932, 191], [0, 0, 72, 24, 966, 1008, 2940, 2568, 2241, 924, 192], [0, 0, 73, 16, 994, 952, 3010, 2512, 2269, 916, 193], [0, 0, 74, 8, 1022, 896, 3080, 2456, 2297, 908, 194], [0, 0, 75, 0, 1050, 840, 3150, 2400, 2325, 900, 195], [0, 1, 32, 308, 14, 2870, 644, 4388, 1337, 1181, 160], [0, 1, 33, 300, 42, 2814, 714, 4332, 1365, 1173, 161], [0, 1, 34, 292, 70, 2758, 784, 4276, 1393, 1165, 162], [0, 1, 35, 284, 98, 2702, 854, 4220, 1421, 1157, 163], [0, 1, 36, 276, 126, 2646, 924, 4164, 1449, 1149, 164], [0, 1, 37, 268, 154, 2590, 994, 4108, 1477, 1141, 165], [0, 1, 38, 260, 182, 2534, 1064, 4052, 1505, 1133, 166], [0, 1, 39, 252, 210, 2478, 1134, 3996, 1533, 1125, 167], [0, 1, 40, 244, 238, 2422, 1204, 3940, 1561, 1117, 168], [0, 1, 41, 236, 266, 2366, 1274, 3884, 1589, 1109, 169], [0, 1, 42, 228, 294, 2310, 1344, 3828, 1617, 1101, 170], [0, 1, 43, 220, 322, 2254, 1414, 3772, 1645, 1093, 171], [0, 1, 44, 212, 350, 2198, 1484, 3716, 1673, 1085, 172], [0, 1, 45, 204, 378, 2142, 1554, 3660, 1701, 1077, 173], [0, 1, 46, 196, 406, 2086, 1624, 3604, 1729, 1069, 174], [0, 1, 47, 188, 434, 2030, 1694, 3548, 1757, 1061, 175], [0, 1, 48, 180, 462, 1974, 1764, 3492, 1785, 1053, 176], [0, 1, 49, 172, 490, 1918, 1834, 3436, 1813, 1045, 177], [0, 1, 50, 164, 518, 1862, 1904, 3380, 1841, 1037, 178], [0, 1, 51, 156, 546, 1806, 1974, 3324, 1869, 1029, 179], [0, 1, 52, 148, 574, 1750, 2044, 3268, 1897, 1021, 180], [0, 1, 53, 140, 602, 1694, 2114, 3212, 1925, 1013, 181], [0, 1, 54, 132, 630, 1638, 2184, 3156, 1953, 1005, 182], [0, 1, 55, 124, 658, 1582, 2254, 3100, 1981, 997, 183], [0, 1, 56, 116, 686, 1526, 2324, 3044, 2009, 989, 184], [0, 1, 57, 108, 714, 1470, 2394, 2988, 2037, 981, 185], [0, 1, 58, 100, 742, 1414, 2464, 2932, 2065, 973, 186], [0, 1, 59, 92, 770, 1358, 2534, 2876, 2093, 965, 187], [0, 1, 60, 84, 798, 1302, 2604, 2820, 2121, 957, 188], [0, 1, 61, 76, 826, 1246, 2674, 2764, 2149, 949, 189], [0, 1, 62, 68, 854, 1190, 2744, 2708, 2177, 941, 190], [0, 1, 63, 60, 882, 1134, 2814, 2652, 2205, 933, 191], [0, 1, 64, 52, 910, 1078, 2884, 2596, 2233, 925, 192], [0, 1, 65, 44, 938, 1022, 2954, 2540, 2261, 917, 193], [0, 1, 66, 36, 966, 966, 3024, 2484, 2289, 909, 194], [0, 1, 67, 28, 994, 910, 3094, 2428, 2317, 901, 195], [0, 1, 68, 20, 1022, 854, 3164, 2372, 2345, 893, 196], [0, 1, 69, 12, 1050, 798, 3234, 2316, 2373, 885, 197], [0, 1, 70, 4, 1078, 742, 3304, 2260, 2401, 877, 198], [0, 2, 26, 320, 14, 2828, 728, 4304, 1385, 1166, 162], [0, 2, 27, 312, 42, 2772, 798, 4248, 1413, 1158, 163], [0, 2, 28, 304, 70, 2716, 868, 4192, 1441, 1150, 164], [0, 2, 29, 296, 98, 2660, 938, 4136, 1469, 1142, 165], [0, 2, 30, 288, 126, 2604, 1008, 4080, 1497, 1134, 166], [0, 2, 31, 280, 154, 2548, 1078, 4024, 1525, 1126, 167], [0, 2, 32, 272, 182, 2492, 1148, 3968, 1553, 1118, 168], [0, 2, 33, 264, 210, 2436, 1218, 3912, 1581, 1110, 169], [0, 2, 34, 256, 238, 2380, 1288, 3856, 1609, 1102, 170], [0, 2, 35, 248, 266, 2324, 1358, 3800, 1637, 1094, 171], [0, 2, 36, 240, 294, 2268, 1428, 3744, 1665, 1086, 172], [0, 2, 37, 232, 322, 2212, 1498, 3688, 1693, 1078, 173], [0, 2, 38, 224, 350, 2156, 1568, 3632, 1721, 1070, 174], [0, 2, 39, 216, 378, 2100, 1638, 3576, 1749, 1062, 175], [0, 2, 40, 208, 406, 2044, 1708, 3520, 1777, 1054, 176], [0, 2, 41, 200, 434, 1988, 1778, 3464, 1805, 1046, 177], [0, 2, 42, 192, 462, 1932, 1848, 3408, 1833, 1038, 178], [0, 2, 43, 184, 490, 1876, 1918, 3352, 1861, 1030, 179], [0, 2, 44, 176, 518, 1820, 1988, 3296, 1889, 1022, 180], [0, 2, 45, 168, 546, 1764, 2058, 3240, 1917, 1014, 181], [0, 2, 46, 160, 574, 1708, 2128, 3184, 1945, 1006, 182], [0, 2, 47, 152, 602, 1652, 2198, 3128, 1973, 998, 183], [0, 2, 48, 144, 630, 1596, 2268, 3072, 2001, 990, 184], [0, 2, 49, 136, 658, 1540, 2338, 3016, 2029, 982, 185], [0, 2, 50, 128, 686, 1484, 2408, 2960, 2057, 974, 186], [0, 2, 51, 120, 714, 1428, 2478, 2904, 2085, 966, 187], [0, 2, 52, 112, 742, 1372, 2548, 2848, 2113, 958, 188], [0, 2, 53, 104, 770, 1316, 2618, 2792, 2141, 950, 189], [0, 2, 54, 96, 798, 1260, 2688, 2736, 2169, 942, 190], [0, 2, 55, 88, 826, 1204, 2758, 2680, 2197, 934, 191], [0, 2, 56, 80, 854, 1148, 2828, 2624, 2225, 926, 192], [0, 2, 57, 72, 882, 1092, 2898, 2568, 2253, 918, 193], [0, 2, 58, 64, 910, 1036, 2968, 2512, 2281, 910, 194], [0, 2, 59, 56, 938, 980, 3038, 2456, 2309, 902, 195], [0, 2, 60, 48, 966, 924, 3108, 2400, 2337, 894, 196], [0, 2, 61, 40, 994, 868, 3178, 2344, 2365, 886, 197], [0, 2, 62, 32, 1022, 812, 3248, 2288, 2393, 878, 198], [0, 2, 63, 24, 1050, 756, 3318, 2232, 2421, 870, 199], [0, 2, 64, 16, 1078, 700, 3388, 2176, 2449, 862, 200], [0, 2, 65, 8, 1106, 644, 3458, 2120, 2477, 854, 201], [0, 2, 66, 0, 1134, 588, 3528, 2064, 2505, 846, 202], [0, 3, 20, 332, 14, 2786, 812, 4220, 1433, 1151, 164], [0, 3, 21, 324, 42, 2730, 882, 4164, 1461, 1143, 165], [0, 3, 22, 316, 70, 2674, 952, 4108, 1489, 1135, 166], [0, 3, 23, 308, 98, 2618, 1022, 4052, 1517, 1127, 167], [0, 3, 24, 300, 126, 2562, 1092, 3996, 1545, 1119, 168], [0, 3, 25, 292, 154, 2506, 1162, 3940, 1573, 1111, 169], [0, 3, 26, 284, 182, 2450, 1232, 3884, 1601, 1103, 170], [0, 3, 27, 276, 210, 2394, 1302, 3828, 1629, 1095, 171], [0, 3, 28, 268, 238, 2338, 1372, 3772, 1657, 1087, 172], [0, 3, 29, 260, 266, 2282, 1442, 3716, 1685, 1079, 173], [0, 3, 30, 252, 294, 2226, 1512, 3660, 1713, 1071, 174], [0, 3, 31, 244, 322, 2170, 1582, 3604, 1741, 1063, 175], [0, 3, 32, 236, 350, 2114, 1652, 3548, 1769, 1055, 176], [0, 3, 33, 228, 378, 2058, 1722, 3492, 1797, 1047, 177], [0, 3, 34, 220, 406, 2002, 1792, 3436, 1825, 1039, 178], [0, 3, 35, 212, 434, 1946, 1862, 3380, 1853, 1031, 179], [0, 3, 36, 204, 462, 1890, 1932, 3324, 1881, 1023, 180], [0, 3, 37, 196, 490, 1834, 2002, 3268, 1909, 1015, 181], [0, 3, 38, 188, 518, 1778, 2072, 3212, 1937, 1007, 182], [0, 3, 39, 180, 546, 1722, 2142, 3156, 1965, 999, 183], [0, 3, 40, 172, 574, 1666, 2212, 3100, 1993, 991, 184], [0, 3, 41, 164, 602, 1610, 2282, 3044, 2021, 983, 185], [0, 3, 42, 156, 630, 1554, 2352, 2988, 2049, 975, 186], [0, 3, 43, 148, 658, 1498, 2422, 2932, 2077, 967, 187], [0, 3, 44, 140, 686, 1442, 2492, 2876, 2105, 959, 188], [0, 3, 45, 132, 714, 1386, 2562, 2820, 2133, 951, 189], [0, 3, 46, 124, 742, 1330, 2632, 2764, 2161, 943, 190], [0, 3, 47, 116, 770, 1274, 2702, 2708, 2189, 935, 191], [0, 3, 48, 108, 798, 1218, 2772, 2652, 2217, 927, 192], [0, 3, 49, 100, 826, 1162, 2842, 2596, 2245, 919, 193], [0, 3, 50, 92, 854, 1106, 2912, 2540, 2273, 911, 194], [0, 3, 51, 84, 882, 1050, 2982, 2484, 2301, 903, 195], [0, 3, 52, 76, 910, 994, 3052, 2428, 2329, 895, 196], [0, 3, 53, 68, 938, 938, 3122, 2372, 2357, 887, 197], [0, 3, 54, 60, 966, 882, 3192, 2316, 2385, 879, 198], [0, 3, 55, 52, 994, 826, 3262, 2260, 2413, 871, 199], [0, 3, 56, 44, 1022, 770, 3332, 2204, 2441, 863, 200], [0, 3, 57, 36, 1050, 714, 3402, 2148, 2469, 855, 201], [0, 3, 58, 28, 1078, 658, 3472, 2092, 2497, 847, 202], [0, 3, 59, 20, 1106, 602, 3542, 2036, 2525, 839, 203], [0, 3, 60, 12, 1134, 546, 3612, 1980, 2553, 831, 204], [0, 3, 61, 4, 1162, 490, 3682, 1924, 2581, 823, 205], [0, 4, 14, 344, 14, 2744, 896, 4136, 1481, 1136, 166], [0, 4, 15, 336, 42, 2688, 966, 4080, 1509, 1128, 167], [0, 4, 16, 328, 70, 2632, 1036, 4024, 1537, 1120, 168], [0, 4, 17, 320, 98, 2576, 1106, 3968, 1565, 1112, 169], [0, 4, 18, 312, 126, 2520, 1176, 3912, 1593, 1104, 170], [0, 4, 19, 304, 154, 2464, 1246, 3856, 1621, 1096, 171], [0, 4, 20, 296, 182, 2408, 1316, 3800, 1649, 1088, 172], [0, 4, 21, 288, 210, 2352, 1386, 3744, 1677, 1080, 173], [0, 4, 22, 280, 238, 2296, 1456, 3688, 1705, 1072, 174], [0, 4, 23, 272, 266, 2240, 1526, 3632, 1733, 1064, 175], [0, 4, 24, 264, 294, 2184, 1596, 3576, 1761, 1056, 176], [0, 4, 25, 256, 322, 2128, 1666, 3520, 1789, 1048, 177], [0, 4, 26, 248, 350, 2072, 1736, 3464, 1817, 1040, 178], [0, 4, 27, 240, 378, 2016, 1806, 3408, 1845, 1032, 179], [0, 4, 28, 232, 406, 1960, 1876, 3352, 1873, 1024, 180], [0, 4, 29, 224, 434, 1904, 1946, 3296, 1901, 1016, 181], [0, 4, 30, 216, 462, 1848, 2016, 3240, 1929, 1008, 182], [0, 4, 31, 208, 490, 1792, 2086, 3184, 1957, 1000, 183], [0, 4, 32, 200, 518, 1736, 2156, 3128, 1985, 992, 184], [0, 4, 33, 192, 546, 1680, 2226, 3072, 2013, 984, 185], [0, 4, 34, 184, 574, 1624, 2296, 3016, 2041, 976, 186], [0, 4, 35, 176, 602, 1568, 2366, 2960, 2069, 968, 187], [0, 4, 36, 168, 630, 1512, 2436, 2904, 2097, 960, 188], [0, 4, 37, 160, 658, 1456, 2506, 2848, 2125, 952, 189], [0, 4, 38, 152, 686, 1400, 2576, 2792, 2153, 944, 190], [0, 4, 39, 144, 714, 1344, 2646, 2736, 2181, 936, 191], [0, 4, 40, 136, 742, 1288, 2716, 2680, 2209, 928, 192], [0, 4, 41, 128, 770, 1232, 2786, 2624, 2237, 920, 193], [0, 4, 42, 120, 798, 1176, 2856, 2568, 2265, 912, 194], [0, 4, 43, 112, 826, 1120, 2926, 2512, 2293, 904, 195], [0, 4, 44, 104, 854, 1064, 2996, 2456, 2321, 896, 196], [0, 4, 45, 96, 882, 1008, 3066, 2400, 2349, 888, 197], [0, 4, 46, 88, 910, 952, 3136, 2344, 2377, 880, 198], [0, 4, 47, 80, 938, 896, 3206, 2288, 2405, 872, 199], [0, 4, 48, 72, 966, 840, 3276, 2232, 2433, 864, 200], [0, 4, 49, 64, 994, 784, 3346, 2176, 2461, 856, 201], [0, 4, 50, 56, 1022, 728, 3416, 2120, 2489, 848, 202], [0, 4, 51, 48, 1050, 672, 3486, 2064, 2517, 840, 203], [0, 4, 52, 40, 1078, 616, 3556, 2008, 2545, 832, 204], [0, 4, 53, 32, 1106, 560, 3626, 1952, 2573, 824, 205], [0, 4, 54, 24, 1134, 504, 3696, 1896, 2601, 816, 206], [0, 4, 55, 16, 1162, 448, 3766, 1840, 2629, 808, 207], [0, 4, 56, 8, 1190, 392, 3836, 1784, 2657, 800, 208], [0, 4, 57, 0, 1218, 336, 3906, 1728, 2685, 792, 209], [0, 5, 8, 356, 14, 2702, 980, 4052, 1529, 1121, 168], [0, 5, 9, 348, 42, 2646, 1050, 3996, 1557, 1113, 169], [0, 5, 10, 340, 70, 2590, 1120, 3940, 1585, 1105, 170], [0, 5, 11, 332, 98, 2534, 1190, 3884, 1613, 1097, 171], [0, 5, 12, 324, 126, 2478, 1260, 3828, 1641, 1089, 172], [0, 5, 13, 316, 154, 2422, 1330, 3772, 1669, 1081, 173], [0, 5, 14, 308, 182, 2366, 1400, 3716, 1697, 1073, 174], [0, 5, 15, 300, 210, 2310, 1470, 3660, 1725, 1065, 175], [0, 5, 16, 292, 238, 2254, 1540, 3604, 1753, 1057, 176], [0, 5, 17, 284, 266, 2198, 1610, 3548, 1781, 1049, 177], [0, 5, 18, 276, 294, 2142, 1680, 3492, 1809, 1041, 178], [0, 5, 19, 268, 322, 2086, 1750, 3436, 1837, 1033, 179], [0, 5, 20, 260, 350, 2030, 1820, 3380, 1865, 1025, 180], [0, 5, 21, 252, 378, 1974, 1890, 3324, 1893, 1017, 181], [0, 5, 22, 244, 406, 1918, 1960, 3268, 1921, 1009, 182], [0, 5, 23, 236, 434, 1862, 2030, 3212, 1949, 1001, 183], [0, 5, 24, 228, 462, 1806, 2100, 3156, 1977, 993, 184], [0, 5, 25, 220, 490, 1750, 2170, 3100, 2005, 985, 185], [0, 5, 26, 212, 518, 1694, 2240, 3044, 2033, 977, 186], [0, 5, 27, 204, 546, 1638, 2310, 2988, 2061, 969, 187], [0, 5, 28, 196, 574, 1582, 2380, 2932, 2089, 961, 188], [0, 5, 29, 188, 602, 1526, 2450, 2876, 2117, 953, 189], [0, 5, 30, 180, 630, 1470, 2520, 2820, 2145, 945, 190], [0, 5, 31, 172, 658, 1414, 2590, 2764, 2173, 937, 191], [0, 5, 32, 164, 686, 1358, 2660, 2708, 2201, 929, 192], [0, 5, 33, 156, 714, 1302, 2730, 2652, 2229, 921, 193], [0, 5, 34, 148, 742, 1246, 2800, 2596, 2257, 913, 194], [0, 5, 35, 140, 770, 1190, 2870, 2540, 2285, 905, 195], [0, 5, 36, 132, 798, 1134, 2940, 2484, 2313, 897, 196], [0, 5, 37, 124, 826, 1078, 3010, 2428, 2341, 889, 197], [0, 5, 38, 116, 854, 1022, 3080, 2372, 2369, 881, 198], [0, 5, 39, 108, 882, 966, 3150, 2316, 2397, 873, 199], [0, 5, 40, 100, 910, 910, 3220, 2260, 2425, 865, 200], [0, 5, 41, 92, 938, 854, 3290, 2204, 2453, 857, 201], [0, 5, 42, 84, 966, 798, 3360, 2148, 2481, 849, 202], [0, 5, 43, 76, 994, 742, 3430, 2092, 2509, 841, 203], [0, 5, 44, 68, 1022, 686, 3500, 2036, 2537, 833, 204], [0, 5, 45, 60, 1050, 630, 3570, 1980, 2565, 825, 205], [0, 5, 46, 52, 1078, 574, 3640, 1924, 2593, 817, 206], [0, 5, 47, 44, 1106, 518, 3710, 1868, 2621, 809, 207], [0, 5, 48, 36, 1134, 462, 3780, 1812, 2649, 801, 208], [0, 5, 49, 28, 1162, 406, 3850, 1756, 2677, 793, 209], [0, 5, 50, 20, 1190, 350, 3920, 1700, 2705, 785, 210], [0, 5, 51, 12, 1218, 294, 3990, 1644, 2733, 777, 211], [0, 5, 52, 4, 1246, 238, 4060, 1588, 2761, 769, 212], [0, 6, 2, 368, 14, 2660, 1064, 3968, 1577, 1106, 170], [0, 6, 3, 360, 42, 2604, 1134, 3912, 1605, 1098, 171], [0, 6, 4, 352, 70, 2548, 1204, 3856, 1633, 1090, 172], [0, 6, 5, 344, 98, 2492, 1274, 3800, 1661, 1082, 173], [0, 6, 6, 336, 126, 2436, 1344, 3744, 1689, 1074, 174], [0, 6, 7, 328, 154, 2380, 1414, 3688, 1717, 1066, 175], [0, 6, 8, 320, 182, 2324, 1484, 3632, 1745, 1058, 176], [0, 6, 9, 312, 210, 2268, 1554, 3576, 1773, 1050, 177], [0, 6, 10, 304, 238, 2212, 1624, 3520, 1801, 1042, 178], [0, 6, 11, 296, 266, 2156, 1694, 3464, 1829, 1034, 179], [0, 6, 12, 288, 294, 2100, 1764, 3408, 1857, 1026, 180], [0, 6, 13, 280, 322, 2044, 1834, 3352, 1885, 1018, 181], [0, 6, 14, 272, 350, 1988, 1904, 3296, 1913, 1010, 182], [0, 6, 15, 264, 378, 1932, 1974, 3240, 1941, 1002, 183], [0, 6, 16, 256, 406, 1876, 2044, 3184, 1969, 994, 184], [0, 6, 17, 248, 434, 1820, 2114, 3128, 1997, 986, 185], [0, 6, 18, 240, 462, 1764, 2184, 3072, 2025, 978, 186], [0, 6, 19, 232, 490, 1708, 2254, 3016, 2053, 970, 187], [0, 6, 20, 224, 518, 1652, 2324, 2960, 2081, 962, 188], [0, 6, 21, 216, 546, 1596, 2394, 2904, 2109, 954, 189], [0, 6, 22, 208, 574, 1540, 2464, 2848, 2137, 946, 190], [0, 6, 23, 200, 602, 1484, 2534, 2792, 2165, 938, 191], [0, 6, 24, 192, 630, 1428, 2604, 2736, 2193, 930, 192], [0, 6, 25, 184, 658, 1372, 2674, 2680, 2221, 922, 193], [0, 6, 26, 176, 686, 1316, 2744, 2624, 2249, 914, 194], [0, 6, 27, 168, 714, 1260, 2814, 2568, 2277, 906, 195], [0, 6, 28, 160, 742, 1204, 2884, 2512, 2305, 898, 196], [0, 6, 29, 152, 770, 1148, 2954, 2456, 2333, 890, 197], [0, 6, 30, 144, 798, 1092, 3024, 2400, 2361, 882, 198], [0, 6, 31, 136, 826, 1036, 3094, 2344, 2389, 874, 199], [0, 6, 32, 128, 854, 980, 3164, 2288, 2417, 866, 200], [0, 6, 33, 120, 882, 924, 3234, 2232, 2445, 858, 201], [0, 6, 34, 112, 910, 868, 3304, 2176, 2473, 850, 202], [0, 6, 35, 104, 938, 812, 3374, 2120, 2501, 842, 203], [0, 6, 36, 96, 966, 756, 3444, 2064, 2529, 834, 204], [0, 6, 37, 88, 994, 700, 3514, 2008, 2557, 826, 205], [0, 6, 38, 80, 1022, 644, 3584, 1952, 2585, 818, 206], [0, 6, 39, 72, 1050, 588, 3654, 1896, 2613, 810, 207], [0, 6, 40, 64, 1078, 532, 3724, 1840, 2641, 802, 208], [0, 6, 41, 56, 1106, 476, 3794, 1784, 2669, 794, 209], [0, 6, 42, 48, 1134, 420, 3864, 1728, 2697, 786, 210], [0, 6, 43, 40, 1162, 364, 3934, 1672, 2725, 778, 211], [0, 6, 44, 32, 1190, 308, 4004, 1616, 2753, 770, 212], [0, 6, 45, 24, 1218, 252, 4074, 1560, 2781, 762, 213], [0, 6, 46, 16, 1246, 196, 4144, 1504, 2809, 754, 214], [0, 6, 47, 8, 1274, 140, 4214, 1448, 2837, 746, 215], [0, 6, 48, 0, 1302, 84, 4284, 1392, 2865, 738, 216], [0, 7, 0, 348, 126, 2394, 1428, 3660, 1737, 1059, 176], [0, 7, 1, 340, 154, 2338, 1498, 3604, 1765, 1051, 177], [0, 7, 2, 332, 182, 2282, 1568, 3548, 1793, 1043, 178], [0, 7, 3, 324, 210, 2226, 1638, 3492, 1821, 1035, 179], [0, 7, 4, 316, 238, 2170, 1708, 3436, 1849, 1027, 180], [0, 7, 5, 308, 266, 2114, 1778, 3380, 1877, 1019, 181], [0, 7, 6, 300, 294, 2058, 1848, 3324, 1905, 1011, 182], [0, 7, 7, 292, 322, 2002, 1918, 3268, 1933, 1003, 183], [0, 7, 8, 284, 350, 1946, 1988, 3212, 1961, 995, 184], [0, 7, 9, 276, 378, 1890, 2058, 3156, 1989, 987, 185], [0, 7, 10, 268, 406, 1834, 2128, 3100, 2017, 979, 186], [0, 7, 11, 260, 434, 1778, 2198, 3044, 2045, 971, 187], [0, 7, 12, 252, 462, 1722, 2268, 2988, 2073, 963, 188], [0, 7, 13, 244, 490, 1666, 2338, 2932, 2101, 955, 189], [0, 7, 14, 236, 518, 1610, 2408, 2876, 2129, 947, 190], [0, 7, 15, 228, 546, 1554, 2478, 2820, 2157, 939, 191], [0, 7, 16, 220, 574, 1498, 2548, 2764, 2185, 931, 192], [0, 7, 17, 212, 602, 1442, 2618, 2708, 2213, 923, 193], [0, 7, 18, 204, 630, 1386, 2688, 2652, 2241, 915, 194], [0, 7, 19, 196, 658, 1330, 2758, 2596, 2269, 907, 195], [0, 7, 20, 188, 686, 1274, 2828, 2540, 2297, 899, 196], [0, 7, 21, 180, 714, 1218, 2898, 2484, 2325, 891, 197], [0, 7, 22, 172, 742, 1162, 2968, 2428, 2353, 883, 198], [0, 7, 23, 164, 770, 1106, 3038, 2372, 2381, 875, 199], [0, 7, 24, 156, 798, 1050, 3108, 2316, 2409, 867, 200], [0, 7, 25, 148, 826, 994, 3178, 2260, 2437, 859, 201], [0, 7, 26, 140, 854, 938, 3248, 2204, 2465, 851, 202], [0, 7, 27, 132, 882, 882, 3318, 2148, 2493, 843, 203], [0, 7, 28, 124, 910, 826, 3388, 2092, 2521, 835, 204], [0, 7, 29, 116, 938, 770, 3458, 2036, 2549, 827, 205], [0, 7, 30, 108, 966, 714, 3528, 1980, 2577, 819, 206], [0, 7, 31, 100, 994, 658, 3598, 1924, 2605, 811, 207], [0, 7, 32, 92, 1022, 602, 3668, 1868, 2633, 803, 208], [0, 7, 33, 84, 1050, 546, 3738, 1812, 2661, 795, 209], [0, 7, 34, 76, 1078, 490, 3808, 1756, 2689, 787, 210], [0, 7, 35, 68, 1106, 434, 3878, 1700, 2717, 779, 211], [0, 7, 36, 60, 1134, 378, 3948, 1644, 2745, 771, 212], [0, 7, 37, 52, 1162, 322, 4018, 1588, 2773, 763, 213], [0, 7, 38, 44, 1190, 266, 4088, 1532, 2801, 755, 214], [0, 7, 39, 36, 1218, 210, 4158, 1476, 2829, 747, 215], [0, 7, 40, 28, 1246, 154, 4228, 1420, 2857, 739, 216], [0, 7, 41, 20, 1274, 98, 4298, 1364, 2885, 731, 217], [0, 7, 42, 12, 1302, 42, 4368, 1308, 2913, 723, 218], [0, 8, 0, 312, 294, 2016, 1932, 3240, 1953, 996, 184], [0, 8, 1, 304, 322, 1960, 2002, 3184, 1981, 988, 185], [0, 8, 2, 296, 350, 1904, 2072, 3128, 2009, 980, 186], [0, 8, 3, 288, 378, 1848, 2142, 3072, 2037, 972, 187], [0, 8, 4, 280, 406, 1792, 2212, 3016, 2065, 964, 188], [0, 8, 5, 272, 434, 1736, 2282, 2960, 2093, 956, 189], [0, 8, 6, 264, 462, 1680, 2352, 2904, 2121, 948, 190], [0, 8, 7, 256, 490, 1624, 2422, 2848, 2149, 940, 191], [0, 8, 8, 248, 518, 1568, 2492, 2792, 2177, 932, 192], [0, 8, 9, 240, 546, 1512, 2562, 2736, 2205, 924, 193], [0, 8, 10, 232, 574, 1456, 2632, 2680, 2233, 916, 194], [0, 8, 11, 224, 602, 1400, 2702, 2624, 2261, 908, 195], [0, 8, 12, 216, 630, 1344, 2772, 2568, 2289, 900, 196], [0, 8, 13, 208, 658, 1288, 2842, 2512, 2317, 892, 197], [0, 8, 14, 200, 686, 1232, 2912, 2456, 2345, 884, 198], [0, 8, 15, 192, 714, 1176, 2982, 2400, 2373, 876, 199], [0, 8, 16, 184, 742, 1120, 3052, 2344, 2401, 868, 200], [0, 8, 17, 176, 770, 1064, 3122, 2288, 2429, 860, 201], [0, 8, 18, 168, 798, 1008, 3192, 2232, 2457, 852, 202], [0, 8, 19, 160, 826, 952, 3262, 2176, 2485, 844, 203], [0, 8, 20, 152, 854, 896, 3332, 2120, 2513, 836, 204], [0, 8, 21, 144, 882, 840, 3402, 2064, 2541, 828, 205], [0, 8, 22, 136, 910, 784, 3472, 2008, 2569, 820, 206], [0, 8, 23, 128, 938, 728, 3542, 1952, 2597, 812, 207], [0, 8, 24, 120, 966, 672, 3612, 1896, 2625, 804, 208], [0, 8, 25, 112, 994, 616, 3682, 1840, 2653, 796, 209], [0, 8, 26, 104, 1022, 560, 3752, 1784, 2681, 788, 210], [0, 8, 27, 96, 1050, 504, 3822, 1728, 2709, 780, 211], [0, 8, 28, 88, 1078, 448, 3892, 1672, 2737, 772, 212], [0, 8, 29, 80, 1106, 392, 3962, 1616, 2765, 764, 213], [0, 8, 30, 72, 1134, 336, 4032, 1560, 2793, 756, 214], [0, 8, 31, 64, 1162, 280, 4102, 1504, 2821, 748, 215], [0, 8, 32, 56, 1190, 224, 4172, 1448, 2849, 740, 216], [0, 8, 33, 48, 1218, 168, 4242, 1392, 2877, 732, 217], [0, 8, 34, 40, 1246, 112, 4312, 1336, 2905, 724, 218], [0, 8, 35, 32, 1274, 56, 4382, 1280, 2933, 716, 219], [0, 8, 36, 24, 1302, 0, 4452, 1224, 2961, 708, 220], [0, 9, 0, 276, 462, 1638, 2436, 2820, 2169, 933, 192], [0, 9, 1, 268, 490, 1582, 2506, 2764, 2197, 925, 193], [0, 9, 2, 260, 518, 1526, 2576, 2708, 2225, 917, 194], [0, 9, 3, 252, 546, 1470, 2646, 2652, 2253, 909, 195], [0, 9, 4, 244, 574, 1414, 2716, 2596, 2281, 901, 196], [0, 9, 5, 236, 602, 1358, 2786, 2540, 2309, 893, 197], [0, 9, 6, 228, 630, 1302, 2856, 2484, 2337, 885, 198], [0, 9, 7, 220, 658, 1246, 2926, 2428, 2365, 877, 199], [0, 9, 8, 212, 686, 1190, 2996, 2372, 2393, 869, 200], [0, 9, 9, 204, 714, 1134, 3066, 2316, 2421, 861, 201], [0, 9, 10, 196, 742, 1078, 3136, 2260, 2449, 853, 202], [0, 9, 11, 188, 770, 1022, 3206, 2204, 2477, 845, 203], [0, 9, 12, 180, 798, 966, 3276, 2148, 2505, 837, 204], [0, 9, 13, 172, 826, 910, 3346, 2092, 2533, 829, 205], [0, 9, 14, 164, 854, 854, 3416, 2036, 2561, 821, 206], [0, 9, 15, 156, 882, 798, 3486, 1980, 2589, 813, 207], [0, 9, 16, 148, 910, 742, 3556, 1924, 2617, 805, 208], [0, 9, 17, 140, 938, 686, 3626, 1868, 2645, 797, 209], [0, 9, 18, 132, 966, 630, 3696, 1812, 2673, 789, 210], [0, 9, 19, 124, 994, 574, 3766, 1756, 2701, 781, 211], [0, 9, 20, 116, 1022, 518, 3836, 1700, 2729, 773, 212], [0, 9, 21, 108, 1050, 462, 3906, 1644, 2757, 765, 213], [0, 9, 22, 100, 1078, 406, 3976, 1588, 2785, 757, 214], [0, 9, 23, 92, 1106, 350, 4046, 1532, 2813, 749, 215], [0, 9, 24, 84, 1134, 294, 4116, 1476, 2841, 741, 216], [0, 9, 25, 76, 1162, 238, 4186, 1420, 2869, 733, 217], [0, 9, 26, 68, 1190, 182, 4256, 1364, 2897, 725, 218], [0, 9, 27, 60, 1218, 126, 4326, 1308, 2925, 717, 219], [0, 9, 28, 52, 1246, 70, 4396, 1252, 2953, 709, 220], [0, 9, 29, 44, 1274, 14, 4466, 1196, 2981, 701, 221], [0, 10, 0, 240, 630, 1260, 2940, 2400, 2385, 870, 200], [0, 10, 1, 232, 658, 1204, 3010, 2344, 2413, 862, 201], [0, 10, 2, 224, 686, 1148, 3080, 2288, 2441, 854, 202], [0, 10, 3, 216, 714, 1092, 3150, 2232, 2469, 846, 203], [0, 10, 4, 208, 742, 1036, 3220, 2176, 2497, 838, 204], [0, 10, 5, 200, 770, 980, 3290, 2120, 2525, 830, 205], [0, 10, 6, 192, 798, 924, 3360, 2064, 2553, 822, 206], [0, 10, 7, 184, 826, 868, 3430, 2008, 2581, 814, 207], [0, 10, 8, 176, 854, 812, 3500, 1952, 2609, 806, 208], [0, 10, 9, 168, 882, 756, 3570, 1896, 2637, 798, 209], [0, 10, 10, 160, 910, 700, 3640, 1840, 2665, 790, 210], [0, 10, 11, 152, 938, 644, 3710, 1784, 2693, 782, 211], [0, 10, 12, 144, 966, 588, 3780, 1728, 2721, 774, 212], [0, 10, 13, 136, 994, 532, 3850, 1672, 2749, 766, 213], [0, 10, 14, 128, 1022, 476, 3920, 1616, 2777, 758, 214], [0, 10, 15, 120, 1050, 420, 3990, 1560, 2805, 750, 215], [0, 10, 16, 112, 1078, 364, 4060, 1504, 2833, 742, 216], [0, 10, 17, 104, 1106, 308, 4130, 1448, 2861, 734, 217], [0, 10, 18, 96, 1134, 252, 4200, 1392, 2889, 726, 218], [0, 10, 19, 88, 1162, 196, 4270, 1336, 2917, 718, 219], [0, 10, 20, 80, 1190, 140, 4340, 1280, 2945, 710, 220], [0, 10, 21, 72, 1218, 84, 4410, 1224, 2973, 702, 221], [0, 10, 22, 64, 1246, 28, 4480, 1168, 3001, 694, 222], [0, 11, 0, 204, 798, 882, 3444, 1980, 2601, 807, 208], [0, 11, 1, 196, 826, 826, 3514, 1924, 2629, 799, 209], [0, 11, 2, 188, 854, 770, 3584, 1868, 2657, 791, 210], [0, 11, 3, 180, 882, 714, 3654, 1812, 2685, 783, 211], [0, 11, 4, 172, 910, 658, 3724, 1756, 2713, 775, 212], [0, 11, 5, 164, 938, 602, 3794, 1700, 2741, 767, 213], [0, 11, 6, 156, 966, 546, 3864, 1644, 2769, 759, 214], [0, 11, 7, 148, 994, 490, 3934, 1588, 2797, 751, 215], [0, 11, 8, 140, 1022, 434, 4004, 1532, 2825, 743, 216], [0, 11, 9, 132, 1050, 378, 4074, 1476, 2853, 735, 217], [0, 11, 10, 124, 1078, 322, 4144, 1420, 2881, 727, 218], [0, 11, 11, 116, 1106, 266, 4214, 1364, 2909, 719, 219], [0, 11, 12, 108, 1134, 210, 4284, 1308, 2937, 711, 220], [0, 11, 13, 100, 1162, 154, 4354, 1252, 2965, 703, 221], [0, 11, 14, 92, 1190, 98, 4424, 1196, 2993, 695, 222], [0, 11, 15, 84, 1218, 42, 4494, 1140, 3021, 687, 223], [0, 12, 0, 168, 966, 504, 3948, 1560, 2817, 744, 216], [0, 12, 1, 160, 994, 448, 4018, 1504, 2845, 736, 217], [0, 12, 2, 152, 1022, 392, 4088, 1448, 2873, 728, 218], [0, 12, 3, 144, 1050, 336, 4158, 1392, 2901, 720, 219], [0, 12, 4, 136, 1078, 280, 4228, 1336, 2929, 712, 220], [0, 12, 5, 128, 1106, 224, 4298, 1280, 2957, 704, 221], [0, 12, 6, 120, 1134, 168, 4368, 1224, 2985, 696, 222], [0, 12, 7, 112, 1162, 112, 4438, 1168, 3013, 688, 223], [0, 12, 8, 104, 1190, 56, 4508, 1112, 3041, 680, 224], [0, 12, 9, 96, 1218, 0, 4578, 1056, 3069, 672, 225], [0, 13, 0, 132, 1134, 126, 4452, 1140, 3033, 681, 224], [0, 13, 1, 124, 1162, 70, 4522, 1084, 3061, 673, 225], [0, 13, 2, 116, 1190, 14, 4592, 1028, 3089, 665, 226]}