/*
www-ATLAS of Group Representations.
S6(3):2 represented as permutations on 7371 points.
*/

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