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