/*
www-ATLAS of Group Representations.
5^(3+3).(2 x L3(5)) represented as permutations on 7750 points.
*/

G<x,y>:=PermutationGroup<7750|\[
2,1,5,7,3,10,4,13,15,6,18,20,8,23,9,26,28,11,31,12,34,36,14,39,41,
16,44,17,47,49,19,52,54,21,57,22,60,62,24,65,25,68,70,27,73,75,29,78,30,81,
83,32,86,33,89,91,35,94,96,37,99,38,102,104,40,106,108,42,111,43,114,116,45,119,46,
122,124,48,127,129,50,103,51,134,136,53,139,141,55,144,56,147,149,58,152,59,155,157,61,160,
162,63,82,64,167,66,170,67,173,175,69,178,180,71,183,72,186,188,74,191,193,76,164,77,198,
200,79,203,80,206,156,209,211,84,214,85,217,219,87,222,88,225,227,90,230,232,92,235,93,238,
240,95,243,245,97,131,98,250,252,100,255,101,258,123,261,263,105,266,268,107,271,273,109,276,110,
279,281,112,284,113,287,289,115,292,294,117,297,118,300,302,120,305,121,308,310,312,314,125,317,126,
320,309,128,324,326,130,296,330,132,333,133,336,338,135,341,244,137,345,138,323,349,140,352,354,142,
357,143,360,362,145,364,146,367,369,148,372,374,150,377,151,380,382,153,216,154,387,389,391,393,158,
396,159,399,401,161,404,406,163,376,410,165,413,166,416,418,168,421,169,424,426,171,429,172,432,434,
174,437,439,176,442,177,445,447,179,450,452,181,455,182,458,460,184,463,185,466,207,187,470,433,189,
474,190,477,479,192,482,484,194,202,195,488,196,491,197,494,496,199,499,501,201,504,506,220,204,510,
205,513,515,517,208,520,522,210,425,525,212,528,213,531,533,215,536,538,540,218,543,545,414,221,549,
551,223,554,224,557,559,226,562,564,228,567,229,570,231,573,575,233,578,234,580,582,236,585,237,588,
259,239,592,594,241,597,242,600,602,603,605,246,608,247,611,248,614,249,617,619,251,622,624,253,627,
254,630,632,256,635,257,638,640,642,260,645,647,262,348,651,264,654,265,657,659,267,662,664,269,334,
270,669,671,272,673,675,274,299,275,680,682,277,684,278,687,689,280,692,694,282,697,283,700,702,285,
705,286,708,710,288,713,715,290,718,291,721,723,293,609,727,295,730,732,734,298,737,739,688,301,743,
745,303,748,304,751,753,306,756,307,759,761,763,311,574,767,313,666,771,315,774,316,777,779,318,782,
319,785,787,321,790,322,793,615,796,325,799,801,327,804,328,807,329,810,812,331,815,332,818,820,335,
823,825,337,828,830,339,833,340,836,838,342,841,343,649,344,846,848,346,850,347,853,855,857,350,860,
351,863,865,353,868,870,355,873,356,876,878,358,881,359,884,886,361,888,890,363,893,895,365,489,366,
899,901,368,904,370,907,371,910,912,373,915,917,375,920,922,924,378,927,379,930,885,381,934,936,383,
939,384,385,943,386,946,948,388,464,952,390,955,957,392,508,961,394,964,395,967,969,397,972,398,975,
977,400,979,981,402,983,403,986,988,405,991,993,407,996,408,999,409,1002,1003,411,1006,412,1009,539,1012,
415,1015,1017,417,1020,1022,419,1025,420,1028,1030,422,1033,423,1036,492,1039,1041,427,1044,428,1047,430,1050,431,
1053,1055,1057,1059,435,1062,436,1065,438,950,1069,440,473,441,1073,1075,443,1077,444,1080,1082,446,1085,1087,448,
1090,449,1093,1095,451,1098,1100,453,1103,454,1106,1108,456,1111,457,1114,1116,459,1118,1120,461,1123,462,1125,1127,
1129,465,1132,962,467,1134,468,1137,469,1140,1142,471,1086,472,1147,1149,1151,475,1094,476,1156,1158,478,1161,1163,
480,1166,481,1169,1171,483,1173,1175,485,1178,486,1181,487,1184,1186,1188,490,1191,1193,1194,493,1197,1199,495,1202,
1204,497,1206,498,1208,1210,500,1213,1215,502,1218,503,1221,1021,505,1224,1226,507,1229,1209,509,1232,1182,511,1167,
512,1238,1240,514,1243,1245,516,1248,1250,518,1165,519,1255,1257,521,1260,1262,523,1265,524,1268,1270,526,1273,527,
1275,1277,529,1280,530,1283,1285,532,1126,1289,534,1292,535,1295,1297,537,1099,1301,1303,1305,541,1308,542,944,544,
1172,1314,546,1291,547,1318,548,1321,1323,550,1325,1327,552,1330,553,1333,1335,555,1338,556,1340,1342,558,1345,1347,
560,1350,561,1353,1355,563,1358,1360,565,596,566,1364,568,1367,569,1370,1372,571,1374,572,1293,1378,1380,576,1383,
577,1386,1388,579,1391,1393,581,1396,1398,583,1401,584,1404,1406,586,1409,587,1412,1414,589,1417,590,1420,591,1422,
1424,593,1426,1428,595,1430,1432,1434,598,1436,599,1439,1441,601,1443,1445,1447,604,849,1450,606,1453,607,1455,685,
1339,610,1459,1461,612,1464,613,1467,1159,1470,616,729,1473,618,1475,1477,620,1480,621,1483,1485,623,1488,1489,625,
1492,626,1495,628,1498,629,1501,631,1504,1506,633,1484,634,1511,1513,636,1515,637,1518,1520,639,1523,1525,641,1528,
1530,643,644,1533,1535,646,1538,1540,648,1543,1545,650,1548,1550,652,1553,653,1555,1557,655,789,656,1561,1563,658,
1405,1565,660,1568,661,1571,1572,663,1575,1577,665,1567,1580,667,1582,668,1585,1587,670,1590,1592,672,1595,1597,674,
1600,1602,676,1605,677,1607,678,1610,679,1613,1615,681,1617,1619,683,1622,1624,1460,686,1627,1629,1631,690,1634,691,
1637,693,1640,1642,695,1645,696,1269,1649,698,738,699,1653,1630,701,1657,1659,703,744,704,1664,1666,706,842,707,
1671,1673,709,1676,1678,711,1681,712,1683,1685,714,1688,1690,716,1693,717,1696,719,1699,720,1702,1704,722,1707,724,
834,725,1711,726,1714,1389,728,1717,731,1720,1722,733,1724,1726,735,1728,736,1731,1733,1735,1736,740,1739,741,1742,
742,1744,1746,1747,1749,746,1752,747,959,1756,749,1759,750,1761,811,752,800,1611,754,1767,755,851,757,1772,758,
1775,1777,760,1780,1782,762,798,1786,764,1789,765,1792,766,1795,1797,768,1537,769,770,1803,1212,772,1807,773,1810,
1812,775,1813,776,1425,778,1818,780,795,781,1823,1196,783,1827,784,1830,1832,786,1834,1836,788,1839,1841,791,1721,
792,1845,1534,794,1849,1851,797,1854,1856,1858,1263,1861,802,1614,803,1865,1867,805,1869,806,1872,1874,808,1877,809,
1880,1882,1884,1886,813,1888,814,1891,1892,816,1895,817,1236,1898,819,1901,1903,821,1083,822,1908,1328,824,1912,826,
1915,827,1648,1918,829,1921,1923,831,1926,832,1929,1931,1933,835,1766,854,837,896,1909,839,1939,840,1343,1942,1907,
843,1946,844,1949,845,1952,1954,847,1957,1959,1394,1961,1963,852,1966,1968,1970,856,1583,1973,858,1665,859,1762,861,
1978,862,1272,1734,864,1984,1986,866,1549,867,1990,1992,869,951,871,1997,872,1298,2001,874,2004,875,1603,2008,877,
2011,2013,879,2016,880,2019,2021,882,2024,883,2027,2029,2031,887,1889,2035,889,2038,2039,891,1800,892,1527,894,2046,
2048,2050,897,2053,898,2056,2058,900,2061,2063,902,2066,903,1131,2070,905,2073,906,1311,2077,908,2080,909,2083,1691,
911,2087,2088,913,1026,914,2093,2095,916,2098,1934,918,2101,919,1857,2104,921,2106,2108,923,2110,925,2113,926,1205,
928,2116,929,2119,931,2122,932,2124,933,2127,935,2130,2132,937,2135,938,2137,940,2140,941,2142,942,2144,2146,945,
2149,2151,947,2154,949,2157,2159,2161,953,1068,954,2166,2032,956,2169,2171,958,2174,2176,960,2178,2180,963,2183,965,
2186,966,2189,2191,968,2193,2195,970,987,971,2200,2190,973,974,2205,2207,976,2209,2211,978,1988,2215,980,2217,2219,
982,2222,2223,984,2226,985,2153,2229,2231,2232,989,2235,990,2238,992,2240,2241,994,2244,995,2246,2248,997,2082,998,
2253,1373,1000,2257,1001,2260,2262,1004,1228,1005,2266,1192,1007,2269,1008,2272,2274,1010,2277,1011,2279,2281,1013,1334,1014,
2285,2287,1016,1928,1018,2290,1019,2293,2295,2297,1023,2300,1024,2302,1027,2304,1037,1029,2307,2308,1031,1032,2310,2198,1034,
2314,1035,2317,2319,1038,2158,1040,1319,2322,1042,2324,1043,2327,2329,1045,2331,1046,2334,2336,1048,2339,1049,2342,2343,1051,
2346,1052,1348,2348,1054,2351,1056,2353,2355,1058,1168,2359,1060,1239,1061,2363,1063,2366,1064,1953,2369,1066,2372,1067,2374,
2376,1070,2378,1071,1089,1072,2382,2384,1074,2387,2389,1076,2391,2393,1078,2395,1079,2397,2399,1081,2401,1804,1278,1084,2406,
2408,2410,1088,2405,2414,2416,1091,2419,1092,2422,2423,2425,2427,1096,1322,1097,2431,2433,2435,2436,1101,2439,1102,2442,2444,
1104,2447,1105,2450,2452,1107,2455,1109,2458,1110,2460,2462,1112,2465,1113,1400,2469,1115,2472,2474,1117,2477,2479,1119,2481,
2483,1121,2457,1122,2484,2486,1124,2489,2491,2493,1128,2478,2497,1130,2084,2501,1133,2504,2500,1135,1225,1136,2510,1138,2512,
1139,2514,1141,2517,2519,1143,2522,1144,1329,1145,1146,2526,2368,1148,2530,2103,1150,2533,1152,2536,1153,1154,2539,1155,2542,
2544,1157,2546,2548,2549,1160,2551,2553,1162,2556,1164,1324,2560,2562,2563,1290,1170,2567,2569,2571,2572,1174,2575,2576,1176,
2579,1177,2582,2584,1179,2586,1180,2589,2591,2593,1183,2596,2598,1185,2601,2602,1187,2605,1883,1189,2609,1190,2612,2614,1371,
2617,2619,1195,1647,2623,2625,1198,2628,2630,1200,2633,1201,1203,2507,2637,2639,2641,1207,2643,2645,2647,2649,1211,2651,2653,
2655,1214,2657,2010,1216,2661,1217,2662,1219,2665,1220,2668,2669,1222,2233,1223,2673,2218,2676,1227,2325,2680,2682,1230,2685,
1231,2688,2689,1233,2692,1234,1415,1235,2696,2698,1237,2700,1875,2703,1241,2017,1242,2706,1244,2708,2710,1246,2713,1247,1863,
2717,1249,2720,2721,1251,2724,1252,1794,1253,2729,1254,2731,1256,1365,2734,1258,1259,2738,2739,1261,2742,2744,1264,2747,2748,
1266,2751,1267,2753,2335,2755,1300,1271,1294,2758,2386,1274,2761,2762,1276,2764,2765,1279,2767,2769,1281,2772,1282,2775,2777,
1284,2780,1554,1286,2782,1287,2785,1288,1411,2789,2791,2792,2208,1296,2796,2798,1299,2801,2803,2805,1302,2807,2809,1304,2321,
2812,1306,1620,1307,2816,2817,1309,2818,1310,2820,1312,2822,1313,2825,2827,1315,2830,1316,2833,1317,2835,2837,1320,2840,2606,
2842,2844,1326,2847,2311,2282,2851,2853,1331,2855,1332,2858,1496,2859,1336,2862,1337,2865,2867,2869,2870,1341,2873,2875,2877,
1344,2646,2880,1346,2883,2885,2886,1349,2889,1829,1351,2893,1352,2896,2898,1354,1866,2901,1356,2694,1357,2906,2908,1359,2911,
2913,1361,2732,1362,2678,1363,1463,2919,2921,1366,2924,2926,1368,1369,2929,2931,2933,2935,2937,2939,1375,2941,1376,2944,1377,
2946,2947,1379,2950,2952,1381,2955,1382,2958,2960,1384,2962,1385,2964,2966,1387,2969,2971,2972,1390,2974,2976,1392,2979,2981,
2983,1395,2985,2987,1397,2990,1524,1399,1715,2994,2995,1402,1403,2998,3000,3002,3004,1407,2986,1408,3007,3009,1410,3012,3014,
1413,3017,1741,1416,3020,1418,3023,1419,3026,1421,3029,3031,1423,2699,3033,1427,3036,3038,1429,3041,2270,1431,3045,1433,2925,
3047,1435,3050,3052,1437,3055,1438,3057,3059,1440,3062,1442,3064,3066,1444,3069,1446,3071,1448,3074,1449,2156,3078,1451,3081,
1452,3084,1507,1454,3088,2147,1456,1581,1457,2804,1458,3092,3093,3095,3097,1462,3099,3101,1465,3104,1466,3107,3108,1468,3111,
1469,3112,1471,3115,1472,2810,2878,1474,3018,2752,1476,3123,3125,1478,1487,1479,3130,1481,3132,1482,3134,3136,1574,3139,1486,
2948,3142,3144,3146,1490,3149,1491,1938,1493,3153,1494,3156,3158,3030,1497,3162,1499,1843,1500,3166,3167,1502,1503,2993,3172,
1505,3175,2360,1508,3178,1509,1510,1840,3183,1512,3185,3187,1514,3190,1516,1517,3194,3196,1519,2882,1521,3200,1522,2345,3203,
3205,3207,1526,3210,3212,3214,1529,3216,3195,1531,3219,1532,3222,3223,2849,1536,3046,3227,1539,2121,3230,1541,3233,1542,3236,
3238,1544,3241,1546,3244,1547,1981,3245,3247,1551,3028,1552,3251,3253,1556,3255,3257,1558,3260,1559,3100,1560,3263,3265,1562,
3268,1564,3270,1566,3021,3274,1569,1570,3276,1573,1980,3280,3282,1576,3284,3285,1578,3288,1579,3291,1950,1584,2945,1586,1846,
3295,1588,3298,1589,3301,1591,3304,3306,1593,1905,1594,3311,3313,1596,3316,3318,1598,1599,3321,2249,1601,3325,1604,3328,3330,
1606,2445,1608,3334,1609,3336,3338,3339,1612,2228,3342,3344,1616,3346,3348,1618,3015,1738,1621,3353,3355,1623,3358,1625,3361,
1626,3364,1628,3367,2613,3370,1632,3373,1633,3376,1911,1635,3379,1636,3380,1638,3382,1639,3385,1641,3387,1643,3390,1644,3392,
1646,3395,3396,3398,1654,1650,3400,1651,3402,1652,3404,3406,3408,1655,3252,1656,3413,3415,1658,3110,3419,1660,1661,3423,1662,
3424,1663,3427,2888,3429,1667,3070,1668,3434,1669,1670,3437,3439,1672,3442,3444,1674,2959,1675,2352,3449,1677,3452,3454,1679,
3456,1680,3459,3460,1682,3463,1703,1684,3441,1686,3468,1687,3471,2604,1689,3474,3476,3478,1692,3481,3435,1694,3485,1695,3488,
3490,1697,1712,1698,3494,1700,3497,1701,1705,3500,1706,3503,2961,1708,3507,1709,3510,1710,3513,3514,3516,1713,3519,3521,1719,
1716,3523,3525,1718,3527,3103,1814,3529,3531,1723,3534,1725,3535,1727,3538,3540,1729,3542,1730,2942,3546,1732,3548,3550,3239,
1737,3553,3393,3555,1740,3369,3557,1743,3560,3562,1745,3565,3496,1748,3569,2956,1750,3573,1751,3576,1753,3579,1754,1755,3495,
1757,3584,1758,3586,3588,1760,3590,3592,3594,1763,3596,1764,1765,3332,3118,3601,1768,3425,1769,3604,1770,1771,3608,3610,1773,
1774,3614,3616,1776,3443,3620,1778,3140,1779,3433,1781,3124,3627,1783,3294,1784,3109,1785,3634,3635,1787,3044,1788,3611,3536,
1790,1791,3642,2464,1793,1975,3646,3647,1796,3650,3652,1798,2380,1799,3657,3659,1801,3662,1802,3665,3666,2915,1805,3117,1806,
3671,3672,1808,3170,1809,3677,3679,1811,3682,3421,3684,1815,3687,1816,3689,1817,3691,1819,3693,1820,2002,1821,3698,1822,3700,
1824,3703,1825,3228,1826,3706,1828,3709,3366,3712,1831,1833,3716,3349,1835,3720,3722,1837,1838,3726,3728,3729,1842,3243,3732,
1844,3733,2030,3735,1847,3737,1848,3626,3741,1850,3743,3745,1852,1853,3749,3750,1855,3543,2020,3753,1859,3699,1860,2114,1862,
2715,3760,1864,3761,3763,1868,3765,1870,3767,1871,3769,3771,1873,3774,2701,3777,1876,3780,3782,1878,1879,3286,3016,1881,3786,
3787,3789,3791,1885,3606,1887,2028,3143,1890,3798,3799,3800,1893,1894,3179,3803,1896,3806,1897,3808,3810,1899,1900,3032,3815,
1902,2185,1904,3820,1906,3605,3823,1910,3825,3827,1913,1914,3831,1916,1917,3835,1919,3837,1920,3840,3842,1922,3600,3845,1924,
3848,1925,3851,3853,1927,3856,1930,3859,3690,1932,3862,3863,3865,1935,3784,1936,1937,3868,3870,3872,1940,3841,1941,3875,3877,
1943,3403,1944,2160,1945,3881,1947,3883,1948,2181,3887,1951,3889,3343,3891,1955,1956,1958,3893,1960,3895,1962,2829,3077,1964,
3878,1965,3723,2823,1967,3524,3446,1969,3905,1971,3552,1972,3910,3912,1974,3554,1976,3917,1977,3717,3919,1979,3844,2265,3923,
1982,3926,1983,3922,1985,3879,3929,1987,1989,3813,3932,1991,3320,3935,1993,3937,1994,3939,1995,1996,3942,3430,1998,3946,1999,
3949,2000,2182,3083,2003,3954,2245,2005,3957,2006,2007,3960,2429,2009,3962,3964,3547,2012,3967,3714,2014,3696,2015,3971,3663,
2018,3975,3977,2978,3979,2022,3981,2023,3982,3984,2025,3986,2026,3533,2622,3991,3993,3994,2033,3995,2034,3997,3999,2036,2125,
2037,4002,3603,2040,4006,2041,4009,2042,4012,2043,4015,2044,4017,2045,4019,2047,2520,4021,2049,2323,2051,2052,2201,4026,2054,
4028,2055,4031,4033,2057,2541,4037,2059,2443,2060,2488,2062,4042,2064,4044,2065,4047,4049,2067,4052,2068,2069,4056,2071,4059,
2072,4062,2904,2074,4065,2075,4068,2076,4071,2078,2094,2079,4076,4078,2081,4081,4083,2224,2085,2086,4087,4088,2089,4091,2090,
4094,2091,4096,2092,4099,4101,2096,4103,2097,4105,4107,2099,4109,2100,2367,2723,2102,2184,4113,2105,2305,4115,2107,4117,4118,
2109,4003,2286,2111,2214,2112,2749,2115,4127,4129,2117,4130,2118,4133,3275,2120,4136,3660,2597,2123,2267,2126,4142,4144,2128,
3754,2129,4148,4080,2131,4151,2133,4153,2134,4156,4158,2136,4160,2138,4077,2139,4164,4165,2141,2432,2143,4168,4170,2145,4173,
4175,2824,2148,4179,4180,2150,4182,2879,2152,4185,4186,4188,2155,4191,4193,4194,2162,2163,3482,2164,4199,2165,4201,2167,2296,
2168,4205,2506,2170,3498,4090,2172,2173,2592,2420,2175,2177,4212,3362,2179,3186,2624,2565,4218,4220,4222,3980,2187,2587,2188,
4226,4023,4228,4230,2192,4074,2194,4235,2196,4024,2197,4238,4240,2199,2583,4241,2202,2733,2203,4245,2204,4247,4249,2206,4251,
3305,4253,2210,4256,4258,2212,4261,2213,4264,4265,4266,2216,4267,4269,4270,2220,2221,4273,4274,2629,4239,2225,4278,4280,2227,
3794,4283,2230,2740,4286,4288,4290,2234,4227,2236,3116,2237,4125,4295,2239,4296,3674,4299,2242,2259,2243,3871,3493,4303,2247,
4305,4306,2250,4308,2251,4311,2252,4313,4315,2254,4318,2255,4321,2256,4324,2258,4327,4328,2261,4330,4332,2263,2264,4335,4337,
3309,2268,2654,4342,2271,3888,4345,2273,4347,4349,2275,4352,2276,2525,4355,2278,4358,2674,2280,2283,4361,2284,4364,4365,4367,
2288,2415,2289,4370,2291,4216,2292,4374,4376,2294,4378,4379,2298,4382,2299,4385,4387,2301,4232,2303,4391,4112,4067,2306,3040,
2309,4397,4190,4400,2312,4128,2313,4169,2315,2316,2722,4409,2318,4224,4413,2320,4402,4416,2590,2326,4419,4421,2328,4097,4423,
2330,4149,4426,2332,3151,2333,4428,4430,3226,4431,2337,3377,2338,4014,4435,2340,3779,2341,4438,2863,2344,4441,3526,3678,2347,
4445,4447,2349,4450,2350,4453,2564,4455,2354,4457,2356,4454,2357,2358,4461,4463,2361,2814,2362,4466,2364,4468,2365,2664,4472,
4474,3384,2370,4478,2371,4481,4483,2373,4486,4488,2375,3114,4490,2377,4492,2659,2379,4495,2531,2381,4497,4498,2383,4500,4501,
2385,3312,3843,2388,2390,4506,2392,4509,3352,2394,4513,2396,4516,4518,2398,4521,2400,2528,4380,2402,2403,4527,2404,3911,2407,
4530,2409,2802,2411,4535,2412,4536,2413,4537,4538,3928,4541,2417,4543,2418,4545,4547,3582,2421,3996,2635,4550,2424,2426,2568,
4553,2428,4528,2430,2872,4549,4559,2585,2434,2471,4561,2437,4563,2438,4566,2459,2440,2580,2441,4571,2832,4574,4576,2446,4579,
4581,2448,4163,2449,3509,2451,4588,4590,2453,2454,4594,4596,2456,4599,4601,4603,4605,2461,4608,4610,2463,4613,4615,2466,4618,
2467,4620,2468,4622,3704,2470,3094,4624,4098,2473,4628,4629,2475,4208,2476,4001,4633,3198,2480,2550,2538,2482,3105,4640,2485,
4643,4644,2487,4647,4373,4649,2490,4652,3455,2492,4655,4657,2494,2495,4659,2496,3869,4662,2498,4665,2499,4668,2502,2831,2503,
3323,2505,4121,2508,4675,2509,4677,2914,2511,2513,2600,4680,2515,4310,2516,4217,2518,2693,4013,4354,2521,2892,2523,4690,2524,
4692,2836,2527,2841,2529,4695,2532,4698,4700,2534,4703,2535,4705,4706,2537,4707,4709,4710,2540,4686,4714,4716,2543,4719,4721,
2545,4651,4725,2547,4728,4729,3418,4731,2552,4733,2554,4683,2555,4737,2557,4740,2558,4741,2559,4743,2561,4744,4746,4748,2773,
2566,4750,2928,2570,2756,2730,4462,2573,4755,2574,2599,4691,4758,2577,4760,2578,4763,4765,4767,2581,4770,4504,4336,4772,4774,
2683,2588,4778,4682,4781,4783,4284,4786,2594,2595,4789,4791,4793,4794,4796,3890,2603,4797,4798,4557,2607,2608,4801,4555,2610,
4075,2611,4805,4806,4808,4809,2615,4233,2616,3043,4812,2618,2900,4815,2620,2621,4818,4820,3755,4822,2626,2627,4825,3192,4827,
4828,2631,3324,2632,4831,4833,2634,4835,2636,4838,4839,2638,4309,2640,2784,2642,4844,2644,3988,4848,2897,4851,2648,2697,2650,
4340,4854,2652,3480,4857,2656,4858,4859,2658,4862,4864,2660,4866,2895,3998,2663,2845,4161,4868,2666,4870,2667,2828,4872,4873,
2670,4875,2671,2672,4879,4849,2675,2677,4008,2679,4884,2681,4341,4887,4886,2684,4846,2686,4891,2687,4687,4415,4893,2690,2691,
4897,4899,2695,3051,3669,4903,4905,4906,4907,2702,2704,4084,2705,4787,2707,4912,2709,4913,2711,4916,2712,4919,4921,2714,4923,
4925,2716,4702,3317,2718,4930,2719,4931,2790,4627,2725,2726,4935,2727,4936,2728,4678,4939,3176,4940,4942,4943,2735,2736,2737,
4947,4941,2741,4422,4949,2743,4951,2745,4116,2746,4955,4956,2860,4958,2750,4394,4959,4961,4963,2754,4966,4968,2757,4401,2759,
4202,2760,4973,4974,3873,2763,4977,4511,4979,2766,4982,2768,4813,4985,2770,2797,2771,3378,2848,2774,4991,4007,2776,4582,4996,
2778,4595,2779,4642,5002,2781,5005,4221,2783,5009,4236,2786,2787,5013,2788,5016,5017,2793,3517,2794,3197,2795,3830,5022,2799,
4639,2800,2826,2856,5026,2806,5029,2808,4882,4398,4360,2811,3231,2813,3641,2815,5036,2819,4510,2821,4132,5039,5041,5042,5043,
5044,4254,5046,5048,2834,5051,5053,5055,5057,2838,3399,2839,4198,5062,4546,5063,2843,5061,2846,5066,5067,2854,2850,5071,5072,
2852,4291,3411,2857,5074,4989,2861,4861,5078,2864,5081,2866,5083,2868,4362,5085,2871,5088,5090,5092,2874,5095,3983,2876,4881,
4207,5098,5100,2881,5091,5103,2884,5105,5107,2887,5110,2890,5113,2891,5115,4533,2894,5117,4841,4768,2899,4850,5075,5122,2902,
5124,2903,5127,2905,3122,2907,2909,3948,2910,5130,2912,5133,3694,4928,4159,2916,5137,2917,2918,2920,3420,2922,3715,2923,5141,
3491,2927,3027,5144,4600,2930,3847,3734,2932,4439,5151,2934,3544,3314,2936,5156,2938,5158,2940,5160,2943,4359,3127,3135,5165,
2949,5168,2951,5170,5172,2953,4752,2954,4843,5177,5179,2957,5003,4619,5184,5186,2963,5189,2965,5191,5193,2967,5195,2968,5197,
5199,2970,5202,5204,5205,2973,5207,5209,2975,5212,5213,2977,5216,5218,2980,5220,3273,2982,5223,5225,2984,5227,5228,3131,3651,
2988,3065,2989,5230,3054,2991,4776,2992,3762,5118,5234,2996,2997,5236,3106,2999,5239,5241,3001,5243,3003,3299,3484,3005,4911,
3006,5101,3008,5249,3010,5252,3011,4437,3013,5255,5256,3272,3019,5259,3022,3809,3024,3025,5263,5142,3528,5264,5266,5267,3188,
5270,3034,3281,3035,3037,4526,3896,3039,5030,5275,3042,4496,5278,4272,5281,5282,3048,4900,3049,5287,5288,5290,3053,3302,5292,
3056,4735,3058,5296,5298,3060,5301,3061,3990,3063,3718,5306,3453,3067,3068,5309,5310,3072,3283,3073,5314,5084,3075,4814,3076,
5319,5321,5322,3079,3080,5326,3082,5328,5330,3085,3086,5333,3087,5335,3278,3089,5337,3090,3091,5341,5342,5099,3913,3096,5340,
3098,3826,5106,5346,3102,5163,3951,3489,5351,5353,5354,3113,5356,5358,5359,3256,3541,3119,5363,3120,3858,3121,5360,3289,5367,
3126,3184,3128,5370,3129,5371,3269,3658,4452,3133,3861,5374,3137,3171,3138,3141,5377,4399,5024,3145,4487,3147,4476,3148,5344,
3150,5382,3152,3902,5383,3154,5385,3155,5387,4395,3157,5389,5390,3159,3160,3161,3163,4494,3164,3165,5397,4139,3168,3169,5402,
5403,5404,3173,5406,3174,5409,5373,3177,3632,5411,3180,5347,3181,4485,3182,3927,5415,5416,5379,3189,3191,5226,5420,3193,5422,
4489,5143,3199,5426,3201,3202,5428,3204,3688,3539,3206,5431,3208,5433,3209,5436,5438,3211,5440,5441,3213,5443,5445,3215,5448,
5450,3217,3218,5453,3220,5233,3221,5456,5458,3224,3623,3225,4757,5463,3701,3738,3229,5465,5116,3232,5468,3234,5470,3235,5473,
5475,3237,5449,3545,3240,4967,5476,3242,4022,3886,3246,3940,5482,3248,3249,5486,3250,5488,5490,3254,5493,4880,3505,3258,5497,
3259,5499,3261,3262,3394,5503,3264,5447,5507,3266,5198,3267,4811,5511,5512,3271,4499,5515,3816,4260,5334,3277,3885,4243,3279,
3824,3292,5523,4807,4631,4503,5527,5128,3287,5528,5530,5531,3290,5532,3747,3293,4525,5534,3296,5392,3297,3804,3300,5538,5539,
3303,5541,3307,5394,3308,3310,5545,5547,5548,3315,4871,4108,3319,4010,5550,3322,5551,5552,5553,3326,5261,3327,5556,5558,3329,
5561,4234,3331,3337,3333,5563,3335,5565,5567,5357,3340,3607,3341,5572,5573,3345,5576,3347,5579,5018,5580,3350,5582,3351,5583,
4248,5585,3354,5418,5588,3356,5257,3357,5591,4289,3359,4246,3360,4301,3363,4660,3365,5596,4268,3368,4137,3371,3372,4392,3374,
3375,5599,4406,3622,5603,3381,4898,5606,3383,3894,3833,5609,3386,5610,5064,3388,5006,3389,5616,5618,3391,5620,5622,5624,4417,
4131,3397,3428,5629,3401,5631,5633,3966,4915,3405,3407,3409,3410,5000,5638,3412,5640,3414,5643,3416,3915,3417,5008,3431,3422,
5647,4802,3426,5651,3649,5653,3645,5655,3432,5658,3436,5660,3438,5663,5665,3440,5145,5669,5671,5673,3445,5676,5619,3447,5680,
3448,5681,5682,3450,5650,3451,3849,5437,5688,5690,5692,5693,3457,5695,3458,5697,5699,5701,3461,3852,3462,5706,5707,3464,4005,
3465,5710,3466,5703,3467,5715,5717,3469,5719,3470,5722,5724,3472,5726,3473,5729,5731,3475,4039,3477,5736,3479,5738,3483,5741,
5743,3785,3486,3487,5746,4405,5747,3492,5748,5058,5750,5621,4933,3876,3499,4885,3854,3501,3502,5757,5496,3504,5759,3506,5761,
3577,3508,5765,5767,3511,5769,3512,5771,3515,4491,5752,3518,5776,5777,3520,5779,4952,3522,5554,5783,4745,4819,5785,5786,3530,
5789,3532,3792,5477,3537,5793,3629,3587,5794,5795,3570,3746,5798,5797,3549,3612,3551,5361,5799,3556,5801,5331,3558,5605,3559,
5188,3778,3561,5806,3563,3564,3566,5808,3567,3568,5812,5813,5815,3571,5817,3572,5819,5820,3574,5823,3575,5825,5827,5829,3578,
5831,5833,3580,3581,5837,3583,5838,3585,5840,4152,5843,3589,5462,5846,3591,3593,5845,3595,3597,4671,3598,5851,3599,5853,3602,
5169,4032,5856,5858,3609,5860,4338,3613,5863,3615,5866,5867,3617,5869,3618,5872,3619,3970,5876,3621,5878,3624,5881,3625,5291,
4082,5883,3628,5886,5888,3630,5751,3631,5516,5814,3633,3764,5893,3636,5894,3637,5895,3638,3639,5803,3640,3643,3644,5131,5059,
3648,4552,5901,5664,3653,3654,4404,3655,3656,5879,4388,3661,3838,4174,3664,5910,5911,3667,4672,3668,5914,3670,5276,5120,3673,
5916,3675,3676,5920,5922,3680,5924,3681,5926,3683,5928,5641,3685,3686,5931,3969,5718,4034,3692,5935,3742,5936,3695,3731,3972,
3697,5938,5513,3702,5940,5941,3705,3707,3708,5945,3933,3710,5947,3711,5948,3713,5608,3719,5027,3721,4436,3724,3725,5953,3727,
5955,5154,5452,3730,4372,3950,3884,5958,3736,4641,3740,3739,5961,5963,5104,3744,5966,3748,5967,5652,5395,3751,4507,3752,4143,
4909,5972,3756,5419,3757,3758,3759,5364,4901,5432,4100,3766,3768,5981,4534,3770,5677,5984,3772,5712,3773,5033,3775,5989,3776,
5992,5096,3989,5121,3781,3783,5997,4638,6000,3788,3790,5315,6005,3793,3795,3802,3796,3797,5740,5581,5329,3801,6009,3805,5782,
3807,4667,6012,6014,3811,3812,6018,3814,3817,6021,3818,6023,3819,6026,6028,3821,4356,3822,5320,6032,6034,6035,3828,3829,6038,
6040,3832,5492,3834,6044,6045,3836,5457,5461,3839,6047,5077,6048,3931,6050,3846,6053,6054,6056,6057,3850,5684,6059,5510,4539,
5711,3855,4038,6065,3857,4517,6068,4548,3860,6072,5754,6074,3864,6069,6077,3866,3867,4470,5601,6011,6042,3874,6082,4244,5946,
3880,4869,5607,3882,4134,6085,6086,4922,6088,6090,3892,6092,5788,3897,6095,3898,3899,3900,3901,5574,3903,6099,3904,6101,5950,
3906,6103,3907,6105,3908,5317,3909,4635,4800,6109,3918,3914,3916,4515,5524,3920,3921,6113,5590,5564,3924,3925,6115,3930,3973,
6118,4987,3934,6122,5157,3936,5480,3938,4172,3941,6124,6125,3943,6128,3944,3955,3945,6131,6133,3947,4927,6137,3952,4197,3953,
4102,6139,3956,4890,3958,4203,3959,5540,5976,3961,5148,6136,3963,5908,3965,4344,3968,4085,6146,4824,4929,3974,6148,3976,5388,
6152,3978,4408,5962,3985,4799,5970,3987,6158,6159,5336,3992,6160,6162,6046,4000,4120,4302,4004,4567,6165,6166,5111,6167,5487,
4011,6169,6170,4877,6171,4016,5080,4018,6175,4020,6177,6179,4206,6180,4025,6181,6183,4027,4751,4029,6186,4030,6187,5246,6189,
6191,4035,6194,4036,6196,6198,5890,6201,4040,6204,4041,6206,4701,4043,6210,4045,6213,4046,6215,4048,6218,4050,4386,4051,6223,
6225,4053,6227,4054,4055,5274,4057,6220,4058,6234,6236,4060,4061,6238,6240,4063,6243,4064,6245,4066,6248,6250,4069,6007,4070,
4297,4072,4073,6253,4079,5637,6255,4331,4086,6257,4089,6260,6262,4092,6264,4093,6266,4095,6268,6270,5174,6273,6274,4104,6275,
6276,4106,5501,5592,4110,4111,4482,5969,4114,5852,4446,6283,4119,4122,6285,4123,4124,6287,6288,4126,6289,6290,6292,5206,4135,
4823,5758,4138,5964,5744,4140,4141,6297,5774,6298,6300,4145,4146,6303,4147,4775,4150,6304,6305,6306,4154,6309,4155,6311,6313,
4157,6316,6258,6317,6319,4162,6321,6323,4166,4167,6326,6328,6330,4171,4937,5661,5056,6336,4176,4969,4177,4178,6003,6340,6342,
4181,6344,4183,4946,4184,4697,6173,4187,4396,4189,5136,4192,5544,5742,4200,4195,4196,5657,4250,5522,4204,4287,5399,6355,6357,
4209,6359,4210,4211,6362,4213,4460,4214,4215,4223,4693,6368,4219,4908,6370,6372,4225,6373,6374,4229,4231,5485,4282,4237,6120,
6379,4242,6075,4294,6383,6384,4252,4255,6154,4257,6387,4259,5125,4262,4263,6390,4420,6391,4429,4896,6230,4271,6394,5348,6286,
6397,4275,4276,4277,5811,4279,5702,6401,4281,6402,4285,6182,5971,6404,4292,4293,6406,4479,4904,4298,6409,4300,5735,5537,5917,
4304,6414,4307,6416,6417,4312,4910,4314,6420,6058,4316,4583,4317,6425,4319,4320,6427,4322,6429,4323,5973,4383,4325,4353,4326,
5481,4878,4329,6433,6434,4333,4983,4334,6438,6376,4984,4738,4339,6443,4343,6444,6413,4346,6155,4348,6447,6449,4350,6452,4351,
4357,4679,5991,6377,5082,5451,4363,5912,6454,5372,4366,5150,4368,6457,4369,5805,4978,4371,6229,6460,4646,4375,6462,4377,6463,
5253,6188,4381,6465,6467,6469,4384,6471,6473,4999,4389,4390,4853,6476,4393,4784,6479,6481,6483,6485,6486,5345,4403,5065,5649,
6491,4407,4410,6378,4411,4412,4414,6496,4418,6349,6499,5424,4424,4425,5108,4427,6505,6456,5338,4432,6503,4433,4434,5613,4440,
4442,4443,4444,4669,6511,4448,6453,4449,6514,5810,4451,5784,4456,5070,4458,6518,4459,6520,6521,6522,6524,4464,4465,5045,6327,
4467,6527,6528,4469,4471,4945,4473,4475,6532,4477,6534,6536,4480,6282,5069,4484,5254,6538,6539,5704,4493,6542,5645,4502,6545,
5019,6030,4505,6548,4699,4508,5028,4867,4512,4514,6552,6544,5549,6554,6555,4519,6558,4520,4573,4522,4637,4523,5882,4524,6564,
6566,6458,6568,4529,5790,4531,5802,4532,6570,5986,6185,5231,4540,6573,4542,4837,5954,4544,6535,5598,6576,4551,6096,5525,4580,
4554,4895,4556,6008,4558,6537,5343,4560,6364,4562,5316,6583,4564,4804,4565,6586,5773,6588,4568,6590,4569,6593,4570,6595,6006,
4572,4917,6600,6314,4575,4577,4578,6605,4997,6607,6609,6610,4584,6611,4585,6613,4586,4587,6078,4589,6618,4591,6620,4592,6621,
4593,5407,4604,5595,6627,4597,4598,6628,6629,4602,5001,4920,6632,6633,4606,6235,4607,4842,4609,6638,6639,4611,6641,4612,6644,
4614,6646,6197,4616,5913,4617,6651,6653,6654,5423,4621,6400,4623,6211,4944,4625,5339,4626,5280,6549,4630,4632,4634,6661,4636,
4782,4661,5891,5011,6663,6665,4645,5277,4648,6668,4650,6671,6673,6674,4653,6676,4654,6677,4656,6679,4658,6682,5667,5284,6684,
4663,4664,6687,4666,6689,6039,4950,4670,5562,4673,4674,6693,5038,4676,5630,6696,6168,4681,4684,4685,6411,4689,4688,4694,6468,
4696,5632,4795,6702,5491,4704,6546,4708,6704,5560,5405,4711,4712,4785,4713,6707,4715,6709,4717,4718,6712,6713,4720,6715,4722,
6718,4723,6721,4724,6722,4726,6723,4727,6726,5934,6356,4730,4732,6670,4734,6730,6732,4736,6733,4742,4739,6178,6031,6367,6363,
4747,5260,4749,6448,6347,4753,6741,4754,6744,4756,6747,6749,4759,6751,6753,4761,4762,6756,4764,6758,6580,4766,6761,6762,6601,
4769,6766,4771,4810,6143,4773,5623,4777,6767,6711,4779,6714,4780,6771,5182,5753,6773,4788,4790,4792,6776,6543,5904,6700,6489,
4803,6777,6261,5898,6778,6358,6779,5114,6780,4816,4817,5483,5730,4821,6785,4826,5425,6352,6127,4829,6788,4830,6789,4832,6263,
4834,6307,4836,6735,6790,4840,6792,6794,5835,4845,4847,6796,4852,5974,4855,4856,6403,6798,6799,4860,5025,4863,4865,6802,5050,
6805,6164,4874,5642,4876,6808,6793,4883,6461,6810,4888,5129,4889,5279,5978,4892,4894,6382,5258,5132,5413,4902,5446,5939,6302,
5109,6815,5965,6817,6818,4914,6819,6820,4918,6269,5635,6669,6791,4924,6512,5478,4926,6717,6184,6087,6827,4932,6825,6440,4934,
6431,6831,5323,6833,4938,5675,5224,5654,4948,6834,5020,4953,6836,4954,6599,6839,6841,4957,6295,6843,4960,6845,4962,6813,6847,
4964,6699,4965,6837,5602,5848,4970,6851,4971,4972,6853,6854,4975,5781,4976,6855,5021,6856,4980,4981,5140,4986,4988,6858,4990,
6860,6861,4992,4993,6806,4994,4995,5435,4998,6864,6865,6795,6866,6495,5004,6422,6209,5007,5014,6797,6871,5010,6873,5012,5378,
6782,5015,5694,6787,6857,6872,5023,6876,6877,5031,5032,5995,5034,6701,5035,6881,5037,6478,6882,5040,5648,6883,6884,5047,6636,
5049,6386,5052,6887,5054,6737,6251,6889,5060,6890,6826,6745,5068,6892,5073,6893,6875,5076,6895,5375,6896,5079,6897,5086,5087,
6226,5919,5089,6602,6664,5093,6901,5094,6902,6903,5112,5097,6904,5102,6905,6906,6907,5880,6428,6441,5119,6569,5123,6912,6913,
6914,5126,6916,5384,5469,6828,6917,5134,5135,5138,6324,5139,6736,5952,5146,5147,5149,5792,5152,5153,5155,6926,5332,6612,5159,
6915,5161,5847,5162,5164,5166,5412,5167,5994,5636,5171,5173,5502,5175,6930,5176,6932,6933,5178,6731,5180,5728,5181,6222,6939,
5183,6942,6943,5185,6946,5187,6947,6948,6067,5190,5739,6622,5192,6953,5194,6956,6958,5196,6961,5208,6517,6199,5200,6966,5201,
6126,5203,6968,5494,5396,6746,6971,6742,5210,5716,5211,6975,5214,6959,5215,6979,6846,5217,6983,5219,6985,6398,5221,6988,5222,
6107,6989,5229,6991,5232,6993,5235,5303,6995,5237,5903,5238,5925,5240,6999,5242,7002,5244,5985,5245,7005,7007,5247,5248,5250,
5251,7011,7013,7014,6525,7016,5589,5262,7018,5265,5400,5268,5269,5271,5272,6523,5273,7022,6760,6019,7023,5283,5285,7027,5286,
6656,5975,5289,5293,5294,5295,5927,7031,5297,7034,5299,7036,5300,5679,6506,5302,5304,7041,5305,6814,5307,7044,5308,6161,6921,
5311,5575,5312,7046,5313,6615,6446,6507,7048,7049,5318,7051,6623,7052,5324,7054,5325,7055,5327,7058,6996,5855,7062,5535,7064,
7065,5918,7067,7068,5349,5836,5350,5906,5352,7070,6998,5355,5850,5659,6551,7075,5849,5362,7077,5365,7079,5366,5368,5369,7081,
5460,5479,5529,5376,6842,7086,5968,5380,5381,6647,6102,5386,6878,6874,5391,5393,7069,7082,5398,7092,7093,5401,6247,7095,5737,
5408,5410,5942,5414,7097,5417,6928,7099,5421,6899,5796,7019,5467,5427,6683,5429,5430,6494,6938,5434,7105,6066,7106,6504,5439,
7109,5442,6144,5444,7111,6001,7113,5454,5455,7116,7117,7119,5459,7120,5999,6145,7121,5464,5466,7122,6332,5471,5854,5472,7124,
7125,5474,5557,5484,7129,5543,5489,5627,7130,5495,5959,5498,5500,6662,5504,7134,5505,5800,5506,7137,5508,7138,5509,7139,7141,
5514,6879,6093,5517,7030,5518,7146,5519,7012,5520,5521,7152,7153,5900,6803,5526,7155,7157,6418,6064,5533,7161,7163,5536,7165,
7166,6541,5546,6424,5542,6315,6333,7168,7169,7009,5555,5990,7171,5559,6584,6911,6221,5566,7175,5568,5569,5570,6291,5571,6280,
6960,5577,5578,6816,7090,6821,5584,7144,5586,5644,5587,5656,5593,5594,7028,6502,5597,5897,5612,5600,5807,6698,5604,5745,6965,
6365,5611,7187,5614,5615,6764,7191,5617,7192,7089,6951,6984,6925,5625,7032,5626,6575,5628,6147,5634,7149,6822,5639,6809,6567,
5646,7198,6972,7199,5871,6880,7103,5662,6515,7202,5666,7204,5668,7205,5670,7206,6936,5672,7207,5674,6844,7210,7211,6015,5678,
5875,6129,7215,7217,5683,7188,5685,7218,5686,5687,5689,6174,5691,7222,6331,7223,7225,5696,7227,5698,5700,6212,6338,6690,7230,
7232,5705,5708,5709,7234,7045,5713,5714,7237,7238,6100,7020,5720,5721,7243,5723,7245,7246,5725,7249,5727,6385,6992,7251,7140,
5732,7253,5733,5734,7256,6301,7258,7154,7260,7214,5749,6464,5755,6130,5756,7262,6973,5760,5987,5839,5762,7268,5763,5764,7136,
5766,5768,6922,5770,7274,7189,5772,6415,5775,7277,7279,5778,7280,5780,6624,6769,6987,5787,7143,7212,5791,7135,6547,6027,5899,
6089,5804,7284,5809,7133,6852,5816,7024,5818,7286,5885,5821,5822,5887,5824,7290,5993,5826,7294,7066,5828,5830,5832,7269,7301,
5834,7302,7304,7306,5841,6195,5842,5844,7150,5929,6163,6106,7308,7128,7310,5857,6233,7148,5859,6112,6231,5861,7101,5862,6944,
5864,7317,5865,6940,7318,5868,7319,5870,7321,6294,5873,5874,7323,6556,7325,5877,5884,7142,6691,7326,5889,7327,5892,7329,7330,
5896,5902,5905,5907,5909,7332,6076,7333,7335,5915,7336,6079,5921,5923,5930,5988,5932,5957,5933,6062,5937,6070,5943,5944,7074,
7341,5949,6490,6850,5951,6055,7266,5956,6574,5960,7343,7345,6024,6320,5977,6529,5979,5980,5982,5983,6531,6572,7349,7078,5998,
6111,5996,6156,7196,7350,6002,7352,6004,6010,7021,6013,6029,7354,6016,7356,6017,6380,6020,6596,6022,6242,6025,7289,7353,6804,
6033,6706,6036,6037,6041,6043,6080,6049,7359,6051,6052,7057,7361,6060,6061,6063,7346,7365,6980,7162,6071,6081,6073,6389,6117,
6083,6084,6388,6477,6581,6091,6094,6097,6098,7132,7295,6104,6957,6108,6110,7239,6114,6116,7178,6119,6121,6123,7372,6410,7374,
6132,6134,6135,6138,6140,6141,6142,7186,7073,7254,6516,6149,6150,6151,6176,6153,6157,7377,7378,7339,6325,6678,7282,7312,6563,
6172,7091,6407,7384,6190,7309,6192,6193,7389,7390,6592,7391,6419,6200,6754,7393,6202,6203,6750,7397,6205,6207,6208,7216,7401,
6561,7403,6214,7405,7406,6216,6888,6217,6239,6526,6219,7411,7412,7370,6550,6224,7410,6228,7053,7366,6232,6578,6667,7247,6237,
7415,7369,7417,6241,6869,7383,7419,6244,6562,6246,7102,6692,6249,6252,7396,6254,6648,6256,7427,6259,6346,7430,6361,6265,7433,
7185,6267,7434,7436,6271,7438,6272,7439,6510,7442,6277,6484,6278,6279,7444,6281,7344,6284,6412,6637,6835,6293,6296,6708,7447,
7449,6299,6540,7451,6480,6308,6565,7453,6310,7455,6312,7457,7459,7460,7224,6318,7431,7462,6322,6631,6329,7465,6334,6335,7468,
6337,6339,6969,6341,6343,7156,6862,6345,7283,7473,7474,6348,7475,6350,6351,6720,6353,6354,6392,6360,7479,7454,6909,6800,6366,
7481,6369,6824,6371,7483,6375,6393,7182,7115,7123,6381,7151,7357,6560,6530,6927,6395,6396,7334,6399,7486,6405,7488,6408,7490,
6748,6986,6582,7493,6421,6423,7496,7174,6426,7497,6430,7499,6432,7501,7084,6435,6436,7172,6437,6439,6442,6445,7085,6450,6451,
7507,7508,6739,6455,6459,7387,6885,6705,6466,6697,6675,6470,6472,6474,6650,6475,6768,6694,6533,7298,6482,7517,6743,6571,6734,
7087,6487,6488,6658,6492,7056,6493,7458,7400,7521,6497,6870,6498,7315,6500,6501,7477,6508,6509,7407,6513,7118,7348,7108,6519,
7528,7259,6894,7529,7531,7267,7083,7231,7534,7001,6908,6553,6606,6681,7536,6557,6559,7540,7541,7542,6829,7342,6577,6579,7545,
7546,6585,7548,6587,6589,6591,6594,7549,7550,6597,6598,6695,7504,6660,6603,6949,6604,6608,7556,7229,7557,6614,6616,7040,6617,
7559,6619,7244,7220,6625,7183,6626,7263,6630,7476,7416,6634,6635,6891,7564,7498,7452,6640,7228,6642,6643,6974,7535,6645,7569,
6649,7450,6652,6910,7285,6655,7572,6657,7177,6659,7574,6666,7233,7575,7576,6807,7181,6672,6724,7505,7297,7578,7580,6680,7582,
7467,6685,7584,6686,6688,7316,6923,7059,6703,7255,6710,7588,7421,6848,6716,7539,7591,7593,6719,6886,7409,7271,7145,7596,7598,
6725,6727,7461,6728,7441,6729,7440,6738,6931,6740,7573,6924,7360,7604,7164,7281,6752,6755,6757,7414,6759,7413,6763,7555,6765,
6770,6772,7500,6774,6775,7611,6781,6783,7094,6784,6786,7614,7615,6920,7597,6801,7197,6811,7017,6812,6867,7492,7173,6823,6830,
7624,6832,6849,6838,7625,6840,7088,7478,6859,7313,6863,7587,7484,7562,6868,6970,7631,7435,6977,6964,7425,6898,7633,6900,7617,
7398,6918,6919,7432,7489,7637,7639,6981,6929,7640,7579,7131,7605,6934,6935,6937,7643,6941,7471,7646,6990,6945,7376,7648,7159,
6950,7650,6952,7437,6954,6955,7170,7537,7296,6967,6962,6963,7322,7320,6976,7236,6978,7592,6982,7512,7288,7566,7612,7590,7371,
7649,6994,7463,7519,6997,7042,7379,7000,7003,7368,7004,7404,7006,7008,7307,7305,7010,7544,7015,7525,7482,7025,7558,7026,7252,
7029,7242,7033,7072,7035,7665,7037,7158,7038,7039,7303,7043,7428,7670,7047,7634,7276,7050,7671,7560,7394,7589,7060,7061,7063,
7235,7167,7358,7071,7487,7076,7446,7080,7363,7629,7096,7480,7098,7380,7100,7600,7347,7104,7520,7680,7107,7110,7241,7112,7328,
7114,7594,7681,7213,7270,7686,7126,7127,7682,7687,7688,7420,7628,7689,7667,7533,7147,7626,7429,7494,7160,7693,7530,7653,7445,
7695,7696,7176,7179,7523,7180,7697,7516,7184,7248,7190,7408,7632,7291,7193,7194,7195,7700,7443,7200,7201,7621,7203,7208,7209,
7607,7603,7704,7610,7324,7219,7221,7448,7226,7470,7645,7364,7642,7240,7710,7422,7673,7712,7250,7662,7714,7257,7311,7261,7264,
7265,7683,7272,7386,7273,7717,7275,7652,7278,7690,7718,7362,7287,7472,7424,7292,7418,7293,7502,7715,7299,7340,7300,7719,7491,
7678,7720,7552,7314,7388,7622,7551,7713,7691,7554,7331,7423,7724,7337,7338,7656,7375,7694,7679,7725,7547,7606,7659,7351,7355,
7518,7729,7513,7485,7708,7367,7538,7373,7466,7660,7655,7381,7672,7382,7385,7731,7563,7392,7732,7561,7395,7707,7399,7426,7402,
7711,7583,7524,7722,7636,7616,7735,7674,7623,7635,7734,7570,7668,7709,7456,7692,7515,7663,7738,7464,7469,7638,7567,7658,7723,
7741,7733,7601,7619,7495,7503,7509,7577,7743,7698,7506,7510,7511,7514,7585,7609,7666,7522,7618,7526,7527,7532,7685,7727,7543,
7706,7728,7716,7553,7744,7701,7647,7630,7664,7565,7651,7568,7608,7571,7595,7703,7581,7586,7599,7602,7745,7654,7675,7613,7620,
7739,7699,7702,7627,7747,7641,7644,7677,7661,7657,7737,7736,7669,7726,7749,7676,7748,7684,7705,7721,7750,7730,7742,7740,7746]
,\[
3,4,6,8,9,11,12,14,16,17,19,21,22,24,25,27,29,30,32,33,35,37,38,40,42,
43,45,46,48,50,51,53,55,56,58,59,61,63,64,66,67,69,71,72,74,76,77,79,80,82,
84,85,87,88,90,92,93,95,97,98,100,101,103,105,68,107,109,110,112,113,115,117,118,120,121,
123,125,126,128,130,131,132,133,135,137,138,140,142,143,145,146,148,150,151,153,154,156,158,159,161,
163,164,165,166,168,169,171,172,174,176,177,179,181,182,184,185,187,189,190,192,194,195,196,197,199,
201,202,204,205,207,208,210,212,213,215,216,218,220,221,223,224,226,228,229,231,233,234,236,237,239,
241,242,244,246,247,248,249,251,253,254,256,257,259,260,262,264,265,267,269,270,272,274,275,277,278,
280,282,283,285,286,288,290,291,293,295,296,298,299,301,303,304,306,307,309,311,313,315,316,318,319,
321,322,323,325,327,328,329,331,332,334,335,337,339,340,342,343,344,346,347,348,350,351,353,355,356,
358,359,361,170,363,365,366,368,370,371,373,375,376,378,379,381,383,384,385,386,388,390,392,394,395,
397,398,400,402,403,405,407,408,409,411,412,414,415,417,419,420,422,423,425,427,428,430,431,433,435,
436,438,440,441,443,444,446,448,449,451,453,454,456,457,459,461,462,464,465,467,468,469,471,472,473,
475,476,478,480,481,483,354,485,486,487,489,490,492,493,495,497,498,500,502,503,505,507,508,509,511,
512,514,516,518,519,521,523,284,524,526,527,529,530,532,534,535,537,539,541,542,544,546,547,548,550,
552,553,555,556,558,560,561,563,565,566,568,569,571,572,574,576,577,579,437,581,583,584,586,587,589,
590,591,593,595,596,598,599,601,393,604,606,607,609,610,612,613,615,616,618,620,621,623,625,626,628,
629,631,633,634,636,637,639,641,643,644,646,648,649,650,652,653,655,656,658,660,661,663,665,666,667,
668,670,672,445,674,676,677,678,679,681,642,683,685,686,688,690,691,693,695,696,698,699,701,703,704,
706,707,709,711,712,714,716,717,719,720,722,724,725,726,728,729,731,733,735,736,738,740,741,742,744,
746,747,749,750,752,754,755,757,758,760,762,764,765,766,768,769,770,772,773,775,776,778,780,781,783,
784,786,788,789,791,792,794,795,797,798,800,802,803,805,806,808,809,811,813,814,816,817,819,821,822,
824,826,827,829,831,832,834,835,837,839,840,842,843,844,845,847,387,849,851,852,854,856,858,859,861,
862,864,866,867,869,871,872,874,875,877,879,880,882,883,885,887,426,889,891,892,894,896,870,897,898,
900,902,903,905,906,908,909,911,913,914,916,918,919,921,923,925,926,928,929,931,932,933,935,937,938,
940,941,942,944,945,947,949,950,951,953,954,956,958,959,960,962,963,965,966,968,970,971,973,974,976,
978,300,980,62,982,984,985,987,989,990,992,994,995,997,998,1000,1001,617,1004,1005,1007,1008,1010,1011,1013,
1014,1016,1018,1019,1021,1023,1024,1026,1027,1029,1031,1032,1034,1035,1037,1038,1040,1042,1043,1045,1046,1048,1049,1051,1052,
1054,1056,1058,1060,1061,1063,1064,1066,1067,1068,1070,1071,533,1072,1074,1076,470,1078,1079,1081,1083,1084,1086,1088,1089,
1091,1092,1094,1096,1097,1099,1101,1102,1104,1105,1107,1109,1110,1112,1113,1115,753,1117,1119,1121,1122,624,1124,1126,1128,
1130,1131,1133,682,106,1135,1136,1138,1139,1141,1143,1144,1145,1146,1148,1150,1152,1153,1154,1155,1157,1159,1160,1162,1164,
1165,1167,1168,1170,952,1172,1174,1176,1177,1179,1180,1182,1183,1185,1187,1189,1190,1192,700,1195,1196,1198,1200,1201,1203,
1205,458,1207,988,1209,1211,1212,1214,1216,1217,1219,1220,554,1222,1223,1225,1227,1228,1230,1231,943,1233,1234,1235,1236,
1237,1239,1241,1242,1244,1246,1247,1249,1251,1252,1253,1254,1256,1258,1259,1261,1263,1264,1266,1267,1269,1271,1272,1274,975,
1276,1278,1279,1281,1282,1284,1286,1287,1288,1290,1291,1293,1294,1296,1298,1299,1300,1302,1304,1306,1307,1309,1310,1311,1312,
1313,1315,1316,619,1317,1319,1320,1322,1065,1324,1326,1328,1329,1331,1332,1334,1336,1337,1339,1073,1341,1343,1344,1346,1348,
1349,1351,1352,1354,1356,1357,1359,1361,1362,1363,266,1365,1366,1368,1369,1371,1373,41,1375,1376,1377,1379,1381,1382,1384,
1385,1387,1389,1390,1392,1394,1395,1397,1399,1400,1402,1403,1405,1407,1408,1410,1411,1413,1415,1416,1418,1419,44,1421,1423,
203,1425,1427,1158,1429,1431,1433,1426,1435,1437,1438,1440,1442,501,1444,1446,1448,1149,1449,1451,1452,1454,416,1456,1457,
1458,281,1460,1462,1463,1465,1466,1468,1469,559,1471,1472,1474,1059,1476,1478,1479,1481,1482,1484,1486,1487,222,1490,1491,
1493,1494,1496,1497,1499,1500,1502,1503,1505,1507,1508,1509,1510,1512,1514,1082,1516,1517,1519,1521,1522,1524,1526,1527,1529,
1531,1532,886,1534,1536,1537,1539,1541,1542,1544,1546,1547,1549,1551,1552,1554,13,1556,673,1558,1559,1560,1562,141,1564,
1428,1566,1567,1569,1570,545,1573,1574,1576,374,1578,1579,1581,1513,1583,1584,1586,1588,1589,1591,1593,1594,1596,1598,1599,
1601,1603,1604,1606,1116,1608,1609,1611,1612,1614,1616,178,1618,1620,1621,1623,1625,1626,243,1628,1630,1632,1633,1635,1636,
1638,1639,1641,1643,1644,1646,1647,1648,160,1650,1651,1652,1654,1655,1656,1658,1660,1661,1662,1663,1665,1667,1668,1669,1670,
1672,1674,1675,1677,1679,1680,1682,1396,1684,1686,1687,1689,1691,1692,1694,1695,1697,1698,1700,1701,1703,1705,1706,1708,1709,
1710,651,1712,1713,1140,1715,1716,1718,1719,1721,1723,1543,1725,1424,1727,1729,1730,1732,1734,1028,1737,1738,1740,1741,1731,
1743,1745,1690,1748,1750,1751,1753,1754,1755,1757,1758,258,1760,1762,1763,1764,1765,1062,1766,1768,1769,1770,1771,1773,1774,
1776,1778,1779,1781,1783,1784,1785,1787,1788,1790,1791,1793,1794,1796,1798,1799,1800,1801,1802,1804,1805,1806,1808,1809,1811,
850,1744,1814,1815,1816,1817,1819,1820,1821,1822,1824,1825,1826,1828,1829,1831,1833,1756,1835,1837,1838,1840,1842,401,1843,
1844,1846,1847,1848,1850,1852,1853,1855,1857,1859,1860,432,1862,1863,1864,1866,820,1868,1870,1871,1873,1875,1876,1878,1879,
1881,1883,1885,1887,522,1889,1890,99,1893,1894,638,1896,1897,1899,1900,1902,1904,1905,1906,1907,1909,1910,1911,1913,1914,
1916,1917,496,1919,1920,1922,1924,1925,1927,1928,1930,1932,1934,1935,424,1936,1767,927,1937,1938,1940,1103,1941,1943,1944,
1945,1947,1948,1950,1951,1953,1955,1956,1958,1960,127,1962,1964,1965,1967,1969,1971,1098,1972,1974,396,1975,1976,314,1977,
1979,1980,1981,1982,1983,1985,1987,1347,1988,1989,1991,1993,1994,1995,1996,1998,1999,2000,2002,2003,2005,2006,2007,2009,2010,
2012,2014,2015,2017,2018,2020,2022,2023,2025,2026,2028,2030,2032,2033,2034,2036,2037,825,2040,2041,2042,2043,2044,2045,2047,
2049,2051,2052,2054,2055,2057,2059,2060,2062,2064,2065,2067,2068,2069,2071,2072,2074,2075,2076,2078,2079,2081,2082,2084,2085,
2086,144,2089,2090,2091,2092,2094,2096,2097,2099,5,2100,2102,2103,1047,2105,647,2107,2109,1265,2111,2112,1613,1335,2114,
2115,2117,2118,2120,2121,2123,1210,2125,2126,2128,2129,2131,2133,2134,2136,1739,2138,2139,767,2141,774,2143,2145,2147,2148,
2150,2152,2153,2155,2156,2158,2160,2162,2163,2164,2165,2167,2168,999,2170,2172,2173,2175,1836,2177,2179,2181,2182,2184,2185,
2187,2188,2190,1518,2192,2194,2196,2197,2198,2199,2201,2202,2203,2204,2206,2208,2087,2210,2212,2213,2214,2216,2130,2218,2220,
2221,838,2224,2225,2227,1191,2228,2230,1869,2233,2234,2236,2237,2239,1886,1720,2242,2243,2245,52,2247,2249,2250,2251,2252,
2254,2255,2256,2258,2259,2261,2263,2264,271,2265,2267,1374,2268,2270,2271,2273,2275,2276,2278,592,2280,1453,2282,2283,2284,
2286,2288,2108,2289,2083,2291,2292,2294,2296,2298,2299,1671,2301,2303,664,2305,2306,75,836,823,60,2309,2311,2312,2313,
2315,2316,2318,2320,732,1880,2321,1602,2222,2323,2325,2326,2328,737,2330,2332,2333,2335,2337,2338,2340,2341,1952,2344,2345,
1957,1432,2347,2349,2350,2352,810,2354,2356,2357,2358,2360,1248,2361,2362,2364,2365,2367,948,2368,2370,2371,2373,1992,2375,
1726,2377,2379,2380,250,2381,2383,2385,2386,2388,1292,2390,2392,2394,1325,759,2396,2398,1657,2400,2402,2403,2404,2405,2407,
2409,2411,2412,2413,2415,2417,2418,2420,2421,255,2424,2426,1057,2428,2429,2430,2432,2434,782,2437,2438,2440,2441,2443,2445,
2446,2448,2449,2451,2453,2454,2456,2457,273,2459,2461,2463,2464,2466,2467,2468,2470,2471,2473,2475,2476,2478,2480,1946,2482,
175,582,1414,2372,2485,2487,2488,2490,2492,2494,2495,2496,2498,2499,2500,2502,2503,2505,2506,2507,2508,2509,2511,2504,1807,
2513,2515,2516,2518,2520,2521,2523,2524,2525,1585,1208,2527,2528,2529,406,2531,2532,2534,2535,2351,2537,2538,2540,2541,2543,
2545,718,2547,1997,2550,2279,2552,2554,2555,2557,2558,2559,2561,1528,2564,2565,2566,2568,2570,1467,2573,2574,917,2577,2578,
2580,2581,2583,2585,727,2587,2588,2590,2592,2594,2595,2597,2599,2600,2151,2603,2604,2606,2607,2608,2610,2611,2613,2615,2616,
2618,2620,2621,2622,2624,2626,2627,2629,2631,2632,2634,341,2635,2636,2638,2640,1333,2642,2644,2646,2648,2650,312,2652,2654,
89,2656,2658,2659,2660,597,608,2663,2664,2666,2667,1173,2670,2651,2671,2672,2674,2675,2677,2678,2679,2681,2683,2684,2686,
2687,227,2690,2691,2693,2694,2695,790,2697,2699,2342,2701,2702,2101,689,2704,2705,2431,2707,2709,2711,2712,2714,2715,2716,
2718,2719,1557,2722,2723,2725,2726,2727,2728,2730,2633,157,2732,2733,2735,2736,2737,2657,2740,2741,2743,2745,2746,761,2749,
2750,2752,1617,377,2754,920,2756,2322,2757,2759,2277,2760,1412,1044,2763,1050,2766,114,2768,2770,2771,2773,2774,2776,2778,
2779,2781,2589,1015,2783,2784,2786,2787,2788,2790,1506,2793,2794,2795,2797,2799,2800,2802,2804,2806,2772,2808,2810,2811,129,
2813,2814,186,2815,1915,1966,2,2819,1194,200,2821,2823,2824,2826,2828,2829,2831,2832,2834,1624,2836,2838,2839,2841,815,
2843,2845,2846,2848,2849,2850,2852,2575,2854,2856,2857,494,499,2860,2861,2863,2864,2866,2868,1,2871,2872,2874,2876,876,
2878,2879,2881,2882,2884,2217,2887,2888,2890,2891,2892,2894,2895,2897,2899,2900,1903,2902,2903,2904,2905,2907,2909,2910,2912,
2914,2915,2916,2917,2918,1069,1545,2920,2922,2923,2925,2927,1590,2928,2930,2932,2934,2936,2938,104,2940,2942,2943,2945,2384,
102,2948,2949,2951,2953,2954,2956,2957,2959,484,2961,912,2963,2965,2967,2968,2970,2742,1345,2973,2975,2977,2978,2980,2982,
2984,399,2986,2988,2989,1118,2991,2992,2993,1884,2996,1093,2997,2999,3001,3003,3005,2176,3006,1961,3008,3010,3011,3013,3015,
3016,1147,3018,3019,3021,3022,3024,3025,3027,3028,3030,907,1515,3032,3034,3035,3037,3039,3040,3042,3043,3044,491,3033,3046,
3048,3049,3051,3053,3054,1142,3056,3058,3060,3061,3063,2761,3065,3067,3068,3070,504,3072,3073,3075,3076,3077,3079,3080,3082,
3083,3085,3086,3087,3089,1858,1818,979,1888,3090,3091,1364,3094,3096,3098,2310,3100,3102,3103,3105,3106,1221,3109,3110,2215,
54,3113,3114,3116,3117,3118,1812,3119,3120,3121,3122,3124,3126,3127,3128,3129,922,3131,3133,756,3135,3137,3138,3140,3141,
1202,3143,3145,3147,3148,3150,3151,3152,528,3154,3155,3157,3159,3160,3161,2423,3163,3164,3165,536,3168,3169,3170,3171,3173,
3174,3176,3036,3177,3179,3180,3181,3182,3184,1169,3186,3188,3189,3191,3192,3193,3195,3093,3197,3198,3199,3201,3202,3069,3204,
3206,3208,3209,3211,3213,1892,3215,3217,3218,217,3220,3221,3172,3224,3225,3226,1257,3228,3229,2885,3231,3232,3234,3235,3237,
3239,3240,3242,3243,2304,955,2142,3246,3248,3249,3250,1483,3252,3254,1597,3256,3258,3259,3261,2935,3244,3262,3264,3266,3267,
1108,3269,3271,3272,3273,238,3275,807,3277,3278,3279,3281,2422,3283,2519,3286,3287,3289,3290,3292,2769,3293,2869,3294,1289,
3296,3297,3299,3300,3302,3303,3305,3307,3308,3309,3310,3312,3314,3315,3317,1963,3319,3320,3322,3323,3324,3326,3327,3329,3331,
3332,2782,3333,3335,297,3337,2327,3340,2235,3341,3343,3345,3041,3347,3349,3350,3351,2855,3352,3354,3356,3357,3359,3360,3362,
3363,3365,3366,3368,3369,3371,3372,3374,3375,1823,3377,3378,1827,1688,2001,3381,3383,3384,3386,868,3388,3389,3391,2414,3393,
3394,3111,3397,3399,930,2436,3401,2287,3403,2649,3405,3407,3409,3410,3411,3412,3414,3416,3417,3418,3420,3421,3422,279,3238,
3425,3426,3313,3428,3430,3431,3432,3433,983,3435,3436,3438,3440,3441,3443,3158,3445,3446,3447,3448,3450,3451,3453,3455,1782,
3457,3458,1106,3461,3462,3464,3205,3465,3466,3467,3469,3470,3472,2183,3473,3475,3477,3479,3480,3482,3483,3484,3486,3487,3489,
3491,3492,3325,3493,3495,3496,3498,3499,1017,3501,3502,3504,3505,3506,3508,3509,3511,3512,3353,3515,3517,3518,3520,3522,2077,
585,3524,3526,3247,2625,3528,2484,3530,3532,3533,2272,1206,3536,3537,3539,3541,2981,3543,3544,3545,3547,23,3549,3551,3552,
1388,2630,3554,3556,3527,2048,3558,3559,3561,3563,3564,3566,3567,3568,3570,3571,3572,3574,3575,3577,3578,3580,3581,1277,3582,
3583,139,3585,3587,3203,3589,3591,3593,3595,336,3597,2244,3598,3599,3600,2584,3602,2161,3603,3605,3606,3607,3609,3611,3612,
3613,3615,3617,3618,3619,3621,3622,3623,3624,3280,3625,3626,3628,3629,3630,3631,3632,3633,2744,1303,3636,3637,3638,3639,3640,
3641,863,3643,1441,3644,3645,2024,3648,3649,3651,3653,3654,3655,3656,3658,3660,3661,3663,3664,2724,611,3667,3668,3669,3670,
413,3673,3674,3675,3676,3678,3680,3681,3683,2901,3685,3686,482,3688,2731,3690,261,3692,3694,3695,3696,3697,3699,3219,3701,
3702,3704,3705,15,1178,3707,3708,3710,3711,3713,3714,3715,3717,3718,3719,3721,3723,3724,3725,3727,2433,3730,2159,3731,1865,
1477,2122,3734,3736,2393,3738,3739,3740,2875,3742,3744,3746,3747,3748,3732,330,3751,3752,684,3754,3755,3756,2591,3757,3758,
3759,1020,1420,3762,1355,3764,3427,3766,136,3768,3770,3772,3773,3775,3776,3778,3779,3781,2450,3783,1370,3784,1120,3785,3529,
3788,3790,3792,3793,2556,3794,3795,3796,3797,3706,3074,1631,3801,3657,3802,3804,3805,506,3807,3809,3811,3812,3813,3814,3816,
3817,3818,3819,3821,3822,2549,1693,3824,3826,3828,3829,3830,3832,3833,3834,3836,538,3838,3839,3841,3843,3268,3844,3846,3847,
3849,3850,3852,3854,3855,3857,3858,3860,3861,2021,2734,3864,3866,3789,986,3867,3055,3869,3871,3873,1342,3874,320,3876,3709,
2189,3878,3879,3880,2753,3882,3311,3884,3885,3886,3888,3557,2762,3890,1166,3892,3803,2517,2673,3894,3896,3897,2820,1736,3898,
3899,147,3900,3901,2880,3902,3903,3904,3906,3907,3908,3909,3911,3913,3914,3915,3916,2317,3918,162,3920,812,3921,3922,3924,
3925,3910,3927,3928,333,1571,2050,2300,3930,3931,3415,3933,3934,3936,2614,2685,3938,3940,3677,3941,3943,3944,3945,3947,3948,
3950,3951,3952,3953,2837,3955,3216,3956,3958,3123,3959,2551,3961,2366,3963,3965,3966,3088,3968,3969,3185,2106,3970,3972,3973,
3974,3976,1605,3978,3980,1714,2334,2395,3983,3985,777,3987,3988,3989,3990,3992,2209,305,2700,3996,57,3998,4000,4001,659,
2095,4003,4004,4005,4007,4008,4010,4011,4013,4014,763,4016,4018,2510,3516,4020,3355,1181,4022,2586,4023,4024,4025,3385,4027,
4029,4030,4032,4034,4035,4036,2765,4038,4039,4040,4041,1450,4043,292,4045,4046,4048,4050,4051,4053,4054,4055,4057,4058,4060,
4061,4063,2729,4064,4066,4067,4069,4070,4072,4073,4074,4075,4077,4079,4080,4082,4084,2571,4085,4086,206,4089,4090,4092,4093,
4095,2955,4097,4098,4100,2293,4102,3139,4104,4106,4108,961,4110,4111,2567,1268,748,4112,2231,4114,18,4116,2853,1761,4119,
4120,4121,2169,4122,4123,4124,4125,4126,4128,1839,860,4131,4132,4134,734,4135,4137,4138,4139,630,4140,4141,4143,4145,4146,
4009,4147,4149,855,4150,1642,4152,4154,4155,4157,4159,1923,3679,4161,4162,4163,2985,3650,2355,4166,4167,4169,4171,4172,4174,
4176,4177,4178,2348,4181,3912,4183,4142,4184,2971,4187,4189,4190,4192,2688,4195,4196,4197,4198,1990,4200,1260,4202,614,4203,
4204,4206,4207,4117,4208,2964,4101,3029,4209,2696,4210,4211,4213,4214,4215,3982,4216,4217,4219,4221,4223,4224,364,4225,2952,
4227,3367,4229,4231,4232,4233,4234,3799,2295,4236,4237,4239,3396,1353,2921,4242,4243,1901,4244,3765,4246,4248,4250,730,4252,
357,4254,4255,4257,4259,4260,4262,4263,2751,4130,2410,878,4268,1851,4271,4272,1204,993,4275,4276,3525,4277,4279,4281,4282,
3104,4284,2080,4285,4287,4289,3214,3196,4291,4292,3592,4293,4294,1393,3026,4297,4298,4300,4301,3288,2207,2319,4302,4304,83,
2329,4307,3835,4309,4310,2944,4312,4314,4316,4317,4319,4320,4322,4323,4325,4326,3390,2226,4329,4331,4333,4334,675,4336,4338,
4339,4340,4341,4343,1933,4344,2665,4346,4348,4350,4351,4353,4354,214,4356,4357,4359,3490,4360,474,4362,4363,3777,4366,3194,
4368,705,4369,4371,4372,3342,4373,4375,4377,2238,715,4380,4381,4383,4384,4386,4388,4389,2692,4390,4392,4393,799,4394,4395,
4396,4398,4399,4401,4402,4403,4404,4405,4406,4407,4408,4410,4411,4412,671,4414,4415,4417,2346,4418,4420,570,4422,4416,4424,
4425,1970,4427,3546,235,3210,4429,488,3647,841,4432,3889,4433,4434,4436,3562,3994,4437,4439,4440,3540,4442,2104,4443,4444,
4446,4448,4449,4451,4452,4454,3620,3166,4456,4458,4459,4460,2605,1978,4462,4464,2662,4465,1841,1861,4467,4469,4470,4471,4473,
4475,4476,4477,4479,4480,4482,4484,4485,4487,3863,1530,4489,4491,3949,4493,4494,3971,2655,2789,4496,4002,588,4499,78,4463,
4502,4503,4504,2830,4505,4507,4508,4510,4511,4512,4514,4515,4517,4519,4520,4522,4523,2369,4524,4525,4526,3348,513,4528,4529,
4531,4532,4533,4534,3112,2792,1610,2389,3251,4539,4540,2307,4542,2924,4544,4546,4548,2911,2113,439,4549,4551,4552,796,466,
4554,4555,4556,2205,4557,4558,4560,3097,1492,3825,3932,4562,4564,4565,4567,4568,4270,4569,4570,4572,4573,4575,4577,4578,4580,
4582,4583,4584,4585,4586,4587,4589,4591,4592,4593,4595,4597,4598,4600,4602,4604,4606,4607,4609,4611,4612,4614,4616,4617,4619,
4129,4621,4387,326,4201,4623,193,4625,4626,4627,2983,4630,4631,3318,4632,4327,4634,1262,4635,4636,4637,4638,4639,4641,4642,
846,4645,4646,4648,4447,4650,4651,4653,4105,4654,4656,2962,4658,1314,2987,4660,4661,4663,4664,4666,4667,4669,1704,4670,4671,
4672,4673,4674,977,3108,4676,2851,4678,4286,4679,4311,4681,4682,4683,4235,4684,4685,4686,4687,4688,2801,2865,4689,4691,1461,
4693,4694,743,4423,1772,4696,4697,4699,4701,4702,3460,4704,2862,635,1085,4708,3136,4711,4712,4713,4715,4717,4718,4720,4722,
4723,4724,4726,4727,3468,230,4730,36,4732,2974,4734,4735,4736,4738,4739,2178,1702,2946,4742,1582,4358,4745,4747,2180,4690,
4749,4751,4752,4753,4754,404,3553,1580,276,4756,1151,4757,2553,4759,4761,4762,4764,4766,4768,4769,4240,4771,3761,4773,4775,
4776,4777,4779,4780,4782,4784,4785,4787,4788,540,4790,4792,4643,4795,3346,2579,4299,3200,4799,3050,4620,4800,1238,4802,4803,
3178,4804,1898,4807,4481,4810,4428,1003,2031,4811,4566,4813,4814,4816,4817,2140,4819,4821,1683,4823,4824,4640,4705,4826,4445,
173,4829,4798,4830,4832,2563,4834,4836,4837,2703,4840,3646,4841,4842,2994,4843,4845,4846,4847,4849,4850,2847,4852,3274,4853,
3149,2825,4855,4856,4729,1664,3434,4860,4861,4863,434,4865,2682,86,4629,4867,1488,3020,2947,4869,3023,3236,4871,2512,4590,
4874,4876,4877,4878,2867,4880,3223,4881,4882,4883,4885,4886,2378,4888,3298,4866,4889,4890,1984,4892,520,1273,4894,4895,4896,
4898,1360,4900,4901,4902,4904,4081,2281,4193,4908,65,4909,4910,4911,2791,3423,2093,4914,4915,4917,4918,4920,4922,4652,4924,
2363,4926,4927,4928,4929,4858,3207,4932,2137,3672,4933,4934,382,1959,4937,4938,421,4144,4191,4941,3700,4944,4945,2807,4946,
4884,1548,4948,969,4950,4413,2755,4952,4953,4954,3946,4957,2013,124,873,1986,4960,4962,4964,4965,4967,4969,4970,4971,828,
4972,3306,2906,4975,360,4976,1533,4978,4980,4981,4983,4984,3523,4986,4987,1538,4988,4989,1186,4990,4992,4993,4994,4995,4997,
4998,4999,5000,5001,5003,5004,5006,5007,5008,5010,5011,5012,2046,5014,5015,3601,5018,5019,5020,2926,5021,4618,1470,5023,3507,
1009,1215,5024,5025,5027,5028,5030,5031,5032,4949,5033,5034,3590,1436,4746,5035,1845,4748,3130,5037,5038,5040,3569,2223,2883,
5045,910,5047,5049,5050,5052,5054,5056,5058,5059,5060,549,5061,3338,4071,5064,3265,5065,3848,245,5068,5069,5070,2124,2119,
4899,4441,543,5073,5075,4659,5076,5077,5079,5080,5082,3720,2873,3960,5084,5086,5087,5089,5091,5093,5094,4283,5096,1742,1795,
5097,5099,5101,5102,2331,3808,5104,5106,5108,5109,5111,5112,5114,4226,1849,5116,1949,2598,5118,5119,5120,4791,5121,2229,5123,
5125,5126,3964,3052,5128,1250,5129,294,1830,5131,5132,5134,5135,5136,1834,2803,3716,5138,4743,5139,5072,4435,3684,5140,5142,
5143,3413,429,5145,5146,4472,5147,5148,5149,5150,5152,4545,5153,5154,5155,3791,5157,5159,2898,5161,5162,5160,5163,5164,5166,
5167,5169,4506,5171,1882,5173,5174,5175,5176,5178,5180,5181,5182,5183,5185,5187,5188,2063,5190,5192,5194,1391,5196,4017,5198,
5200,5201,5203,531,2066,5206,5208,5210,5211,4088,5214,5215,5217,5219,2462,5221,2639,5222,5224,4707,5226,2937,5229,2713,4698,
1095,4430,4677,5231,5232,10,5233,3531,4021,479,5235,1127,5205,5237,2576,5238,5240,3519,5242,5244,5245,5246,4893,981,1912,
4280,5247,5248,5250,5251,5253,5254,4921,1383,4912,5257,5258,1075,4812,5260,3316,5261,5262,4905,4906,4541,5265,3728,5268,5269,
5271,5272,5273,4241,5170,1485,2193,5274,4127,5158,5276,5277,5279,5280,2764,5283,5284,5285,5286,4828,5289,2668,3895,5291,5293,
3276,5294,5295,5297,5299,5300,5302,1285,5303,5304,5305,4087,2775,5307,5308,4943,5311,5312,5313,447,5315,4822,5316,5317,5318,
5320,7,5323,5324,5325,3474,5327,5329,3146,5331,5332,4495,5334,2406,4844,5336,5338,5339,5340,3370,5343,1041,2526,2827,5344,
5345,3698,4136,5347,5348,5349,5350,2643,5352,3167,3358,5355,5357,3550,3064,5360,5361,5362,2248,5364,1224,2260,5365,5366,2647,
5368,5088,5369,1327,4391,2501,5341,4118,5372,5373,2717,5375,5376,4266,2919,5288,5367,5378,308,5379,3361,3255,5380,5381,1002,
5117,2812,2195,1213,1308,5384,1330,5386,3815,1854,5388,5281,5391,3588,5392,5393,5394,4513,5395,5396,5398,5399,5400,5401,4328,
1520,5405,4985,5407,5408,1577,1398,5410,2708,4378,2661,5412,2011,2157,5413,5414,324,5417,1645,1080,5418,5419,1445,5421,5423,
600,5424,5425,3144,3153,5427,3689,5429,1699,5430,4455,5234,5432,5434,5435,5437,5067,5439,338,5442,1123,5444,5446,5447,5449,
4947,5451,5452,2200,5454,787,5455,5457,5459,5460,721,5461,5462,3245,5464,1634,3284,4253,5466,5467,4113,5469,5471,5472,5474,
5074,4083,4099,991,5013,4251,5477,4115,5478,5479,5480,5481,5483,5484,5485,5487,4026,5489,5491,5492,5494,1321,5495,5496,5498,
662,5500,567,5501,5502,5504,5505,5506,5508,5509,5510,3521,4049,1637,5513,5514,654,3321,5516,1318,5517,5518,5519,5520,5521,
5522,1659,4851,5524,5525,5526,1406,3084,2297,5529,5098,3429,3004,5533,833,4879,310,1380,5535,5536,5537,4864,4186,81,5540,
4059,5542,622,5543,5544,3659,5546,3937,4256,4875,4868,2767,5549,603,1417,848,2698,4838,5554,632,4982,5555,5557,5559,5560,
4599,4831,5562,5371,893,5081,5564,5566,5568,5569,5570,5571,3780,3398,5574,5575,5577,5578,2374,5445,5581,152,5133,5403,739,
5584,5586,5587,4450,5589,5590,2706,5263,5592,5593,1193,5363,4265,5594,2483,4907,5595,1921,1735,5039,884,5597,5055,4966,3233,
5598,5600,5601,5602,5604,116,5605,1039,5607,2174,5608,3344,3979,5611,5612,5613,5614,5615,5617,119,5619,5621,5623,5625,5626,
5627,2387,5628,5630,5415,5632,4076,4352,5634,5635,5636,5637,1401,3488,5639,3798,5641,5642,5644,5645,3222,1134,5646,1255,111,
5648,5649,5650,5652,3926,4647,5654,5656,5657,5659,2976,5661,5662,5664,5666,5667,5668,5670,5672,5674,5675,5677,5678,5679,2149,
5085,5532,5683,5684,5685,5686,5687,2458,5689,5691,4094,5694,1678,5696,5110,5698,5700,5702,5703,5704,5705,5558,5708,694,5709,
5218,5711,5712,5713,5714,5716,5718,4056,5720,5721,5723,5725,1171,5727,5728,5730,5732,5733,5734,5735,5737,2539,5739,5740,5742,
5744,578,1501,5745,1553,3859,3745,575,605,5749,5751,5752,4264,2931,5753,2290,5754,5755,5756,2477,5758,2628,1270,5760,5762,
5763,5764,5766,5768,3404,5770,5765,5772,1722,5773,5774,5775,4349,5778,4185,5780,5124,5781,5782,5784,2416,4305,2840,5787,5788,
4550,5790,3820,5791,5792,3919,4857,5113,5044,4624,5796,5797,4474,4547,5799,2939,5800,5798,4827,801,5802,5794,5803,5653,5804,
2637,5805,5465,5807,3635,5808,5809,5810,4148,5811,2816,5814,5551,5816,5818,5301,4563,5821,5822,4644,5824,5826,5828,5830,4758,
5832,5834,5835,5836,5582,5801,2241,5839,5841,5842,2612,5844,5845,5847,5848,3364,4796,5849,3923,5850,5746,5852,1480,5256,5428,
5854,5855,5857,5859,183,5861,4278,5862,5864,5865,5831,5651,5868,5870,5871,5873,5874,5875,2913,5877,5879,5880,5351,2689,2748,
5882,5884,5885,5887,5889,5890,5891,2785,2560,4290,5892,2835,3373,4657,1968,5137,5896,1856,5783,5897,5165,5898,3548,5899,4220,
5701,5900,5902,5903,4315,5904,5905,4153,5906,3939,4897,1733,5907,5908,5909,4692,352,5888,5912,5913,5915,1786,5806,5309,1295,
5917,5918,5919,5921,5923,5475,5925,3608,4498,5927,2645,5929,1229,5930,5342,5932,5933,3339,5934,2844,5911,5017,5937,5938,4490,
5122,5743,5939,2562,1367,5942,5943,804,5944,2339,380,5946,3671,5924,5949,4973,5950,349,645,2324,5951,3162,5952,5954,2186,
3823,5230,551,5956,1535,5016,5957,4695,4977,5959,4274,5960,5962,5964,4958,5965,4527,4453,4772,3565,5968,573,5969,5970,5971,
924,4267,5973,888,4968,5974,1803,5975,5976,5977,5978,5979,5980,5883,5982,5983,5688,1125,5985,4044,5986,5987,5988,5990,5991,
5993,5994,5995,972,5996,3230,5998,5999,6001,6002,6003,6004,2419,6006,5406,4222,602,6007,268,5538,6008,3503,1555,4737,5785,
6010,6011,6013,6015,6016,6017,5255,6019,6020,4848,6022,6024,6025,6027,6029,6030,6031,5227,1568,6033,4258,6036,6005,6037,6039,
771,6041,6042,6043,2219,4559,6046,4321,697,252,2641,5092,3408,6049,6051,6052,2542,6055,5354,4601,6058,2455,6060,6061,6062,
1087,6063,6064,6066,4925,6067,6069,6070,6071,6073,779,3827,6075,6076,6078,1563,6079,5941,6080,1540,5548,6081,4809,4212,460,
6083,4296,6084,5736,4794,1908,1055,6087,6089,5527,6091,6093,1338,6094,2343,6096,20,28,6097,5813,6098,6100,525,4012,6102,
4579,4951,6104,3115,6086,6106,6107,1724,6108,3534,4535,3737,708,6110,155,6111,6112,3017,219,3134,6114,4530,5812,6116,6117,
6119,6120,6121,4859,6109,5997,3270,2609,3227,6123,5738,6126,6127,6129,6130,4537,1275,6132,6134,6135,6136,5741,6138,1523,4509,
5314,6140,2572,5989,4710,6141,6142,6143,627,2056,5377,6082,26,6144,2886,4245,1832,6145,4930,1475,6147,5290,6149,6150,6151,
4731,1918,6153,6154,6155,6156,6157,6105,3767,2266,2896,6012,6161,5275,2336,5786,3419,6163,6118,6164,1439,1409,5127,1243,1188,
6168,4364,2617,2469,6172,6173,6174,389,6176,1640,6178,2680,5920,5572,5609,6182,6184,6021,2211,6185,5042,2544,2465,6188,6190,
6192,6193,4608,6195,6197,6199,6200,6202,6203,3942,6205,6207,6208,6209,6211,6212,6214,4786,6216,6217,6219,6220,6221,6222,6224,
6226,4173,6228,6229,6230,6231,6232,5431,6233,6235,3975,3449,6237,6239,6241,6242,6244,3845,6246,6247,6249,6034,6251,4668,2809,
6252,3594,3387,6254,510,5511,4376,6256,1707,6258,6259,6261,6263,5144,3009,6265,6267,3763,6269,6271,6272,3729,4367,2998,232,
6277,5225,6278,6279,6280,6281,108,5596,6282,1728,3837,5141,6284,785,4028,6286,1685,4426,1137,6175,3007,6291,6293,5243,5026,
6294,3806,3334,6295,4765,6292,6296,4438,3883,6299,6301,6302,198,881,751,2382,6103,1030,3442,6307,6308,3066,6310,6312,6314,
6315,4047,3494,6318,5901,6320,6322,6324,47,6325,6327,6329,6331,6332,6333,6334,6335,6337,6338,2073,6339,4594,5002,6341,4065,
6343,6345,6346,6347,263,4728,1565,1752,6348,6349,2029,6350,3691,6304,3099,4942,6351,957,1874,6352,6353,3831,6354,6356,3132,
6358,5610,6360,6361,6363,6364,6365,2425,6366,3392,6367,6369,1184,4854,6371,6355,391,6115,6375,1895,6376,6377,1197,6378,3642,
6380,6381,6382,1090,2818,6385,1926,6386,5041,1747,6388,4194,4269,5029,6389,4781,4457,4783,6392,6393,6275,6276,6395,5438,6396,
6131,6398,94,6399,1036,6400,1012,2285,2110,1114,5497,6403,3424,3038,96,6405,3542,31,6407,6408,3500,6410,6411,6412,6413,
2053,6415,4956,1789,3101,6418,6196,6419,6421,4778,6422,6423,6424,5660,6426,4501,6428,1301,3107,6430,6113,6431,3000,6432,5638,
1939,5306,455,6158,6435,6436,6437,3887,6439,6440,2359,6441,6442,3870,450,3045,4740,6445,6446,5264,6448,6450,6451,6453,594,
5433,6159,2232,1006,1619,2522,2246,3905,6455,5550,6456,1464,5078,6444,6458,5387,6459,657,5270,6255,6461,4744,4538,6379,6464,
6260,6309,6223,6466,6468,3002,6470,6472,6474,6475,122,2479,4961,6137,6477,6478,6480,6482,6484,2877,6487,6488,5967,6489,6490,
5928,3993,6492,6493,5292,6494,6495,3749,6497,6498,6500,6501,6502,5319,6503,6504,6506,1627,6507,6505,687,5022,3175,6508,6509,
5356,6099,6510,5881,1245,6512,2061,6513,6515,2623,6516,1649,5815,6517,6433,6146,6519,2533,6072,6523,6525,4833,6018,5057,6526,
2859,5843,6529,4801,5750,3183,6530,6531,5966,6533,6535,3380,4335,6463,4006,4940,6537,5603,5580,6540,6541,6543,5409,6544,1422,
6546,6547,5382,4750,6549,6550,5156,6372,2474,6551,4903,6553,6465,6124,6556,6557,6559,5048,6560,6561,6562,1378,191,6563,6565,
6567,4675,3703,6569,5914,5981,4497,5186,5838,1792,6571,6572,6545,240,6452,1954,6574,1232,6575,2144,6186,6577,6417,6443,6578,
6579,5236,5591,4107,4158,5389,6580,4818,3962,6581,6582,1749,6584,6585,5707,6587,6023,6274,6589,6591,6592,5197,6594,6596,6597,
6598,6599,6601,6602,6603,6481,6604,6606,5359,6608,4015,6139,3782,6014,6612,6614,6615,6616,6617,3954,6225,6619,3579,6090,6622,
6623,6624,6625,6626,6555,5599,6534,3463,5456,6630,6631,6402,5228,6634,6635,6636,6637,5663,6336,2439,6640,6183,6642,6643,3471,
6645,6647,2039,6648,6649,6650,6652,4492,5759,6655,934,4365,6344,6656,6657,6658,6659,1163,3981,4361,1025,3156,6660,6662,4483,
4199,3891,6370,6447,6664,3263,6666,3726,6667,6669,6670,6672,5669,5267,6675,5866,1111,3510,6678,6680,6681,6683,5953,3722,6685,
3774,6686,5681,6688,6690,4355,3285,5095,3301,6691,6692,6694,4247,6695,6573,4068,6684,6697,4755,3573,6698,6300,6699,3693,1372,
6700,6701,6539,6264,6496,6703,6568,3760,6026,6705,5499,5278,6288,3190,6706,418,6708,3062,6710,6711,3452,6714,3071,6716,6717,
6719,6720,3576,6627,6520,2870,6724,6725,6727,6532,5204,3092,2058,6728,6729,6731,2427,5658,3957,6734,5961,4891,6735,6736,1033,
1280,6737,6738,6566,6739,6740,6742,6743,6745,6746,6748,6590,6750,6752,5895,6754,6755,6757,4936,6759,6760,3379,6088,6763,6764,
6765,4622,5083,6359,2240,6712,5482,3614,6768,3454,6769,6770,5223,5450,5695,6772,6774,2391,2777,6775,2619,369,5563,3282,5383,
6283,2308,936,6653,5629,5490,2019,5402,6781,6782,6783,5043,6784,4170,3081,6786,6787,3840,6536,149,793,4719,3125,4870,2805,
3406,2990,564,1305,6610,6791,6793,3842,4931,3142,6795,6797,6528,5747,1592,5470,3665,4165,6179,1711,5370,6800,6801,6803,6804,
3253,6806,680,6406,6807,2676,5009,362,6809,6811,5530,6812,6491,4345,5935,3382,1240,5515,6813,702,5545,6323,2302,2116,6814,
964,6816,4374,6771,4615,4613,1100,4109,5507,4610,2166,6821,5195,6822,6823,6824,1891,6825,6826,4862,6828,6829,3497,1132,5177,
6830,6832,5825,5220,2833,5216,4774,6040,1504,4019,2016,6835,6837,6245,6838,6840,3560,6842,3012,6844,1622,2038,6846,4261,6848,
4461,5886,3999,692,6849,6850,4500,5837,6852,5541,5926,6404,2747,6693,5005,2941,1942,6511,6613,5846,6857,517,5863,5940,6859,
6600,6374,6469,6862,3652,6317,6171,6863,2444,3851,4037,6794,6867,6868,6869,3604,640,6870,5453,2889,4770,6872,6805,6611,5936,
6177,6874,6542,3476,6875,6092,1929,6877,6878,2146,5878,6879,2858,562,6880,2004,6792,1600,6009,6429,3634,6122,5692,6885,6886,
6152,5872,4486,6888,2399,3753,3877,5893,3743,6891,5107,2008,5963,1350,6776,6894,3977,2070,5416,2739,3555,6285,6898,6899,6900,
4419,669,4733,6170,3929,6527,5426,6201,3047,6035,5266,818,5287,6751,6808,6548,3662,6841,6908,6909,6910,3514,6911,2933,2127,
6915,3786,2408,3935,4478,6873,4974,5972,6918,6919,6920,5207,4288,6921,6922,6923,2738,6924,6925,6818,6605,4466,3212,2601,6871,
1653,6927,4347,6928,2536,5523,6273,4649,1495,1780,580,4789,6897,6929,6931,5715,4306,6934,6935,2154,6936,4680,6937,6938,6940,
6941,4332,6944,6945,4820,6942,2493,6949,901,6950,6951,6952,1053,6954,6955,6957,6959,6960,6962,6963,6749,6964,6965,6059,6236,
6967,3459,6969,857,2447,6970,5476,1129,6972,6973,6974,6976,6977,6978,1872,6980,6981,6982,2929,6984,6986,6987,6856,5053,5346,
6522,6853,6990,6194,6992,4825,6994,4716,5404,5556,6414,6996,6997,6998,7000,7001,6210,7003,6912,7004,7006,1447,2582,7008,7009,
7010,7012,4815,7015,5583,6673,3750,7017,4793,4303,7019,7020,1717,4872,4382,7021,6416,6552,2376,3986,7024,7025,7026,1867,39,
4536,7028,477,2796,4151,7029,7030,7032,7033,7035,6851,7037,3444,7038,4581,7039,7040,7042,7043,967,5827,4923,5588,2353,5779,
7045,3437,6644,6633,7047,372,2950,3741,6319,1615,7050,6827,1226,6906,7053,5823,4052,7056,7057,7059,7060,7061,4576,7063,1681,
7066,5411,5486,7069,6785,1777,4205,6032,6397,7071,7072,5358,6409,7073,7074,7076,4431,6053,7078,1629,6883,2817,5036,7080,7082,
5066,7083,7084,7085,6095,6893,6704,6438,7087,2669,7088,6901,6038,7089,5769,7090,442,209,7091,4655,6457,7094,6045,7096,5947,
3187,4760,4709,4370,7098,6373,3868,6167,6028,7100,7101,188,3596,7102,4249,6047,345,7103,7086,7104,5858,6726,7107,6855,7108,
7110,4741,5115,6357,6889,7112,7114,7115,6057,2569,7118,5699,6576,3881,4706,1455,7014,6917,3400,7123,5420,7016,2822,6187,2546,
7126,6524,7127,7128,3031,6564,5655,1473,1430,7131,7132,4916,7068,7133,4179,7065,7135,7136,4182,5984,2257,2452,4805,7140,6802,
7142,5062,7143,4553,7144,7145,7147,7148,7149,7150,7151,1340,7093,7154,1550,1931,7156,7158,7159,7160,5130,7162,7164,6234,515,
557,6854,6101,7018,1498,3485,7167,1797,5103,7170,7157,6554,6287,7172,7173,7174,3984,5330,7176,5665,6638,4308,289,6799,3014,
2995,7111,865,1607,7177,7178,7179,6713,7180,7181,7182,2435,7183,6383,5463,3991,7184,3291,7185,4273,5851,6788,5493,7079,7186,
2269,7130,5776,7188,7189,7190,6741,1297,7193,7097,5724,6213,7194,6881,7195,7196,5105,6289,2720,7197,6085,3330,4238,5945,3584,
4543,317,6077,7200,3535,7054,4516,7201,5422,5585,7203,5771,7109,6048,7202,6191,2780,7095,5624,7208,7209,5719,7212,7213,7092,
1676,7214,7216,6160,7031,4521,6368,5063,7199,7219,7220,7221,6628,4767,2491,7224,7034,7226,5172,7228,2966,7229,1746,5488,7231,
6471,7168,5793,7233,6864,7235,7236,7225,6583,713,7239,7240,7241,7242,7163,7244,6390,7247,7248,7048,6646,7250,6420,5322,7252,
5867,2969,7254,7255,1666,7257,7259,2098,6777,7261,4714,7022,3395,6391,4313,7263,7264,7265,4603,7266,7267,7269,6779,7270,6819,
7271,5328,7272,7273,3059,6460,7275,7276,7113,7278,6789,6629,7281,7282,7283,6696,1511,2472,1199,7260,6892,7137,996,2027,4797,
1973,7124,1358,3967,6766,5576,7285,2497,6384,4409,7287,6798,5860,7288,7289,7291,7292,7293,7295,7296,7297,7298,7299,7300,7051,
5436,7303,7305,7307,6930,6884,6758,7277,49,2908,410,2035,7309,899,7311,5616,6268,7312,7313,6723,3769,7314,5676,7315,5353,
7316,5561,7138,4318,6651,6253,7320,7223,6988,7027,7322,6999,7324,6462,2481,3853,4324,2958,5321,4939,34,4230,7328,4400,7331,
5458,6989,2593,134,6449,890,3478,7334,6162,5547,6904,4703,1218,4574,7337,7338,7339,7333,5579,3260,7268,4103,5606,7340,6427,
7286,7342,4605,4342,946,1525,6558,7304,5512,4725,7344,4488,1077,4330,6198,7346,4091,5193,7347,7348,3376,4228,1587,7120,5552,
3666,7218,853,5573,3078,7351,4164,1813,1673,7353,6518,1575,7175,7355,6753,5100,7357,7358,1572,2548,5958,6790,2596,1595,6916,
5682,1759,2653,3893,3538,7206,5643,4665,6538,4913,7360,830,6586,7362,6865,7363,7364,6607,7007,7302,6836,6394,2721,7366,6180,
7367,3872,4295,5992,7368,5789,7369,3304,7370,2314,7153,7365,91,6362,7274,6326,7371,3862,7169,6839,6890,6128,7023,7373,4561,
2135,5731,2893,3800,5697,1810,6858,4421,895,3735,7375,6621,6303,7376,1434,6181,6833,6401,7379,7380,5151,7381,7382,7383,6979,
5829,6903,2798,1775,7385,7386,7387,7388,3057,4175,5282,4935,7392,6767,3810,1175,7394,7395,7396,7171,5184,7398,7399,7400,7402,
7243,5191,7404,6056,7407,7408,7409,6298,7410,7262,7349,4721,7413,5199,6676,7361,7011,7245,7117,1022,6831,6810,5296,7414,7359,
5213,7416,6044,7418,7294,7204,2397,7420,7421,7422,4571,7423,7125,5618,7424,7425,7426,5647,7428,7429,6715,7431,2710,7432,5241,
5777,6668,7435,5620,7437,4518,5726,7440,7441,5717,7443,5833,6966,3995,7099,5385,6778,7081,5071,7445,6991,7446,6479,6148,7448,
7450,7256,4628,7401,7452,6780,5249,2442,7454,5298,7456,7458,6983,6895,6747,6165,7461,5706,7463,2088,7464,7466,7467,6340,7469,
7470,7471,4959,7472,5528,5326,6133,6454,5671,5931,2486,5390,7476,5534,7465,5553,5503,6845,7477,7478,7377,2401,73,1696,7480,
7482,6243,7453,2602,6958,5443,5252,5441,6882,4806,7484,7485,7198,7439,225,3402,6054,4835,5622,2132,1161,7487,7489,3687,302,
3095,7491,7492,7494,6486,7495,6932,2979,7002,7498,5259,7468,7500,5337,6913,6773,7502,7503,7187,5468,7504,7505,5916,5948,7506,
5710,1323,7509,7510,939,7511,7444,2191,6887,7512,7513,7205,7514,7329,6956,7301,7515,6993,7105,7516,6595,7518,7230,6985,7237,
5729,7519,7520,2530,7411,6744,5761,2274,5795,7336,3627,5310,7522,7234,710,5876,7523,7524,463,3336,7525,7526,7527,4700,7161,
7308,5565,2758,7530,7532,7253,5910,7533,7535,7052,5333,6632,6483,7321,7537,7538,7539,6732,5757,2514,211,7543,3682,7544,3856,
3481,7547,7222,1877,6125,3787,7406,7041,7551,6671,7427,7552,5819,7553,7501,5680,7554,7555,7210,6068,5202,7558,7508,5693,7549,
6946,4996,7475,7560,7483,7561,7562,6687,7563,5531,5212,6387,6847,7058,6995,4218,7565,7566,6570,7567,5633,6975,7568,4763,7570,
7317,7531,2171,6663,7571,5539,7573,5209,3241,5374,1283,6240,5473,70,6266,6939,7341,7577,7062,5239,3865,7579,7581,2262,7434,
7583,7517,4379,7585,7134,5567,7586,7587,915,7290,6499,5397,7589,6948,4096,7590,7592,287,7594,7595,7215,6618,7496,7597,7378,
4156,3610,7599,7438,7600,7352,7601,7584,6896,7279,7602,7603,6721,5189,4808,904,6843,7605,7606,7607,7608,5869,7609,7610,6933,
5856,7354,7528,7036,6434,7612,7569,1489,4337,7613,7556,5922,7616,3997,6907,7617,7618,7619,7620,7621,7622,7330,7623,6065,5722,
3586,4385,7284,7578,5448,7323,5090,2489,7626,7627,7628,5673,6000,7629,7630,4188,6311,5853,6250,3513,1459,7632,7634,7635,7449,
7636,7499,5817,7529,7166,7638,2960,6860,6342,6730,6677,7641,6521,2460,4180,7642,7644,4979,7645,7647,7055,6820,6665,7611,6270,
7649,7651,7488,6467,7652,7442,7653,4062,7548,6815,7326,7064,7654,7655,7596,7656,7657,7658,7419,7659,7493,7049,4468,1561,167,
4133,7433,6707,7660,6206,6914,7661,7575,6682,3616,7662,7663,6834,7251,6661,6866,7207,7310,5168,6609,6485,7582,4168,7633,5051,
7664,2972,6238,7550,7217,7666,7588,3771,7667,7625,7668,7280,7669,6968,7671,7591,7672,7393,7572,7673,5690,723,7615,7674,6620,
7675,4078,6674,7676,7116,7106,4991,4662,7246,4839,6321,7677,7678,5179,7679,2842,7070,180,6305,7546,6722,7417,6328,7681,7682,
3456,7683,6718,7684,7685,7481,7436,7447,6330,6756,4397,6926,4887,7332,6733,6316,6761,7690,7691,7692,7687,7227,3733,7650,7694,
6514,7474,7462,6050,5640,6313,7698,6876,4031,7121,7580,6257,6641,7699,7457,7696,6762,7701,5894,7460,6189,6702,1404,4160,7702,
7152,7703,6588,7705,1443,7706,452,4919,7700,7707,7708,6593,6166,7709,7711,7643,7391,7640,7713,7542,5820,6425,3712,7564,7715,
7646,6817,6290,7637,7716,6679,7077,6971,7412,7005,7335,7122,7540,7430,7356,7389,6476,7405,7648,6639,7451,7372,7075,3917,3295,
7693,7721,7722,6961,7576,7712,7141,7046,1386,6473,7723,7350,7717,4873,7719,7710,7631,7129,7139,7726,7727,3257,6262,7728,7545,
4042,7013,7192,6248,7725,7730,5631,6947,7232,7714,7345,7390,7639,6204,7490,7521,7704,6218,5748,7238,6689,6943,7306,6953,6306,
7680,7593,7191,7733,7734,7325,7497,7736,7249,6654,5767,7507,7689,3328,7737,7155,7604,6297,7665,7165,745,7739,5046,7403,7740,
7742,7119,7415,7455,7686,3875,4633,7741,7067,7258,7729,7695,7146,7384,3439,6902,4963,6861,7688,7479,7718,7697,7720,5840,7744,
7536,7486,6074,7745,5440,5955,5335,7534,7574,7746,6905,7397,6169,7374,7318,6215,7211,7541,7473,7735,7343,7614,7319,7459,7747,
7327,6796,7731,4588,6709,7624,7748,7557,7670,1156,4955,7044,367,7724,7743,7738,2253,6227,7559,4596,4033,7598,7750,7749,7732]
>;
print "Group G is 5^(3+3).(2 x L3(5)) < Sym(7750)";