/* www-ATLAS of Group Representations. Co2 represented as permutations on 4600 points. */ G:=PermutationGroup<4600|\[ 2436,2525,4562,181,3083,3425,4056,4098,2453,4510,1538,2753,2074,24,3983,4187,2397,2416,1385,424,1722,233,3755,14,3862, 1740,1948,3826,2304,2836,2586,1201,978,4044,1457,2920,3904,4391,3180,368,3982,3739,4001,834,3150,2344,1267,137,4147,372, 1320,2495,2246,3372,3997,1471,4076,2218,1018,2868,3054,3610,3967,2312,2925,2906,1565,892,1009,923,578,3407,3966,291,1567, 603,249,3070,4114,2945,2159,2476,494,2595,1512,4462,87,813,650,2223,4378,3265,1780,2224,1984,4060,3170,4004,1676,1653, 798,910,4192,1982,2766,1427,4358,796,4435,1522,3866,2479,1451,1119,4534,1035,3733,4226,2310,3521,2914,1254,2870,2085,2704, 2877,584,4251,1396,4504,3500,4556,4516,2697,3657,3347,48,2558,4501,903,2348,4533,1259,2156,3341,1317,2797,3807,4561,840, 3451,2790,3636,170,1255,282,2255,200,2821,160,320,1956,3095,3427,4250,4014,2467,168,4235,154,4129,4141,652,469,1222, 2820,253,1589,1769,4596,4,3723,4384,3308,2856,2065,474,1705,2603,3602,4160,398,1621,4101,4408,2207,1393,955,1833,158, 4224,1749,806,266,859,1685,2642,2637,1278,1839,211,2679,388,1345,1874,4439,4195,3203,1056,4090,2665,4355,2353,2375,2668, 2311,2187,1843,1702,3743,3478,749,22,4342,3693,663,3525,1182,1965,1707,3516,3599,3853,2004,4467,1372,2376,3702,77,400, 1337,3975,177,1804,725,1924,2998,634,4006,1447,1735,1985,2863,3312,1774,204,2062,2635,2406,1996,2852,851,1191,811,3669, 2715,391,2294,280,279,2050,156,995,3812,674,2333,1053,4003,2384,4496,74,2322,1196,3635,1082,2242,4567,2116,1969,1620, 4494,3479,303,4283,2103,2829,3948,2737,3175,1426,2599,2307,3410,2675,4289,717,3397,2557,1639,161,1526,2219,2442,3703,2553, 1192,1714,1612,334,3721,3711,2563,415,329,2931,4126,3648,3804,2750,3704,1379,2003,3691,2254,2954,2579,2886,931,3043,350, 1434,946,1006,1903,815,3960,1991,2861,646,1479,3586,559,2581,2694,3510,3193,2733,40,1674,2120,4323,50,2031,2141,1877, 2094,4428,4401,3624,4304,2147,512,4416,1869,4086,2222,2739,213,3322,2486,277,1415,1399,2734,773,838,1220,192,4575,250, 3829,3199,3900,3053,500,3828,3871,2341,2846,3717,631,2902,1955,4312,333,1928,3093,1090,737,3791,1378,3990,3774,20,4442, 489,1766,4203,3786,2664,700,790,3551,1163,2466,3650,3468,2950,912,715,1756,671,2580,2712,3357,3683,4300,2345,818,1966, 1499,1983,707,3118,4443,656,2640,4453,2240,1224,2439,4065,1490,2118,1682,3462,2444,659,174,3216,1669,3435,4164,187,4124, 993,1951,3912,1916,1715,481,4488,4015,2519,3081,2340,2817,2475,426,1283,3392,2518,3434,83,1876,1004,2018,850,4111,405, 665,865,2238,2707,2385,1868,776,1987,1920,1133,3534,382,667,3530,2226,761,679,4339,3527,637,1771,3006,1177,2132,2449, 526,1160,868,2363,2686,4257,1095,696,1113,2975,2944,2593,932,2424,2201,2127,777,3270,2670,635,4255,4057,3794,952,4334, 2835,1995,4483,1016,2653,556,1478,1976,362,3014,571,2727,1775,3421,1825,2160,4429,2744,1455,2654,561,4022,3389,2411,3268, 3940,2047,71,3724,4432,3499,1456,2260,127,2887,3536,2091,4519,2676,1558,1750,3402,1243,3198,4103,2090,4029,632,726,2443, 1116,1561,76,4276,2818,2122,3787,713,2966,820,881,4034,2534,2477,3394,1118,833,1506,3993,2013,3881,1571,1640,3891,4385, 1114,2080,732,3667,3412,411,598,3615,258,545,2672,520,1093,1661,4017,2174,1531,4130,3776,2866,359,1436,4324,3257,89, 3219,173,2212,979,2256,456,4036,3680,468,3066,3096,3487,236,3490,501,1127,513,1542,3825,3609,442,2176,2012,285,4291, 3799,1861,4172,517,686,3092,4587,1563,3162,728,680,4125,3684,3496,3388,3592,994,3446,764,4569,533,4000,2496,4234,431, 1592,4332,3614,4059,1536,825,453,2524,2191,4198,3369,4455,608,1793,440,2589,316,1772,2328,4146,3398,3803,4405,3726,255, 599,3736,685,2978,4376,2594,628,4062,4136,2847,3833,419,4487,1610,2183,3604,3751,2943,2683,1331,3253,2138,1280,232,1167, 2924,2767,2895,1556,827,2299,1417,1074,4592,4045,516,4225,3319,694,1017,1618,1849,1888,3837,1842,2072,3137,395,774,3267, 507,542,4026,3941,1476,1086,2249,1282,2313,3827,2033,3705,3824,2736,432,2548,1071,2356,1138,2666,108,4163,101,956,1927, 1140,4582,3588,1604,3765,203,1812,3442,2569,1628,274,4568,88,4571,355,2542,4148,449,4407,610,3689,822,4199,2851,706, 1636,755,2629,2058,1810,3964,1728,617,44,2061,3911,3897,396,1667,150,2543,2112,3522,1304,914,1444,1583,1919,2367,498, 272,3213,2437,2605,2937,2746,1788,1696,205,1518,3004,1736,1787,2878,502,3200,4085,528,3161,4396,2123,872,3090,1435,3606, 2155,3714,3716,4456,1643,611,3106,4072,1641,3482,3032,895,2157,3012,3845,2574,68,2465,2760,887,2844,3822,1626,2986,3608, 3665,2034,140,3212,2535,1687,4548,3675,3104,102,2974,439,4349,845,1027,3640,1856,4558,2527,2560,2409,4107,70,1846,4395, 1135,4584,1158,2228,3480,348,538,2508,2415,1367,2855,3663,1217,1466,2875,3277,4445,1502,2885,2639,352,4095,1209,2565,4137, 1303,549,4268,3185,198,799,2000,2942,3152,1418,3596,1023,1188,3709,1555,1908,2266,3662,1376,2086,2308,3050,1295,3376,3176, 1937,2407,33,654,3387,2125,3466,4240,3507,1248,1077,1391,1602,2714,2726,3514,1791,476,692,283,1936,2933,3364,2236,3745, 3842,1002,4210,496,1137,353,3303,1037,69,4538,3554,3489,2208,4564,1801,554,765,59,1574,4068,3091,1816,962,3465,1377, 2135,915,1614,1066,2306,3914,3461,1334,2969,116,2970,1008,1110,1050,3471,1865,2331,2239,1272,4563,4135,1765,2412,2544,1039, 1106,1743,287,3111,3848,219,1847,3988,2880,2858,3136,3114,3578,4347,3532,1029,2369,3286,4370,2192,792,1084,3384,758,3947, 1712,986,1164,3540,3241,3080,295,1250,1072,3981,781,2026,3206,4542,418,2623,3240,638,3603,532,2410,2227,3138,1704,3748, 4037,3989,1438,2826,2964,1051,2485,2843,3568,1038,4509,4197,534,626,3246,601,2282,616,114,4222,1591,3840,4369,1406,3811, 2523,666,3929,4420,2391,1576,2708,510,3339,926,1523,1005,794,2971,801,4233,3924,3107,4335,1266,2371,2041,2765,2547,4590, 2169,3502,3210,4345,2972,1263,4329,928,3236,527,1202,1954,434,1078,4118,1392,750,1312,3396,3194,3226,3011,2959,4434,3778, 4447,523,3393,2252,2084,2325,238,2231,2507,4379,3590,3324,963,1294,1494,273,326,3368,4307,2388,293,1721,3416,3587,4280, 32,1161,4446,3823,1369,2646,1779,3946,948,2982,1238,3059,1898,3258,1718,4245,938,3075,3575,397,2611,175,1244,460,3320, 2463,2195,3777,1236,4298,4211,3415,1695,2677,3909,1229,3620,1211,1945,2695,3531,2006,593,1223,2319,1935,2461,985,4105,1083, 2554,3832,3520,122,155,1256,2089,3649,143,2482,2837,3808,1156,2899,3472,1145,47,1638,4518,3806,2502,1044,4577,2483,1534, 1708,3063,209,3519,748,3861,783,490,2522,4265,1917,3035,4269,3172,1694,4023,2758,2713,1189,973,4544,1606,3775,1909,4393, 3987,4599,951,844,2961,2277,3231,1773,3142,3242,2262,1168,3613,4178,4422,3772,146,3171,3406,51,4067,2759,4128,1947,1325, 3750,2564,4474,2549,3780,745,4444,1554,1033,1845,1891,251,3789,4539,3617,3153,2698,4297,1994,214,3248,4071,4184,4527,4244, 3211,3854,1353,3846,4138,4315,4209,1594,4438,1597,2506,1615,3469,2619,2811,2377,935,1742,1205,3980,3656,246,3754,1939,3671, 969,1025,421,341,3978,4100,2795,2399,3001,19,2669,4537,3918,2097,3790,987,1166,197,3728,2067,129,3517,1889,393,3178, 3856,4499,3582,1689,3752,1124,3130,2687,4475,1805,2859,3792,2774,3269,392,4295,757,960,1783,2253,4277,2510,2048,2019,3222, 310,106,3266,2378,3722,1940,3744,3390,351,874,647,2984,1103,3932,4247,3793,3362,1741,846,2673,1893,260,2710,4189,1617, 113,3954,2922,3710,569,582,35,1657,3191,3935,2838,3579,2815,4418,3571,939,4313,1468,3963,4557,56,1515,2234,1624,2930, 780,2068,557,360,2045,2802,3718,3113,3420,1501,2280,2229,3148,2075,463,2372,2170,2787,1190,2541,2706,2627,4365,451,3385, 1485,943,3616,4478,3374,618,2892,2296,3529,2691,1511,85,2660,2600,1472,2317,4566,860,2793,2165,2161,110,1136,3082,1763, 321,3859,4217,3046,1581,642,2213,2591,1275,3857,705,2143,11,3720,4143,1930,668,2181,4223,2999,4457,3309,3298,2530,2243, 2203,1900,1652,1333,965,754,2134,590,3133,4227,602,3078,683,2570,67,4190,75,4311,3760,4489,622,3166,4113,1019,3553, 1131,4206,3126,2741,4484,1530,3100,847,4497,3611,2484,1734,2309,178,2918,1121,701,3285,1358,1905,4547,1360,4441,1649,3996, 4325,988,2057,804,2350,1297,3275,2295,4031,739,3094,328,3623,1028,1362,3160,1450,766,3664,300,193,3230,1623,1474,3878, 898,3038,810,3561,4133,1942,1753,3607,2020,2769,826,3600,1268,319,623,884,1744,880,3123,2738,3698,1960,3844,1599,1655, 4099,1553,100,2468,1650,2272,1458,2608,3120,1829,639,4290,4404,2990,3071,4149,839,3488,471,3781,2455,3088,2601,369,3834, 99,4436,1871,2649,3581,2991,465,2604,3457,206,3099,906,4309,1404,4397,4525,2951,3351,1290,1233,858,3302,2650,3022,3300, 1901,229,2184,1099,188,2230,240,1276,2957,2822,3223,1076,3666,327,480,3144,2731,1215,4097,4583,1197,21,2801,2873,1755, 3668,3605,832,2217,3377,2791,3411,2025,1587,261,862,1770,4253,2261,26,1443,1368,1052,1642,3183,1746,2291,3539,202,591, 2884,3358,1632,1830,1725,441,2370,2177,2979,2749,2083,2947,1525,3956,1047,427,2039,2302,179,1737,521,718,1308,265,563, 1925,4054,3994,1207,93,3431,2555,1419,1915,2347,3706,863,857,3701,3538,992,2179,714,1794,3545,2197,1798,1797,3423,3149, 1015,3097,3332,254,1410,2338,2423,3192,3626,830,2493,807,2561,3313,1933,1022,2471,4454,2862,3809,2351,1870,2327,4083,565, 4285,4493,4088,1660,1754,4170,3056,199,3030,2960,3453,3979,3902,210,2644,3408,770,228,2470,1335,924,1057,4119,767,4216, 2735,4152,1853,1944,3484,917,2898,3583,1977,4328,677,2794,4287,2782,1041,3055,2314,506,384,1822,1678,1972,2469,215,3958, 495,375,2596,3756,3589,2115,2994,2336,3255,3061,4535,4200,768,1398,3877,1336,2001,1446,3417,2903,2743,2383,1213,2108,1552, 1701,2154,354,3557,1595,3329,2380,966,1299,4427,3190,3758,2614,2521,1784,479,1286,3518,848,509,4433,3872,4049,256,1776, 3505,800,416,3429,1541,4165,2009,1815,2728,1246,996,976,1950,1374,1431,2976,1631,2661,1854,1239,2967,1324,27,3028,1938, 477,4450,2572,1162,413,162,3889,3375,4212,1647,2624,3565,3173,3504,239,450,2225,4069,299,2063,4522,1872,4502,3354,2454, 558,1859,4166,2038,4181,3031,104,452,95,262,3349,508,4302,4202,3642,357,2995,2404,1344,552,270,3188,2630,3685,957, 1892,4292,342,244,2808,1242,3456,4594,1932,2200,4514,673,620,4021,3281,2864,4322,497,1424,1634,3380,2823,4448,3386,1733, 1087,3363,2860,4308,2186,373,4154,786,902,2742,3999,3690,1979,1767,2232,1147,2617,3259,3574,1480,4104,577,1423,2324,281, 2196,3167,4472,3232,2279,2539,1603,829,4162,4259,835,267,1970,3597,186,3535,1395,1477,2106,2688,3486,771,3817,13,1489, 3378,2361,2078,2140,627,4033,3501,1761,1180,124,970,3742,2501,1257,596,587,3544,2381,376,2751,2318,1389,4158,2597,4294, 2426,2168,305,3089,3314,2069,4515,1899,2269,2532,3455,842,2575,2352,1881,298,3422,464,2768,370,3984,606,871,2366,981, 2657,541,3291,3576,2671,3985,524,4188,1557,1026,3874,3119,747,3085,2079,374,3239,1537,2973,2392,3293,381,2430,4362,4543, 2690,4409,3559,1902,876,144,888,3523,81,566,1521,3340,4479,2284,1520,2940,2889,2102,1151,1492,2989,2740,2481,641,2289, 672,1758,2551,1792,3463,1543,3470,740,1703,2403,2030,227,2552,4579,4414,709,1070,4051,3428,1227,2051,1796,3577,4055,2010, 540,3371,1551,2337,3117,4574,196,1013,3782,3849,3202,653,1532,4120,4215,4426,1729,58,322,4093,3899,386,90,94,1967, 515,1097,929,1487,1706,1183,2040,2520,1473,3146,999,2634,503,1043,459,2478,296,1550,4121,3678,53,3197,3433,782,3235, 3134,1179,1420,344,157,655,4495,3249,2401,583,1739,1311,4127,3875,3903,967,2420,2429,2109,4073,3159,1656,2435,2932,3864, 2680,1306,2512,2055,1486,3890,1117,3052,2164,3712,2428,3140,2723,2175,3885,1747,4424,3797,278,1608,1508,3299,3164,756,4263, 3027,1768,3633,29,3437,1030,312,971,1588,119,226,64,784,1867,4532,2474,1516,2096,1245,2326,3753,292,4367,2049,1181, 2320,1823,719,3330,4171,1042,2800,286,3655,3802,1883,2204,1806,3401,486,408,4341,2952,46,448,4337,1785,141,2786,1605, 1821,2114,223,3992,3905,793,2610,4512,3732,3700,2077,2632,529,3887,4430,2124,849,3000,1067,1757,1146,1491,3021,3215,224, 247,1366,1429,2919,1907,2093,3923,1897,289,505,2626,2585,1195,4079,3060,1130,2145,3452,3145,3696,3430,17,2934,1383,2459, 2259,3373,2185,1993,4122,269,977,2842,921,1096,574,1048,4440,4492,934,18,4348,2425,4058,2267,3930,3251,1807,539,2418, 2101,4028,2286,2268,2148,2659,2432,3087,3550,2273,1,853,2651,461,3360,3098,323,600,467,2452,3659,4500,3221,525,4258, 4386,2445,9,1975,1671,4193,2841,2956,2400,2711,1247,3572,1226,2985,893,435,167,1654,1873,1844,1817,4267,2473,2316,488, 82,614,2241,112,2840,2173,1260,1274,1586,1107,390,3731,2511,3560,3638,3051,4576,1811,3272,52,698,2907,4011,4449,3695, 2088,1271,4471,3186,4368,1361,1184,933,3365,1422,2488,2278,4205,2955,3625,3447,2799,492,484,2233,1914,1284,1126,708,2, 3973,919,3101,4139,1549,3699,2110,4007,613,905,3352,4167,4155,2056,4570,1495,816,841,1049,2559,2830,1149,791,1329,4555, 2178,2188,325,1251,1782,2696,318,138,2545,920,1813,3627,332,1327,949,3132,2983,3473,809,1564,3562,1953,3868,891,2113, 2909,2857,3003,346,443,363,2781,3898,3580,2387,31,4541,3424,716,3440,1533,3969,537,731,84,1878,2099,3443,311,1514, 1673,2833,189,1683,854,3292,2981,1658,4077,2357,1221,4319,2807,1913,3801,3497,2042,3310,1364,4560,2865,3511,1091,1961,4465, 2386,1497,2701,828,1998,3707,2362,3321,2237,268,2926,208,3515,945,457,2965,207,4431,1840,3010,1206,3475,4468,1679,1698, 2438,4423,555,570,3672,4140,2126,2658,2431,1513,1943,3076,4144,430,221,795,3271,225,1386,544,2130,636,1445,2682,314, 589,1234,2803,212,2276,2809,2674,744,2968,4191,530,1408,2070,3788,2151,1510,3552,3261,364,1240,2556,134,1342,3019,3290, 2628,4343,3573,125,3867,1496,504,1132,3151,1448,2460,444,1293,989,276,3382,4473,3305,3367,4061,4018,3304,2288,3058,4411, 990,562,1934,3820,2730,1717,4273,367,394,1851,789,308,1645,387,2172,1579,2035,1896,568,3337,856,3282,3601,1760,339, 2095,2883,12,3679,3189,4081,3858,1292,1322,894,4042,3569,3855,4145,1148,105,752,2119,1635,2958,3815,4520,2773,1413,3879, 4591,4505,2783,3933,4296,2582,1864,2778,2911,3237,2349,1493,4545,3950,152,1731,4546,1519,1862,1382,3044,147,2825,2517,2332, 1723,1481,2678,3025,4398,3870,2613,2005,2681,3436,1365,3125,3508,4039,1463,4480,487,605,3537,176,159,1710,2022,4030,2798, 1104,3492,3182,306,2546,2941,3783,2602,4248,551,30,1261,1461,3628,2480,2457,2408,1108,896,2881,409,735,4375,3008,3547, 824,271,3483,2915,936,185,2577,1060,1411,2028,358,1819,263,2016,2621,645,3566,60,4552,123,2901,4452,1724,3296,940, 2963,126,864,3715,1059,2845,3595,2752,1751,944,347,585,3888,2167,4593,4388,1507,3400,4214,753,4317,4272,1857,1264,2900, 2871,412,1895,3818,3450,66,2497,4230,2576,3315,2784,3169,4326,121,2854,4530,3295,1590,2379,36,3850,1453,3276,751,65, 2636,3512,4008,3105,1475,335,2274,997,2398,4523,4580,855,3342,4286,2166,2831,958,743,536,80,4340,1762,4020,3037,438, 1692,2343,4412,345,2514,2458,1709,2770,1173,1835,1305,4511,2876,1105,2641,609,1946,2684,1034,1036,1139,1155,2144,911,535, 1941,3785,729,1759,4264,2607,1210,2567,1437,2464,899,4183,3184,2171,1664,1681,3961,3528,1882,1992,4320,3931,257,1545,2368, 1384,3002,2578,861,4303,522,3264,2849,4231,2645,1172,889,3734,560,3651,3016,3976,4301,2699,3020,2373,1699,3328,4419,2804, 4279,2301,1949,3445,1834,1981,886,3513,3810,1287,3036,2949,1627,3361,3127,3112,3318,349,2796,4299,1529,4595,4321,4047,972, 2491,2283,404,61,1866,1832,4242,2724,1212,2390,1885,4354,1277,3779,4281,660,3301,4182,4394,78,1665,3934,3919,4229,1218, 2662,4108,1562,3109,1081,485,1524,5,3660,2139,3637,2433,1672,2104,873,1021,681,417,1611,163,661,1802,2441,1686,1582, 2528,4466,3179,909,2929,882,1143,4490,3079,4063,1054,3041,1483,1062,3459,4383,2205,454,2137,1659,3348,4597,1644,3937,2812, 1578,3040,4400,3770,1407,3892,2566,1559,2251,3768,1061,772,1098,3273,2287,3141,1309,4485,1716,2394,2235,4357,1488,1800,45, 2709,959,1341,4305,3439,3686,4382,4506,2271,1616,869,684,3409,2298,3165,1572,2052,3563,2912,97,1318,1289,1963,4270,309, 975,3177,1400,3103,39,4361,2828,1745,2988,954,2504,4508,1997,2755,1911,1459,1808,366,1170,4350,4498,2247,594,402,866, 4207,2211,218,4372,4106,1088,3284,3942,3252,1153,1351,904,852,3214,2374,470,3873,3977,651,4359,2448,1425,1711,3727,3729, 1171,4132,4201,3467,1622,1307,2054,4554,4503,2250,1159,2785,4243,2142,1092,1080,1310,4331,4476,4131,1115,4524,1346,2258,3283, 2422,3209,746,3399,1884,3839,649,1214,2043,3971,2693,3646,4074,3007,92,1428,775,575,1414,543,2667,2494,3139,4410,1607, 2923,941,3632,3494,3356,2015,2747,3250,3207,1593,1068,4075,4360,3594,2700,2128,2606,2146,4175,2917,2874,3821,1548,2297,1700, 3067,1697,1007,2722,2718,4333,4228,184,1547,2618,3965,264,1814,2105,2910,3556,3476,3042,763,1225,2633,389,4513,1187,3970, 4219,3908,3023,1906,2329,3485,1803,3901,4246,4043,3882,2745,3949,1134,2162,145,2938,3647,3359,4356,3697,136,3121,1986,4019, 1693,2536,3542,1974,3805,3280,445,1752,3344,2440,3039,1442,2027,998,2509,3741,2719,1193,711,3737,2202,54,2402,1505,1958, 974,1730,2076,4344,2021,3816,2716,3546,1073,1500,2024,980,690,573,1433,4046,491,1178,615,4351,1169,317,721,3254,2893, 2339,592,4491,3921,3819,1319,72,1841,3163,313,1732,630,4581,3634,1232,1198,1894,4241,4094,1484,564,2117,1799,2588,6, 3719,164,2194,1929,2396,1781,4157,2248,493,472,2810,2305,3438,3155,2590,3922,808,2598,3915,3029,693,2516,3851,4078,2905, 151,2393,1836,3995,2111,2007,1684,3598,3115,4239,1032,466,2180,4096,1024,982,3229,437,1363,2182,1040,1265,2568,3955,2647, 3317,3959,231,302,930,4417,885,2853,1855,3331,2071,662,1668,1012,664,4437,2827,3747,3279,3865,689,2616,4080,581,131, 2082,1152,3884,1964,1926,4318,984,2813,3509,365,2622,2927,3033,991,2638,241,1397,1918,1279,1253,120,843,2158,4249,237, 3813,519,2993,1509,514,1241,1065,3841,511,2066,586,2819,1790,1748,1079,4213,3353,4161,2092,1795,3383,2850,4338,3652,2434, 433,2692,1575,1011,4221,3316,1904,4377,2153,2489,1629,2571,3168,3814,1962,2867,3567,1109,2762,4526,1465,2462,2703,2044,1219, 2129,2198,1063,1462,2584,1680,1403,1858,4260,4282,361,1199,803,1880,1186,3945,691,4252,3289,2882,961,2064,3458,242,1637, 2748,190,1094,741,1727,875,1633,900,670,62,1585,3939,1313,703,633,1503,1340,4461,4208,1237,4421,4536,1613,379,2515, 1809,2562,2839,3629,4517,4540,3278,2303,3414,294,153,3086,2490,3762,916,4559,1990,4013,3974,3893,3262,3343,337,1258,436, 3015,3549,4010,4254,2334,1371,135,4110,2446,3084,3746,968,937,1619,901,1713,629,1726,275,3670,1375,2655,3763,4573,908, 3757,4336,2245,2754,658,4169,4025,446,688,1999,3156,4176,4005,821,2037,343,4142,235,3708,2500,2395,3346,1646,2531,2360, 1789,248,324,340,787,1786,2631,3694,964,1454,331,2285,3771,877,2879,878,410,1482,3426,1539,330,1430,182,579,3957, 724,3224,1394,3225,3852,2487,2359,117,3013,4390,727,3370,3769,42,4550,3366,2087,230,1432,1000,3661,3493,1100,3749,1326, 742,1405,2321,1373,23,1879,3676,1912,4275,1569,4186,3639,3673,4284,805,4151,3943,3135,3738,3129,3713,1316,4600,423,1298, 644,1228,1175,3064,1330,1670,2209,2832,4009,2977,429,607,2689,1338,1390,420,1412,1441,548,4123,4238,2293,3835,676,4464, 2615,2335,722,338,3355,1270,148,1262,1820,3034,1125,284,3526,3564,2771,3381,2073,2904,3405,2729,3297,897,1204,788,669, 28,785,406,401,4469,4330,1252,736,1675,3798,4406,769,4116,3256,1122,3533,1001,3843,1648,890,1354,4220,1055,2210,2921, 3448,3730,243,1352,2763,1401,1535,2757,1527,3860,1281,25,4598,2275,3495,111,2705,2573,3916,2806,407,1922,3217,2136,2264, 4327,1890,1625,2775,4306,621,3336,4425,3503,2290,3926,2364,2888,1957,2281,624,3131,3645,4236,4346,4352,837,2583,2221,403, 3333,1838,2265,37,2355,3906,4174,3327,1235,4371,836,478,4363,1031,3444,3869,4553,1388,3073,3986,3404,3441,2382,1142,4278, 3886,4366,4521,1128,2421,2997,1439,2779,3072,1460,4373,3124,4458,3612,576,779,3208,3767,4549,3591,1208,1075,307,3338,2789, 4024,3952,4392,1452,3474,1764,3725,1875,3477,356,2992,4481,1469,831,3311,73,63,4588,2592,3325,3260,4053,2526,3644,252, 3017,3218,1380,1837,1370,1085,41,15,2121,2131,3920,1301,1058,1102,422,4353,2354,619,1778,3454,1600,55,4413,2036,697, 43,4470,288,98,3688,259,2533,2928,3784,3653,2498,4173,3643,166,483,4082,640,2721,3350,2948,2014,572,1291,3951,3682, 778,4387,2427,597,2824,1609,4032,2081,612,4196,657,1101,4374,2814,4089,4112,2761,3335,34,760,3391,3049,4115,1923,4070, 2193,4271,3972,1777,2199,7,547,2419,704,96,2720,733,3110,4451,462,4180,1321,1020,1968,4050,1347,883,2270,3263,3287, 57,2609,3449,2389,3498,2756,4016,1824,4091,867,385,4402,1828,4040,220,4084,4389,2220,3419,947,3464,1719,8,1651,1381, 194,4380,595,2046,1249,3205,922,3077,4168,3658,499,4041,1573,79,4048,3838,4117,1165,1848,2214,2244,2405,3795,475,687, 336,2263,1323,171,643,3245,3227,1630,4403,1046,734,950,1355,2529,2656,172,3692,1540,2663,2764,720,49,817,1666,4572, 3766,1852,4153,2032,2538,4274,3432,2098,4381,191,3543,2059,797,473,1931,1978,2537,4109,3681,1831,2330,678,4012,3907,3294, 3687,4237,1314,4218,4066,1980,3068,2987,1348,4314,3761,16,2133,1449,1566,2685,103,2456,4460,217,4035,1112,710,823,1887, 3228,1989,428,4415,2513,1577,3201,3619,1357,1003,1231,1959,3541,2894,2215,1850,1528,4179,3326,3847,3555,1120,1544,201,762, 118,1560,3307,3074,2908,3009,4232,1141,699,169,3894,4177,3796,3460,983,3418,3057,3238,1350,1216,3334,1440,2834,3524,165, 128,3593,1738,3654,546,4293,531,2450,2060,3584,4364,4528,2300,2980,1285,4586,2472,953,1288,3174,4052,2897,2732,4156,3759, 604,1421,3925,3026,1200,3065,3585,304,3764,1826,2939,1863,4531,315,1662,675,2002,4256,2100,1416,2780,1343,1230,3045,447, 3018,1988,3005,380,3154,3880,1194,2029,1688,4551,1568,414,1467,4185,1356,4316,2896,3506,2612,2996,3048,2017,371,648,1601, 2913,3876,1860,1157,3831,3243,702,3306,550,1144,3677,2346,3548,518,2946,2342,234,2702,3379,1154,3895,1064,2417,913,3195, 3395,3896,3991,3062,222,3345,3147,107,3220,3288,3181,2149,3913,4261,1498,3927,2323,2505,1123,1069,3910,3204,3936,4038,2848, 730,3558,91,1185,4102,4159,3157,3116,183,625,2451,4027,2891,4092,3735,38,3953,1300,3069,925,870,1690,2805,4529,3128, 378,4087,4134,1663,723,3836,819,195,2152,3274,2725,2953,3998,2190,4204,383,3481,1464,3024,1129,3621,1315,2652,2292,3883, 2216,1910,377,567,2365,2643,580,1921,1174,109,1677,3491,1359,216,2413,1598,425,455,1332,942,1203,1176,2023,2499,1952, 4064,2872,458,1818,712,879,1546,3938,4486,4194,3618,86,4585,3800,2625,3102,245,2648,3830,4002,2503,2053,2717,1328,1409, 3244,4482,1504,2163,2816,3962,4477,553,1580,3143,4459,738,482,1570,3108,3403,2414,1827,301,2257,290,1584,3196,1402,2447, 139,1973,3234,130,2777,3158,4507,3187,1111,10,2962,2358,3323,2011,2107,133,3630,1269,588,2772,3928,1971,2935,3247,1691, 3570,1349,4262,4399,2916,4288,2315,142,115,1886,3622,1387,1010,1339,3631,2587,1089,2150,1296,2788,2792,1596,907,3944,3740, 4310,2869,3917,3233,2550,132,1470,918,3641,2620,149,3,1045,1014,4565,1517,297,812,695,2540,814,4150,3674,2206,399, 2492,1273,4578,2189,2936,3413,802,1720,927,4463,4266,682,3968,4589,1150,2776,759,2890,2008,3047,180,3122,3863,1302,3773] ,\[ 3650,1633,2559,821,3836,487,4347,3717,2203,722,2437,1882,3192,3445,1087,2180,895,2620,3933,735,2987,4511,2079,2731,2259, 1445,2190,1304,1204,396,4291,2923,31,1680,3131,1842,2460,2093,2882,119,199,3363,4038,1242,4383,2853,1033,1561,58,3938, 3601,4583,282,2004,4455,74,3923,2042,3715,2712,206,2288,1759,4027,3352,3781,3305,409,4581,3351,2126,3275,3935,3855,3680, 1502,3497,4295,274,759,1456,3435,25,2971,2671,4268,1773,3213,1078,700,3395,3507,936,1922,2675,4561,3423,1854,1999,630, 2788,167,1959,2283,233,2242,614,180,3822,2207,2948,761,414,382,4385,3446,3106,2019,3470,1804,1128,2261,1444,1460,240, 2584,4255,3543,3328,3479,3984,4382,652,1340,4341,2352,3844,1924,106,4467,4212,1462,4517,2295,1918,3521,993,988,1095,1726, 2212,1277,1364,523,3262,1295,3602,3166,100,3869,1301,4556,467,1005,1537,745,2999,4225,3244,1953,681,2943,1243,665,3153, 3791,2213,1538,204,4080,2615,3373,2911,531,3384,1123,3362,479,3858,1552,4231,4494,1082,1968,659,93,1783,4050,3293,3954, 4176,313,1779,1149,1367,3081,3134,961,3194,3657,157,401,4442,3576,4113,902,3852,2453,2035,252,2588,1015,2901,95,2648, 926,1685,4191,2844,3567,3732,346,4041,4085,3533,568,4407,4173,785,1887,1104,3308,3712,2111,1232,3437,2205,3364,4371,1279, 2593,1926,581,2974,495,461,3177,4322,1182,2809,1643,1084,3986,4238,2696,2631,164,2961,1544,4565,2729,3540,2008,1653,3739, 3833,4272,3204,4166,3090,2666,1027,302,4110,3,1016,997,4292,475,2409,374,356,2819,2931,2220,509,2210,2077,3568,4421, 1583,2438,3887,1790,3185,3087,1501,3255,911,196,2557,2610,1121,3385,1129,3480,2566,4401,2419,2108,3545,1505,897,4526,1479, 2154,3451,585,1074,2586,3504,2333,1891,2416,1645,1654,1784,2227,1635,2813,3080,1851,3111,3246,4206,111,2801,3871,1646,2862, 2241,1162,2682,1387,2612,2723,4507,3495,3039,3956,1607,2174,90,1668,3077,320,1897,1106,1386,4482,4472,4363,648,3574,1262, 2939,717,3274,2186,3676,4182,2159,2330,311,4415,2070,707,3758,2181,4479,1911,1396,2774,3324,2237,2749,1693,2013,2714,2456, 400,1585,972,3581,3768,1073,4131,792,3360,2293,598,325,3595,2795,3607,1299,913,4478,753,3133,190,3169,558,3999,878, 1578,3569,3375,3022,4187,3835,452,1572,2329,4434,1948,3326,816,1765,1431,1390,3140,3996,3841,656,3537,3628,2827,2064,3645, 2390,3816,3600,3582,359,185,507,2397,1381,1152,2369,279,3285,2032,1020,3809,3642,2663,460,4076,914,3367,575,2802,4456, 2050,2131,2870,255,2440,3298,251,2317,3950,2988,113,3333,605,4023,4306,3006,4054,2849,84,725,2117,3413,4025,431,3374, 1602,2245,2323,176,3706,2115,1819,1928,2685,1988,1464,82,2564,2535,955,856,4246,1637,3272,1050,2230,2563,2796,3627,502, 4288,2792,4031,3913,1310,2264,807,3182,3752,2534,336,1114,627,797,3047,14,2484,2972,54,876,2236,1684,2556,1584,1899, 1101,3895,334,343,3316,762,4084,2163,129,2393,1434,2374,369,2885,784,4397,1967,4440,2135,3460,4315,2250,2635,844,363, 894,808,4209,4133,223,2179,1697,1160,4177,641,4399,1086,397,3143,3924,2717,1391,4420,1551,1036,3082,1306,3598,1253,1412, 2680,517,1703,757,951,3699,4572,1597,2421,4512,53,1404,1393,1939,4222,3530,368,1099,4109,1868,577,3525,744,3947,3882, 1508,2252,432,3621,3647,814,4505,3069,4548,3279,3818,3980,2441,589,4144,340,803,2038,541,2551,2956,1615,50,748,2647, 3792,1471,2508,3548,2081,1038,3010,3757,1667,1493,456,3070,291,4271,1080,1652,454,4130,4453,2927,2673,165,4345,3075,658, 1076,3301,1522,210,3286,1341,3051,3516,3546,2753,3654,2537,235,55,3771,2863,4273,2611,4367,68,3294,1989,4417,3577,473, 1125,3585,4403,1280,2385,4003,1472,3514,2808,3990,1484,2952,4154,2959,4030,546,3222,1613,3337,3057,3150,3753,3747,3415,188, 1916,2585,2362,2670,1476,2197,4506,71,4160,2692,1,842,2924,2697,4218,1292,2486,2656,2337,4014,573,3089,1543,333,520, 1796,3036,949,2787,1352,2400,2452,2533,1489,3499,1157,4260,2700,4361,1983,388,749,2114,2955,4593,935,4167,537,2423,2413, 1807,3889,2480,236,4082,1437,107,3483,1877,79,3007,1682,29,42,494,1858,3055,3323,3059,2969,2634,2846,2281,615,3617, 2307,870,2018,3651,305,2804,2041,4165,1220,491,2379,2289,2012,2291,1849,3843,2922,3004,1917,2763,3814,530,3096,1687,3045, 4122,805,4279,1617,1360,3302,4404,3256,1435,3562,1893,2640,4164,689,1366,4230,2355,2258,4552,2938,146,2324,2851,3988,1725, 4513,99,1338,3803,1008,7,2982,2548,924,617,1147,1266,1728,32,917,2065,3860,1477,701,3158,1830,4002,3629,1270,1409, 1863,3202,871,973,3165,2807,2977,2950,4192,1478,3613,965,2376,2565,393,3434,778,1555,975,3407,1750,245,1930,2998,3859, 4,4396,4062,2442,4360,2048,3580,957,1955,1869,2531,2045,1176,3139,3453,1110,3310,2920,768,874,4059,3959,2091,1192,845, 3276,4540,1986,861,2980,124,2627,2616,678,3834,4490,2650,612,4299,3009,2601,3689,1328,2140,3342,2978,3761,4445,4424,1014, 341,2418,3027,2183,4045,3319,4525,2691,2496,2738,3665,3786,4422,2842,2069,4555,1994,3304,4578,3327,712,2676,632,995,405, 3402,3419,4069,4333,2538,4135,1506,2775,2693,2561,4172,3291,548,2975,3254,186,3918,1285,1510,2543,4011,834,3050,4356,3826, 2172,1554,2368,2539,1150,3898,959,1017,1327,4466,3975,540,2855,1942,158,1937,1098,2861,3011,850,3141,4089,640,2542,2789, 1184,3910,263,1190,4035,2463,1212,1089,3631,2756,1363,3210,3218,1023,901,2806,3909,2953,3566,3113,1770,1533,2328,2678,1350, 2222,2599,1965,2645,2425,3535,518,773,2411,4457,510,2510,4370,1158,1871,4369,1570,2513,4152,4348,2136,438,947,1826,2630, 1992,1170,1316,3510,2864,1535,2445,3719,4362,1775,3544,3025,3043,200,4205,4100,283,2722,2243,3074,2751,3957,2208,1426,1704, 281,3209,4446,2614,130,3527,267,3228,28,787,570,3721,1096,2876,557,2399,1978,3042,3685,48,4116,2906,4343,492,1534, 324,561,1892,726,2619,2902,2580,2371,3368,380,411,2702,919,3249,802,4381,2026,2577,390,1880,4071,3979,4240,3716,1107, 2229,1985,4521,1351,1980,542,4056,1288,2957,1833,4563,770,976,3948,2060,2303,2466,763,2090,3782,3755,751,711,3522,417, 2127,1651,2812,1440,197,2002,3263,2845,3408,2654,4086,3035,2024,4541,1300,1540,135,4551,912,3847,1185,621,1497,1358,3349, 2195,2483,3433,2771,875,3350,1936,3306,1582,131,764,2626,1557,4533,2843,201,2178,661,1691,610,4207,793,23,3750,3318, 271,4174,1012,3118,3740,4589,2594,4398,218,628,33,519,2465,3322,3929,3234,635,2491,1374,1482,2660,1321,4198,981,2716, 1824,265,1878,2278,3309,65,991,4419,2628,3669,2199,293,2266,299,2820,686,1951,4560,3759,994,1754,4395,2102,178,2499, 3015,123,355,220,1702,2039,3851,4408,3178,4416,3098,3829,3634,2467,982,811,3888,503,169,4374,673,4297,4004,1075,3611, 2597,2152,1760,3811,1217,2157,115,18,198,4253,1034,3394,1593,1943,3344,968,4538,1179,2055,2866,1970,4073,3440,3917,3180, 2523,2877,2821,348,4114,1757,478,613,2144,2076,2427,360,1365,4270,1284,357,879,4139,1060,3994,1913,1864,1045,3682,2146, 904,1751,2073,3421,3997,2272,2014,1531,3828,1194,3171,3808,2062,958,2459,944,1491,1205,732,2300,538,3664,3953,2365,2142, 1054,386,4138,721,2402,4117,3046,2235,511,2231,138,1604,2436,4465,2799,496,2668,596,2858,1335,622,3556,3572,466,3610, 321,1717,3589,1627,2711,2206,4311,1734,1465,3798,276,3541,1180,174,4156,828,1991,1181,900,4103,3422,1063,1545,3679,3475, 1694,1142,1921,1240,3313,3225,160,3907,1450,1859,2068,3560,3023,3857,3637,2637,3220,3449,2707,102,3125,1047,2485,4125,2704, 2276,3083,839,1249,3978,593,2579,192,471,66,1662,3866,3088,2581,1368,17,941,3708,4245,1066,2458,2890,1199,938,416, 272,1490,3550,3174,3570,2868,2198,3163,989,4213,1856,1303,2522,1995,3172,937,2887,2171,288,533,2878,716,4098,3060,1563, 184,2605,3199,2415,1660,1503,2720,482,2874,920,1709,4433,1143,4355,4320,3377,1837,412,2752,586,2518,3748,1944,1378,2710, 2600,22,1861,295,4346,2758,950,4336,2762,945,3944,2983,1799,2286,2504,4043,217,2578,2201,3242,3478,3842,3830,254,4068, 3259,1231,1356,46,4546,889,2798,2632,3643,1001,3030,3977,2859,2659,270,4516,4074,578,846,1153,3698,679,2726,238,244, 1373,3161,3587,892,101,3915,3565,216,207,1780,888,1821,1626,3409,1630,1422,2793,2075,3738,4005,120,3770,943,1852,1641, 3591,733,4486,1514,582,985,3107,4443,365,2797,2401,4338,866,108,1200,4202,2057,3065,651,1847,4304,3420,3870,833,1296, 2896,1474,1311,211,2624,775,2991,2214,3049,2935,3912,4435,4406,2478,776,1302,1827,303,1629,948,1722,10,3802,2677,694, 361,319,239,1481,1814,682,1395,3085,1037,841,3765,3905,12,2829,817,4137,970,1595,1614,2940,1246,4126,1874,3549,469, 2309,43,1202,1109,3704,2875,2016,2653,3649,1519,905,3641,3205,2107,3230,884,2173,3005,3466,691,1661,379,1452,127,2167, 3674,2211,3438,669,3520,137,1742,3538,1803,1406,4124,1521,3670,2776,2357,2110,4228,2509,1672,4302,1309,2011,1686,3245,3571, 1380,4481,2404,1603,1346,3710,2022,782,3599,3908,2260,1832,4188,584,4101,1592,1119,134,4569,3646,2196,1053,9,2129,2661, 451,3454,2094,483,1126,3179,4051,109,1530,2161,690,1695,4052,587,1410,2754,159,2177,2269,2994,148,2765,3593,3799,3805, 2279,57,1326,2187,2937,2435,3164,3269,1191,777,3794,399,1056,3874,1886,3998,3875,4208,728,2147,4327,2847,1956,2377,2893, 3618,373,1738,3723,1379,3101,990,3767,2122,2888,2490,4264,422,3184,1442,1706,202,3969,277,1588,4438,3206,3283,3067,1762, 3033,3756,550,2665,4281,780,4325,572,2160,3788,3936,242,3391,151,2249,1912,625,2366,639,4239,4427,771,419,1788,2462, 4298,2854,4595,569,2689,2889,535,2835,287,898,383,1259,684,2461,2501,4241,1315,3191,3893,1737,4410,3789,1216,1619,2119, 1140,2071,1397,4203,3883,1003,1118,4378,4237,3024,1977,4021,1278,3503,30,2746,1117,3677,2298,3609,3092,3623,3026,1132,3700, 824,3552,4432,3563,650,4007,2649,3038,4262,3769,3820,1186,873,3702,3729,3442,2103,2569,3358,3197,3097,2383,1904,563,366, 250,505,49,441,4111,3018,453,3240,4055,3410,1046,3432,4426,1733,3198,2996,3127,3542,3668,4409,1401,75,4317,2389,1507, 1800,1097,1189,1420,4312,342,4193,3899,3463,2715,2246,3821,1256,4006,225,147,4373,15,4140,2407,848,2816,3615,2475,4411, 96,4175,121,4251,1389,3780,4483,1611,3188,1675,1019,910,2052,1244,2025,1862,1407,2730,214,3339,2743,1011,481,2168,1499, 2880,4326,1250,3455,4567,826,1560,3862,3819,4476,3683,1688,1331,141,3190,916,710,978,189,644,2170,760,2204,4091,4194, 3459,1657,1239,3532,818,1658,3606,376,1571,2080,2681,2936,2125,1156,3743,2547,508,24,4151,830,3594,2044,4392,2757,3561, 2310,3399,3773,1720,2381,3250,1516,3008,800,4358,2828,2929,3195,539,3297,1732,4543,3939,4149,3066,4464,3632,864,499,2363, 2027,4229,4037,2464,2405,2194,3511,2913,4015,1650,353,4591,3831,2314,891,56,1359,562,3921,3730,262,1415,1758,81,516, 364,1399,3126,4267,906,468,1021,4099,1091,249,3583,3531,3995,4227,3967,2918,3916,2234,2769,2285,2085,2109,4013,1623,2695, 501,1175,117,2892,221,553,1701,2037,1940,2684,1829,2993,372,4314,2910,801,4293,4463,1698,44,750,3813,4468,2713,724, 2900,2591,439,3056,3728,294,3981,3529,1488,1265,4163,3474,966,2968,921,4518,2662,3280,3573,2263,2755,3203,37,567,4340, 2348,2562,4575,4566,1035,737,857,3145,3784,3144,1605,3881,903,3366,2053,2443,2672,1275,3763,4550,1883,1756,3906,2046,1526, 1283,3968,1818,3266,2839,4066,1470,855,4389,774,4063,668,1792,73,35,3605,2766,2735,3270,590,823,3976,838,2429,4083, 3596,1308,4072,1178,2524,4321,2477,2151,2770,3903,1198,646,2150,1781,394,1264,2382,4350,413,4047,729,4580,3727,1568,583, 4460,4359,928,2596,261,1941,1419,3861,4523,1213,4537,1567,2805,307,1429,3469,4366,3985,280,3971,1454,52,2268,1215,1906, 2925,2112,2192,2113,1634,2595,1934,4296,2471,1504,4508,329,1392,2361,1339,2571,2431,2718,2078,3764,2912,3795,3376,1370,4232, 3713,731,1677,2618,1467,1566,2350,3640,1881,3311,699,3292,1962,4061,1794,3365,2364,1947,2072,1806,1590,170,2778,1458,3264, 3428,2017,2915,2498,3746,1139,3247,2481,1870,3489,2105,3170,4448,3248,2658,813,806,4159,2903,1764,2560,264,1052,2359,3681, 3237,4019,1071,2945,389,854,1520,2370,2087,672,2576,2760,3493,1271,697,3952,4488,1676,3031,3928,1323,2899,984,2540,4147, 2149,1274,2643,4190,2067,979,3639,458,1958,2215,1996,1708,3315,4600,755,2958,3343,326,3476,1438,4496,94,153,4553,4090, 3911,3762,2338,2794,4148,4256,3880,1517,1425,1987,3970,2084,59,4428,3411,477,2184,2339,3482,3559,3284,395,2683,3800,3849, 445,2290,4261,3405,256,3958,2088,2550,1329,3891,3505,1116,3684,3303,2815,4430,4388,4387,1927,1638,4532,1610,3258,3110,1122, 3955,758,187,1064,862,3132,4254,2894,3554,3696,2867,3484,1343,2473,3063,1665,851,3693,1031,3201,554,1287,1223,3078,1808, 2219,1307,1903,3925,3187,1043,3894,915,1281,4452,128,3464,4064,1713,1565,739,1888,2669,4545,1025,3620,1330,514,2500,2865, 4132,498,2544,337,692,3991,3519,2175,1601,3044,1872,1932,633,1294,2747,3840,1485,3526,4305,647,907,114,2822,2061,2494, 3612,4329,4544,4335,3176,234,667,604,213,434,1993,285,4223,248,38,4570,1587,1810,1494,671,1398,3584,2128,436,327, 2701,2657,4596,3922,88,1771,566,371,687,1282,3345,3465,2589,4032,2570,1093,600,3656,940,2609,4214,2790,61,3095,3987, 3892,1909,3354,3783,1828,2667,2917,4519,2311,4010,1055,1969,437,1621,601,1600,3872,626,323,3481,555,3951,1103,3655,3243, 3104,1716,754,2567,3486,1946,2340,4509,1556,1659,2558,2492,2321,1230,1539,2608,2734,1699,2320,338,4582,3886,2095,2613,2748, 1674,3404,1417,1068,1475,4372,2489,2275,794,674,2306,2003,4459,472,20,2158,549,969,1252,2189,1094,709,1747,1683,205, 4447,3848,3472,4201,3136,1134,1655,2308,1875,2582,3487,2009,435,4514,2353,3146,1384,3879,791,3231,3450,3501,1320,3941,2162, 77,2030,209,3914,39,624,2507,297,98,832,2914,526,3512,493,2930,2398,837,964,1548,3902,2719,173,1670,3117,2526, 2837,2838,286,1127,4153,1813,152,443,1029,3491,1731,3383,1586,257,4199,1441,2525,2470,2644,2622,1136,4250,2965,1067,112, 3334,3964,2164,2881,634,3678,4275,3494,547,2728,1291,2346,2089,3149,2083,3931,887,3553,161,1894,767,3966,3017,4179,4477, 2652,4276,1982,1402,4226,3737,1062,1473,3604,2315,1039,869,4024,3920,4319,637,3946,418,1564,714,3400,1542,3735,719,2941, 3547,4413,3211,1174,2992,4048,2856,1226,3734,470,156,2904,4178,4036,4475,3653,91,1272,4093,3112,4439,2690,1736,4400,1108, 3317,2568,4454,2312,3810,504,3691,1905,3539,177,4495,3471,328,3183,1895,1451,3901,2200,3100,3804,4391,4528,4070,4349,1935, 331,3666,521,2511,2185,1219,122,2318,4493,2493,4542,3208,3001,2791,4364,2134,2373,21,3029,3300,449,104,3807,3129,2995, 886,2990,3707,2860,4489,1576,588,2970,1618,3444,408,4515,1825,1414,2193,2545,2928,536,1124,1492,4536,13,1820,962,3037, 1058,4451,1952,2823,3506,2783,2590,933,1711,1436,4294,1332,974,3238,3919,4309,670,3048,133,3661,2873,168,3485,1070,1112, 2448,2092,3386,3622,1867,4105,2148,3273,2639,840,3579,144,3992,3774,3296,2476,1671,1483,4196,1850,446,1167,1353,289,1972, 820,1749,1347,595,2447,2963,3221,3398,1377,1446,1258,3108,116,2651,427,2527,3403,2638,1289,2572,4145,4547,3827,1137,1559, 3736,1297,332,229,2380,2422,4423,3790,2118,2265,3754,655,3147,2834,3076,1606,3439,2218,1812,825,4353,4579,1860,3406,1173, 713,1791,3401,1841,2396,3897,4081,2360,3797,2388,2123,2274,2919,1443,3824,636,4535,1879,1207,703,4384,335,3016,26,4414, 2949,3488,154,1649,2857,2732,2313,946,145,3592,2253,4115,528,4012,2432,1449,571,385,2772,3392,1727,142,1000,4134,194, 2497,2191,4079,3307,4265,2430,1755,2287,3079,3777,683,706,226,3135,1712,2433,1663,602,2049,1394,1227,3963,1267,877,4436, 1010,1187,730,3277,1018,560,4487,2165,4095,3633,1083,3416,1312,2532,1500,2934,3369,1432,2629,4394,308,4497,1318,2104,746, 292,3390,3370,155,488,3388,1333,1334,4094,4257,883,391,4522,4128,4009,1195,2554,594,440,459,3638,1324,2001,4534,375, 1130,2514,1873,2305,1723,858,1177,402,1026,4529,2284,486,97,3418,1172,1448,3726,747,2814,1981,2869,2745,2116,657,339, 4300,1532,3564,1855,574,705,212,3972,2642,4186,1696,1405,1486,3812,2985,3725,132,3945,3751,1260,551,2156,1357,2779,4204, 4473,698,143,1007,809,1647,2706,1876,2228,4046,2598,1049,3123,2505,1524,3878,1979,166,3157,3281,1188,4104,4313,1518,1317, 3215,1787,1743,2302,1383,1846,1786,1919,2552,4020,3648,1579,3496,4599,756,2506,2155,1549,3162,2344,996,208,4437,1290,3722, 410,2280,2007,872,2341,2784,664,645,1753,312,1293,3341,1541,490,696,1447,2378,2426,381,2817,3393,4368,1439,3417,4594, 3372,2850,2424,4562,4568,1961,597,1801,183,2074,3694,1885,3138,4107,6,977,2516,2818,3102,2343,3233,1515,4162,2895,350, 86,4185,1822,1640,19,3226,2277,580,4143,2349,1718,3492,4129,942,2023,3973,4283,3518,1413,4049,663,3890,2358,2294,464, 1908,2202,3863,2145,852,623,3498,3219,2733,2468,2907,253,3427,3332,4141,3236,2342,723,2530,2825,3356,718,1889,752,4224, 2781,1349,3152,89,1403,266,2954,2408,3659,4243,3949,377,4471,2740,442,3557,1838,1159,1512,1009,4121,2248,1354,4259,4180, 2130,195,4588,4285,4431,179,1960,1933,3321,314,2767,890,544,80,3109,1739,3412,4310,4504,2966,27,2043,485,2520,1550, 2575,3733,78,649,4500,1048,3652,3119,2221,4248,2926,1234,1298,3965,3513,1376,4584,3624,3741,4503,3424,1624,2124,783,1463, 3122,829,3458,4554,278,1237,822,708,1218,4390,2063,3028,2573,3447,3961,347,881,4088,1238,4161,3468,3167,103,1061,788, 2058,1975,1648,986,3062,3193,3425,3340,1900,4171,2120,1081,1411,987,3431,2224,2871,4274,2848,2282,1222,2686,1348,1408,1466, 2270,1344,4092,406,290,2238,2703,3695,4058,4215,831,4316,2759,3766,4150,2005,315,2474,1599,2020,925,4510,4425,4170,2301, 3041,1236,1678,2708,3338,4539,3068,2034,4277,3189,798,63,2933,45,3477,618,2386,1355,1345,484,1151,1907,3692,224,3430, 1714,1768,1954,3456,2347,3461,666,4075,918,606,4574,3558,1616,2852,1077,3200,3034,1313,609,1719,1006,403,1457,2066,4354, 1254,1433,1998,534,345,1286,2138,1322,2262,3021,3974,727,64,60,4263,3299,559,2223,2086,3379,4386,2739,1509,2444,3837, 3040,860,1233,3845,524,4183,3441,939,1901,815,930,2947,1362,2367,3053,2604,4377,4065,2345,2606,545,2394,3528,1032,927, 203,2488,3467,853,3130,599,2254,896,515,2727,1171,3251,3856,3061,2803,1527,1165,351,2698,1744,465,2482,4286,3271,4120, 3806,126,1776,1241,3229,420,3064,4558,532,1430,4597,3014,4266,3701,1072,3261,3940,1372,4498,1910,4462,352,2721,3371,4418, 1085,1644,629,603,2780,72,3223,3396,480,2082,2709,1168,1971,3426,1416,934,140,344,2646,3154,3776,2603,2209,743,1418, 2674,3876,3325,1730,1455,4008,258,3854,2454,448,447,3073,3359,139,2607,3534,1835,3086,2664,2986,2964,1767,1915,2617,1022, 3626,2054,247,2455,2176,4590,433,1369,2451,2217,2331,3672,1705,87,1920,3690,1057,2375,954,1558,1141,2897,3490,579,1305, 2479,2750,3347,2449,2833,2141,3436,349,1092,4344,268,3508,125,4284,3635,3020,529,4332,3414,2621,1692,1816,3378,3772,4242, 67,3785,3058,1793,1724,3524,1002,162,1632,3137,4001,4502,85,525,1631,3331,3937,3052,3128,215,2233,1525,4039,275,1689, 3711,2028,2872,3778,4571,3013,675,1963,3253,2391,2226,16,3864,992,241,1251,1902,3175,1468,1639,1528,41,3616,2502,2515, 4485,2826,3156,4016,476,1547,231,4118,2472,3867,3429,150,2962,2296,2655,2428,4376,576,2244,3099,3290,2898,3346,1421,3853, 3885,3718,3186,2623,2519,931,3673,3282,2583,2777,3523,4480,163,1664,2773,1041,1673,1608,1495,3072,4557,3355,2153,2267,2800, 1480,4339,3330,1834,51,967,3241,2387,1273,2021,1679,1459,3267,1040,3207,1235,1245,3709,1700,306,786,4249,922,2335,4564, 2395,232,1131,1269,1957,1276,2297,497,1620,3235,1385,392,779,1746,1423,4142,1642,3590,3697,4244,956,4189,1113,330,2984, 2737,3019,1090,2000,923,4289,415,4096,4042,4470,4527,715,1268,3329,4458,429,867,795,3457,182,4210,3943,3509,2006,2810, 616,3116,222,62,1247,3551,4123,740,720,3603,1950,2255,1164,1581,3381,4221,812,2410,2546,300,4469,3214,1984,191,8, 1815,643,1325,1774,2139,3817,3962,1729,4337,611,765,799,4282,1201,1785,592,1428,3724,387,3181,1102,4211,2247,1529,1135, 4040,3614,2908,2960,1183,2785,2932,3071,259,2,1690,4351,1802,564,3124,804,2495,3252,543,1844,4127,4269,741,4308,40, 2744,1612,2782,47,1255,1030,1496,370,1469,2989,1609,4474,1228,781,1004,1224,2836,4585,1748,3588,3927,404,3265,1400,2166, 1146,105,228,4330,3660,3232,843,653,407,3896,1845,4530,2169,2487,4357,620,3314,83,1263,3578,1752,3608,4034,3720,4195, 2699,3380,1681,789,2101,1976,4380,1628,1769,2688,4000,426,450,4461,3084,3686,4405,243,2891,827,3688,2786,462,3361,4342, 909,2316,1772,1710,273,4044,2529,2096,882,1337,3942,378,1166,1596,4484,1562,2257,2555,3731,2420,2403,3714,4217,2916,4441, 398,2392,1206,3121,1622,2725,1382,1169,3703,2450,960,2541,704,3742,742,4029,3000,4053,642,4303,1051,4520,4233,3873,500, 2741,3775,2332,3500,1669,4365,2946,1211,4087,309,2979,4577,3932,736,2015,1361,4112,863,2412,796,118,3448,3671,1925,1809, 1574,3159,1546,868,4060,552,1865,2031,1013,430,2973,4524,424,1898,1042,1817,2574,4258,4018,3926,1573,1789,36,772,899, 358,4181,1229,3934,1839,1210,3239,2132,2351,2271,1580,1148,880,2469,1945,1761,3865,3093,2761,1831,3389,1523,219,2742,1133, 2840,3353,1065,1884,3815,2010,4026,4412,3705,4492,527,952,1487,3268,1197,489,2884,865,284,3960,3295,932,1740,4057,304, 3103,3212,4136,1890,3636,3336,1823,3257,175,2592,455,4169,1511,4501,2736,3630,2831,2694,2251,3196,3348,3002,980,3289,2549, 4307,4197,4334,1805,4077,1388,1375,34,1840,2434,1896,3148,3515,631,4402,3884,677,1145,172,685,2239,1636,1248,3930,3662, 660,1138,1766,2143,322,2384,4531,3687,4352,1931,318,2976,316,1028,4323,4444,1589,4168,2641,3823,1088,1591,695,2098,317, 4324,246,3382,2824,2304,4067,4108,766,4318,3787,2967,1513,2517,3868,1120,1059,149,835,2036,1336,4155,457,1782,1214,810, 227,1427,4234,1973,4146,425,3473,1795,2325,1594,849,2457,2811,1923,2832,3452,2503,1221,4278,1069,1797,971,1798,688,819, 2372,3357,4592,522,3120,2981,1196,2051,136,1763,676,4157,3142,1461,2625,4598,4200,2240,4576,4078,5,2319,1666,3397,2334, 3625,3115,3658,983,929,3335,463,1319,2137,513,3216,3012,1843,2942,3983,859,3749,1257,1707,4450,3462,2100,4301,4287,3619, 3900,2886,790,3387,354,1949,2327,230,1371,3105,2225,4033,92,2047,2182,3904,2121,3312,110,4247,2602,1208,362,4022,1938, 1974,4499,3839,2256,2633,1498,3173,3989,4379,2232,1569,953,1154,367,4331,1598,2336,1100,3586,1741,301,384,654,1715,1929, 1161,512,3227,296,4097,193,4158,269,2587,2705,1163,4491,1914,2406,4235,1966,2439,2512,2133,2099,4106,1866,1225,1848,4017, 2528,2764,3151,3278,69,2356,3745,3846,2106,3667,607,2841,1024,3003,3838,1721,1857,2446,963,2997,1577,2033,3160,3224,1625, 3320,3877,4393,1209,1453,738,3288,444,4219,1990,3168,2951,298,565,4587,1656,2059,680,2273,3760,702,693,4559,3502,2354, 2097,836,3825,1853,556,1079,2292,4220,3575,2830,1735,4216,260,619,310,237,3796,1745,847,2687,3536,3832,1261,1314,3850, 3091,4119,3443,2905,1342,4328,171,181,2883,4280,1044,3155,2944,2553,2056,4549,4184,1997,2417,4102,2724,428,3993,2326,4573, 3032,3982,1778,1424,70,2299,3793,3114,608,2216,4449,4290,2040,1105,885,2322,506,769,4375,591,1193,2921,2536,2636,2679, 893,3555,11,3663,423,3744,734,1575,2414,4429,1964,2521,4236,2768,1811,3287,2029,1836,3801,2188,3779,998,4586,76,3675, 4028,1115,3217,1536,1777,638,1203,1553,2909,3054,908,1155,3517,421,474,3260,2879,3597,3094,1144,3644,662,4252,1111,999] >; print "Group G is Co2 < Sym(4600)";