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