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