/*
www-ATLAS of Group Representations.
U4(3):D8 represented as permutations on 8505 points.
*/

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