| [C1] non-units | [C2] #non-units lead to same #solution for |
[C3] #solution for = non-units in C1 |
|---|---|---|
| 2325, 2050, 2700, 300, 2950, 325, 2675, 1925, 1450, 1325, 2300, 1300, 175, 2450, 1575, 1550, 1800, 200, 825, 1825, 675, 3050, 1875, 2200, 1050, 2425, 550, 1700, 450, 2800, 2575, 575, 2925, 1200, 1175, 1950, 800, 2825, 75, 1250, 950, 925, 3075, 1425, 50, 2075, 700, 1675, 425, 2175, 1075, 2550 | 52 | 8750 |
| 1125, 2125, 125, 2250, 1000, 2000, 250, 1750, 2750, 2625, 0, 500, 3000, 375, 1625, 1500, 875, 750, 2875, 1375, 2375 | 21 | 5625 |
| 2505, 115, 2045, 1860, 2410, 845, 2315, 2680, 2955, 1665, 745, 1935, 460, 275, 270, 2015, 355, 905, 715, 70, 1350, 2635, 2260, 2350, 320, 2340, 1780, 2605, 390, 20, 2400, 835, 1560, 995, 165, 705, 1805, 690, 595, 2785, 1485, 2295, 1740, 255, 1630, 1615, 1795, 2235, 2035, 1095, 815, 430, 2080, 40, 495, 2310, 85, 1275, 520, 515, 1230, 30, 2215, 2945, 350, 3010, 1885, 225, 570, 840, 2655, 1730, 1890, 2895, 1400, 1210, 1185, 1245, 1790, 1580, 930, 2190, 345, 35, 1110, 2545, 240, 1130, 755, 3115, 1545, 2610, 1660, 1345, 2440, 1305, 1205, 1540, 245, 2685, 2835, 2275, 770, 2140, 2105, 2280, 590, 2695, 2475, 260, 1510, 1225, 820, 2465, 405, 855, 265, 2645, 400, 1585, 810, 1495, 290, 2455, 55, 565, 95, 410, 735, 2795, 1865, 2005, 3005, 1490, 1295, 2985, 1285, 1595, 940, 2180, 330, 3040, 3120, 3060, 2460, 150, 1020, 640, 2980, 1405, 2090, 2445, 1475, 635, 1135, 2225, 1070, 965, 1280, 3105, 1765, 2395, 2525, 1960, 435, 1745, 1915, 205, 2305, 2065, 2970, 785, 360, 3045, 365, 2880, 2130, 2990, 1045, 235, 910, 1845, 2565, 3055, 2580, 1415, 2870, 310, 2085, 1150, 1270, 2265, 730, 530, 465, 2195, 475, 1010, 760, 100, 1320, 2590, 2155, 2230, 140, 2145, 1525, 2335, 60, 1995, 1725, 1015, 2010, 1340, 280, 1975, 980, 3025, 2885, 895, 2940, 2775, 1310, 120, 2165, 2330, 285, 1470, 1235, 740, 5, 2485, 440, 1040, 3085, 2640, 1530, 1690, 695, 2740, 725, 2770, 135, 1635, 1980, 2975, 2965, 920, 1155, 900, 2890, 645, 2690, 1775, 1460, 370, 2415, 1785, 790, 2430, 385, 1220, 1370, 2365, 2755, 710, 990, 3035, 580, 2405, 1410, 2930, 885, 2705, 660, 1120, 945, 2935, 890, 1900, 3020, 975, 605, 2650, 655, 2585, 540, 1590, 1440, 445, 2490, 860, 2905, 2850, 805, 510, 2555, 2255, 210, 1260, 850, 2290, 2345, 1715, 720, 2765, 2370, 630, 455, 2500, 2220, 2570, 525, 2860, 870, 2915, 2245, 110, 2560, 1565, 2820, 775, 1670, 2720, 2055, 10, 65, 2110, 1005, 2615, 625, 2670, 155, 3095, 380, 1480, 485, 2530, 2960, 915, 970, 3015, 2540, 2595, 2495, 2620, 1035, 3080, 2030, 935, 880, 180, 2170, 955, 470, 2515, 1465, 2845, 1830, 780, 1880, 2120, 2995, 1920, 1085, 90, 2135, 1030, 2420, 2095, 3070, 1025, 620, 2665, 2745, 1850, 1390, 395, 195, 2240, 680, 2725, 105, 2150, 3090, 1140, 145, 2900, 1420, 2470, 220, 2210, 130, 185, 80, 3065, 1380, 505, 2855, 865, 2910, 1835, 560, 1555, 1265, 2355, 2520, 2185, 1620, 1330, 1180, 1315, 2160, 2920, 1115, 1170, 1610, 2660, 615, 1720, 190, 1055, 3100, 1455, 665, 2710, 1685, 650, 1145, 1855, 2840, 795, 2320, 2385, 340, 2510, 1195, 215, 1105, 2270, 2025, 585, 2630, 1810, 1870, 1165, 2205, 160, 305, 2815, 2535, 490, 1735, 45, 1755, 830, 1985, 2285, 1970, 1815, 1930, 2060, 15, 335, 2380, 1650, 1395, 1515, 2730, 685, 1655, 1215, 2070, 25, 2760, 600, 1445, 1840, 230, 2020, 960, 1435, 2790, 1190, 1360, 295, 1240, 2115, 670, 2715, 2360, 315, 1910, 2805, 2830, 2435, 1645, 480, 1820, 2100, 1760, 1600, 1695, 1905, 2480, 2390, 1770, 1335, 1060, 1290, 1680, 985, 3030, 545, 2865, 1505, 420, 2735, 1535, 1940, 555, 2600, 1955, 2040, 2810, 765, 1895, 1640, 1355, 1090, 1570, 1100, 1385, 1945, 1965, 2780, 1605, 1520, 1710, 1705, 1065, 3110, 535, 610, 1365, 1255, 1990, 170, 1160, 1430, 1080, 415 | 552 | 2500 |
| C2TC3 = #ways delta can be non-unit | 1953125 |