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