/*
www-ATLAS of Group Representations.
J3 represented as permutations on 6156 points.
*/

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