-------
(10, 13122, 7) ALL distance distributions for EXTERNAL point
(7, 13122, 7) has 0 possible DDs: {}
(8, 13122, 7) has 1 possible DDs: {[0, 48, 168, 1008, 2100, 3696, 3528, 2064, 510]}
(9, 13122, 7) has 28 possible DDs: {[0, 0, 216, 0, 2268, 1512, 4536, 2592, 1674, 324], [0, 1, 208, 28, 2212, 1582, 4480, 2620, 1666, 325], [0, 2, 200, 56, 2156, 1652, 4424, 2648, 1658, 326], [0, 3, 192, 84, 2100, 1722, 4368, 2676, 1650, 327], [0, 4, 184, 112, 2044, 1792, 4312, 2704, 1642, 328], [0, 5, 176, 140, 1988, 1862, 4256, 2732, 1634, 329], [0, 6, 168, 168, 1932, 1932, 4200, 2760, 1626, 330], [0, 7, 160, 196, 1876, 2002, 4144, 2788, 1618, 331], [0, 8, 152, 224, 1820, 2072, 4088, 2816, 1610, 332], [0, 9, 144, 252, 1764, 2142, 4032, 2844, 1602, 333], [0, 10, 136, 280, 1708, 2212, 3976, 2872, 1594, 334], [0, 11, 128, 308, 1652, 2282, 3920, 2900, 1586, 335], [0, 12, 120, 336, 1596, 2352, 3864, 2928, 1578, 336], [0, 13, 112, 364, 1540, 2422, 3808, 2956, 1570, 337], [0, 14, 104, 392, 1484, 2492, 3752, 2984, 1562, 338], [0, 15, 96, 420, 1428, 2562, 3696, 3012, 1554, 339], [0, 16, 88, 448, 1372, 2632, 3640, 3040, 1546, 340], [0, 17, 80, 476, 1316, 2702, 3584, 3068, 1538, 341], [0, 18, 72, 504, 1260, 2772, 3528, 3096, 1530, 342], [0, 19, 64, 532, 1204, 2842, 3472, 3124, 1522, 343], [0, 20, 56, 560, 1148, 2912, 3416, 3152, 1514, 344], [0, 21, 48, 588, 1092, 2982, 3360, 3180, 1506, 345], [0, 22, 40, 616, 1036, 3052, 3304, 3208, 1498, 346], [0, 23, 32, 644, 980, 3122, 3248, 3236, 1490, 347], [0, 24, 24, 672, 924, 3192, 3192, 3264, 1482, 348], [0, 25, 16, 700, 868, 3262, 3136, 3292, 1474, 349], [0, 26, 8, 728, 812, 3332, 3080, 3320, 1466, 350], [0, 27, 0, 756, 756, 3402, 3024, 3348, 1458, 351]}
(10, 13122, 7) has 657 possible DDs: {[0, 0, 45, 360, 0, 3528, 630, 5400, 1530, 1440, 189], [0, 0, 46, 352, 28, 3472, 700, 5344, 1558, 1432, 190], [0, 0, 47, 344, 56, 3416, 770, 5288, 1586, 1424, 191], [0, 0, 48, 336, 84, 3360, 840, 5232, 1614, 1416, 192], [0, 0, 49, 328, 112, 3304, 910, 5176, 1642, 1408, 193], [0, 0, 50, 320, 140, 3248, 980, 5120, 1670, 1400, 194], [0, 0, 51, 312, 168, 3192, 1050, 5064, 1698, 1392, 195], [0, 0, 52, 304, 196, 3136, 1120, 5008, 1726, 1384, 196], [0, 0, 53, 296, 224, 3080, 1190, 4952, 1754, 1376, 197], [0, 0, 54, 288, 252, 3024, 1260, 4896, 1782, 1368, 198], [0, 0, 55, 280, 280, 2968, 1330, 4840, 1810, 1360, 199], [0, 0, 56, 272, 308, 2912, 1400, 4784, 1838, 1352, 200], [0, 0, 57, 264, 336, 2856, 1470, 4728, 1866, 1344, 201], [0, 0, 58, 256, 364, 2800, 1540, 4672, 1894, 1336, 202], [0, 0, 59, 248, 392, 2744, 1610, 4616, 1922, 1328, 203], [0, 0, 60, 240, 420, 2688, 1680, 4560, 1950, 1320, 204], [0, 0, 61, 232, 448, 2632, 1750, 4504, 1978, 1312, 205], [0, 0, 62, 224, 476, 2576, 1820, 4448, 2006, 1304, 206], [0, 0, 63, 216, 504, 2520, 1890, 4392, 2034, 1296, 207], [0, 0, 64, 208, 532, 2464, 1960, 4336, 2062, 1288, 208], [0, 0, 65, 200, 560, 2408, 2030, 4280, 2090, 1280, 209], [0, 0, 66, 192, 588, 2352, 2100, 4224, 2118, 1272, 210], [0, 0, 67, 184, 616, 2296, 2170, 4168, 2146, 1264, 211], [0, 0, 68, 176, 644, 2240, 2240, 4112, 2174, 1256, 212], [0, 0, 69, 168, 672, 2184, 2310, 4056, 2202, 1248, 213], [0, 0, 70, 160, 700, 2128, 2380, 4000, 2230, 1240, 214], [0, 0, 71, 152, 728, 2072, 2450, 3944, 2258, 1232, 215], [0, 0, 72, 144, 756, 2016, 2520, 3888, 2286, 1224, 216], [0, 0, 73, 136, 784, 1960, 2590, 3832, 2314, 1216, 217], [0, 0, 74, 128, 812, 1904, 2660, 3776, 2342, 1208, 218], [0, 0, 75, 120, 840, 1848, 2730, 3720, 2370, 1200, 219], [0, 0, 76, 112, 868, 1792, 2800, 3664, 2398, 1192, 220], [0, 0, 77, 104, 896, 1736, 2870, 3608, 2426, 1184, 221], [0, 0, 78, 96, 924, 1680, 2940, 3552, 2454, 1176, 222], [0, 0, 79, 88, 952, 1624, 3010, 3496, 2482, 1168, 223], [0, 0, 80, 80, 980, 1568, 3080, 3440, 2510, 1160, 224], [0, 0, 81, 72, 1008, 1512, 3150, 3384, 2538, 1152, 225], [0, 0, 82, 64, 1036, 1456, 3220, 3328, 2566, 1144, 226], [0, 0, 83, 56, 1064, 1400, 3290, 3272, 2594, 1136, 227], [0, 0, 84, 48, 1092, 1344, 3360, 3216, 2622, 1128, 228], [0, 0, 85, 40, 1120, 1288, 3430, 3160, 2650, 1120, 229], [0, 0, 86, 32, 1148, 1232, 3500, 3104, 2678, 1112, 230], [0, 0, 87, 24, 1176, 1176, 3570, 3048, 2706, 1104, 231], [0, 0, 88, 16, 1204, 1120, 3640, 2992, 2734, 1096, 232], [0, 0, 89, 8, 1232, 1064, 3710, 2936, 2762, 1088, 233], [0, 0, 90, 0, 1260, 1008, 3780, 2880, 2790, 1080, 234], [0, 1, 39, 372, 0, 3486, 714, 5316, 1578, 1425, 191], [0, 1, 40, 364, 28, 3430, 784, 5260, 1606, 1417, 192], [0, 1, 41, 356, 56, 3374, 854, 5204, 1634, 1409, 193], [0, 1, 42, 348, 84, 3318, 924, 5148, 1662, 1401, 194], [0, 1, 43, 340, 112, 3262, 994, 5092, 1690, 1393, 195], [0, 1, 44, 332, 140, 3206, 1064, 5036, 1718, 1385, 196], [0, 1, 45, 324, 168, 3150, 1134, 4980, 1746, 1377, 197], [0, 1, 46, 316, 196, 3094, 1204, 4924, 1774, 1369, 198], [0, 1, 47, 308, 224, 3038, 1274, 4868, 1802, 1361, 199], [0, 1, 48, 300, 252, 2982, 1344, 4812, 1830, 1353, 200], [0, 1, 49, 292, 280, 2926, 1414, 4756, 1858, 1345, 201], [0, 1, 50, 284, 308, 2870, 1484, 4700, 1886, 1337, 202], [0, 1, 51, 276, 336, 2814, 1554, 4644, 1914, 1329, 203], [0, 1, 52, 268, 364, 2758, 1624, 4588, 1942, 1321, 204], [0, 1, 53, 260, 392, 2702, 1694, 4532, 1970, 1313, 205], [0, 1, 54, 252, 420, 2646, 1764, 4476, 1998, 1305, 206], [0, 1, 55, 244, 448, 2590, 1834, 4420, 2026, 1297, 207], [0, 1, 56, 236, 476, 2534, 1904, 4364, 2054, 1289, 208], [0, 1, 57, 228, 504, 2478, 1974, 4308, 2082, 1281, 209], [0, 1, 58, 220, 532, 2422, 2044, 4252, 2110, 1273, 210], [0, 1, 59, 212, 560, 2366, 2114, 4196, 2138, 1265, 211], [0, 1, 60, 204, 588, 2310, 2184, 4140, 2166, 1257, 212], [0, 1, 61, 196, 616, 2254, 2254, 4084, 2194, 1249, 213], [0, 1, 62, 188, 644, 2198, 2324, 4028, 2222, 1241, 214], [0, 1, 63, 180, 672, 2142, 2394, 3972, 2250, 1233, 215], [0, 1, 64, 172, 700, 2086, 2464, 3916, 2278, 1225, 216], [0, 1, 65, 164, 728, 2030, 2534, 3860, 2306, 1217, 217], [0, 1, 66, 156, 756, 1974, 2604, 3804, 2334, 1209, 218], [0, 1, 67, 148, 784, 1918, 2674, 3748, 2362, 1201, 219], [0, 1, 68, 140, 812, 1862, 2744, 3692, 2390, 1193, 220], [0, 1, 69, 132, 840, 1806, 2814, 3636, 2418, 1185, 221], [0, 1, 70, 124, 868, 1750, 2884, 3580, 2446, 1177, 222], [0, 1, 71, 116, 896, 1694, 2954, 3524, 2474, 1169, 223], [0, 1, 72, 108, 924, 1638, 3024, 3468, 2502, 1161, 224], [0, 1, 73, 100, 952, 1582, 3094, 3412, 2530, 1153, 225], [0, 1, 74, 92, 980, 1526, 3164, 3356, 2558, 1145, 226], [0, 1, 75, 84, 1008, 1470, 3234, 3300, 2586, 1137, 227], [0, 1, 76, 76, 1036, 1414, 3304, 3244, 2614, 1129, 228], [0, 1, 77, 68, 1064, 1358, 3374, 3188, 2642, 1121, 229], [0, 1, 78, 60, 1092, 1302, 3444, 3132, 2670, 1113, 230], [0, 1, 79, 52, 1120, 1246, 3514, 3076, 2698, 1105, 231], [0, 1, 80, 44, 1148, 1190, 3584, 3020, 2726, 1097, 232], [0, 1, 81, 36, 1176, 1134, 3654, 2964, 2754, 1089, 233], [0, 1, 82, 28, 1204, 1078, 3724, 2908, 2782, 1081, 234], [0, 1, 83, 20, 1232, 1022, 3794, 2852, 2810, 1073, 235], [0, 1, 84, 12, 1260, 966, 3864, 2796, 2838, 1065, 236], [0, 1, 85, 4, 1288, 910, 3934, 2740, 2866, 1057, 237], [0, 2, 33, 384, 0, 3444, 798, 5232, 1626, 1410, 193], [0, 2, 34, 376, 28, 3388, 868, 5176, 1654, 1402, 194], [0, 2, 35, 368, 56, 3332, 938, 5120, 1682, 1394, 195], [0, 2, 36, 360, 84, 3276, 1008, 5064, 1710, 1386, 196], [0, 2, 37, 352, 112, 3220, 1078, 5008, 1738, 1378, 197], [0, 2, 38, 344, 140, 3164, 1148, 4952, 1766, 1370, 198], [0, 2, 39, 336, 168, 3108, 1218, 4896, 1794, 1362, 199], [0, 2, 40, 328, 196, 3052, 1288, 4840, 1822, 1354, 200], [0, 2, 41, 320, 224, 2996, 1358, 4784, 1850, 1346, 201], [0, 2, 42, 312, 252, 2940, 1428, 4728, 1878, 1338, 202], [0, 2, 43, 304, 280, 2884, 1498, 4672, 1906, 1330, 203], [0, 2, 44, 296, 308, 2828, 1568, 4616, 1934, 1322, 204], [0, 2, 45, 288, 336, 2772, 1638, 4560, 1962, 1314, 205], [0, 2, 46, 280, 364, 2716, 1708, 4504, 1990, 1306, 206], [0, 2, 47, 272, 392, 2660, 1778, 4448, 2018, 1298, 207], [0, 2, 48, 264, 420, 2604, 1848, 4392, 2046, 1290, 208], [0, 2, 49, 256, 448, 2548, 1918, 4336, 2074, 1282, 209], [0, 2, 50, 248, 476, 2492, 1988, 4280, 2102, 1274, 210], [0, 2, 51, 240, 504, 2436, 2058, 4224, 2130, 1266, 211], [0, 2, 52, 232, 532, 2380, 2128, 4168, 2158, 1258, 212], [0, 2, 53, 224, 560, 2324, 2198, 4112, 2186, 1250, 213], [0, 2, 54, 216, 588, 2268, 2268, 4056, 2214, 1242, 214], [0, 2, 55, 208, 616, 2212, 2338, 4000, 2242, 1234, 215], [0, 2, 56, 200, 644, 2156, 2408, 3944, 2270, 1226, 216], [0, 2, 57, 192, 672, 2100, 2478, 3888, 2298, 1218, 217], [0, 2, 58, 184, 700, 2044, 2548, 3832, 2326, 1210, 218], [0, 2, 59, 176, 728, 1988, 2618, 3776, 2354, 1202, 219], [0, 2, 60, 168, 756, 1932, 2688, 3720, 2382, 1194, 220], [0, 2, 61, 160, 784, 1876, 2758, 3664, 2410, 1186, 221], [0, 2, 62, 152, 812, 1820, 2828, 3608, 2438, 1178, 222], [0, 2, 63, 144, 840, 1764, 2898, 3552, 2466, 1170, 223], [0, 2, 64, 136, 868, 1708, 2968, 3496, 2494, 1162, 224], [0, 2, 65, 128, 896, 1652, 3038, 3440, 2522, 1154, 225], [0, 2, 66, 120, 924, 1596, 3108, 3384, 2550, 1146, 226], [0, 2, 67, 112, 952, 1540, 3178, 3328, 2578, 1138, 227], [0, 2, 68, 104, 980, 1484, 3248, 3272, 2606, 1130, 228], [0, 2, 69, 96, 1008, 1428, 3318, 3216, 2634, 1122, 229], [0, 2, 70, 88, 1036, 1372, 3388, 3160, 2662, 1114, 230], [0, 2, 71, 80, 1064, 1316, 3458, 3104, 2690, 1106, 231], [0, 2, 72, 72, 1092, 1260, 3528, 3048, 2718, 1098, 232], [0, 2, 73, 64, 1120, 1204, 3598, 2992, 2746, 1090, 233], [0, 2, 74, 56, 1148, 1148, 3668, 2936, 2774, 1082, 234], [0, 2, 75, 48, 1176, 1092, 3738, 2880, 2802, 1074, 235], [0, 2, 76, 40, 1204, 1036, 3808, 2824, 2830, 1066, 236], [0, 2, 77, 32, 1232, 980, 3878, 2768, 2858, 1058, 237], [0, 2, 78, 24, 1260, 924, 3948, 2712, 2886, 1050, 238], [0, 2, 79, 16, 1288, 868, 4018, 2656, 2914, 1042, 239], [0, 2, 80, 8, 1316, 812, 4088, 2600, 2942, 1034, 240], [0, 2, 81, 0, 1344, 756, 4158, 2544, 2970, 1026, 241], [0, 3, 27, 396, 0, 3402, 882, 5148, 1674, 1395, 195], [0, 3, 28, 388, 28, 3346, 952, 5092, 1702, 1387, 196], [0, 3, 29, 380, 56, 3290, 1022, 5036, 1730, 1379, 197], [0, 3, 30, 372, 84, 3234, 1092, 4980, 1758, 1371, 198], [0, 3, 31, 364, 112, 3178, 1162, 4924, 1786, 1363, 199], [0, 3, 32, 356, 140, 3122, 1232, 4868, 1814, 1355, 200], [0, 3, 33, 348, 168, 3066, 1302, 4812, 1842, 1347, 201], [0, 3, 34, 340, 196, 3010, 1372, 4756, 1870, 1339, 202], [0, 3, 35, 332, 224, 2954, 1442, 4700, 1898, 1331, 203], [0, 3, 36, 324, 252, 2898, 1512, 4644, 1926, 1323, 204], [0, 3, 37, 316, 280, 2842, 1582, 4588, 1954, 1315, 205], [0, 3, 38, 308, 308, 2786, 1652, 4532, 1982, 1307, 206], [0, 3, 39, 300, 336, 2730, 1722, 4476, 2010, 1299, 207], [0, 3, 40, 292, 364, 2674, 1792, 4420, 2038, 1291, 208], [0, 3, 41, 284, 392, 2618, 1862, 4364, 2066, 1283, 209], [0, 3, 42, 276, 420, 2562, 1932, 4308, 2094, 1275, 210], [0, 3, 43, 268, 448, 2506, 2002, 4252, 2122, 1267, 211], [0, 3, 44, 260, 476, 2450, 2072, 4196, 2150, 1259, 212], [0, 3, 45, 252, 504, 2394, 2142, 4140, 2178, 1251, 213], [0, 3, 46, 244, 532, 2338, 2212, 4084, 2206, 1243, 214], [0, 3, 47, 236, 560, 2282, 2282, 4028, 2234, 1235, 215], [0, 3, 48, 228, 588, 2226, 2352, 3972, 2262, 1227, 216], [0, 3, 49, 220, 616, 2170, 2422, 3916, 2290, 1219, 217], [0, 3, 50, 212, 644, 2114, 2492, 3860, 2318, 1211, 218], [0, 3, 51, 204, 672, 2058, 2562, 3804, 2346, 1203, 219], [0, 3, 52, 196, 700, 2002, 2632, 3748, 2374, 1195, 220], [0, 3, 53, 188, 728, 1946, 2702, 3692, 2402, 1187, 221], [0, 3, 54, 180, 756, 1890, 2772, 3636, 2430, 1179, 222], [0, 3, 55, 172, 784, 1834, 2842, 3580, 2458, 1171, 223], [0, 3, 56, 164, 812, 1778, 2912, 3524, 2486, 1163, 224], [0, 3, 57, 156, 840, 1722, 2982, 3468, 2514, 1155, 225], [0, 3, 58, 148, 868, 1666, 3052, 3412, 2542, 1147, 226], [0, 3, 59, 140, 896, 1610, 3122, 3356, 2570, 1139, 227], [0, 3, 60, 132, 924, 1554, 3192, 3300, 2598, 1131, 228], [0, 3, 61, 124, 952, 1498, 3262, 3244, 2626, 1123, 229], [0, 3, 62, 116, 980, 1442, 3332, 3188, 2654, 1115, 230], [0, 3, 63, 108, 1008, 1386, 3402, 3132, 2682, 1107, 231], [0, 3, 64, 100, 1036, 1330, 3472, 3076, 2710, 1099, 232], [0, 3, 65, 92, 1064, 1274, 3542, 3020, 2738, 1091, 233], [0, 3, 66, 84, 1092, 1218, 3612, 2964, 2766, 1083, 234], [0, 3, 67, 76, 1120, 1162, 3682, 2908, 2794, 1075, 235], [0, 3, 68, 68, 1148, 1106, 3752, 2852, 2822, 1067, 236], [0, 3, 69, 60, 1176, 1050, 3822, 2796, 2850, 1059, 237], [0, 3, 70, 52, 1204, 994, 3892, 2740, 2878, 1051, 238], [0, 3, 71, 44, 1232, 938, 3962, 2684, 2906, 1043, 239], [0, 3, 72, 36, 1260, 882, 4032, 2628, 2934, 1035, 240], [0, 3, 73, 28, 1288, 826, 4102, 2572, 2962, 1027, 241], [0, 3, 74, 20, 1316, 770, 4172, 2516, 2990, 1019, 242], [0, 3, 75, 12, 1344, 714, 4242, 2460, 3018, 1011, 243], [0, 3, 76, 4, 1372, 658, 4312, 2404, 3046, 1003, 244], [0, 4, 21, 408, 0, 3360, 966, 5064, 1722, 1380, 197], [0, 4, 22, 400, 28, 3304, 1036, 5008, 1750, 1372, 198], [0, 4, 23, 392, 56, 3248, 1106, 4952, 1778, 1364, 199], [0, 4, 24, 384, 84, 3192, 1176, 4896, 1806, 1356, 200], [0, 4, 25, 376, 112, 3136, 1246, 4840, 1834, 1348, 201], [0, 4, 26, 368, 140, 3080, 1316, 4784, 1862, 1340, 202], [0, 4, 27, 360, 168, 3024, 1386, 4728, 1890, 1332, 203], [0, 4, 28, 352, 196, 2968, 1456, 4672, 1918, 1324, 204], [0, 4, 29, 344, 224, 2912, 1526, 4616, 1946, 1316, 205], [0, 4, 30, 336, 252, 2856, 1596, 4560, 1974, 1308, 206], [0, 4, 31, 328, 280, 2800, 1666, 4504, 2002, 1300, 207], [0, 4, 32, 320, 308, 2744, 1736, 4448, 2030, 1292, 208], [0, 4, 33, 312, 336, 2688, 1806, 4392, 2058, 1284, 209], [0, 4, 34, 304, 364, 2632, 1876, 4336, 2086, 1276, 210], [0, 4, 35, 296, 392, 2576, 1946, 4280, 2114, 1268, 211], [0, 4, 36, 288, 420, 2520, 2016, 4224, 2142, 1260, 212], [0, 4, 37, 280, 448, 2464, 2086, 4168, 2170, 1252, 213], [0, 4, 38, 272, 476, 2408, 2156, 4112, 2198, 1244, 214], [0, 4, 39, 264, 504, 2352, 2226, 4056, 2226, 1236, 215], [0, 4, 40, 256, 532, 2296, 2296, 4000, 2254, 1228, 216], [0, 4, 41, 248, 560, 2240, 2366, 3944, 2282, 1220, 217], [0, 4, 42, 240, 588, 2184, 2436, 3888, 2310, 1212, 218], [0, 4, 43, 232, 616, 2128, 2506, 3832, 2338, 1204, 219], [0, 4, 44, 224, 644, 2072, 2576, 3776, 2366, 1196, 220], [0, 4, 45, 216, 672, 2016, 2646, 3720, 2394, 1188, 221], [0, 4, 46, 208, 700, 1960, 2716, 3664, 2422, 1180, 222], [0, 4, 47, 200, 728, 1904, 2786, 3608, 2450, 1172, 223], [0, 4, 48, 192, 756, 1848, 2856, 3552, 2478, 1164, 224], [0, 4, 49, 184, 784, 1792, 2926, 3496, 2506, 1156, 225], [0, 4, 50, 176, 812, 1736, 2996, 3440, 2534, 1148, 226], [0, 4, 51, 168, 840, 1680, 3066, 3384, 2562, 1140, 227], [0, 4, 52, 160, 868, 1624, 3136, 3328, 2590, 1132, 228], [0, 4, 53, 152, 896, 1568, 3206, 3272, 2618, 1124, 229], [0, 4, 54, 144, 924, 1512, 3276, 3216, 2646, 1116, 230], [0, 4, 55, 136, 952, 1456, 3346, 3160, 2674, 1108, 231], [0, 4, 56, 128, 980, 1400, 3416, 3104, 2702, 1100, 232], [0, 4, 57, 120, 1008, 1344, 3486, 3048, 2730, 1092, 233], [0, 4, 58, 112, 1036, 1288, 3556, 2992, 2758, 1084, 234], [0, 4, 59, 104, 1064, 1232, 3626, 2936, 2786, 1076, 235], [0, 4, 60, 96, 1092, 1176, 3696, 2880, 2814, 1068, 236], [0, 4, 61, 88, 1120, 1120, 3766, 2824, 2842, 1060, 237], [0, 4, 62, 80, 1148, 1064, 3836, 2768, 2870, 1052, 238], [0, 4, 63, 72, 1176, 1008, 3906, 2712, 2898, 1044, 239], [0, 4, 64, 64, 1204, 952, 3976, 2656, 2926, 1036, 240], [0, 4, 65, 56, 1232, 896, 4046, 2600, 2954, 1028, 241], [0, 4, 66, 48, 1260, 840, 4116, 2544, 2982, 1020, 242], [0, 4, 67, 40, 1288, 784, 4186, 2488, 3010, 1012, 243], [0, 4, 68, 32, 1316, 728, 4256, 2432, 3038, 1004, 244], [0, 4, 69, 24, 1344, 672, 4326, 2376, 3066, 996, 245], [0, 4, 70, 16, 1372, 616, 4396, 2320, 3094, 988, 246], [0, 4, 71, 8, 1400, 560, 4466, 2264, 3122, 980, 247], [0, 4, 72, 0, 1428, 504, 4536, 2208, 3150, 972, 248], [0, 5, 15, 420, 0, 3318, 1050, 4980, 1770, 1365, 199], [0, 5, 16, 412, 28, 3262, 1120, 4924, 1798, 1357, 200], [0, 5, 17, 404, 56, 3206, 1190, 4868, 1826, 1349, 201], [0, 5, 18, 396, 84, 3150, 1260, 4812, 1854, 1341, 202], [0, 5, 19, 388, 112, 3094, 1330, 4756, 1882, 1333, 203], [0, 5, 20, 380, 140, 3038, 1400, 4700, 1910, 1325, 204], [0, 5, 21, 372, 168, 2982, 1470, 4644, 1938, 1317, 205], [0, 5, 22, 364, 196, 2926, 1540, 4588, 1966, 1309, 206], [0, 5, 23, 356, 224, 2870, 1610, 4532, 1994, 1301, 207], [0, 5, 24, 348, 252, 2814, 1680, 4476, 2022, 1293, 208], [0, 5, 25, 340, 280, 2758, 1750, 4420, 2050, 1285, 209], [0, 5, 26, 332, 308, 2702, 1820, 4364, 2078, 1277, 210], [0, 5, 27, 324, 336, 2646, 1890, 4308, 2106, 1269, 211], [0, 5, 28, 316, 364, 2590, 1960, 4252, 2134, 1261, 212], [0, 5, 29, 308, 392, 2534, 2030, 4196, 2162, 1253, 213], [0, 5, 30, 300, 420, 2478, 2100, 4140, 2190, 1245, 214], [0, 5, 31, 292, 448, 2422, 2170, 4084, 2218, 1237, 215], [0, 5, 32, 284, 476, 2366, 2240, 4028, 2246, 1229, 216], [0, 5, 33, 276, 504, 2310, 2310, 3972, 2274, 1221, 217], [0, 5, 34, 268, 532, 2254, 2380, 3916, 2302, 1213, 218], [0, 5, 35, 260, 560, 2198, 2450, 3860, 2330, 1205, 219], [0, 5, 36, 252, 588, 2142, 2520, 3804, 2358, 1197, 220], [0, 5, 37, 244, 616, 2086, 2590, 3748, 2386, 1189, 221], [0, 5, 38, 236, 644, 2030, 2660, 3692, 2414, 1181, 222], [0, 5, 39, 228, 672, 1974, 2730, 3636, 2442, 1173, 223], [0, 5, 40, 220, 700, 1918, 2800, 3580, 2470, 1165, 224], [0, 5, 41, 212, 728, 1862, 2870, 3524, 2498, 1157, 225], [0, 5, 42, 204, 756, 1806, 2940, 3468, 2526, 1149, 226], [0, 5, 43, 196, 784, 1750, 3010, 3412, 2554, 1141, 227], [0, 5, 44, 188, 812, 1694, 3080, 3356, 2582, 1133, 228], [0, 5, 45, 180, 840, 1638, 3150, 3300, 2610, 1125, 229], [0, 5, 46, 172, 868, 1582, 3220, 3244, 2638, 1117, 230], [0, 5, 47, 164, 896, 1526, 3290, 3188, 2666, 1109, 231], [0, 5, 48, 156, 924, 1470, 3360, 3132, 2694, 1101, 232], [0, 5, 49, 148, 952, 1414, 3430, 3076, 2722, 1093, 233], [0, 5, 50, 140, 980, 1358, 3500, 3020, 2750, 1085, 234], [0, 5, 51, 132, 1008, 1302, 3570, 2964, 2778, 1077, 235], [0, 5, 52, 124, 1036, 1246, 3640, 2908, 2806, 1069, 236], [0, 5, 53, 116, 1064, 1190, 3710, 2852, 2834, 1061, 237], [0, 5, 54, 108, 1092, 1134, 3780, 2796, 2862, 1053, 238], [0, 5, 55, 100, 1120, 1078, 3850, 2740, 2890, 1045, 239], [0, 5, 56, 92, 1148, 1022, 3920, 2684, 2918, 1037, 240], [0, 5, 57, 84, 1176, 966, 3990, 2628, 2946, 1029, 241], [0, 5, 58, 76, 1204, 910, 4060, 2572, 2974, 1021, 242], [0, 5, 59, 68, 1232, 854, 4130, 2516, 3002, 1013, 243], [0, 5, 60, 60, 1260, 798, 4200, 2460, 3030, 1005, 244], [0, 5, 61, 52, 1288, 742, 4270, 2404, 3058, 997, 245], [0, 5, 62, 44, 1316, 686, 4340, 2348, 3086, 989, 246], [0, 5, 63, 36, 1344, 630, 4410, 2292, 3114, 981, 247], [0, 5, 64, 28, 1372, 574, 4480, 2236, 3142, 973, 248], [0, 5, 65, 20, 1400, 518, 4550, 2180, 3170, 965, 249], [0, 5, 66, 12, 1428, 462, 4620, 2124, 3198, 957, 250], [0, 5, 67, 4, 1456, 406, 4690, 2068, 3226, 949, 251], [0, 6, 9, 432, 0, 3276, 1134, 4896, 1818, 1350, 201], [0, 6, 10, 424, 28, 3220, 1204, 4840, 1846, 1342, 202], [0, 6, 11, 416, 56, 3164, 1274, 4784, 1874, 1334, 203], [0, 6, 12, 408, 84, 3108, 1344, 4728, 1902, 1326, 204], [0, 6, 13, 400, 112, 3052, 1414, 4672, 1930, 1318, 205], [0, 6, 14, 392, 140, 2996, 1484, 4616, 1958, 1310, 206], [0, 6, 15, 384, 168, 2940, 1554, 4560, 1986, 1302, 207], [0, 6, 16, 376, 196, 2884, 1624, 4504, 2014, 1294, 208], [0, 6, 17, 368, 224, 2828, 1694, 4448, 2042, 1286, 209], [0, 6, 18, 360, 252, 2772, 1764, 4392, 2070, 1278, 210], [0, 6, 19, 352, 280, 2716, 1834, 4336, 2098, 1270, 211], [0, 6, 20, 344, 308, 2660, 1904, 4280, 2126, 1262, 212], [0, 6, 21, 336, 336, 2604, 1974, 4224, 2154, 1254, 213], [0, 6, 22, 328, 364, 2548, 2044, 4168, 2182, 1246, 214], [0, 6, 23, 320, 392, 2492, 2114, 4112, 2210, 1238, 215], [0, 6, 24, 312, 420, 2436, 2184, 4056, 2238, 1230, 216], [0, 6, 25, 304, 448, 2380, 2254, 4000, 2266, 1222, 217], [0, 6, 26, 296, 476, 2324, 2324, 3944, 2294, 1214, 218], [0, 6, 27, 288, 504, 2268, 2394, 3888, 2322, 1206, 219], [0, 6, 28, 280, 532, 2212, 2464, 3832, 2350, 1198, 220], [0, 6, 29, 272, 560, 2156, 2534, 3776, 2378, 1190, 221], [0, 6, 30, 264, 588, 2100, 2604, 3720, 2406, 1182, 222], [0, 6, 31, 256, 616, 2044, 2674, 3664, 2434, 1174, 223], [0, 6, 32, 248, 644, 1988, 2744, 3608, 2462, 1166, 224], [0, 6, 33, 240, 672, 1932, 2814, 3552, 2490, 1158, 225], [0, 6, 34, 232, 700, 1876, 2884, 3496, 2518, 1150, 226], [0, 6, 35, 224, 728, 1820, 2954, 3440, 2546, 1142, 227], [0, 6, 36, 216, 756, 1764, 3024, 3384, 2574, 1134, 228], [0, 6, 37, 208, 784, 1708, 3094, 3328, 2602, 1126, 229], [0, 6, 38, 200, 812, 1652, 3164, 3272, 2630, 1118, 230], [0, 6, 39, 192, 840, 1596, 3234, 3216, 2658, 1110, 231], [0, 6, 40, 184, 868, 1540, 3304, 3160, 2686, 1102, 232], [0, 6, 41, 176, 896, 1484, 3374, 3104, 2714, 1094, 233], [0, 6, 42, 168, 924, 1428, 3444, 3048, 2742, 1086, 234], [0, 6, 43, 160, 952, 1372, 3514, 2992, 2770, 1078, 235], [0, 6, 44, 152, 980, 1316, 3584, 2936, 2798, 1070, 236], [0, 6, 45, 144, 1008, 1260, 3654, 2880, 2826, 1062, 237], [0, 6, 46, 136, 1036, 1204, 3724, 2824, 2854, 1054, 238], [0, 6, 47, 128, 1064, 1148, 3794, 2768, 2882, 1046, 239], [0, 6, 48, 120, 1092, 1092, 3864, 2712, 2910, 1038, 240], [0, 6, 49, 112, 1120, 1036, 3934, 2656, 2938, 1030, 241], [0, 6, 50, 104, 1148, 980, 4004, 2600, 2966, 1022, 242], [0, 6, 51, 96, 1176, 924, 4074, 2544, 2994, 1014, 243], [0, 6, 52, 88, 1204, 868, 4144, 2488, 3022, 1006, 244], [0, 6, 53, 80, 1232, 812, 4214, 2432, 3050, 998, 245], [0, 6, 54, 72, 1260, 756, 4284, 2376, 3078, 990, 246], [0, 6, 55, 64, 1288, 700, 4354, 2320, 3106, 982, 247], [0, 6, 56, 56, 1316, 644, 4424, 2264, 3134, 974, 248], [0, 6, 57, 48, 1344, 588, 4494, 2208, 3162, 966, 249], [0, 6, 58, 40, 1372, 532, 4564, 2152, 3190, 958, 250], [0, 6, 59, 32, 1400, 476, 4634, 2096, 3218, 950, 251], [0, 6, 60, 24, 1428, 420, 4704, 2040, 3246, 942, 252], [0, 6, 61, 16, 1456, 364, 4774, 1984, 3274, 934, 253], [0, 6, 62, 8, 1484, 308, 4844, 1928, 3302, 926, 254], [0, 6, 63, 0, 1512, 252, 4914, 1872, 3330, 918, 255], [0, 7, 3, 444, 0, 3234, 1218, 4812, 1866, 1335, 203], [0, 7, 4, 436, 28, 3178, 1288, 4756, 1894, 1327, 204], [0, 7, 5, 428, 56, 3122, 1358, 4700, 1922, 1319, 205], [0, 7, 6, 420, 84, 3066, 1428, 4644, 1950, 1311, 206], [0, 7, 7, 412, 112, 3010, 1498, 4588, 1978, 1303, 207], [0, 7, 8, 404, 140, 2954, 1568, 4532, 2006, 1295, 208], [0, 7, 9, 396, 168, 2898, 1638, 4476, 2034, 1287, 209], [0, 7, 10, 388, 196, 2842, 1708, 4420, 2062, 1279, 210], [0, 7, 11, 380, 224, 2786, 1778, 4364, 2090, 1271, 211], [0, 7, 12, 372, 252, 2730, 1848, 4308, 2118, 1263, 212], [0, 7, 13, 364, 280, 2674, 1918, 4252, 2146, 1255, 213], [0, 7, 14, 356, 308, 2618, 1988, 4196, 2174, 1247, 214], [0, 7, 15, 348, 336, 2562, 2058, 4140, 2202, 1239, 215], [0, 7, 16, 340, 364, 2506, 2128, 4084, 2230, 1231, 216], [0, 7, 17, 332, 392, 2450, 2198, 4028, 2258, 1223, 217], [0, 7, 18, 324, 420, 2394, 2268, 3972, 2286, 1215, 218], [0, 7, 19, 316, 448, 2338, 2338, 3916, 2314, 1207, 219], [0, 7, 20, 308, 476, 2282, 2408, 3860, 2342, 1199, 220], [0, 7, 21, 300, 504, 2226, 2478, 3804, 2370, 1191, 221], [0, 7, 22, 292, 532, 2170, 2548, 3748, 2398, 1183, 222], [0, 7, 23, 284, 560, 2114, 2618, 3692, 2426, 1175, 223], [0, 7, 24, 276, 588, 2058, 2688, 3636, 2454, 1167, 224], [0, 7, 25, 268, 616, 2002, 2758, 3580, 2482, 1159, 225], [0, 7, 26, 260, 644, 1946, 2828, 3524, 2510, 1151, 226], [0, 7, 27, 252, 672, 1890, 2898, 3468, 2538, 1143, 227], [0, 7, 28, 244, 700, 1834, 2968, 3412, 2566, 1135, 228], [0, 7, 29, 236, 728, 1778, 3038, 3356, 2594, 1127, 229], [0, 7, 30, 228, 756, 1722, 3108, 3300, 2622, 1119, 230], [0, 7, 31, 220, 784, 1666, 3178, 3244, 2650, 1111, 231], [0, 7, 32, 212, 812, 1610, 3248, 3188, 2678, 1103, 232], [0, 7, 33, 204, 840, 1554, 3318, 3132, 2706, 1095, 233], [0, 7, 34, 196, 868, 1498, 3388, 3076, 2734, 1087, 234], [0, 7, 35, 188, 896, 1442, 3458, 3020, 2762, 1079, 235], [0, 7, 36, 180, 924, 1386, 3528, 2964, 2790, 1071, 236], [0, 7, 37, 172, 952, 1330, 3598, 2908, 2818, 1063, 237], [0, 7, 38, 164, 980, 1274, 3668, 2852, 2846, 1055, 238], [0, 7, 39, 156, 1008, 1218, 3738, 2796, 2874, 1047, 239], [0, 7, 40, 148, 1036, 1162, 3808, 2740, 2902, 1039, 240], [0, 7, 41, 140, 1064, 1106, 3878, 2684, 2930, 1031, 241], [0, 7, 42, 132, 1092, 1050, 3948, 2628, 2958, 1023, 242], [0, 7, 43, 124, 1120, 994, 4018, 2572, 2986, 1015, 243], [0, 7, 44, 116, 1148, 938, 4088, 2516, 3014, 1007, 244], [0, 7, 45, 108, 1176, 882, 4158, 2460, 3042, 999, 245], [0, 7, 46, 100, 1204, 826, 4228, 2404, 3070, 991, 246], [0, 7, 47, 92, 1232, 770, 4298, 2348, 3098, 983, 247], [0, 7, 48, 84, 1260, 714, 4368, 2292, 3126, 975, 248], [0, 7, 49, 76, 1288, 658, 4438, 2236, 3154, 967, 249], [0, 7, 50, 68, 1316, 602, 4508, 2180, 3182, 959, 250], [0, 7, 51, 60, 1344, 546, 4578, 2124, 3210, 951, 251], [0, 7, 52, 52, 1372, 490, 4648, 2068, 3238, 943, 252], [0, 7, 53, 44, 1400, 434, 4718, 2012, 3266, 935, 253], [0, 7, 54, 36, 1428, 378, 4788, 1956, 3294, 927, 254], [0, 7, 55, 28, 1456, 322, 4858, 1900, 3322, 919, 255], [0, 7, 56, 20, 1484, 266, 4928, 1844, 3350, 911, 256], [0, 7, 57, 12, 1512, 210, 4998, 1788, 3378, 903, 257], [0, 7, 58, 4, 1540, 154, 5068, 1732, 3406, 895, 258], [0, 8, 0, 432, 84, 3024, 1512, 4560, 1998, 1296, 208], [0, 8, 1, 424, 112, 2968, 1582, 4504, 2026, 1288, 209], [0, 8, 2, 416, 140, 2912, 1652, 4448, 2054, 1280, 210], [0, 8, 3, 408, 168, 2856, 1722, 4392, 2082, 1272, 211], [0, 8, 4, 400, 196, 2800, 1792, 4336, 2110, 1264, 212], [0, 8, 5, 392, 224, 2744, 1862, 4280, 2138, 1256, 213], [0, 8, 6, 384, 252, 2688, 1932, 4224, 2166, 1248, 214], [0, 8, 7, 376, 280, 2632, 2002, 4168, 2194, 1240, 215], [0, 8, 8, 368, 308, 2576, 2072, 4112, 2222, 1232, 216], [0, 8, 9, 360, 336, 2520, 2142, 4056, 2250, 1224, 217], [0, 8, 10, 352, 364, 2464, 2212, 4000, 2278, 1216, 218], [0, 8, 11, 344, 392, 2408, 2282, 3944, 2306, 1208, 219], [0, 8, 12, 336, 420, 2352, 2352, 3888, 2334, 1200, 220], [0, 8, 13, 328, 448, 2296, 2422, 3832, 2362, 1192, 221], [0, 8, 14, 320, 476, 2240, 2492, 3776, 2390, 1184, 222], [0, 8, 15, 312, 504, 2184, 2562, 3720, 2418, 1176, 223], [0, 8, 16, 304, 532, 2128, 2632, 3664, 2446, 1168, 224], [0, 8, 17, 296, 560, 2072, 2702, 3608, 2474, 1160, 225], [0, 8, 18, 288, 588, 2016, 2772, 3552, 2502, 1152, 226], [0, 8, 19, 280, 616, 1960, 2842, 3496, 2530, 1144, 227], [0, 8, 20, 272, 644, 1904, 2912, 3440, 2558, 1136, 228], [0, 8, 21, 264, 672, 1848, 2982, 3384, 2586, 1128, 229], [0, 8, 22, 256, 700, 1792, 3052, 3328, 2614, 1120, 230], [0, 8, 23, 248, 728, 1736, 3122, 3272, 2642, 1112, 231], [0, 8, 24, 240, 756, 1680, 3192, 3216, 2670, 1104, 232], [0, 8, 25, 232, 784, 1624, 3262, 3160, 2698, 1096, 233], [0, 8, 26, 224, 812, 1568, 3332, 3104, 2726, 1088, 234], [0, 8, 27, 216, 840, 1512, 3402, 3048, 2754, 1080, 235], [0, 8, 28, 208, 868, 1456, 3472, 2992, 2782, 1072, 236], [0, 8, 29, 200, 896, 1400, 3542, 2936, 2810, 1064, 237], [0, 8, 30, 192, 924, 1344, 3612, 2880, 2838, 1056, 238], [0, 8, 31, 184, 952, 1288, 3682, 2824, 2866, 1048, 239], [0, 8, 32, 176, 980, 1232, 3752, 2768, 2894, 1040, 240], [0, 8, 33, 168, 1008, 1176, 3822, 2712, 2922, 1032, 241], [0, 8, 34, 160, 1036, 1120, 3892, 2656, 2950, 1024, 242], [0, 8, 35, 152, 1064, 1064, 3962, 2600, 2978, 1016, 243], [0, 8, 36, 144, 1092, 1008, 4032, 2544, 3006, 1008, 244], [0, 8, 37, 136, 1120, 952, 4102, 2488, 3034, 1000, 245], [0, 8, 38, 128, 1148, 896, 4172, 2432, 3062, 992, 246], [0, 8, 39, 120, 1176, 840, 4242, 2376, 3090, 984, 247], [0, 8, 40, 112, 1204, 784, 4312, 2320, 3118, 976, 248], [0, 8, 41, 104, 1232, 728, 4382, 2264, 3146, 968, 249], [0, 8, 42, 96, 1260, 672, 4452, 2208, 3174, 960, 250], [0, 8, 43, 88, 1288, 616, 4522, 2152, 3202, 952, 251], [0, 8, 44, 80, 1316, 560, 4592, 2096, 3230, 944, 252], [0, 8, 45, 72, 1344, 504, 4662, 2040, 3258, 936, 253], [0, 8, 46, 64, 1372, 448, 4732, 1984, 3286, 928, 254], [0, 8, 47, 56, 1400, 392, 4802, 1928, 3314, 920, 255], [0, 8, 48, 48, 1428, 336, 4872, 1872, 3342, 912, 256], [0, 8, 49, 40, 1456, 280, 4942, 1816, 3370, 904, 257], [0, 8, 50, 32, 1484, 224, 5012, 1760, 3398, 896, 258], [0, 8, 51, 24, 1512, 168, 5082, 1704, 3426, 888, 259], [0, 8, 52, 16, 1540, 112, 5152, 1648, 3454, 880, 260], [0, 8, 53, 8, 1568, 56, 5222, 1592, 3482, 872, 261], [0, 8, 54, 0, 1596, 0, 5292, 1536, 3510, 864, 262], [0, 9, 0, 396, 252, 2646, 2016, 4140, 2214, 1233, 216], [0, 9, 1, 388, 280, 2590, 2086, 4084, 2242, 1225, 217], [0, 9, 2, 380, 308, 2534, 2156, 4028, 2270, 1217, 218], [0, 9, 3, 372, 336, 2478, 2226, 3972, 2298, 1209, 219], [0, 9, 4, 364, 364, 2422, 2296, 3916, 2326, 1201, 220], [0, 9, 5, 356, 392, 2366, 2366, 3860, 2354, 1193, 221], [0, 9, 6, 348, 420, 2310, 2436, 3804, 2382, 1185, 222], [0, 9, 7, 340, 448, 2254, 2506, 3748, 2410, 1177, 223], [0, 9, 8, 332, 476, 2198, 2576, 3692, 2438, 1169, 224], [0, 9, 9, 324, 504, 2142, 2646, 3636, 2466, 1161, 225], [0, 9, 10, 316, 532, 2086, 2716, 3580, 2494, 1153, 226], [0, 9, 11, 308, 560, 2030, 2786, 3524, 2522, 1145, 227], [0, 9, 12, 300, 588, 1974, 2856, 3468, 2550, 1137, 228], [0, 9, 13, 292, 616, 1918, 2926, 3412, 2578, 1129, 229], [0, 9, 14, 284, 644, 1862, 2996, 3356, 2606, 1121, 230], [0, 9, 15, 276, 672, 1806, 3066, 3300, 2634, 1113, 231], [0, 9, 16, 268, 700, 1750, 3136, 3244, 2662, 1105, 232], [0, 9, 17, 260, 728, 1694, 3206, 3188, 2690, 1097, 233], [0, 9, 18, 252, 756, 1638, 3276, 3132, 2718, 1089, 234], [0, 9, 19, 244, 784, 1582, 3346, 3076, 2746, 1081, 235], [0, 9, 20, 236, 812, 1526, 3416, 3020, 2774, 1073, 236], [0, 9, 21, 228, 840, 1470, 3486, 2964, 2802, 1065, 237], [0, 9, 22, 220, 868, 1414, 3556, 2908, 2830, 1057, 238], [0, 9, 23, 212, 896, 1358, 3626, 2852, 2858, 1049, 239], [0, 9, 24, 204, 924, 1302, 3696, 2796, 2886, 1041, 240], [0, 9, 25, 196, 952, 1246, 3766, 2740, 2914, 1033, 241], [0, 9, 26, 188, 980, 1190, 3836, 2684, 2942, 1025, 242], [0, 9, 27, 180, 1008, 1134, 3906, 2628, 2970, 1017, 243], [0, 9, 28, 172, 1036, 1078, 3976, 2572, 2998, 1009, 244], [0, 9, 29, 164, 1064, 1022, 4046, 2516, 3026, 1001, 245], [0, 9, 30, 156, 1092, 966, 4116, 2460, 3054, 993, 246], [0, 9, 31, 148, 1120, 910, 4186, 2404, 3082, 985, 247], [0, 9, 32, 140, 1148, 854, 4256, 2348, 3110, 977, 248], [0, 9, 33, 132, 1176, 798, 4326, 2292, 3138, 969, 249], [0, 9, 34, 124, 1204, 742, 4396, 2236, 3166, 961, 250], [0, 9, 35, 116, 1232, 686, 4466, 2180, 3194, 953, 251], [0, 9, 36, 108, 1260, 630, 4536, 2124, 3222, 945, 252], [0, 9, 37, 100, 1288, 574, 4606, 2068, 3250, 937, 253], [0, 9, 38, 92, 1316, 518, 4676, 2012, 3278, 929, 254], [0, 9, 39, 84, 1344, 462, 4746, 1956, 3306, 921, 255], [0, 9, 40, 76, 1372, 406, 4816, 1900, 3334, 913, 256], [0, 9, 41, 68, 1400, 350, 4886, 1844, 3362, 905, 257], [0, 9, 42, 60, 1428, 294, 4956, 1788, 3390, 897, 258], [0, 9, 43, 52, 1456, 238, 5026, 1732, 3418, 889, 259], [0, 9, 44, 44, 1484, 182, 5096, 1676, 3446, 881, 260], [0, 9, 45, 36, 1512, 126, 5166, 1620, 3474, 873, 261], [0, 9, 46, 28, 1540, 70, 5236, 1564, 3502, 865, 262], [0, 9, 47, 20, 1568, 14, 5306, 1508, 3530, 857, 263], [0, 10, 0, 360, 420, 2268, 2520, 3720, 2430, 1170, 224], [0, 10, 1, 352, 448, 2212, 2590, 3664, 2458, 1162, 225], [0, 10, 2, 344, 476, 2156, 2660, 3608, 2486, 1154, 226], [0, 10, 3, 336, 504, 2100, 2730, 3552, 2514, 1146, 227], [0, 10, 4, 328, 532, 2044, 2800, 3496, 2542, 1138, 228], [0, 10, 5, 320, 560, 1988, 2870, 3440, 2570, 1130, 229], [0, 10, 6, 312, 588, 1932, 2940, 3384, 2598, 1122, 230], [0, 10, 7, 304, 616, 1876, 3010, 3328, 2626, 1114, 231], [0, 10, 8, 296, 644, 1820, 3080, 3272, 2654, 1106, 232], [0, 10, 9, 288, 672, 1764, 3150, 3216, 2682, 1098, 233], [0, 10, 10, 280, 700, 1708, 3220, 3160, 2710, 1090, 234], [0, 10, 11, 272, 728, 1652, 3290, 3104, 2738, 1082, 235], [0, 10, 12, 264, 756, 1596, 3360, 3048, 2766, 1074, 236], [0, 10, 13, 256, 784, 1540, 3430, 2992, 2794, 1066, 237], [0, 10, 14, 248, 812, 1484, 3500, 2936, 2822, 1058, 238], [0, 10, 15, 240, 840, 1428, 3570, 2880, 2850, 1050, 239], [0, 10, 16, 232, 868, 1372, 3640, 2824, 2878, 1042, 240], [0, 10, 17, 224, 896, 1316, 3710, 2768, 2906, 1034, 241], [0, 10, 18, 216, 924, 1260, 3780, 2712, 2934, 1026, 242], [0, 10, 19, 208, 952, 1204, 3850, 2656, 2962, 1018, 243], [0, 10, 20, 200, 980, 1148, 3920, 2600, 2990, 1010, 244], [0, 10, 21, 192, 1008, 1092, 3990, 2544, 3018, 1002, 245], [0, 10, 22, 184, 1036, 1036, 4060, 2488, 3046, 994, 246], [0, 10, 23, 176, 1064, 980, 4130, 2432, 3074, 986, 247], [0, 10, 24, 168, 1092, 924, 4200, 2376, 3102, 978, 248], [0, 10, 25, 160, 1120, 868, 4270, 2320, 3130, 970, 249], [0, 10, 26, 152, 1148, 812, 4340, 2264, 3158, 962, 250], [0, 10, 27, 144, 1176, 756, 4410, 2208, 3186, 954, 251], [0, 10, 28, 136, 1204, 700, 4480, 2152, 3214, 946, 252], [0, 10, 29, 128, 1232, 644, 4550, 2096, 3242, 938, 253], [0, 10, 30, 120, 1260, 588, 4620, 2040, 3270, 930, 254], [0, 10, 31, 112, 1288, 532, 4690, 1984, 3298, 922, 255], [0, 10, 32, 104, 1316, 476, 4760, 1928, 3326, 914, 256], [0, 10, 33, 96, 1344, 420, 4830, 1872, 3354, 906, 257], [0, 10, 34, 88, 1372, 364, 4900, 1816, 3382, 898, 258], [0, 10, 35, 80, 1400, 308, 4970, 1760, 3410, 890, 259], [0, 10, 36, 72, 1428, 252, 5040, 1704, 3438, 882, 260], [0, 10, 37, 64, 1456, 196, 5110, 1648, 3466, 874, 261], [0, 10, 38, 56, 1484, 140, 5180, 1592, 3494, 866, 262], [0, 10, 39, 48, 1512, 84, 5250, 1536, 3522, 858, 263], [0, 10, 40, 40, 1540, 28, 5320, 1480, 3550, 850, 264], [0, 11, 0, 324, 588, 1890, 3024, 3300, 2646, 1107, 232], [0, 11, 1, 316, 616, 1834, 3094, 3244, 2674, 1099, 233], [0, 11, 2, 308, 644, 1778, 3164, 3188, 2702, 1091, 234], [0, 11, 3, 300, 672, 1722, 3234, 3132, 2730, 1083, 235], [0, 11, 4, 292, 700, 1666, 3304, 3076, 2758, 1075, 236], [0, 11, 5, 284, 728, 1610, 3374, 3020, 2786, 1067, 237], [0, 11, 6, 276, 756, 1554, 3444, 2964, 2814, 1059, 238], [0, 11, 7, 268, 784, 1498, 3514, 2908, 2842, 1051, 239], [0, 11, 8, 260, 812, 1442, 3584, 2852, 2870, 1043, 240], [0, 11, 9, 252, 840, 1386, 3654, 2796, 2898, 1035, 241], [0, 11, 10, 244, 868, 1330, 3724, 2740, 2926, 1027, 242], [0, 11, 11, 236, 896, 1274, 3794, 2684, 2954, 1019, 243], [0, 11, 12, 228, 924, 1218, 3864, 2628, 2982, 1011, 244], [0, 11, 13, 220, 952, 1162, 3934, 2572, 3010, 1003, 245], [0, 11, 14, 212, 980, 1106, 4004, 2516, 3038, 995, 246], [0, 11, 15, 204, 1008, 1050, 4074, 2460, 3066, 987, 247], [0, 11, 16, 196, 1036, 994, 4144, 2404, 3094, 979, 248], [0, 11, 17, 188, 1064, 938, 4214, 2348, 3122, 971, 249], [0, 11, 18, 180, 1092, 882, 4284, 2292, 3150, 963, 250], [0, 11, 19, 172, 1120, 826, 4354, 2236, 3178, 955, 251], [0, 11, 20, 164, 1148, 770, 4424, 2180, 3206, 947, 252], [0, 11, 21, 156, 1176, 714, 4494, 2124, 3234, 939, 253], [0, 11, 22, 148, 1204, 658, 4564, 2068, 3262, 931, 254], [0, 11, 23, 140, 1232, 602, 4634, 2012, 3290, 923, 255], [0, 11, 24, 132, 1260, 546, 4704, 1956, 3318, 915, 256], [0, 11, 25, 124, 1288, 490, 4774, 1900, 3346, 907, 257], [0, 11, 26, 116, 1316, 434, 4844, 1844, 3374, 899, 258], [0, 11, 27, 108, 1344, 378, 4914, 1788, 3402, 891, 259], [0, 11, 28, 100, 1372, 322, 4984, 1732, 3430, 883, 260], [0, 11, 29, 92, 1400, 266, 5054, 1676, 3458, 875, 261], [0, 11, 30, 84, 1428, 210, 5124, 1620, 3486, 867, 262], [0, 11, 31, 76, 1456, 154, 5194, 1564, 3514, 859, 263], [0, 11, 32, 68, 1484, 98, 5264, 1508, 3542, 851, 264], [0, 11, 33, 60, 1512, 42, 5334, 1452, 3570, 843, 265], [0, 12, 0, 288, 756, 1512, 3528, 2880, 2862, 1044, 240], [0, 12, 1, 280, 784, 1456, 3598, 2824, 2890, 1036, 241], [0, 12, 2, 272, 812, 1400, 3668, 2768, 2918, 1028, 242], [0, 12, 3, 264, 840, 1344, 3738, 2712, 2946, 1020, 243], [0, 12, 4, 256, 868, 1288, 3808, 2656, 2974, 1012, 244], [0, 12, 5, 248, 896, 1232, 3878, 2600, 3002, 1004, 245], [0, 12, 6, 240, 924, 1176, 3948, 2544, 3030, 996, 246], [0, 12, 7, 232, 952, 1120, 4018, 2488, 3058, 988, 247], [0, 12, 8, 224, 980, 1064, 4088, 2432, 3086, 980, 248], [0, 12, 9, 216, 1008, 1008, 4158, 2376, 3114, 972, 249], [0, 12, 10, 208, 1036, 952, 4228, 2320, 3142, 964, 250], [0, 12, 11, 200, 1064, 896, 4298, 2264, 3170, 956, 251], [0, 12, 12, 192, 1092, 840, 4368, 2208, 3198, 948, 252], [0, 12, 13, 184, 1120, 784, 4438, 2152, 3226, 940, 253], [0, 12, 14, 176, 1148, 728, 4508, 2096, 3254, 932, 254], [0, 12, 15, 168, 1176, 672, 4578, 2040, 3282, 924, 255], [0, 12, 16, 160, 1204, 616, 4648, 1984, 3310, 916, 256], [0, 12, 17, 152, 1232, 560, 4718, 1928, 3338, 908, 257], [0, 12, 18, 144, 1260, 504, 4788, 1872, 3366, 900, 258], [0, 12, 19, 136, 1288, 448, 4858, 1816, 3394, 892, 259], [0, 12, 20, 128, 1316, 392, 4928, 1760, 3422, 884, 260], [0, 12, 21, 120, 1344, 336, 4998, 1704, 3450, 876, 261], [0, 12, 22, 112, 1372, 280, 5068, 1648, 3478, 868, 262], [0, 12, 23, 104, 1400, 224, 5138, 1592, 3506, 860, 263], [0, 12, 24, 96, 1428, 168, 5208, 1536, 3534, 852, 264], [0, 12, 25, 88, 1456, 112, 5278, 1480, 3562, 844, 265], [0, 12, 26, 80, 1484, 56, 5348, 1424, 3590, 836, 266], [0, 12, 27, 72, 1512, 0, 5418, 1368, 3618, 828, 267], [0, 13, 0, 252, 924, 1134, 4032, 2460, 3078, 981, 248], [0, 13, 1, 244, 952, 1078, 4102, 2404, 3106, 973, 249], [0, 13, 2, 236, 980, 1022, 4172, 2348, 3134, 965, 250], [0, 13, 3, 228, 1008, 966, 4242, 2292, 3162, 957, 251], [0, 13, 4, 220, 1036, 910, 4312, 2236, 3190, 949, 252], [0, 13, 5, 212, 1064, 854, 4382, 2180, 3218, 941, 253], [0, 13, 6, 204, 1092, 798, 4452, 2124, 3246, 933, 254], [0, 13, 7, 196, 1120, 742, 4522, 2068, 3274, 925, 255], [0, 13, 8, 188, 1148, 686, 4592, 2012, 3302, 917, 256], [0, 13, 9, 180, 1176, 630, 4662, 1956, 3330, 909, 257], [0, 13, 10, 172, 1204, 574, 4732, 1900, 3358, 901, 258], [0, 13, 11, 164, 1232, 518, 4802, 1844, 3386, 893, 259], [0, 13, 12, 156, 1260, 462, 4872, 1788, 3414, 885, 260], [0, 13, 13, 148, 1288, 406, 4942, 1732, 3442, 877, 261], [0, 13, 14, 140, 1316, 350, 5012, 1676, 3470, 869, 262], [0, 13, 15, 132, 1344, 294, 5082, 1620, 3498, 861, 263], [0, 13, 16, 124, 1372, 238, 5152, 1564, 3526, 853, 264], [0, 13, 17, 116, 1400, 182, 5222, 1508, 3554, 845, 265], [0, 13, 18, 108, 1428, 126, 5292, 1452, 3582, 837, 266], [0, 13, 19, 100, 1456, 70, 5362, 1396, 3610, 829, 267], [0, 13, 20, 92, 1484, 14, 5432, 1340, 3638, 821, 268], [0, 14, 0, 216, 1092, 756, 4536, 2040, 3294, 918, 256], [0, 14, 1, 208, 1120, 700, 4606, 1984, 3322, 910, 257], [0, 14, 2, 200, 1148, 644, 4676, 1928, 3350, 902, 258], [0, 14, 3, 192, 1176, 588, 4746, 1872, 3378, 894, 259], [0, 14, 4, 184, 1204, 532, 4816, 1816, 3406, 886, 260], [0, 14, 5, 176, 1232, 476, 4886, 1760, 3434, 878, 261], [0, 14, 6, 168, 1260, 420, 4956, 1704, 3462, 870, 262], [0, 14, 7, 160, 1288, 364, 5026, 1648, 3490, 862, 263], [0, 14, 8, 152, 1316, 308, 5096, 1592, 3518, 854, 264], [0, 14, 9, 144, 1344, 252, 5166, 1536, 3546, 846, 265], [0, 14, 10, 136, 1372, 196, 5236, 1480, 3574, 838, 266], [0, 14, 11, 128, 1400, 140, 5306, 1424, 3602, 830, 267], [0, 14, 12, 120, 1428, 84, 5376, 1368, 3630, 822, 268], [0, 14, 13, 112, 1456, 28, 5446, 1312, 3658, 814, 269], [0, 15, 0, 180, 1260, 378, 5040, 1620, 3510, 855, 264], [0, 15, 1, 172, 1288, 322, 5110, 1564, 3538, 847, 265], [0, 15, 2, 164, 1316, 266, 5180, 1508, 3566, 839, 266], [0, 15, 3, 156, 1344, 210, 5250, 1452, 3594, 831, 267], [0, 15, 4, 148, 1372, 154, 5320, 1396, 3622, 823, 268], [0, 15, 5, 140, 1400, 98, 5390, 1340, 3650, 815, 269], [0, 15, 6, 132, 1428, 42, 5460, 1284, 3678, 807, 270], [0, 16, 0, 144, 1428, 0, 5544, 1200, 3726, 792, 272]}