equiv_classes

{512: [1639], 1: [103, 155, 156, 157, 178, 299, 300, 301, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 325, 326, 327, 579, 658, 710, 717, 720, 723, 733, 735, 738, 740, 742, 745, 747, 1104, 1106, 1145, 1146, 1149, 1151, 1152, 1155, 1156, 1164, 1166, 1168, 1171, 1173, 1178, 1180, 1186, 1190, 1195, 1200, 2540], 2: [173, 2127], 3: [4080, 4457], 6: [1111], 7: [172, 778], 8: [773, 1094, 1705], 2570: [2573], 11: [2247], 13: [2245], 14: [2228, 2244], 15: [1768], 16: [1766], 17: [1764, 1844], 18: [1478, 1762], 3587: [4070, 4459, 4916], 23: [519], 25: [1077, 1402, 1403, 1404, 1405, 1407, 2617, 2706, 2772, 2773, 3104], 2074: [2240, 2241, 2513, 2514, 2515, 2516, 2733, 2734, 2735, 2736, 2737, 2738, 2739, 2741, 2742, 2743, 2744, 2745], 1567: [4878, 4879], 35: [823, 907, 909, 910, 912, 913, 915, 917, 919, 920], 36: [1603, 4288], 2566: [2567, 2882, 3197, 3948, 4163], 38: [994, 2112], 39: [975, 2065], 40: [903, 1731], 41: [902, 1570], 42: [791, 2897], 555: [556], 47: [1093, 1201], 49: [584, 2187, 2428, 2429, 2430, 2431, 2432, 2433, 2434, 2435, 2436, 2437, 2438, 2439, 2440, 2441, 2442, 3350], 50: [585], 53: [502], 55: [582], 56: [2114], 58: [847], 2107: [3297, 4595, 4597], 1091: [1238, 1840, 2072], 1609: [2713], 1099: [1130, 3083, 4051], 98: [566, 2206, 2719], 83: [1396, 1397, 1398, 1400], 3161: [3162, 3164, 3166, 3167, 3168, 3169], 527: [750, 2195, 2272, 2385, 2386, 2387, 2389, 2390, 2391, 2392, 2393, 2395, 2396, 2397, 2623, 2720, 3506], 94: [1382, 2398, 2528, 2553, 2785], 2146: [2266], 1131: [1533, 1540, 1542, 1544, 1545, 1546, 1547, 1549, 1550, 1552, 1553, 1554, 1555, 1557, 1559, 1561, 1562, 1564, 1565, 4590, 4591, 4968], 2669: [2710, 2845, 2846, 2847, 2848, 2849, 2853, 2857, 2860, 2862], 2670: [2802], 3184: [3373, 3374, 3376, 3377, 3379, 3381, 3382, 3384, 3385, 3387], 2835: [2840], 3201: [4603, 4606, 4607], 2071: [2807, 3024], 2189: [3138], 3181: [3403], 1170: [1232, 1242, 1243, 1244], 2196: [3824], 665: [998, 999, 1000, 1001, 1004, 1005, 1006, 1007, 1008], 1179: [1181], 2204: [2317, 2318, 2320, 2322, 2323, 2324, 2325, 2326, 2327], 160: [1044, 1123, 1124, 1125, 1126, 1127, 1128, 2168], 2209: [4295, 4336, 4337, 4364, 4372, 4409], 4262: [4810], 680: [3031], 681: [3032], 2218: [2311, 4099], 683: [3034], 684: [3035], 685: [3036], 175: [776, 1068, 1071, 1076, 1085, 1118, 1132, 1231, 1371, 1372, 1373, 1374, 1375, 1377, 1383, 1384, 1385, 1386, 1387, 1389, 1391, 1624, 2201, 2237, 2334, 2412, 2494, 2580, 2581, 2582, 2583, 2584, 2585, 2586, 2587, 2588, 2589, 2590, 2591, 2592, 2593, 2594, 2770, 2997, 3322, 4594, 4921, 5009], 2225: [2267], 2226: [2774], 183: [1847], 184: [1138], 187: [1831, 2231, 2232, 2233, 2234, 2507, 2508], 2088: [4379], 1241: [2118, 2816, 2817, 2818, 2819], 2778: [2876, 3196, 3831, 4072, 4455], 2274: [2554, 2556, 2723], 2275: [2276, 2277, 2278, 2279, 2280, 2281, 2282, 2283, 2284, 2285, 2286, 2287, 2288, 2289, 2290], 1777: [2197], 754: [1249, 1250, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1269, 1270], 2805: [3407], 759: [3744, 3745, 3746, 3759, 3760, 3761, 3762, 3763], 4347: [4348, 4349, 4350, 4351], 1294: [1295, 1296, 1297, 1298, 1299, 1300, 1301, 1302, 1303, 1304, 1305, 1307, 1308, 1311, 1312, 1313, 1314, 1315, 1316, 1317, 1318, 1319, 1321], 784: [855, 856, 857, 858, 859, 860, 861, 877, 878], 4370: [4573], 787: [2188, 3552], 2332: [2335, 2338, 2339, 2340, 2341, 2342, 2343], 285: [293], 1073: [1098], 1848: [2784, 2887], 2367: [4526, 4527, 4528, 4529], 1352: [1606], 2901: [3071, 3205], 2618: [2624, 2766, 3278], 1376: [2357, 2358, 2359, 2673, 2674, 2675, 2676, 2678, 2680, 2681, 2682, 2683, 2684, 2685, 2686], 4450: [4566, 4834, 4837, 4839], 2403: [4381], 4453: [4574], 2414: [2668, 2777, 2966, 3180, 3404], 1395: [4389], 3965: [4234], 901: [1366], 914: [916, 918, 939, 962, 967], 934: [952, 954], 1778: [1779, 1780, 1781, 1782, 1783, 1784, 2421, 2424, 2425, 2426, 2427, 2484, 2485, 2486, 2488, 2489, 2490, 2491, 2492], 2482: [3140], 1464: [4331, 4332, 4333, 4334, 4335], 2493: [2512], 457: [506, 2782], 3020: [3043], 1997: [4382], 3539: [3843, 4081, 4283], 2519: [2561, 3023], 2521: [3143], 2523: [3579], 2535: [3144], 3560: [4229, 4236], 3563: [3566], 494: [3417], 503: [510, 2552], 1019: [1247]}