/*
www-ATLAS of Group Representations.
Co3 represented as permutations on 11178 points.
*/

G<x,y>:=PermutationGroup<11178|\[
2,4,6,1,9,11,13,15,17,19,3,22,24,26,27,29,5,32,34,36,37,39,41,7,44,
46,8,49,51,53,54,56,58,10,61,63,65,67,12,70,72,74,75,77,79,14,82,84,86,88,
16,91,93,95,97,18,100,102,104,105,107,109,20,112,21,115,117,119,120,122,124,23,127,129,131,
133,25,136,137,139,140,142,144,146,148,28,151,153,155,156,158,160,30,163,31,166,168,170,171,173,
175,33,178,179,181,183,35,186,188,190,191,193,195,197,199,201,38,204,206,208,210,40,213,215,217,
218,220,222,42,225,43,228,230,232,233,235,45,238,240,242,244,47,247,249,251,48,253,255,257,258,
260,262,50,265,267,269,271,52,274,276,278,279,281,283,285,287,289,55,292,294,296,298,57,301,303,
305,306,308,59,311,60,314,316,318,319,321,323,62,326,328,330,209,64,334,336,338,339,341,66,344,
346,348,349,351,353,68,356,69,359,361,363,364,366,368,71,371,373,375,377,73,379,381,383,384,386,
388,390,392,394,76,397,399,401,403,78,406,408,410,412,80,415,81,418,420,422,423,425,427,83,430,
432,434,436,438,85,441,443,445,447,87,450,452,454,455,457,459,89,462,90,465,467,469,470,472,474,
92,477,479,481,483,94,486,488,490,491,493,96,496,498,500,501,503,505,98,508,99,511,513,515,516,
518,520,101,523,525,527,529,103,532,534,536,538,540,542,544,106,547,549,551,553,108,556,558,560,561,
409,564,110,567,111,570,572,573,575,577,113,580,582,114,585,587,589,590,592,594,116,597,599,601,603,
118,606,608,610,611,613,615,617,192,620,121,623,625,627,629,123,632,634,636,637,639,641,125,543,126,
646,648,650,651,653,128,656,658,530,661,130,664,666,668,669,671,132,674,676,678,473,680,682,134,685,
135,688,690,692,693,695,697,699,189,138,703,705,707,708,710,712,714,716,718,141,721,723,725,727,143,
730,732,734,735,737,739,145,742,744,746,147,749,751,752,753,755,757,149,760,150,763,765,767,768,770,
772,152,774,776,778,780,154,783,784,786,787,789,791,793,795,797,157,800,802,804,806,159,809,811,813,
814,816,818,161,820,162,823,825,827,828,830,831,164,833,835,165,838,839,841,842,844,846,167,849,851,
853,855,169,858,860,862,863,865,867,869,871,873,172,876,878,880,882,174,885,887,889,890,892,894,176,
335,177,899,901,224,903,905,907,909,911,180,914,916,918,919,921,182,924,926,928,929,931,933,184,936,
185,939,941,943,912,945,947,187,950,951,953,955,957,959,961,962,964,966,968,970,972,974,976,978,194,
981,526,984,985,987,989,196,992,994,995,997,198,1000,1002,1004,1006,200,1009,1010,1012,1013,1015,1017,202,1020,
203,1023,1025,1027,1028,1030,1032,205,1035,1037,1039,1041,207,1044,1046,1048,1049,1051,1053,1054,1055,1056,1052,1058,211,
1061,212,1064,1065,1067,1068,1070,1072,214,1075,1077,1079,1081,216,1084,1086,1088,1089,1091,1093,1095,1097,219,1100,1101,
221,1104,1106,1108,1109,1110,1112,223,1115,1117,1119,1121,1122,1124,1126,226,1129,1131,227,1134,1136,1138,1139,1141,1143,
229,1146,1148,1150,231,1153,1155,1157,1158,1160,1162,1164,1166,1168,234,1171,1173,1175,1177,236,1180,1181,1183,237,1185,
1187,1188,1190,1192,239,1195,1197,1199,1201,241,1204,1206,1208,1209,1211,243,1214,1216,1218,1219,1220,1222,245,1225,246,
1228,1230,1232,1233,1235,1236,248,1239,1241,1243,1245,250,1248,1250,1252,1253,1254,1256,252,1259,1261,1263,1264,1266,1268,
254,1270,1272,1274,256,1277,1279,1281,1282,1284,1286,1288,1289,1291,259,1293,1295,1297,1299,261,1302,1304,1306,1001,1308,
263,1311,264,1314,1316,1318,694,1320,266,1323,1325,1059,1328,268,1331,1333,1335,1336,1337,270,1340,1342,1343,1344,1011,
1347,272,1350,273,1353,1351,1356,1357,396,1360,275,1363,1365,1367,1369,277,1372,1374,1376,1378,1380,1382,1384,1386,280,
1389,1391,1393,1395,282,1398,1400,1401,1403,284,1406,1408,1410,286,1413,1415,1303,1418,288,990,1422,1424,1425,1426,1428,
290,1431,291,1434,1436,1438,1439,1441,1443,293,1390,1447,1449,1451,295,1454,1456,1458,1459,1461,297,1464,1466,1468,1469,
1471,1473,299,1476,300,1478,1480,1482,1483,1485,1487,302,1490,1329,1493,1495,304,1498,1500,1502,1503,1505,1507,1509,1511,
307,1514,1516,1518,309,1521,1523,1525,310,1527,1529,1531,1532,1534,1536,312,1538,1540,313,1543,1545,1546,1547,374,1550,
315,1553,1555,1557,1559,317,1562,1563,1565,1361,1567,1569,1571,1573,1575,320,1577,1579,1580,322,1583,1585,1587,1588,1590,
324,1593,325,1596,1598,1600,1601,1603,327,1606,1608,1610,1612,329,1614,1616,1618,1619,1621,331,1624,1626,1628,332,1630,
333,1633,1634,1636,1637,1639,1396,1642,1644,1646,1648,337,1651,1653,1655,1656,1658,1660,1662,340,1665,1667,1669,1670,1671,
453,342,1675,343,1678,1679,1681,1682,1684,345,468,1688,1690,1692,347,1694,1695,1697,1698,1700,1702,1704,1705,1707,350,
1710,1712,1714,1716,352,1719,1721,1723,1724,1726,1728,354,1731,355,1734,1736,1738,1739,1741,1743,357,1746,1748,358,1751,
1753,362,1755,360,1758,1760,1762,1764,461,1766,1768,1770,1772,1774,365,1777,1779,1781,1783,367,1786,1788,1790,1791,1793,
1795,369,1798,370,1801,1803,1805,1806,1808,1810,372,1813,1815,1817,1819,1821,1823,1824,1826,376,1829,1831,1310,659,1834,
378,1837,1839,1841,1843,380,1846,1848,1850,382,1853,1855,1857,1858,1099,1861,1863,1865,385,1868,1870,1872,1874,387,1877,
1878,1880,1881,1883,1885,389,1888,1890,1892,1894,391,1897,1899,1901,1417,393,1905,1906,1908,1909,1911,1913,395,1916,1918,
1920,1921,1923,1925,398,1928,1930,1932,1082,400,1935,1936,1938,1939,1941,402,1944,1946,1947,1948,1950,1952,404,1955,405,
1958,782,1961,1962,1964,407,1967,1267,1970,1972,1973,1975,1977,1979,411,1982,1984,1114,1986,1988,1607,413,1992,414,1995,
1997,1999,2000,2002,2004,416,2007,2009,417,2012,2014,2016,2017,2019,2021,419,983,1247,2025,421,2027,2029,2031,2032,2034,
2036,2038,2040,2042,424,2045,2046,2048,2050,426,2053,2055,2056,2058,2060,428,2063,429,2065,2067,2069,719,2071,2073,431,
2076,2078,2080,433,2083,2085,2087,2088,2090,2092,435,2095,2097,2099,2101,437,698,2105,2107,439,2109,440,2112,2114,2116,
2117,2119,2121,442,2124,2125,2127,1845,444,2131,2133,2135,2136,446,2139,2141,2143,2144,2146,448,2149,449,2151,2153,2155,
2156,1907,495,451,2161,2163,2165,2167,1915,2169,2171,2173,2175,2177,2179,456,2182,2183,2185,458,2188,2190,2191,1835,460,
2194,2195,2197,521,2199,2201,2203,463,2206,2208,464,2211,2213,2214,2215,2217,466,2220,2222,2224,2225,2227,2229,2230,2231,
471,2234,2236,2238,2240,2242,2244,2246,2248,2250,2252,2253,2255,2257,475,2260,476,2262,2264,2266,2267,2269,2271,478,2274,
2276,2278,480,2281,2283,2285,2286,2288,482,2291,2293,2295,2296,2298,2300,484,2303,485,2306,2308,2310,2311,487,2313,2315,
489,2086,2318,2320,2321,2323,2325,2327,2329,492,2332,2334,2336,2338,494,2341,2342,2343,2345,2346,2348,497,2326,2351,2353,
499,2356,2358,1812,2360,2362,2364,2366,2368,2369,502,2371,2373,2375,2377,504,2380,2382,2384,2385,2387,506,2388,507,2391,
2393,2395,2396,2398,963,509,2402,2404,510,1205,2408,2410,2411,2413,2415,512,2418,1552,2420,2422,514,1368,2426,2428,2429,
2431,2433,2435,2437,517,2440,2442,2444,2446,519,2449,2450,2452,2453,2455,2457,2459,522,2462,2464,2466,2033,2468,2470,524,
2473,2475,2477,2479,2480,2481,2482,2484,528,2487,2489,2491,2492,2494,2496,531,2499,2501,2503,2504,2506,2508,533,2511,2513,
2515,2517,2519,535,2522,555,2525,2526,537,2529,2531,2533,2535,2537,539,2540,2542,2544,2546,541,2549,2551,2553,2554,2556,
2558,874,2560,2561,545,2564,546,2567,2569,2571,2572,2574,548,2557,2577,2579,550,2582,2584,2586,2587,2589,552,2592,2594,
2596,2598,2600,554,2603,2605,1370,2607,2609,557,2612,2614,2616,2618,559,1544,2622,2624,2626,2628,2630,2632,562,2635,2637,
563,2640,2642,2644,2645,2647,2275,565,2651,566,2654,1455,2656,2657,2658,568,2661,2662,569,2665,2666,2668,2669,2670,2672,
571,2675,2677,2679,2681,2683,2684,2434,574,1354,2688,2690,2692,576,2695,2697,1217,2699,578,2702,579,2705,2707,2709,1312,
2711,2713,581,2716,845,2719,2720,583,2723,2725,2727,584,2729,2731,2733,2735,586,2738,2740,2742,588,2745,2747,2748,2750,
2751,2753,2755,591,2758,2760,2762,2764,593,2767,2769,2770,595,2423,596,2775,1934,2778,2780,598,2782,2784,2786,2788,600,
2791,2792,2794,2134,602,2797,2799,2801,2802,2804,2806,604,2809,605,2812,2337,2815,2816,2818,2820,607,2823,2825,2827,2829,
609,2832,2834,2836,2837,2838,2840,2842,2843,2845,612,2848,2850,2852,2854,614,2857,2858,2860,2861,2862,2864,616,2867,2869,
2871,2873,618,2876,619,2879,2881,621,2884,622,2886,2888,2890,624,2892,2894,2096,626,2898,2639,2875,2900,2902,628,2905,
2302,2908,2910,630,2913,631,2916,2918,2920,2921,2490,2924,633,2927,2929,2931,2933,635,2936,2938,2940,2941,2943,2945,2947,
2948,2950,638,2953,1159,2956,2958,640,2961,2963,2964,2965,2967,2969,642,2971,643,2228,2975,1234,644,1971,2979,645,2982,
2984,2986,2987,2988,2091,647,2991,2993,649,2996,2998,3000,3002,3004,3006,652,3009,3010,3012,3013,3015,3017,654,3020,655,
3023,3025,3027,3029,657,3032,2035,1193,3036,3038,3040,3042,660,3043,3045,3047,3048,3050,3052,662,3055,663,3058,1969,3061,
3062,3063,665,3066,3067,3069,3071,667,3074,3076,3078,3079,3081,3082,2685,1508,670,3059,3087,3089,3090,3092,3094,672,3096,
673,3099,3101,3102,3104,675,771,3107,3109,3111,677,3114,3116,1860,3118,2235,3121,679,3124,3126,3128,3130,681,3132,3134,
2039,3136,3138,2646,683,3142,684,3145,1014,3148,686,3151,2833,687,3155,3157,3158,3159,3161,3163,689,3166,3168,3170,691,
3173,3175,3177,3178,3180,3182,3184,3185,3187,3189,3191,3193,3194,696,3197,3198,3200,3202,1123,3205,3206,700,3208,3210,701,
3212,702,3183,3216,3218,3219,3220,3222,704,3225,2972,3227,706,3229,2995,3231,3233,3235,3237,3239,3241,709,3244,3246,3248,
3250,711,1322,1460,3255,3256,2739,3258,713,3261,2280,3264,3266,715,3268,3269,3271,3106,717,3275,3277,3279,2001,3280,720,
3283,3285,3287,722,3290,3292,3294,3296,724,1113,3300,3302,3303,3304,726,3307,3309,1568,3311,3313,728,3315,729,3318,1820,
3320,3321,731,3323,3325,3327,3329,733,3331,3333,1392,3335,3337,3339,3341,3343,736,1691,3346,3348,738,2810,3352,3354,3355,
3357,3033,740,3361,741,3364,3366,3368,3370,743,3373,3375,3377,3379,745,3382,3384,3385,3386,3388,3390,747,3393,748,3396,
3398,2210,3400,3402,750,3405,3407,3409,3411,3413,1554,3415,3417,754,3420,3422,2545,2074,756,3425,3427,3428,3429,3431,758,
3433,759,2518,3437,3438,3439,3441,761,1022,3445,762,3448,3450,3452,3454,764,3457,3459,766,3462,3464,3466,3467,3469,1359,
3471,3472,769,3475,3477,3479,3481,3483,3485,3486,3488,3490,773,3493,3495,2419,775,3497,1098,3500,777,3503,1650,3506,3507,
3509,779,2844,3513,3515,3516,2245,781,3520,3522,3524,3525,3527,3529,2003,785,2147,1348,3533,3535,3537,788,3540,3542,3544,
790,3547,3549,3551,3552,3554,3556,792,3559,3561,794,3564,3566,3567,796,3570,3572,3573,3574,798,3577,799,3580,3582,3584,
2664,801,3588,2193,3591,803,3594,3595,3596,1149,805,3600,1635,3602,3310,3603,807,3606,808,1317,3610,3612,2150,3614,810,
3616,935,3619,3621,812,3624,3626,3628,3629,3630,3632,1472,3635,815,3637,1582,3640,3642,817,3645,3647,3649,3650,3652,1196,
819,3655,3657,3659,3660,3662,3349,821,3665,3667,822,3670,3672,3674,3675,3677,3679,824,3681,3683,3685,3687,826,3690,861,
3693,3694,2061,3696,3698,3700,3702,829,3704,982,3706,3708,3710,3712,832,3715,3717,834,1409,3720,3721,3723,836,3726,3728,
3730,837,3732,2319,3734,3735,3737,3739,3741,3743,840,1029,3746,3748,3749,3751,1140,843,3753,3755,3757,3758,3760,3253,3763,
847,3766,848,3769,3770,3772,3774,850,3531,3778,3780,852,3783,3785,1433,2365,3788,854,2787,2611,3793,1730,856,3797,857,
3800,3273,3795,3803,3805,3807,859,3810,3812,3813,3814,3816,2474,3819,3821,3822,3823,864,3826,3828,3827,2166,866,3833,3834,
2200,3836,3838,868,3841,3843,3845,870,3848,3850,3852,3853,872,3855,3857,3858,2196,3860,2397,875,3864,3865,2763,3867,2839,
877,3871,3873,3875,3877,879,3880,3882,977,881,3885,3887,3888,3889,3891,3893,883,3896,884,3899,3901,3903,3904,3906,886,
3908,3910,3912,3914,888,3917,3919,3913,3920,3922,3924,3926,3927,891,3930,3932,3933,893,3936,3937,3939,3940,3942,1448,895,
3946,896,3949,3950,897,3953,898,3955,1891,2406,1687,3958,2324,900,1071,3962,3964,3965,902,3777,2717,3968,3969,3970,3972,
904,3975,3977,3979,3981,906,1604,3984,3986,1825,3988,3990,908,3992,3994,3996,910,2530,4000,4002,4003,4005,3824,4008,913,
4010,4011,4012,3905,2128,915,4016,4017,4019,917,4022,3451,4024,4025,4027,4029,4031,4033,920,1276,1591,4038,4039,922,4040,
923,4043,4045,3790,4047,925,4037,4050,4052,927,2111,4056,4057,4058,4060,4062,4059,4064,930,4067,4069,4071,4073,932,3840,
3651,934,2559,4078,4080,3601,2043,4081,937,4084,4086,938,4089,4090,4092,4093,3404,4096,940,2512,4100,4102,942,4105,4107,
4108,4109,944,4112,4114,4116,946,4119,4121,4123,4124,4126,4127,948,4130,949,4049,4134,4135,4136,4137,4139,4140,952,1703,
4143,4145,4146,4148,954,4151,4153,4155,4156,4158,4160,956,4163,1062,4166,4168,958,4171,2507,3149,4175,960,4178,4180,4181,
4183,4185,4187,2919,3410,4190,965,4193,4195,4113,4196,967,4199,4201,4202,969,4204,4206,4208,971,4210,3794,4213,4214,4216,
4218,973,4220,4222,2615,975,4226,3120,4229,1133,4232,2990,979,4235,980,4238,4240,4242,4243,4245,4247,4249,4251,4253,4255,
4256,4257,4259,4261,4263,4018,986,4267,4269,2746,988,3135,4272,4274,2781,3956,1515,4278,991,4281,4282,3682,4284,4286,993,
4289,4291,4293,4295,4297,4299,4301,996,4304,4306,4308,4309,4311,1207,998,4315,999,4318,4320,4322,4324,4326,4327,4329,1003,
3203,4333,4334,4336,1005,4339,4340,4342,4344,1007,4343,1008,1689,4349,4351,4352,4353,4355,4357,2486,4359,4360,2290,3815,2068,
1711,4364,4365,4367,1016,4369,4371,4373,1018,4375,1019,1435,4379,2307,3562,4381,1021,4384,2625,4387,4389,4391,4393,1024,4396,
4398,4400,4402,1026,2883,2776,4406,4026,4408,4409,4411,4413,4415,4417,4418,4419,4421,1031,4423,4425,4427,4428,4429,4431,1033,
3358,1034,4435,4436,4437,4438,4440,1163,1036,4444,4446,2372,1038,4450,4452,2524,3575,1040,4456,4458,3639,4459,4460,4462,1042,
4465,1043,3719,4469,4470,4471,4473,1045,4476,4478,3504,1047,4275,4482,4483,4484,4485,2911,4488,4486,1050,4492,4494,4496,4497,
4499,3555,4500,4502,4503,4505,4507,3808,4510,2493,4513,4514,1057,4517,4519,4521,4523,4524,1060,4527,4528,4529,4531,4533,1063,
4536,4538,3378,1927,4541,4543,4544,1066,3820,4548,4549,4550,4551,4553,4554,4556,4558,1069,1611,4561,3534,4564,4566,4568,4569,
4570,4572,4574,1073,4577,1074,4580,4582,4583,4584,3265,4586,1076,4589,4591,4593,4595,1078,4598,4600,4602,4603,1080,4605,4607,
4609,4610,4612,4332,4614,1083,4144,4618,4620,4621,4623,3105,1085,4007,1429,4627,1087,4630,4632,4634,4530,1194,4637,4639,1090,
4642,4644,4645,1092,4647,4649,2510,4652,1094,3568,4656,4657,1096,4659,4660,4661,4663,4665,2010,4667,1324,4670,4671,2606,1102,
4674,4676,4677,1103,3664,4680,2655,4681,4682,1105,4685,4687,1283,4689,1107,4692,4693,4694,4236,4695,4696,2865,4331,4699,3154,
4701,1111,4703,4167,4705,3960,4707,4445,4708,4710,4712,4714,1914,4716,1116,4719,4720,4672,4723,1118,4725,4727,4729,4731,1120,
4734,4736,4738,4739,4741,4743,4745,4747,3831,3791,4750,4751,1125,4754,4756,4758,1127,4760,1128,4748,4764,3207,4766,4767,4769,
1130,4771,4773,4775,4777,1132,4780,4782,4749,4784,4785,1135,4788,4715,4567,4792,1137,4795,4797,4798,4799,4801,4790,4803,4399,
4215,4806,4808,1142,3150,4812,1144,4815,1145,2287,4818,4820,4821,4823,4824,1147,2047,1309,4828,1631,4830,4832,4833,4835,4157,
1151,4837,1152,4840,4842,4844,4846,4847,1154,4850,2904,4852,1156,3776,4855,4856,4858,4860,4862,4863,4864,4866,1161,1605,2962,
4870,3608,4873,1852,4875,4152,1165,4879,4746,4881,1167,3226,3625,2667,4886,1169,4889,1170,4892,4894,2184,4896,4898,4900,1172,
4903,4905,4906,4908,1174,4911,4913,3583,4914,1176,4916,4918,4919,4920,4922,1178,4924,1179,4927,4929,2520,3328,4931,4933,1182,
4936,4938,1676,4940,1184,1822,4944,1186,4947,4949,4950,4952,4954,4956,4958,1189,4960,4962,4963,1191,4966,4967,4969,4970,4972,
4974,3589,4977,4978,4980,4982,4984,1198,3073,4985,1994,3236,4988,1200,4991,4313,4994,4995,4997,4999,1202,5002,1203,5005,2023,
5006,5007,5008,5010,5012,5014,5016,5017,2054,5019,2994,2223,5023,1210,1794,5027,5028,5030,1212,5033,1213,5036,1440,5038,5040,
5041,1215,5043,5044,5045,5047,5048,5050,5052,1221,5055,5057,5058,5059,5060,4706,1223,5064,1224,5066,1497,5067,5068,5070,1226,
5073,4857,1227,1926,5075,5076,5078,5080,1229,1355,5082,2828,1231,5085,3117,5088,5090,5092,5094,5096,5098,5100,3259,5103,1237,
5104,1238,1965,5106,5108,5109,5111,1240,5113,5114,2528,1242,5118,5120,5121,1244,5122,5124,5126,3260,1246,5128,5130,5131,2882,
3862,1249,5135,2118,3839,5139,1251,5141,5143,3075,4700,5146,5148,4182,5151,5153,2563,1255,5155,5156,5158,5159,1402,5161,1257,
5164,1258,5167,5169,4899,5171,1830,5173,1260,5176,5178,5179,1262,5182,1767,5184,5185,3830,5188,5189,5190,5192,1265,5194,5196,
5198,5200,5202,1574,5204,5205,1269,5208,5210,3007,1271,3426,5215,5217,1273,5219,5181,5222,5223,5225,3817,1275,5228,5230,5231,
5233,1278,4654,5227,5236,1280,5239,5241,5243,5245,5247,5249,5250,1285,5252,5254,3923,3270,5257,1287,5260,5262,5264,2550,5267,
1539,1290,5271,5273,5275,3217,5276,4876,1292,5277,2270,5278,5279,1294,5280,2192,5283,2847,1296,5286,1298,4481,5290,5291,4888,
5294,1300,5297,1301,5300,5301,5302,5303,5305,5093,5307,5309,1305,5311,5313,5315,5316,5318,5320,1307,3892,4909,5324,5325,5327,
5328,5329,5331,1745,4491,5201,1313,4170,5338,5339,5340,5342,1315,5345,5347,5348,5350,5352,5353,3171,5356,1319,5359,5361,4203,
5363,1321,5365,5367,5369,5370,5372,1326,1785,1327,4366,2417,5378,5323,5380,5382,1330,5385,2401,5387,3597,5389,5391,1332,5394,
5396,5398,3999,1334,5402,5404,5406,5407,5408,3221,2102,5410,3521,5412,5413,1338,1339,5416,2344,5419,5421,1341,5423,5425,1733,
5295,5428,5430,5431,3262,5433,1345,1978,1346,5436,5438,5439,1818,1987,5441,1349,5444,4501,5447,5449,1352,3779,5453,3394,5455,
5457,5459,5384,5460,5461,5463,5465,5296,5466,1358,5467,5469,5471,5472,4053,5474,5476,2774,1362,5480,5481,5483,5484,5485,1945,
1364,5489,5491,5493,1366,5496,5498,5499,5501,4794,5503,5505,5507,5509,1371,5511,5512,5514,5515,3461,5516,1373,5519,5521,5523,
5524,1375,3750,5528,5529,5531,1377,5534,5535,2011,5537,1379,5540,3921,5541,5543,1381,5546,5547,3110,5549,1383,5552,5554,2773,
5557,1385,5560,5562,5563,5565,5566,1387,4762,1388,5570,5572,5574,5575,5577,5579,5580,5581,1776,5584,5586,5588,4587,5590,1394,
5593,2789,5596,5598,5600,1397,5602,5604,5606,1399,5608,3727,5610,5611,5613,5615,5616,5618,5619,1404,1405,5622,5624,5626,4765,
2488,2314,1407,5354,1423,5633,5635,5637,5639,5641,5642,1411,5644,5645,5647,1412,5649,5650,5652,5653,1414,5656,5658,3878,4370,
1416,5662,3569,5665,1419,5668,1420,5670,5672,1421,5674,5675,4957,5654,5677,5679,5681,5683,5684,5686,4231,1427,3278,5691,5693,
5694,5696,1430,3546,5699,3401,2866,5702,5704,1432,5707,5709,5711,5713,1549,5715,5717,1437,1625,5720,5721,5211,4386,5725,4691,
5728,4292,5730,5731,1442,5733,4776,2805,5735,5737,5739,1444,1445,5743,3618,1446,5744,5745,5746,5747,5748,1450,5751,5752,5753,
5755,1453,1452,5759,2098,1893,5761,5762,5763,3214,1457,2730,3907,2075,5768,5769,5770,2485,5772,5774,5776,5777,5779,5781,1462,
5784,1463,5786,4172,5788,5790,1465,5793,5795,1467,5798,4611,5800,5802,1470,5805,5806,5808,5810,5811,5813,5815,1474,5817,1475,
5819,5821,2340,5823,4976,5826,1477,5828,4986,5830,5832,1479,5835,5837,5839,1481,5842,5843,5845,5846,5848,5849,5850,5234,4781,
1484,5855,5362,5857,1535,1486,2403,4508,5863,1488,5866,1489,4534,5870,5872,5873,5875,5877,1491,1492,3005,5880,5882,5883,5884,
1494,5887,5889,5890,5892,3911,1496,5896,5898,5899,5901,1499,5349,4186,5138,5905,1501,5906,5775,5908,5910,4759,5911,5912,1504,
5915,5916,1506,5918,5920,1654,5923,1510,3987,5926,5927,1512,5929,1513,2885,5932,5933,4902,5936,1517,5506,5940,5942,5943,5945,
5946,1519,2565,1520,5950,5952,5954,5955,1522,2641,5958,5960,1524,4878,2595,4390,5963,4487,1526,5966,5967,4395,3297,5968,1528,
5969,3196,5972,5974,1530,5976,1811,2841,5979,1533,5982,3336,5985,5987,5988,5989,1537,5991,5992,2989,5703,5995,5997,5999,6000,
6002,1541,6005,6007,6009,1542,6011,6012,6013,6014,6016,1564,4882,6018,3449,3465,6020,6021,6023,1548,6026,5446,6029,5163,1551,
2638,2578,6034,6035,6036,6038,3367,1556,1558,3978,6042,6043,6045,6047,2954,6048,6050,5504,1560,3419,1561,6054,6056,5095,6057,
6059,5773,1566,4504,6062,6064,3713,6066,6067,6069,1570,6071,4368,6074,1572,6077,4117,6080,6082,6084,6086,6087,6088,5994,1576,
6091,4666,6051,6094,6096,6097,1578,6100,6101,3825,3112,6105,6107,1581,6110,2999,2590,6112,6114,6116,1584,3586,6120,2370,6122,
1586,6124,6126,6127,2680,6129,6131,6133,1589,6136,6138,6139,6141,1592,6142,6144,4174,1594,6147,6148,1595,6150,6151,6153,6154,
6155,6134,1597,6159,4260,6161,4227,1599,6162,6164,6108,6165,4051,6168,3929,1602,1854,3985,6173,6174,5240,6176,5049,6178,1929,
6180,6181,6098,5567,6184,6186,2081,1609,6189,6191,2471,6193,6194,4722,1613,6197,5934,1615,6201,6058,1617,4636,6206,6208,6210,
2226,1620,2187,3164,6213,1622,6215,1623,6217,6218,6220,5272,6223,6224,1903,1627,3502,6229,6231,6232,6234,1629,6236,6238,6239,
5042,3125,6241,1632,6244,6246,6248,5605,6250,5292,6252,5859,6254,6256,1638,6258,6169,4675,5687,1640,3868,6264,6266,1641,6268,
4893,6270,1643,6273,6274,6276,1645,6279,6280,2633,6282,6283,1647,6285,6287,6288,5265,6291,1649,6293,6294,1652,6297,6299,6301,
3881,6304,6305,4735,6307,1657,6310,6312,1659,6314,6315,2932,6317,6319,6320,1661,6323,6324,6325,1663,4849,3837,6329,1664,6331,
6332,6333,4724,6335,6337,1666,3995,6340,6342,4937,1668,6344,1996,6346,6348,6350,6352,6354,4044,6356,6358,1672,6361,2710,6364,
1673,1674,6366,6359,6367,1851,4065,6267,1677,6370,6372,6374,6375,6376,6378,6380,1680,6382,6384,6386,6387,6389,3789,1683,6392,
6393,6395,1685,5133,5576,6399,1686,6401,6403,6404,6406,6408,6409,5401,1693,5822,6411,6413,2715,3653,1696,6418,6419,6421,6422,
6424,6425,6427,1699,4177,1701,6432,6433,6435,6437,6439,4474,6442,6444,6446,1706,6448,6449,6451,6452,6454,3362,1708,6458,1709,
6459,6461,6462,6463,6465,6467,6469,1713,2072,6471,6472,6474,1715,6300,6405,6478,6479,1717,1718,6006,6483,6484,5248,6486,1720,
4211,6489,6491,1722,6493,6495,4979,6496,6498,3312,1725,4617,6502,6504,1727,6506,6507,6508,6509,2077,1729,6513,6515,6517,2425,
6211,1732,6519,6521,6522,2178,5614,1735,3468,1737,6529,6531,6533,6534,6536,6537,6539,6190,1740,6541,6028,4880,1742,2795,6546,
6548,6550,1744,6207,6553,2152,1747,3022,3782,1749,6557,6558,1750,6560,2915,4814,6563,4638,1752,5427,6568,1771,6571,1754,6573,
4930,1756,6576,6577,1757,6579,3350,2451,3792,1759,6582,6583,1761,6585,6587,6588,6590,6592,1763,6594,4865,6597,1765,6599,6601,
6602,6604,6605,6607,1816,1769,6233,6612,2458,6613,6615,6617,1773,6620,6621,1775,6622,6624,6625,6627,6628,6629,1778,2868,6262,
1780,6633,6634,4490,6637,1782,6639,5375,6642,4475,1784,6644,6645,6647,5168,6649,1896,1787,6653,6655,6657,1789,4668,6660,6661,
5758,6663,4013,5308,4287,6666,1792,6668,6669,6671,6673,2305,3636,5893,6677,1796,6680,1797,5617,6684,6686,6687,6689,6691,1799,
6694,6695,1800,6698,6700,6701,1802,6704,6706,6707,3351,1804,6710,6711,3666,6714,2830,1807,4943,6717,6719,6721,1809,6724,6725,
6726,6727,6729,6730,6732,6733,1814,6736,6603,6739,6610,6741,6742,6744,6746,3363,5105,6749,6750,6752,6754,6755,6757,6759,6761,
6763,6764,6766,2122,6768,1827,1828,6770,4020,2687,1832,6775,6777,6523,1833,2597,1990,5716,6780,6781,1836,1864,6784,6785,2694,
1838,6010,6789,6791,1840,6793,1842,6795,6796,6797,6799,1844,6802,6803,6805,2376,6807,1847,6810,1849,6813,6814,6815,5213,2079,
6817,6818,6819,6821,6794,4744,1856,6656,6826,5589,3344,1859,6831,6833,1895,6835,6836,6837,6839,1862,6842,6844,6846,6848,6849,
6851,1866,6853,1867,6856,6857,6859,6860,6862,6864,1869,6866,6868,5640,4942,1871,6871,6873,3291,6875,1943,1873,6879,6880,1875,
1876,6289,6881,6883,6885,6887,5333,1879,6455,6891,6893,6672,6895,1882,6898,3234,1884,6901,3360,6904,6905,6737,1886,6907,1887,
2381,6910,6912,6913,1889,6914,6916,6918,6920,5177,5403,4449,6922,6924,6228,6545,6926,6928,2263,6930,6932,1898,6934,1900,6936,
6938,6940,1902,6942,6944,1904,6945,6946,6947,6948,3147,2018,6951,3505,6952,6953,6955,1910,6956,4111,6958,6960,1912,6963,4350,
3165,6964,6966,5953,1917,6969,6970,6972,6049,1919,6975,6909,6978,6980,6982,3592,1922,6985,5871,6988,1924,5417,6992,6993,2712,
6995,6996,6998,6999,7001,7003,2037,1931,7005,7007,7009,7010,1933,7012,2891,4811,6816,7015,7016,1937,6658,7018,7019,7021,1940,
7023,7025,5651,1942,7028,7029,2547,7031,7033,7035,4826,7037,2154,6882,7039,7041,7043,2698,1949,7046,7048,7049,1951,7050,7052,
7053,2497,7055,3644,1953,1954,4996,7058,2168,7059,7061,7063,1956,1957,4698,7066,7068,1959,7070,1960,7072,7074,7075,7077,7079,
7081,1963,3289,7084,3593,1966,7087,7089,7091,7092,6572,7094,1968,3230,7097,7099,7100,7101,3072,3787,7104,7106,7108,1974,5671,
7111,1976,7112,7113,7115,3835,2350,5765,7117,3456,7118,1980,1981,5054,7122,3560,1983,5218,7127,6850,7128,1985,7131,3162,7134,
2432,7136,1989,7138,4939,4323,1991,7140,7142,1993,7145,7147,7149,7151,7152,7154,7155,7157,7159,7161,7163,1998,6137,7167,4401,
6177,6570,7168,7169,7171,7173,5451,2349,6431,7177,5804,2005,4412,2006,7180,7181,2008,7183,3345,7184,5065,3703,5212,5803,7187,
7189,2013,7191,7192,2015,7194,7196,3443,6897,7199,6738,7202,7204,7206,2020,7209,2682,3773,2022,2024,4941,7213,7214,7216,2026,
7219,6884,7221,7222,7224,4392,2028,7227,4928,2030,7229,7230,7231,7233,5904,5638,3998,7238,6986,7241,7211,7243,7245,5020,7248,
7249,6535,2041,7252,6360,7255,2044,7257,7258,7259,7260,7262,6407,7264,7265,7267,2049,2159,7270,7272,2051,7273,2052,7276,6665,
7277,5381,7279,7281,2976,2057,7284,6024,2059,7286,6773,7288,7289,2062,4651,7291,6328,7293,7295,2064,7297,7298,7300,2066,7303,
4711,7306,7308,7310,2070,2282,4522,6079,7314,6806,7317,7319,2472,6466,7322,2826,5767,6290,4511,3847,4397,7326,4641,7327,6811,
7328,7330,2082,7332,7333,2084,3744,6302,6073,7339,7341,7343,2617,7344,7345,7121,2903,7349,2089,7351,7353,7354,5258,4557,7357,
2093,3086,2094,7360,7362,2113,7363,7365,7045,7246,7368,5825,3599,7371,2100,7374,7269,7377,7378,7278,2103,7380,3781,7382,2104,
2174,7384,7386,2106,7389,7391,7392,5424,4951,2108,2374,3263,3024,7361,2110,7399,7401,7402,7404,4662,7406,7407,4070,6123,2115,
6195,2123,7410,7412,6295,2120,7415,3412,2445,6099,6965,7417,6933,7419,2643,2126,7423,7425,3435,5244,7427,7429,2819,2129,2130,
7432,7434,7436,2132,7439,7440,7442,3383,7443,7445,7446,7447,5335,2137,2708,7449,2138,3902,7451,7452,7454,7456,2140,7459,7461,
2142,7463,2145,7465,4041,7468,7469,2148,7470,7471,5980,4030,7473,7475,7477,7478,2689,7479,7481,7482,3152,6205,3648,7485,7486,
2157,7488,2158,7491,7493,7494,2160,7496,7498,5678,7500,5332,2162,7503,7505,7507,7283,2164,6349,7511,3973,3656,7441,7515,7517,
7519,2170,7521,4217,7524,2172,7525,7527,7528,7530,7532,7302,2176,7536,7537,7539,7541,7543,7544,7546,7548,2180,2181,7550,7552,
7554,7555,7556,7558,7560,3563,5288,5011,7563,7565,2186,2447,7567,4054,7568,7569,2189,7570,5542,2359,4372,7572,7574,7575,2917,
7578,7346,7581,7583,2198,7584,6255,7585,2241,7586,4032,7588,7590,2202,7592,6481,7595,7596,5928,6574,2204,7598,2205,7601,7602,
2777,2877,7604,2207,7606,7608,7610,2209,7474,2790,7614,2212,7616,7618,7619,2985,3133,7622,2216,7624,7625,7627,2218,3408,2219,
5259,7632,2221,7633,7635,7636,6412,7638,7640,7641,7643,7645,4122,7646,7647,7603,3767,6379,4841,7651,2555,2232,7654,2233,7657,
3252,7660,7661,5289,2237,7665,2581,6596,2239,7668,7669,7671,2243,7672,7673,7675,7093,3976,2247,7679,7681,2249,7683,2251,6072,
7686,7688,7008,7690,7691,2254,7692,7694,7696,2256,7699,5368,7701,7703,7705,2258,7708,2259,6809,7711,7713,7714,2261,7717,7719,
7720,7721,4588,7723,2265,7725,7726,7728,2846,6410,7730,2268,7733,7734,4904,5661,7738,7739,5298,3909,2272,7743,2273,2576,6322,
7745,7746,7748,2277,5601,5322,7752,7753,6664,2279,4622,6363,7757,7758,7759,2284,3530,4615,7609,7763,7201,5630,7765,6683,7767,
4410,7768,6081,2289,7747,7773,7774,7776,7777,6530,7780,2292,7782,7784,2294,2722,7788,7789,7790,7792,7794,2297,7795,7796,7735,
2768,2299,7801,7802,7803,2301,7804,7188,7806,7807,2304,7809,7810,3035,7811,7778,7813,7814,7338,7817,5022,7818,2309,4965,7821,
7822,7823,7825,2312,7828,5655,7830,7831,6567,4082,7834,6221,2316,6631,6772,2317,7837,7839,2853,7826,5978,7841,7843,2322,7846,
7848,5418,7850,4169,3669,7852,7078,7855,7856,2328,7857,7859,3295,2330,3054,2331,7862,5502,7424,2333,7864,7865,5452,7867,2335,
3989,5157,7871,7872,3709,6547,7873,2339,7819,7877,3646,6257,7880,4809,7882,7883,7884,6065,7885,2347,3211,7842,7379,6632,7890,
7892,7893,7894,2352,7897,5442,7898,7899,2354,7901,2355,7903,7600,7904,7906,2357,7908,7910,3139,6015,2495,7912,7913,2361,7916,
7917,2363,7920,7921,7922,7923,7925,6608,4945,7928,2367,7611,4348,5336,3060,4573,4509,7933,7644,2378,7455,7937,7939,7941,7942,
7944,4498,7947,7949,2379,7951,7952,7953,7955,7956,6085,2383,7959,7961,6212,6861,5063,2386,3421,7965,2389,2909,2390,6031,4955,
2392,2523,4110,7971,2394,7974,7976,7977,7824,7980,7981,2399,2400,7985,3215,7987,7988,2575,2405,7991,7476,7994,6734,2407,7716,
6900,5145,4455,2409,5754,7998,6957,8000,6397,7020,2412,8003,2414,7086,8007,8008,7840,2416,7516,6830,8012,8013,8014,6589,8016,
8018,2421,8020,5358,8022,2424,8023,4246,8026,8027,8029,7620,2427,8032,8034,8036,8038,8040,8041,4042,2430,3536,7413,3945,8045,
4276,6022,8048,8049,2436,8050,8051,8053,8054,2438,6740,2439,4283,7263,8060,8061,3496,2441,8063,8064,8066,8068,2443,8071,8072,
8074,8075,7573,8076,5268,7299,2448,8080,8081,8082,5609,4774,5520,5034,8083,3931,6638,7962,8088,2454,3131,7329,8092,5996,2456,
8094,5951,8095,8096,2460,8099,3442,2461,8101,8102,8103,2463,8105,8107,4165,6921,2465,2939,5255,8112,2467,8114,8116,8118,8120,
2469,5582,8124,5021,8126,6240,8128,5824,5957,2476,6316,2478,8132,8134,7861,8136,6790,8139,8141,2483,8143,7190,8144,5293,7932,
3031,8145,3550,8147,5783,7000,8148,8150,8152,8154,2498,8156,8157,8159,2500,4489,5321,8160,5411,2502,5468,4184,8164,5865,8165,
3918,2505,8166,8167,8169,6075,6143,2509,8172,3959,8175,8177,2514,7294,8178,4307,2516,3553,8182,8183,8001,2521,8186,8187,8188,
8190,7664,8192,8193,3470,7119,2527,6713,4987,4578,8198,8199,8201,2532,7946,2706,2534,8206,7195,2536,7605,8210,8212,2538,2539,
8215,2808,8218,8219,6855,8009,2541,4378,5287,3003,5386,2543,8225,8227,8229,6209,8232,2548,8234,5820,2552,6447,4319,3330,8239,
8241,8243,2856,8245,6470,8170,5137,4221,3615,5364,8249,8251,2562,8252,5081,8255,8256,2566,7875,7648,8259,2568,8261,7642,2570,
8264,8266,8267,7038,8269,2573,7829,2659,8271,8273,6214,2580,8276,2583,3756,7139,2585,8281,8282,8284,8285,8287,3372,2588,8289,
8290,6490,8292,4354,2591,8295,8297,8298,8299,8301,2593,8303,8304,8305,8306,8308,8310,8311,8313,5229,2599,8315,2648,8317,2601,
2602,8320,8322,8323,2604,8326,2660,8293,4867,8330,7727,7761,8333,2608,8335,8336,8338,6414,6562,2610,8341,8342,8344,2613,7631,
6518,8347,8349,6636,8350,8351,8353,8354,3156,8209,2619,6527,2620,2621,8171,8359,2623,5909,8360,6068,8362,2957,2627,8364,8366,
2629,5900,7309,8370,2631,5935,8372,8373,8374,8375,2634,8378,5797,2636,8381,8383,5346,8385,2693,5897,7056,4300,5629,3508,5723,
3854,8391,4142,8393,8395,4380,8398,8399,2649,8402,2650,8194,8406,5947,8409,2652,8294,2653,8413,8415,8416,8417,6889,8418,8420,
8422,8423,4673,8425,3478,8426,8428,2663,4036,8430,8432,6251,7779,8435,8436,8437,8439,2671,8441,4426,8444,8445,2673,2674,8447,
7926,8449,3098,2676,6308,7678,2678,8453,6033,8456,8457,6690,6911,8459,3943,8461,8339,8108,8464,8465,3771,8467,2686,8469,6436,
5740,3019,6053,2691,3541,7359,3752,8473,7750,8475,8476,2912,8478,2696,8480,6544,2752,8483,8485,8487,5140,8488,8489,2700,8491,
2701,8493,8495,6674,2703,4546,2704,8498,8500,8501,7499,8503,8505,7849,3359,8507,8035,8508,6416,3424,8509,8511,5708,2714,8513,
2863,3371,8515,8516,2718,4294,8518,6385,8520,2721,8332,5838,8524,8525,2724,3948,8528,8530,2726,8532,8533,7523,3802,2728,6306,
4555,8537,8538,7797,8541,6172,2732,8543,8401,2734,5595,8547,8548,8549,2736,8551,2737,7793,6894,8553,7207,7342,2741,8510,8557,
4317,6351,8559,2743,8560,2744,4635,8562,2749,3308,4981,8565,3661,8268,8567,8569,6512,5591,8410,8572,8573,2754,8575,8576,8577,
2756,5490,2757,8580,7805,8583,2761,8586,2759,6230,8588,8460,8591,8592,8593,8594,4825,2765,8596,2766,8598,3851,8601,8236,8603,
7105,8605,2771,2772,2813,8608,3316,8609,8611,7963,2779,8097,4088,8615,5477,4271,8616,5371,2783,8619,8620,2785,8621,8623,7464,
6974,6008,8626,8627,8628,8630,8595,8632,6697,2793,4234,7656,5326,3798,8636,4664,8638,8640,2796,8642,3991,5827,5056,2798,8647,
8649,3997,8652,2800,3947,5409,7400,3100,5000,8657,2803,8004,8660,4932,7132,3356,2807,8664,8666,8667,5551,2811,8669,5013,8670,
6984,7990,8672,2814,6259,3548,5486,2817,8677,6580,8213,8681,6429,2821,4091,2822,8684,8685,8686,2824,8688,5037,8689,7900,8691,
5583,2831,8692,6824,8695,8696,8697,8699,2835,8701,8702,4330,8703,8279,8704,7350,4787,4128,8369,7869,8709,5778,6441,8711,8713,
8714,4998,8717,6788,3678,2849,8721,8723,8725,7414,2851,8726,4467,6538,8728,2855,8730,8731,4248,8733,4560,3747,2859,8738,7054,
7390,8741,8743,7549,8746,6284,2870,3993,5197,5941,8751,8196,2872,8753,7919,8755,5861,2874,8758,3247,5727,3201,2878,8761,8763,
2880,4079,8765,7514,8767,4684,5144,8770,8772,2887,8774,8466,8776,8778,2889,7125,8781,6149,8782,8783,8785,5132,8786,2893,4625,
8789,8790,2970,2895,2896,6915,2897,6298,8793,4197,8794,2899,8795,8796,2901,5238,8197,8800,8801,8803,7217,8806,8807,2906,2907,
8811,6635,6281,7133,8814,4457,3761,8818,2914,4545,4131,6326,8823,5174,8825,8826,8827,7502,7964,8830,6025,2922,8724,2923,5003,
8832,6121,2925,6017,2926,3034,8836,8838,7396,2928,7754,8841,2930,3658,3322,8644,7130,2934,2935,8846,8847,3684,2937,4258,8002,
4874,8851,8853,7979,8854,8856,8857,3671,2942,8719,8862,8403,8864,2944,8866,7838,8606,8869,8870,2946,8873,8875,8876,8878,2949,
8880,7756,8882,7945,4827,2951,2952,8887,7940,8578,2955,8890,7518,8235,5379,8892,2959,4989,2960,6243,5536,5879,8895,8897,6600,
8900,2966,8901,8902,8903,6758,2968,8905,4077,8906,7405,8788,3272,6357,8908,2973,4493,8446,2974,5938,8912,8527,5689,8309,2977,
8431,2978,5569,7755,2980,8919,8920,8921,2981,8504,8922,8924,5115,2983,8925,8927,7771,8930,8176,8931,8933,3716,3332,4917,5220,
8168,2992,6675,8938,8939,2997,7954,8943,6203,3001,8945,7305,4461,8779,8950,8952,7458,3008,3030,8954,6581,3011,7090,8956,8957,
8958,8893,3014,7218,8959,3353,3016,8962,8964,3018,8966,8968,3021,7510,4915,6109,3026,8971,3028,8318,8974,8975,8977,4439,8978,
8951,7484,7682,7909,3859,8981,8983,3037,8986,3039,8988,8989,8991,3041,8879,8995,7927,8042,4189,8999,3044,6157,4303,3046,3224,
9004,9006,9007,6779,4028,6983,3049,9012,9013,7820,7924,3051,9014,4279,6371,9015,8907,3053,4822,8283,9017,5089,3056,9019,3057,
9021,9023,9024,3070,3084,9026,3167,3064,3284,9028,5149,3065,9031,9032,8482,3068,8953,7176,4312,9036,6261,5864,3725,9038,3846,
7749,9040,9041,8058,3077,7522,5862,9045,3127,3080,4224,9047,9049,3900,9051,3083,9053,8625,9054,3085,8011,3088,9055,9056,7450,
3091,8980,8661,9060,3093,6216,9063,6616,3095,5376,9064,8455,3097,8497,9067,8624,9069,9070,9072,9073,3103,5664,9075,9076,9077,
8839,3108,9080,9082,9083,9084,7808,3113,8263,6869,9087,8098,3115,6705,3430,3119,9090,8039,9092,3122,9094,3123,5539,8965,9096,
9097,9098,9099,9101,9102,9103,3129,4730,9105,9106,7866,7212,9108,9109,9110,9111,9113,4296,9115,9117,3137,5719,9119,7740,8365,
3140,9120,3141,5771,9122,9124,3143,9125,9126,3144,6004,3146,9130,9132,9133,8735,5462,7251,3153,9136,6676,9138,3458,5834,9139,
9140,7501,4472,3160,9143,9144,7489,9145,6039,9147,4897,9061,4072,9151,7914,9153,9155,3169,8111,3391,7969,9159,3172,7036,3380,
5355,3174,9163,4477,3176,8286,9166,3179,9168,9170,3181,9172,9174,6528,6762,3186,9176,6774,8129,3188,9180,8521,6832,3190,9184,
8582,3192,8137,9186,9187,9188,9189,9191,3195,5807,9194,6464,6962,3199,9196,8499,9198,3611,4310,9199,5083,3204,8820,5046,4740,
4619,9202,9204,9205,4358,3209,7741,8754,8214,9208,5209,9210,3213,6937,5750,9211,9213,9214,9215,5165,9216,5599,9218,9219,8079,
5791,3223,9221,5869,8850,9224,4405,4547,9226,9228,3228,7615,4432,4083,9230,9231,3232,7783,7067,3884,9232,5984,9235,3238,7652,
6718,9240,9241,3240,9243,8963,8584,9245,3242,9248,3243,5317,4907,5706,9250,9252,3245,6650,9255,9257,3249,7340,3251,7366,6919,
4761,3254,9261,9263,7816,3257,8044,9267,5074,9270,5366,7397,6501,7957,9146,3267,8570,9274,8258,4099,9276,9277,8740,8599,9278,
3668,6497,7082,3274,9282,8881,4314,9283,3276,6227,9286,9280,3281,3282,5533,4173,4540,9292,9294,9295,8047,4964,9298,3286,5718,
5937,3288,9300,9302,7545,5742,9305,3293,6874,9307,9308,6200,3298,9310,9312,3299,9314,9316,9318,3301,3392,9320,3305,3306,9323,
4872,8554,9324,9326,6040,7579,7096,9329,3314,9331,9333,7512,3890,6872,3317,9336,8046,9337,3397,3319,7060,4074,9340,7247,5203,
9344,8759,8090,3324,9346,3326,9349,7162,9350,9352,7948,9355,7634,3334,9357,8982,9359,3338,8929,9361,7929,3340,3342,9364,9366,
9368,9065,8085,9370,9371,9372,9233,3347,4149,9374,9375,7307,6827,9376,5970,5692,9379,8949,6032,9154,6569,6271,9382,9383,9384,
7591,6886,3365,3915,8891,9387,8797,3369,6728,9388,7983,8113,9390,8996,9393,3374,9272,9395,3376,7120,9396,6019,9398,4565,9399,
9400,9401,3381,9403,6505,9404,9406,9407,4239,3387,9410,9411,3389,8665,9413,9414,9415,9416,9164,9418,3395,9419,9420,9422,9423,
9424,9425,3399,9427,6559,9429,9430,9432,3403,9421,7275,9433,9434,3406,9436,9437,9438,6565,9439,9440,9442,5025,9443,8861,9444,
3414,4968,8942,3416,4633,9449,3418,9451,9452,3423,9454,6095,3879,5077,9353,9457,9459,9460,3432,9334,9461,5801,9296,3738,3434,
9464,9465,9467,3436,5705,9469,9470,9471,3440,9473,9242,9008,9475,5894,9477,3539,3444,5426,5559,3446,9482,3447,9485,8883,9488,
9489,9491,5556,3453,3796,4212,8222,7538,9493,9495,3455,9496,3460,4377,3463,9498,9360,9499,9161,8716,9502,8539,5357,6456,5454,
7004,3473,3474,5924,8265,3476,3576,9507,7313,9509,3480,9512,3482,8254,7504,9515,9517,3484,9519,6503,4579,9521,3487,9523,3489,
9526,9527,9528,9529,3491,9531,3492,9534,9536,4697,3494,5087,9540,4506,3498,9541,3499,5983,6438,9545,3501,9546,5525,9547,5312,
9549,4757,8138,7858,5263,8629,5714,9554,9556,6927,3510,3511,6792,9559,8571,3512,9561,8926,8146,5062,3514,8479,6167,8474,3938,
9564,3517,9567,7800,3518,3519,8055,3729,9572,7051,8844,7559,3523,9576,9303,9578,3526,3528,7186,5487,9581,3532,8762,9583,9584,
9586,9587,6935,9011,9200,3538,9590,6715,5102,7637,3543,7198,3545,8780,9593,5147,9595,7704,9597,8813,9600,9602,9603,9604,9605,
9607,9609,3590,4786,5874,7934,9542,3557,9612,3558,7639,6089,9615,5944,8955,3565,9618,8757,9619,9621,9623,5627,8574,9494,3571,
7421,9624,8248,9625,9129,9628,4495,9631,5112,3578,3579,5383,3581,5712,8969,9611,4834,3585,6997,9638,3587,9641,4063,6339,5508,
9254,8033,9643,9644,9646,4385,8223,8411,6117,5648,3598,8204,8337,8742,9652,9654,7080,3604,3605,9657,7017,7685,3607,8646,3609,
9079,9662,4219,9663,9664,3613,9665,9667,9669,5464,3617,9453,6415,9673,8602,3620,9675,9058,3622,6976,3623,7304,9681,6482,9682,
9684,8257,3627,9686,6377,9687,6001,9688,9689,8386,9691,9692,3631,9695,9696,3944,3633,6902,9697,3634,5643,7986,4068,9701,3971,
3638,9703,7650,9706,3641,7781,7348,9708,3643,3689,9710,9711,9712,9714,4854,9716,9717,8984,9720,9721,9722,9723,3654,4768,6480,
7403,9726,7215,4575,4646,9729,9731,6973,3663,9734,4118,5571,9608,9737,8544,5868,9740,3673,6564,5623,7992,7102,7453,3676,9743,
7950,7444,6368,4205,9746,8941,3680,9707,9747,9748,9568,9661,4179,9751,6753,9752,3686,9754,7762,8472,3688,4298,9244,9755,5351,
9757,3691,3692,5902,4341,3695,9760,5782,9762,3697,3699,9764,8486,3701,7420,5015,6336,8773,8522,4733,3705,5530,3707,3829,9770,
9771,8262,4233,4075,9774,3711,9776,9777,3714,7394,7408,4594,4599,3718,9782,3722,3759,7770,6979,9207,9785,9787,3724,4752,9788,
9789,9791,9793,9794,3731,9797,9799,9800,3733,6390,3951,3736,9804,9805,3740,5069,3742,9807,8654,6093,3745,3764,9810,9284,8358,
9811,9813,9815,6146,8637,9817,3754,9820,8377,9822,9050,9823,8517,8550,3762,7301,9825,3765,5310,6703,9826,8484,9690,3768,9829,
8756,9182,4244,6748,9030,8180,6222,7316,9834,3775,8135,9836,9719,9837,9839,9483,9841,8899,7393,4021,3784,7430,7164,5741,3786,
9845,4721,9847,9088,6852,9338,9848,7225,5405,9850,9843,9851,9177,6175,9852,9854,3799,9856,9857,4608,9858,3801,5110,9859,5558,
3804,9860,3806,9861,9863,3809,5026,9369,9864,9865,3811,7766,5510,4562,3818,9867,7160,9616,4895,7124,5780,9872,6402,8419,7376,
9610,4576,9341,9875,9877,3832,9879,9880,7995,8693,9883,9885,5142,9468,9888,3842,6767,9637,3844,9705,7492,9893,3849,9894,5930,
9895,6778,9897,4403,9756,9899,3856,7126,4420,9649,5891,9520,6163,3861,8514,3863,7915,7422,8077,5024,9466,3866,7085,6751,9335,
9181,3869,9910,3870,9913,9914,9915,7150,3872,8816,9917,9918,3874,9919,9920,3876,9162,9921,9922,5187,5091,5053,3883,9925,9926,
3886,6693,9928,7024,9833,9640,9929,4770,5975,9121,9931,6808,9934,3894,6327,3895,6892,9937,6311,7431,3897,3898,6492,8705,9874,
9940,8707,9942,6591,9945,4237,9339,5949,7887,5125,9948,7385,7129,6863,5195,9950,3916,7364,9952,9953,6722,5432,7088,9112,7261,
3925,9958,9959,9027,9960,8288,3928,6720,9964,9966,9967,9968,9970,6170,9973,3934,9975,3935,6929,6152,9977,9978,9979,8824,9981,
3941,9622,9985,9987,9932,9264,8715,9089,9988,9990,3952,5632,5334,3954,8600,9994,7185,9997,3957,3961,5344,3963,3966,10002,3967,
10003,4192,9514,6156,10005,7226,6745,10006,9956,3974,10009,7411,6365,10011,3980,4829,3982,8928,3983,5749,10014,10015,8228,10017,8407,
8979,10018,10020,10022,5690,8179,4001,7315,10026,10028,8855,4004,8059,10031,4006,9773,5621,4009,10035,10036,6119,4537,10038,4014,10012,
4015,10024,6249,8468,10043,10045,10046,10048,10049,4023,10052,10053,4424,10054,7707,8329,10057,10059,7011,10061,10062,10063,5450,9633,4034,
10065,4035,10066,5695,10068,8545,6654,7710,7347,4616,4356,10069,8394,6646,9544,4046,8972,10075,9783,4048,9351,8246,10077,4055,10080,
10081,7034,8314,7032,10083,4061,9560,5031,10085,8389,4066,10087,8450,4103,10090,10091,6253,4325,8587,8865,4076,10097,10099,9081,10100,
9627,6235,8748,9718,10072,6145,4085,9238,10105,4087,6171,5475,10107,5956,10076,8604,10108,4161,9306,5553,10110,4094,10113,4095,6321,
5736,8231,4097,4098,7612,10115,10116,4101,4643,10119,7870,10121,4104,10123,4106,7398,5235,10125,8653,8694,10128,9317,8680,10130,7292,
10131,8937,10133,9005,4115,10136,8069,10032,7571,10071,4120,10138,7659,10140,10141,6652,4125,8700,5224,9039,10144,4129,10145,10147,10148,
4132,8932,9091,4133,9142,7764,9539,6044,4138,4141,7902,7879,10154,6593,5931,4147,7179,8452,4453,4150,9775,6847,8552,4154,10157,
10159,5667,4159,10162,10058,4162,10165,9790,7629,4164,8233,8408,7208,10168,10169,5001,8658,10170,8727,4176,6430,10172,10173,9832,10175,
10176,8613,4597,9227,8749,9724,5961,10179,4468,10181,10182,9511,4188,9725,5226,10184,4191,10186,5756,7237,6949,4194,10188,6373,9835,
4198,10189,4479,7729,4200,8024,4451,10191,8913,6061,4207,6931,10180,4209,10194,8948,8679,10197,5612,7907,10200,8877,9700,7210,6959,
8947,10203,4532,10205,7114,8277,4223,10206,4225,4346,4228,9377,7358,4230,10124,4515,8566,7662,8203,10212,10213,5573,4241,6554,10216,
6896,10219,10221,8888,8540,8889,10226,4250,5680,9175,5592,4252,10229,4254,10231,10233,9659,8868,10237,10238,10240,9152,4262,4934,6556,
4264,10242,4265,10243,4266,8226,4268,4270,10246,5319,4273,9562,4414,8656,10249,4277,10251,4280,8802,9750,4921,5659,9735,10253,4285,
9239,10254,4288,9733,8585,10256,4290,8300,8917,9620,7103,8065,5117,10259,6265,9343,10260,4302,5548,8302,10207,4305,10264,7649,8798,
10265,6158,10266,5079,9949,10267,4316,10269,10270,9363,10271,4321,10274,10276,9678,6247,8163,9596,4328,5029,10278,4335,6865,10281,8424,
4337,4338,4613,9223,5443,10285,10286,10288,4993,6318,10225,6055,4345,10293,10295,9911,4347,7860,10298,4382,10300,10302,9768,5035,10001,
9057,5479,10297,10305,7973,10044,10306,4361,4362,7589,4363,7712,6185,8382,6118,10308,10309,10311,9803,4374,9165,7388,4376,9781,4783,
10000,6488,8396,10317,5009,10318,4383,10319,10084,10284,10320,5663,4388,10321,10263,7693,10323,7960,4581,9907,10025,9193,9197,4394,7513,
9071,10304,9325,6520,8745,8015,10329,10149,9148,4404,4793,10332,10333,10335,8093,4407,6030,10337,10338,9889,8633,4416,7200,7993,10342,
10343,4422,10344,10346,6104,10347,9650,10348,8073,4430,10349,9991,4433,4434,10352,10353,7495,5764,6102,7355,4441,4442,8651,4443,10356,
10358,10359,4447,4448,5851,8529,8019,10223,4454,8312,10364,10365,9786,10366,5913,5284,7064,9591,10368,6823,10369,10312,4463,10351,4464,
4466,8238,8787,10372,10373,10374,8086,4791,10378,4869,10161,10379,10380,6688,7587,10102,5977,4480,10381,10382,10383,7352,10385,10386,10387,
10388,8161,7769,4948,10390,5685,5414,7321,5101,10392,5395,5853,9933,7509,10395,10397,6485,9795,9749,4512,9819,9209,5597,10402,7706,
4516,6786,5799,4678,8610,4518,4520,10407,7577,5458,10408,6540,4772,4525,4526,7982,8217,10411,10412,4535,9309,5154,7889,10414,8819,
10417,10418,4539,7228,10415,4542,10047,10420,10421,8589,9345,7621,5392,10423,10424,6292,10196,4552,6618,10427,10428,8568,5867,5903,8843,
10171,4559,10227,10220,4563,10434,10435,8867,7318,9043,4571,10439,4871,4813,10440,9114,10443,6640,10444,7002,10445,4585,8280,10248,6667,
4590,10448,9976,4592,5973,10450,10451,9739,8970,10299,5216,4596,10454,8739,10419,6237,9870,6277,8052,4601,9898,8158,9676,9543,6434,
4604,6225,10458,9890,4606,5039,7895,5266,9938,10462,10463,10460,7547,10289,9969,5152,10467,4688,10177,10468,10469,4624,10470,9222,4626,
7334,4628,4629,10476,4631,10477,10478,5836,10479,10384,10277,4640,10482,10453,10483,10484,10449,7433,10185,4648,6731,4650,6801,7065,10489,
5343,4653,6776,5964,4655,4658,10410,10491,10492,7742,10493,9029,6854,4669,9157,7731,7751,9259,9984,8777,10371,10496,6219,8834,5917,
4709,4679,8067,4683,7137,4686,10307,8923,4690,9478,8542,8062,10235,5494,6426,5150,10504,9630,5434,10505,4702,10506,10507,4704,10508,
9185,8720,9319,6769,7535,4713,5116,7073,5522,10199,10512,7268,4717,4718,8722,10514,7617,9599,10095,10515,5160,8155,9974,10517,10518,
10519,10520,7787,4726,8216,7930,4728,10522,10326,8682,7256,9234,4732,8089,4737,9792,4742,9195,7234,9759,9033,8635,10525,10527,10528,
4753,10529,4755,8327,9816,10078,6198,6876,10530,10531,4763,10533,10336,10456,7718,9656,10536,10538,10481,10540,9190,4778,10543,4779,10545,
6606,10546,9660,7175,10547,4789,6398,8641,10056,8119,4887,10549,4796,4800,5337,8427,4802,10551,4804,9535,8698,4805,4807,10552,4810,
8421,9362,9513,9680,4816,9160,10023,4817,4819,10557,10558,10559,7296,10561,9100,6132,4831,8898,9955,10565,4836,7695,10567,4838,6967,
7844,4839,10569,9297,6476,4843,8028,4845,10117,9327,10570,5881,4848,6662,9315,10572,4851,10163,4853,8845,5840,4859,10574,10575,5478,
4861,10576,10577,9626,10579,7760,9730,4868,7666,8149,5785,8683,10583,4877,9882,9814,10585,10586,4883,4884,5922,4885,9900,10591,7613,
4890,6939,4891,10592,9614,10563,10594,7566,10595,8274,5282,6843,4901,10597,6423,10599,10601,4910,10604,7271,10316,10535,9685,4912,6269,
7144,10606,8414,10210,9247,5809,8361,7724,4923,10608,4925,7667,4926,7203,10609,10610,7863,6450,5789,9962,6798,10612,4935,9268,9500,
10616,7772,7116,8536,4946,10488,10620,10621,6584,4953,9203,8771,4959,4961,5981,5166,10624,9575,7970,10192,4971,7918,10627,4973,10628,
4975,10457,9704,8512,4983,10217,10215,7312,6858,10010,10632,10195,6870,10633,4990,10568,5253,4992,10636,10282,10637,7071,7967,10615,9386,
7931,10639,10640,5445,5004,10524,9285,10641,6783,10642,10643,10067,8367,9827,9445,7874,5018,7095,10645,8142,8736,6347,10646,10647,8471,
5032,10650,8673,10464,6987,10651,10652,8388,9266,7170,5071,10654,10655,9812,10656,10589,6804,10658,5051,9868,5242,10660,10662,7250,8804,
9281,5061,5360,9946,10664,6192,9887,9392,6614,10208,10667,9480,10670,10114,6994,5072,6103,10074,6825,7274,9505,10393,9299,10672,8319,
10673,6990,9116,5084,10674,5086,10037,8100,7815,10678,9570,8987,9251,5860,5097,10426,10680,6330,5099,6626,10257,10682,10683,10684,5107,
8247,10578,5232,10272,10686,10292,10687,9866,8325,10689,5119,6950,6355,5856,9279,5123,10691,7891,10534,7697,6787,5127,10465,5129,10622,
5134,10151,8492,5136,10033,8581,10693,10688,10580,7576,7165,10695,9431,9201,5594,10697,7236,7172,7483,5162,5377,8207,7732,6516,5170,
8747,10101,5172,10701,8275,5175,8463,9167,9821,5214,5180,9538,5183,7174,9846,5186,10708,10709,10436,10711,8087,5191,10714,7975,5193,
10659,5673,10584,10532,5199,7335,9809,10717,8622,10718,6551,5206,5207,7835,10720,8766,6659,8316,6457,10722,10644,10723,8331,5221,10725,
7836,10726,10727,8162,10728,8240,10729,9569,5237,10730,7626,8842,10060,10733,5246,10735,9565,9906,8070,5251,8918,10690,10737,7999,9552,
9450,5256,10738,10089,7240,10143,5261,5700,10741,10201,10743,8639,6925,5269,10745,5270,10250,5274,5420,10587,10442,10746,10747,5281,7580,
10750,5285,8005,10752,10258,9472,9394,10753,5299,8010,10429,10754,9849,10756,5304,10406,7996,9479,5306,5796,10758,8750,6286,8909,10700,
7027,6643,5314,7490,10712,10252,10345,9677,10764,6943,8764,9702,9629,10766,8650,5794,10749,10768,9456,10430,6906,5330,9947,10771,10773,
7833,7438,9996,10762,10774,10775,9912,10602,5341,7702,9632,9229,9698,9694,7428,7854,10777,10432,10778,7266,9648,7562,10556,9492,7123,
10780,10782,9158,7715,8678,8334,10785,5373,5374,10313,9385,8784,10719,10788,10581,10790,9671,5388,10461,5390,8822,10588,10791,10111,5393,
8502,10792,5397,9763,5688,8676,5399,5545,5400,5757,5435,5544,10437,7042,9150,10137,8296,8992,5415,10799,5812,10800,8812,5422,8384,
7630,6063,6125,9412,6812,5429,7542,10805,9025,8031,9982,8674,5437,9367,10004,5440,9348,10042,5448,8564,10806,9588,9901,9510,9010,
10808,5456,10810,9134,9095,6903,10134,10813,9378,6917,9003,10438,5470,10814,6828,8440,5473,10760,9961,10816,10817,10818,10391,10819,5482,
6696,10820,6362,10821,7676,10822,10823,10824,5488,10825,7593,8775,5492,10827,5682,5495,8612,10571,7551,5497,9579,5500,10509,9508,10830,
9183,10244,6111,7135,7984,8429,7143,5513,10832,10776,10030,5517,10198,5518,10834,7107,8935,6514,5698,10837,5526,5527,5555,6188,9178,
5532,10702,10841,6702,7014,5538,10433,8706,9131,10844,10845,8356,10847,10848,5550,8936,10849,10183,9986,10239,5561,5564,10155,10852,6309,
5568,10853,10855,6343,10804,9503,5578,10856,10829,5585,9727,5587,7599,10486,9778,9246,10862,6396,10863,5603,5620,8115,10864,5607,10866,
10868,9551,10409,9824,7972,6941,5792,10871,10873,5625,6525,10874,5628,10404,6166,5631,10327,10876,9566,9796,8768,5634,9249,5636,7529,
9497,10878,6420,9192,5646,10669,10860,10322,7383,5657,10703,10881,5660,9927,10016,7905,10883,8828,9212,5666,10765,5669,8084,10812,5676,
10887,8131,10360,6499,9808,9736,6183,7557,6829,6204,5697,7040,9658,8017,10889,5701,10890,10891,10892,6226,7367,5710,5925,9078,10895,
5722,6709,9871,5724,10865,10897,5726,5990,5729,5732,6782,10623,5734,5738,8643,10582,10901,7220,10560,8833,10040,9780,10903,5852,6679,
8477,5760,9149,8791,7336,9715,7026,7722,8376,5766,9840,7235,6477,6475,6840,10908,9598,10681,9474,5971,10909,5787,10472,9993,8659,
9571,10539,8117,10605,10911,7989,10214,10893,10209,9107,6388,10425,10394,9635,5814,10146,5816,10400,6968,5818,10710,7182,10247,10914,5829,
5831,9141,5833,10916,10228,5841,10328,6575,5844,10007,9044,5847,10475,10919,5854,10921,10283,10013,10050,5858,10375,10617,8732,10330,10232,
10923,5876,5878,8121,6971,5939,9989,5885,5886,5888,7684,9018,10671,10798,10925,10416,7044,5895,6712,7337,10268,8390,9772,10910,9903,
6678,9954,10930,10815,10932,10933,10934,8174,10831,5907,10935,7069,5914,10937,7911,10938,8189,8006,5919,10939,10638,5921,10770,10104,6428,
8140,9135,10340,8056,8997,8872,10920,9290,8752,7148,5948,10941,10942,6140,5959,7878,9983,5962,10679,5965,9342,8181,6954,10668,7674,
10947,9171,10554,8250,7737,9992,6113,10870,10949,6187,10950,10951,5986,8985,9853,10649,7653,10742,6692,5993,9397,6623,10466,6135,10739,
10471,10190,5998,7109,9939,10310,8792,10955,6003,10957,10958,10959,7457,10600,8506,8173,10960,10948,10961,9713,6115,8848,10964,7244,6027,
6076,7628,6888,8563,10029,6037,10234,6041,10968,6046,10969,7827,9052,9518,7480,6052,10970,9034,10377,10918,10698,10241,10094,6060,9405,
10973,6552,10501,10967,6070,9435,8106,6078,10954,9617,8993,8631,6083,7242,6090,10977,6989,10978,6092,9732,8710,8886,8253,6245,6820,
8894,10757,10156,10886,10980,6106,9873,10826,7670,9220,9448,7968,7663,10983,6242,10657,8829,10984,10809,10985,10986,6128,6130,8392,10202,
8462,8496,10840,10988,7785,8321,6160,10990,9884,10153,9271,10544,10694,10991,8614,8607,9951,8260,9972,6179,6641,10993,6182,9002,10927,
6334,10126,10995,8387,10705,6369,7658,7775,6196,6756,6199,10786,6202,9066,8211,10997,10135,10779,9666,10279,10999,10966,10070,10039,6743,
7448,11000,8368,8840,10230,10858,11004,7239,11006,10275,11007,10287,9275,8645,7146,6260,7141,11009,9876,10142,6263,11012,10963,10516,6383,
6890,9818,10801,6272,8454,10922,8091,6275,10998,7156,11015,10280,6278,10861,10152,8272,9601,6760,9537,8531,6296,11017,10513,6303,9574,
7888,7506,6313,6747,10273,10245,7280,9321,7472,8961,10334,8837,6443,6338,6341,6345,11021,10945,10403,6353,10648,10625,11024,10079,9179,
9645,11025,7540,9237,8494,7623,7158,8078,9022,9381,7076,8470,6381,8481,10784,9784,10303,8810,10389,11027,10354,6400,6391,11028,6394,
8712,10904,9356,6453,8291,10166,6800,6417,11030,9059,11031,8990,11032,11033,10158,10027,7531,10112,8671,6440,9487,9830,6445,10139,10721,
11001,9016,8130,6460,8555,9206,10341,11037,10877,6468,6899,11039,6473,10796,8151,8662,10629,9606,9580,11041,8442,6487,9137,6494,11042,
6648,10362,6500,10452,9426,8343,9891,6510,6511,10802,9758,8690,11034,6524,10301,6526,9582,6685,6532,9253,10936,10952,6542,6543,9304,
9806,10098,10755,10751,6549,11045,8655,6555,10979,8278,8405,9522,6561,10833,6566,7689,11048,11014,8030,6578,10459,9441,10888,8916,8037,
10455,6586,8558,7851,10607,11054,6595,6598,9765,8352,6609,6611,10480,11056,10676,8110,6619,8519,8270,11059,10795,10485,6630,11003,9557,
7978,7098,11060,8412,7520,10187,7786,10120,10677,6651,7372,10634,7677,10262,10204,10965,7462,9462,7561,6670,10073,11066,11029,8534,6681,
6682,10296,11016,10503,10981,8345,8404,6699,10706,6708,11057,10736,10122,9365,10548,8208,6716,6723,11070,9093,10772,8871,9769,10869,8884,
11072,6735,6867,9524,11020,9936,8434,11051,10399,11074,7812,11076,10331,6765,9128,6771,10905,9741,9042,11077,8451,10744,9311,11078,9672,
11080,10537,8863,11081,8859,8242,10926,6822,9563,11082,10713,6834,8849,6838,6841,11019,6845,11083,10880,10174,10913,7437,11011,10611,6877,
9490,6878,9634,8104,10093,10626,7381,10715,7958,7062,10494,11084,8835,10867,6908,11085,11036,10974,8379,7886,10088,6923,9373,10906,10211,
11086,11055,10899,8185,10724,10898,10894,10803,6961,10811,8133,9455,11069,10842,9655,11046,6977,7153,6981,6991,11088,9328,9273,11089,7006,
10675,10490,7285,7013,7325,7582,9358,7022,11090,8355,7030,7460,7594,11005,11092,9878,7320,10290,8940,7047,11093,7369,10222,7057,10971,
9408,10663,9670,11094,11095,7938,10902,8976,9046,7083,9256,8648,10314,11050,9798,9389,9548,9417,9842,7845,7110,7311,11075,11096,9354,
9035,8579,11098,8675,11099,11100,11101,8526,9613,11102,7798,9766,9553,7166,10370,11023,10734,7178,10956,11103,10573,7193,8561,11105,7197,
9301,7205,11106,10794,11107,10008,8340,10740,10355,9104,9653,7223,9558,7232,10447,10761,10498,8202,10376,11040,10879,7253,7254,11111,9127,
8805,8831,8025,11108,10021,7997,11113,9642,7282,11112,7287,7290,7324,7467,9506,9639,10635,7323,9118,7331,11115,10732,11064,9709,10759,
7356,9761,7876,9577,8438,10396,11049,10618,7370,8043,7373,10940,10793,7375,9037,11109,7387,10106,9647,7395,11121,9265,11123,11124,9476,
7409,7687,10562,7416,7418,10716,9391,7426,9260,8021,8885,7435,8960,9944,9293,11043,8205,11127,11065,10526,9801,7466,11044,7607,10915,
8737,11128,9699,7487,8734,8153,11130,7497,9525,11131,11068,7533,11132,7508,9409,8357,10783,8874,11133,11134,7526,10051,11008,11035,7534,
7736,7553,9458,10846,7564,9651,10704,11136,10593,10367,10431,10566,11137,10884,8718,9892,7597,10511,9287,8809,11104,10218,8109,8535,8127,
9930,9828,9086,7799,8224,7655,10696,10781,8346,10661,9869,9779,9838,7680,8123,10603,9592,10500,11071,9533,10943,7698,7700,10982,9173,
8328,7709,10843,9020,8448,8944,10699,10294,9881,9924,10685,7744,11079,10928,10160,11142,11148,10972,8523,9831,10193,11062,8858,11022,10912,
10875,8769,7791,9908,10859,10361,10763,8458,9753,7868,9745,11091,10473,8191,11150,8371,9902,7832,10907,9380,8244,10553,10291,7847,11118,
7853,10261,11052,9963,9001,9289,11153,7881,10996,11063,11157,7896,11158,9886,10619,7936,11145,10854,9085,7935,9995,7943,9573,10872,10838,
7966,10405,10132,8597,8934,9062,10474,10357,10992,8998,11138,11125,11058,10835,9501,8057,10631,8994,10055,9935,11097,8490,10167,11163,11164,
8973,8400,11002,11139,8122,11061,11166,8125,9636,9744,8946,9957,8687,10896,9530,8200,9943,9679,11161,9971,10614,8184,8230,11026,8195,
9332,8729,11010,11119,8380,9446,9463,8220,8221,9262,8237,11165,8708,10446,11149,8443,9999,8634,11160,11135,10064,10828,9402,9048,11169,
10924,8307,11170,8910,8324,10401,9683,10324,9481,8348,9916,10510,8363,10630,10315,11141,9896,8397,10236,11171,10789,8433,10082,8817,10150,
9009,10839,8815,8546,9291,9909,10550,9550,10797,11038,11018,10598,10962,9322,10994,8914,9923,10523,10224,10413,8556,9742,9258,10255,8911,
10034,8590,8860,8852,8617,8618,9585,10613,11162,9555,11087,8663,10953,8668,9313,9532,11140,9484,11172,8744,10787,11173,8760,11175,10946,
8915,9802,11155,9516,9074,8799,9594,10521,8808,8821,11110,9738,11073,10096,10497,10665,11168,10666,9156,8896,9674,8904,10885,10422,9862,
11152,11129,11146,10900,10103,8967,10987,9000,10502,11114,9068,10542,9693,9123,9428,9767,11159,11126,9169,9904,9217,9941,9225,10989,10917,
9236,10692,9269,10339,10041,11154,9288,10019,10731,10931,9330,10836,9347,10541,10807,10975,11151,10851,10109,10929,10325,11177,9447,10555,10850,
10596,9486,9504,10495,10127,9668,10857,11147,9998,10092,10767,9589,9905,11120,10350,10164,9728,11117,10882,9844,10499,10769,10564,10441,9855,
11143,10487,11144,10653,11174,10944,10129,10398,10590,10086,11156,10363,10976,9965,11013,9980,11067,11167,11116,10118,10178,10748,11176,11053,10707,
11047,11178,11122]
,\[
3,5,7,8,10,12,14,16,18,20,21,23,25,1,28,30,31,33,35,2,38,40,42,43,45,
47,48,50,52,4,55,57,59,60,62,64,66,68,69,71,73,6,76,78,80,81,83,85,87,89,
90,92,94,96,98,99,101,103,9,106,108,110,111,113,114,116,118,11,121,123,125,126,128,130,132,
134,135,44,138,13,141,143,145,147,149,150,152,154,15,157,159,161,162,164,165,167,169,17,172,174,
176,177,58,180,182,184,185,187,189,19,192,194,196,198,200,202,203,205,207,209,211,212,214,216,22,
219,221,223,224,226,227,229,231,24,234,236,237,239,241,243,245,246,248,250,26,252,254,256,27,259,
261,263,264,266,268,270,272,273,275,277,29,280,282,284,286,288,290,291,293,295,297,299,300,302,304,
32,307,309,310,312,313,315,317,34,320,322,324,325,327,329,331,332,333,335,337,36,340,342,343,345,
347,37,350,352,354,355,357,358,360,362,39,365,367,369,370,372,374,376,378,319,380,382,41,385,387,
389,391,393,395,396,398,400,402,404,405,407,409,411,413,414,416,417,419,421,46,424,426,428,429,431,
433,435,437,439,440,442,444,446,448,449,451,453,49,456,458,460,461,463,464,466,468,51,471,473,475,
476,478,480,482,484,485,487,489,53,492,494,495,497,499,54,502,504,506,507,509,510,512,514,56,517,
519,521,522,524,526,528,530,531,533,535,537,539,541,543,545,546,548,550,552,554,555,557,559,61,562,
563,565,566,568,569,571,63,574,576,578,579,581,583,584,586,588,65,591,593,595,596,598,600,602,604,
605,607,609,67,612,614,616,618,619,621,622,624,626,628,630,631,633,635,70,638,640,642,643,644,645,
647,649,72,652,654,655,657,659,660,662,663,665,667,74,670,672,673,675,677,75,679,681,683,684,686,
687,689,691,77,694,696,698,700,701,702,704,706,79,709,711,713,715,717,719,720,722,724,726,728,729,
731,733,82,736,738,740,741,743,745,747,748,750,680,84,754,756,758,759,761,762,764,766,86,769,771,
773,399,775,777,779,781,782,265,785,88,788,790,792,794,796,798,799,801,803,805,807,808,810,812,91,
815,817,623,819,821,822,824,826,93,829,311,832,346,834,836,837,515,840,95,843,845,847,848,850,852,
854,856,857,859,861,97,864,866,868,870,872,874,875,877,879,881,883,884,886,888,100,891,893,895,896,
897,898,900,902,102,904,906,908,910,912,913,915,917,104,920,922,923,925,927,105,930,932,934,935,937,
938,940,942,107,944,946,948,949,587,952,954,956,958,960,109,963,965,967,969,971,973,975,977,979,980,
982,983,112,986,988,990,991,993,339,996,998,999,1001,1003,1005,1007,1008,344,1011,115,1014,1016,1018,1019,1021,
1022,1024,1026,117,1029,1031,1033,1034,1036,1038,1040,1042,1043,1045,1047,119,1050,1052,359,905,120,1057,160,1059,1060,
1062,1063,364,1066,122,1069,1071,1073,1074,1076,1078,1080,1082,1083,1085,1087,124,1090,1092,1094,1096,1098,1099,757,1102,
1103,1105,1107,127,780,1111,1113,1114,1116,1118,1120,129,1123,1125,1127,1128,1130,1132,1133,1135,1137,131,1140,1142,1144,
1145,1147,1149,1151,1152,1154,1156,133,1159,1161,1163,1165,1167,1169,1170,1172,1174,1176,1178,1179,885,1182,136,1184,1186,
137,1189,1191,1193,1194,1196,1198,1200,1202,1203,1205,1207,139,1210,1212,1213,1215,1217,140,784,1221,1223,1224,1226,1227,
1229,1231,142,1234,328,1237,1238,1240,1242,1244,1246,1247,1249,1251,144,432,1255,1257,1258,1260,1262,146,1265,1267,1269,
1245,1271,1273,1275,1276,1278,1280,148,1283,1285,1287,1061,1290,793,1292,1294,1296,1298,1300,1301,1303,1305,151,1307,1309,
1310,1312,1313,1315,1317,153,1319,1321,1322,1324,1326,1327,1329,1330,1332,1334,155,258,1338,1339,1341,1015,156,1345,1346,
1348,1349,1351,1352,1354,1355,158,1358,1359,1361,1362,1364,1366,1368,1370,1371,1373,1375,1377,1379,1381,1383,1385,1387,1388,
1390,1392,1394,1396,1397,1399,163,1402,1404,1405,1407,1409,1411,1412,1414,1416,1417,1419,1420,1421,1423,166,1124,1427,1429,
1430,1432,1433,1435,1437,168,1440,1442,1444,1445,1446,1448,1450,1452,1453,1455,1457,170,1460,1462,1463,1465,1467,171,1470,
1472,1474,1475,285,1477,1479,1481,173,1484,1486,1488,1489,1491,1492,1494,1496,1497,1499,1501,175,1504,1506,1508,1510,1512,
1513,1515,1517,1519,1520,1522,1524,178,1526,1528,1530,179,1533,1535,486,1537,1539,1541,1542,1544,1425,181,1548,1549,1551,
1552,1554,1556,1558,1560,1561,1531,1564,183,1566,1568,1570,1572,1574,220,1576,1578,1342,1581,1582,1584,1586,186,1589,1591,
1592,1594,1595,1597,1599,188,1602,1604,1605,1607,1609,1611,730,1613,1615,1617,190,1620,1622,1623,1625,1627,191,1629,1631,
1632,573,1635,193,1638,1640,1641,1643,1645,1647,1649,1650,1652,1654,195,1657,1659,1661,1663,1664,1666,1668,197,323,1672,
1673,1674,1676,1677,590,1680,199,1683,1685,1686,1687,1689,1691,488,1693,597,1696,201,1699,1701,1703,1565,1706,1708,1709,
1711,1713,1715,1717,1718,1720,1722,204,1725,1727,1729,1730,1732,1733,1735,1737,206,1740,1742,1744,1745,1747,1749,1750,1752,
1754,208,1756,1757,1759,1761,1763,1765,210,1767,1769,1771,1773,1775,1776,1778,1780,1782,1784,1785,1787,1789,213,1792,1794,
1796,1797,1799,1800,1802,1804,215,1807,1809,1811,1812,1814,1816,1818,1820,1822,217,1825,1827,1828,1830,1832,218,1833,1835,
1836,1838,1840,1842,1844,1845,1847,1849,1851,1852,1854,1856,222,1859,1860,1862,1864,1866,1867,1869,1871,1873,1875,1876,1721,
1879,225,1882,1884,1886,1887,1889,1891,1893,1895,1896,1898,1900,1902,1903,1904,674,1907,228,1910,1912,1914,1915,1917,1919,
230,1922,1924,1926,1927,1929,1931,1933,452,1934,1567,1937,232,1940,1942,1943,1945,1861,233,1949,1951,1953,1954,1956,1957,
1959,1960,235,1963,1965,1966,1968,1969,1971,1389,1974,1976,1978,1980,1981,1983,1985,238,1987,1989,1990,1991,1993,1994,1996,
1998,240,2001,2003,2005,2006,2008,2010,2011,2013,2015,242,2018,2020,2022,1064,2023,2024,641,2026,2028,2030,244,2033,2035,
2037,2039,2041,2043,2044,727,2047,2049,2051,2052,2054,247,2057,2059,2061,2062,2064,1532,2066,2068,249,2070,2072,2074,2075,
2077,2079,2081,2082,2084,2086,251,2089,2091,2093,2094,2096,2098,2100,2102,2103,2104,2106,253,2108,2110,2111,2113,2115,255,
2118,2120,2122,2123,377,2126,2128,2129,2130,2132,2134,257,2137,2138,2140,2142,1724,2145,2147,2148,1511,2150,2152,2154,260,
2157,2158,2159,2160,2162,2164,2166,2168,262,2170,2172,2174,2176,2178,2180,2181,381,2184,2186,2187,2189,420,1935,2192,2193,
786,2196,2198,267,2200,2202,2204,2205,2207,2209,2210,2212,269,2032,2216,2218,2219,2221,2223,1656,2226,2228,271,1079,2232,
2233,2235,2237,2239,2241,2243,2245,2247,2249,2251,274,2254,2256,2258,2259,2099,2261,2263,2265,276,2268,2270,2272,2273,2275,
2277,2279,2280,2282,2284,278,2287,2289,2290,2292,2294,279,2297,2299,2301,2302,2304,2305,2307,2309,281,2312,1600,2314,987,
2316,2317,2319,283,2322,2324,2326,2328,2330,2331,2333,2335,2337,2339,2340,1616,1982,2344,287,2347,2343,2349,2350,2352,2354,
2355,2357,2359,289,2361,2363,2365,2367,1743,2320,2370,2372,2374,2376,2378,2379,2381,2383,292,2386,2067,1921,2389,2390,2392,
2394,294,2397,2399,2400,2401,2403,2405,2406,2407,2409,296,2412,2414,2416,2417,2419,1122,2421,2423,2424,2425,2427,298,2430,
2432,2434,2436,2438,2439,2441,2443,2445,2447,2448,406,2451,301,2454,2456,2458,2460,2461,2463,2465,303,2467,2469,2471,2472,
2474,2476,2478,1988,1067,305,2483,2485,2486,2488,2490,306,2493,2495,2497,2498,2500,2502,308,2505,2507,2509,2510,2512,2514,
2516,2518,2520,2521,2523,2524,2141,2527,2528,2530,2532,2534,2536,2538,2539,2541,2543,2545,2547,2548,2550,2552,1760,2555,2557,
314,2559,1422,2562,2563,2565,2566,2568,2570,316,2573,2575,2473,2576,2578,2580,2581,2583,2585,318,2588,2590,2591,2593,2595,
2597,2599,2601,2602,2604,321,2606,2608,2610,2611,2613,2615,2617,2619,2620,2621,2623,2625,2627,2629,2631,2633,2634,2636,2638,
2639,2641,2643,326,2646,2648,2649,2650,2652,2653,2655,1160,1916,1941,2659,2660,1736,2663,2664,2090,2667,330,1126,2671,2673,
2674,2676,2678,2680,2682,2411,976,2685,2686,2687,2689,2691,2693,2694,2696,334,2698,2700,2701,2703,2704,2706,2708,336,2710,
2712,2714,2715,2717,2718,467,2721,2722,2724,2726,338,2728,2730,2732,2734,2736,2737,2739,2741,2743,2744,2746,341,2749,2121,
2752,2754,2756,2757,2759,2761,2763,2765,2766,2768,1684,2771,2772,2773,2774,2776,2777,2779,1667,2781,2783,2785,2787,2789,2790,
1850,2793,348,2795,2796,2798,2800,349,2803,2805,2807,2808,2810,2811,2813,2814,351,2817,2819,2821,2822,2824,2826,2828,2830,
2831,2833,2835,353,1746,2839,2841,1175,2844,2846,2847,2849,2851,2853,2855,2856,1700,2859,356,2600,2863,2865,2866,2868,2870,
2872,2874,2875,2877,2878,2880,2882,2883,2885,542,2887,2889,361,2891,2893,2895,2896,2897,445,2899,363,2901,2903,2904,2906,
2907,2909,2911,2912,2914,2915,2917,2919,366,2922,2923,2925,2926,2928,2930,2932,2934,2935,2937,2939,368,2942,2944,2946,802,
2949,2951,2952,2954,2955,2957,2959,2960,2962,2491,371,2966,2968,1219,2970,2972,2973,2974,2976,373,2977,2978,2980,2981,2983,
2985,375,2630,2989,2990,2574,2992,2994,2995,2997,2999,3001,3003,3005,3007,3008,2227,3011,379,3014,3016,3018,3019,3021,3022,
3024,3026,3028,3030,3031,3033,3034,3035,3037,3039,3041,383,699,3044,3046,384,3049,3051,3053,3054,3056,3057,3059,3060,386,
498,3064,3065,970,3068,3070,3072,3073,3075,3077,388,3080,2146,3083,3084,3085,3086,1514,3088,390,3091,3093,3095,2435,3097,
3098,3100,392,3103,3105,1218,3106,3108,3110,3112,3113,3115,3117,394,3119,3120,3122,3123,3125,3127,3129,438,3131,3133,3135,
397,3137,3139,3140,3141,3143,3144,3146,3147,3149,3150,3152,3153,3154,3156,1350,401,3160,3162,3164,3165,3167,3169,3171,3172,
3174,3176,403,3179,3181,3183,1039,3186,3188,3190,3192,1188,3195,3196,2353,3199,3201,3203,3204,714,1863,3207,3209,408,3211,
3213,3214,3215,3217,410,3206,3221,3223,3224,3226,1293,3228,525,3230,412,3232,3234,3236,3238,3240,3242,3243,3245,3247,3249,
3251,3252,3253,3254,415,1748,3257,3259,3260,3262,3263,3265,1970,3267,1536,3270,3272,3273,3274,3276,3278,418,2240,3281,3282,
3284,3286,3288,3289,3291,3293,3295,3297,3298,3299,3301,422,2894,3305,3306,3308,3310,423,3312,1236,3314,3316,3317,1233,3319,
425,2457,3322,3324,3326,3328,3330,1046,3332,3334,427,3336,3338,3340,3342,3344,505,3345,3347,3349,3350,3351,3353,430,3356,
3358,3359,3360,3362,3363,3365,3367,3369,3371,3372,3374,3376,3378,3380,3381,3383,1543,434,3387,3389,3391,3392,3394,3395,3397,
3399,436,3401,3403,3404,3406,3408,3410,3412,3414,1272,3416,3418,3419,3421,1308,3423,3424,814,3426,2021,441,3430,3432,3300,
3434,3435,3436,443,2056,3440,3442,3443,3444,3446,3447,3449,3451,3453,3455,3456,3458,3460,3461,3463,3465,447,3468,2083,3470,
1413,3473,3474,3476,3478,3480,3482,3484,450,3487,3489,3491,3492,3494,2182,3496,1030,3498,3499,3501,3502,3504,3505,454,3508,
3510,3511,3512,3514,455,3517,3518,3519,3521,3523,457,3526,3528,3530,3531,823,459,3532,3534,3536,3538,3539,3541,3543,3545,
3546,3548,3550,462,3553,3555,3557,3558,3560,3562,3563,3565,2958,3568,3569,3571,3472,465,3575,3576,3578,3579,3581,3583,3585,
3586,3587,3589,3590,3592,3593,1614,469,3597,3598,3599,3564,3601,470,718,3604,3605,3607,3608,3609,3611,472,3613,3615,2487,
3617,3618,3620,3622,3623,3625,3627,474,1365,3631,3633,3634,2119,3636,3638,3639,3641,3643,3644,3646,3648,477,3651,3653,3654,
1051,3656,3658,479,3661,2408,3663,3664,3666,3668,3669,3671,3673,481,3676,3678,2191,3680,3682,3684,3686,3688,3689,3691,3692,
483,3695,3379,3697,3699,3701,3660,3703,3705,3287,3707,3709,3711,3713,3714,3716,3718,3719,2993,501,3722,3724,3725,3727,3729,
490,3731,3733,3279,491,3736,3738,3740,3742,3744,3745,2886,3747,493,3750,3752,3427,496,3754,3756,1930,3759,3761,3762,3764,
3765,3767,3768,2709,3771,3773,3775,3776,3777,3779,3781,3782,3784,3786,500,3787,3789,3790,3791,3792,3794,3795,3796,3798,3799,
3801,3802,503,3804,3806,3808,3809,3811,3433,880,3815,3817,3818,3820,2571,3327,3824,3825,3827,3829,3830,3831,3832,3807,508,
3835,3837,3839,3840,3842,3844,3846,3847,3849,3851,572,3854,2080,3856,3527,511,3859,3861,3862,3863,2506,3866,513,3868,3869,
3870,3872,3874,3876,3878,3879,3881,3883,2385,3884,3886,2214,516,3890,3892,3894,3895,3897,3898,3900,3902,518,3905,2492,3907,
3909,3911,3913,3915,3916,3918,2484,520,3921,3923,3925,2727,3928,3929,3931,3544,3934,3935,1498,3938,523,3941,3943,3944,3945,
3947,3948,3205,3951,3952,3954,2482,3956,1235,527,3957,3959,3960,3961,767,3963,3805,3966,3967,1134,2829,529,2812,3971,3973,
3974,3976,3978,3980,620,3982,3983,3985,532,3987,3989,3991,1958,3993,3995,3997,3998,3999,4001,534,4004,4006,4007,547,4009,
3793,536,4013,1608,4014,4015,1211,4018,4020,4021,4023,1777,538,4026,4028,4030,4032,4034,4035,4036,4037,540,1619,3908,4041,
4042,4044,4046,3118,4048,2429,4049,4051,4053,4054,4055,544,2702,4059,4061,1557,4063,4065,4066,4068,4070,4072,3841,4074,4075,
4076,4077,601,4079,549,685,4050,4082,4083,4085,4087,4088,2398,4091,551,4094,4095,4097,4098,4099,4101,4103,4104,4106,2058,
553,4110,4111,4113,4115,4117,4118,4120,4122,556,4125,2792,4128,4129,4131,4132,4133,2750,558,1590,4138,3130,3962,4141,4142,
4144,560,4147,4149,4150,4152,4154,561,4157,4159,4161,4162,4164,4165,4167,4169,4170,4172,4173,4174,4176,4177,4179,564,4182,
4184,4186,3109,4188,4189,4191,4192,4194,567,841,4197,4198,4200,1545,4203,1648,4205,4207,3126,4209,4211,4212,570,4215,4217,
3094,4219,4221,4223,4224,4225,4227,4228,4230,4231,4233,4234,3386,4236,4237,4239,4241,575,4244,4246,4248,4250,4252,4254,577,
3017,4258,4260,4262,4264,4265,4266,4268,921,1400,4270,4271,4273,580,4275,4276,4277,4279,4280,1755,582,4283,4285,4287,4288,
4290,4292,4294,4296,4298,4300,4302,4303,4305,4307,585,4310,4312,4313,4314,4316,4317,4319,4321,4323,4325,2300,4328,4330,4331,
4332,589,4335,4337,4338,3880,4341,4343,4345,1665,4346,4347,4348,4350,592,1010,4354,4356,4358,1458,594,4361,3348,4124,4362,
4363,3877,4366,797,4368,4370,4372,3814,4374,4376,4377,4378,4380,599,1044,4382,4383,4385,4386,4388,4390,4392,4394,4395,4397,
4399,4401,4403,1837,4404,4405,603,4407,2418,4410,4412,4414,4416,3746,3343,4420,2167,4422,4424,4426,606,664,4430,4432,2420,
4433,4434,765,2387,608,4439,4441,4442,4443,4445,4447,4448,4449,4451,4453,610,4454,4455,4457,4139,611,966,4461,4463,4464,
4466,4467,4468,3816,613,4472,4474,4475,4477,4479,4480,4481,1037,3981,615,1206,4486,4487,4489,4490,4491,4493,4495,617,4498,
2323,2276,4501,3506,4504,4506,4508,4509,4511,4512,2151,4515,4516,4518,4520,4522,1644,4525,4526,4514,625,4530,4532,4534,4535,
4537,4539,627,4540,4542,1216,4545,4546,4547,2462,629,1779,4552,1505,4555,4557,4559,4560,2832,4562,4563,4565,4567,1636,632,
4571,4573,4575,4576,4578,4579,4581,3889,634,4585,4060,4587,4588,4590,4592,4594,4596,4597,4599,4601,636,4604,1177,4606,4608,
637,4611,1967,4613,4615,4616,4617,4619,639,4622,4624,4625,4626,3582,3157,4628,4629,4631,4633,2208,4635,4636,4638,4640,4641,
4643,1821,4646,2327,4648,4650,4651,4653,4654,4655,2063,3055,4658,3425,646,4662,4664,4666,648,4668,4669,4665,4400,4672,4673,
4675,2190,650,4678,4679,3533,651,3364,4683,4684,4686,4688,4071,4690,4691,2755,2892,653,1848,1304,4697,1020,4698,4482,4700,
4702,2716,2560,4704,656,4706,3333,3803,4709,4711,4713,658,4715,4717,4718,4240,4721,4722,3524,4724,4726,4728,4730,4732,4733,
4735,4737,661,4740,4742,4744,4746,4748,1468,4749,4102,4752,4753,4755,4757,1239,4759,4761,4762,4763,4765,666,2466,4768,4770,
4519,4772,4774,4776,4778,4779,4781,668,4783,669,4786,4787,4789,4790,4791,4793,4794,4796,972,671,4800,4802,2244,4804,4805,
2640,4807,4809,4810,4811,4813,4814,4816,4817,2479,4819,676,4822,2998,4825,4826,4827,2723,4829,964,4831,678,4834,4836,4158,
2669,4838,4839,4841,4843,4845,3248,4848,4849,1925,4851,4853,4837,4854,682,4857,4859,4861,4620,4582,4865,1612,4867,4868,4869,
4871,4872,1938,4874,4876,4877,4878,4880,3561,4882,4883,4884,4885,688,4887,4888,4890,4891,4893,4895,690,4897,4899,4901,4902,
4904,2315,4907,4909,4910,4912,3612,692,1770,4915,4917,3331,693,4921,2948,4923,4925,4926,4928,695,4930,3052,4932,4934,4935,
4937,4939,697,4941,4942,4943,4945,4946,4948,4008,4951,4953,4955,4957,1962,4959,4961,3012,4964,4965,842,4968,703,4971,4973,
4975,4976,705,4979,4981,4983,4251,4727,3968,4986,707,4987,4989,4990,4992,4993,708,4996,4998,5000,5001,5003,5004,4047,4471,
710,4367,5009,5011,5013,5015,2007,5018,712,5020,5021,5022,5024,5025,5026,3302,5029,5031,5032,5034,5035,5037,716,5039,4510,
5042,4151,1675,2404,5046,1906,5049,5051,5053,5054,5056,4096,721,3687,5061,5062,5063,5065,4754,795,4766,723,5069,5071,5072,
5074,3266,3577,5023,725,5077,5079,4806,2871,5081,5083,4105,5084,5086,5087,5089,5091,5093,5095,5097,5099,5101,5102,2045,4064,
5105,2388,1284,5107,732,5110,3066,5112,2060,5115,5116,5117,5119,4517,734,4375,5123,5125,735,751,5127,5129,1012,737,5132,
5133,5134,5136,5137,5138,4707,5140,5142,739,5144,5145,5147,5149,5150,5152,2402,5154,4903,4771,5157,742,2731,5160,5162,5163,
5165,5166,5168,5170,744,968,5172,5174,5175,5177,5113,5180,5181,5183,1473,746,5186,5187,5108,813,5191,5193,1819,5195,5197,
5199,5201,749,5203,2748,5206,5207,5209,5211,5212,5213,5214,5216,752,5218,5220,5221,753,5224,5226,5227,4108,5229,755,5232,
5234,2564,3069,5235,5237,5238,5240,5242,5244,5246,5248,3294,5251,4039,5253,5255,760,5256,5258,5259,5261,5263,5265,5266,5268,
5269,5270,5272,5274,763,1243,2310,3602,3032,5161,2936,2618,1986,4840,5281,5282,5284,5285,1476,5287,5288,5289,768,5292,5293,
5295,5296,5298,5299,2963,3244,770,5304,5306,3246,5308,3020,5310,5312,5314,772,5317,5319,5321,5322,774,5323,2116,5326,1719,
776,5330,5332,5333,5334,5335,5336,5337,4208,778,5341,5343,5344,5346,4381,5349,5351,4232,5354,5355,5357,5358,5360,1117,5362,
5364,3690,5366,5368,783,5371,5373,5374,5375,5228,5376,5377,787,5379,5381,5383,5384,5386,1883,789,5388,5390,5392,5393,5395,
5397,5399,5400,5401,5403,5405,791,1815,3250,5196,5409,5411,3136,4815,5414,5415,2637,5417,5418,5420,5422,2444,5424,5426,943,
5427,5429,4991,5432,3681,5434,5435,2642,4716,5437,800,1104,1482,5440,5442,5443,5445,5446,5448,5450,5451,5452,804,5454,5456,
5458,1291,2982,806,5462,5464,5331,1901,4682,3104,5468,5470,4949,5473,809,5475,5477,5478,5479,3821,5482,811,2255,5486,5487,
5488,5490,5492,5494,5495,5497,1401,5500,4306,5502,5504,5506,5508,5510,5012,2677,5513,816,2269,2220,5517,5518,5520,5522,3361,
5525,5526,5527,818,5530,5532,5533,4533,5536,828,5538,5539,820,2778,5542,5544,5545,4828,2286,5548,5550,5551,5553,5555,5556,
5558,5559,5561,4476,5564,2531,4875,5567,5568,5569,5571,5573,825,5576,5578,1185,4402,5582,5583,5585,5587,827,5589,5591,5592,
5594,5595,5597,5599,5546,5601,5603,5605,830,5607,2845,5609,831,5612,5614,3632,5617,833,4436,5620,5621,5623,5625,835,5627,
5628,5629,5630,5631,5632,5634,5636,5638,5640,3337,5643,4462,2332,5646,838,5648,2334,5651,839,5654,5655,5657,2558,5659,5660,
5661,5663,5664,5666,5667,5669,4639,5671,844,5673,5217,1553,5676,846,5678,5680,5682,1180,5685,5687,5688,5689,5690,5692,849,
5695,5697,5698,5094,5700,851,5701,5703,5705,5706,5708,5710,5712,853,5714,5716,5019,5718,5719,855,5722,5723,5724,5726,5727,
5729,5182,1112,4523,5732,2380,5734,858,5736,5738,5740,5741,5742,1017,860,2854,2496,2391,1894,862,5749,5750,4216,863,5754,
5756,5757,5758,2395,5760,865,1571,2071,5764,5045,5765,5766,5767,867,2329,931,2770,5771,5773,5775,869,5778,5780,5782,5783,
5785,3218,5787,871,5789,5791,5792,5794,5796,5797,5799,873,5801,5803,5804,5273,5807,5809,876,5812,5814,3390,5816,4855,5818,
5820,5822,878,5824,5825,3469,5827,3441,5829,5831,5833,5834,5836,5838,5840,5841,5774,5844,882,5847,3485,3588,5851,5852,5853,
5854,2884,5856,5858,5859,5860,5861,5862,5864,5865,5867,5868,5869,5871,887,5874,5876,5878,5098,5879,4720,5881,889,4326,5885,
5886,5888,890,5891,5893,5894,5895,5897,892,5900,3490,4570,5902,5903,5904,4577,5159,5907,894,5909,5164,4069,2477,5913,5914,
1909,5917,3513,5919,5921,5922,5924,3751,5925,899,5928,951,5930,3124,5931,901,5934,5935,5937,5938,5939,5941,903,5944,1739,
5947,4484,5948,5949,5951,5953,1469,5956,5957,2508,5959,5524,1546,5961,5962,907,3635,5964,5965,5823,4627,909,4803,5250,5241,
5970,5971,5973,5974,5975,5977,911,5978,5980,5981,5983,5984,5986,914,3580,5990,4911,2533,5993,916,5994,5996,5998,3411,6001,
6003,6004,6006,6008,918,6010,5725,3170,919,6015,2092,6017,5008,6019,4148,3988,2551,6022,6024,6025,6027,6028,924,6030,6031,
6032,6033,926,1853,6037,6039,6040,6041,2342,2144,928,6044,6046,2913,929,6049,6051,6052,1502,1449,6053,6055,5918,5327,6058,
933,6060,6061,2579,6063,6065,936,5176,6068,6070,1874,6072,6073,6075,6076,6078,6079,6081,6083,6085,3457,939,3009,6089,6090,
6092,6093,941,6095,1230,6098,6099,3422,6102,6103,6104,6106,6108,6109,6111,4178,945,6113,6115,6117,6118,6119,4123,6121,6123,
2929,6125,947,6128,2569,6130,6132,6134,6135,6137,4456,6140,950,2313,6143,6145,5030,6146,5694,4379,6149,4127,6152,953,1095,
6156,6157,6158,4427,6160,4459,5223,1150,6163,3603,955,6166,6167,1398,6169,6170,6171,6172,957,2224,6175,6177,2644,6179,5262,
959,6182,6183,5584,6185,6187,2529,6188,6190,6192,961,5574,6195,962,6196,6198,6199,6200,6202,6203,6204,6205,6207,6209,5339,
2515,5394,6211,6212,6214,4870,6216,5618,4421,6219,6221,6222,3269,6225,6226,6227,6228,6230,2267,6233,6235,2916,6237,974,6240,
2719,5060,6242,6243,6245,6247,2165,6249,978,6251,2924,6253,6255,6257,1168,6259,6260,6261,6262,6263,4924,6265,981,6267,6269,
1197,6271,6272,3899,6275,6277,6278,1555,6281,984,5070,4656,6284,6286,985,6289,6290,2666,6292,5608,6295,6296,6298,6300,6302,
6303,989,6306,5543,6308,6309,6311,6313,4553,2554,6316,992,6318,6100,6321,6322,2910,4411,6326,4163,6327,6328,994,6330,2085,
5588,995,6334,6336,2760,6338,6339,6341,3772,1694,6343,6345,997,6347,6349,6351,6353,6355,6047,6357,6359,6360,6362,6363,1000,
3955,6365,4856,4572,1002,3462,3313,6368,6369,6371,6373,1004,1846,6377,6379,4978,6381,6383,6385,1006,6388,2762,6390,6391,3721,
6394,5290,6396,6397,6398,1009,6400,6402,3268,6405,6407,4242,1013,6410,6246,2283,6412,6414,6415,6416,6417,2782,6420,6038,6423,
4970,6426,6428,6429,6430,6431,3067,6434,6436,6438,6440,6441,6443,6445,6447,5647,5899,6450,1023,6453,6455,6456,6457,3939,5837,
6460,2747,1025,6464,6466,6468,4541,6470,5507,1027,6473,6475,6476,1516,6477,1028,2078,6480,6481,6482,5875,5547,6485,3500,6487,
6488,6490,6492,6084,6494,5122,1032,6497,6499,6500,6501,5989,6503,6505,1791,1783,1035,5236,6510,6511,6512,6514,6516,5985,6518,
5318,5652,6520,3448,6523,6524,6525,6526,6527,6528,6530,6532,1041,6535,2155,6538,4531,3975,6540,5656,6542,6543,6544,6545,6547,
6549,1434,6551,6552,6554,6555,1109,6556,5884,3497,5802,1048,6559,6561,1049,6562,6564,6565,6566,6567,6569,6570,6572,6448,6574,
2720,6575,1758,1053,6578,2881,6580,1054,4503,6581,2446,1055,6584,6586,1056,6589,6591,6304,6593,6595,6596,6598,1441,6600,1058,
6603,4057,6606,6608,6609,6610,6611,6413,3184,6614,6616,6618,6619,2902,5481,1712,6623,6367,6626,1065,2908,2537,6630,6631,6632,
2742,3325,6635,6636,6638,2050,6640,6641,1068,2918,6643,5247,6646,6648,1070,6650,6651,6652,6654,6656,6658,4329,6659,3732,1072,
6662,1500,6664,6665,4109,4440,6667,3990,6670,6672,6674,1075,6675,6676,6678,6679,6681,6682,6683,6685,1077,6688,6690,6692,6693,
2945,6696,6697,6699,5776,6702,6703,6705,3649,6708,6709,4202,1081,6712,6713,6715,6716,5347,6136,6718,6720,6722,6723,6474,1084,
2156,6728,1086,6731,4927,6734,6735,6737,6738,6740,1088,5135,6743,6745,1089,6747,6748,3398,6751,6753,1091,6756,6758,6760,6762,
4160,6765,1093,6767,6769,1646,5382,6771,6772,6773,6774,6776,6778,1097,1100,1403,2364,6779,6461,6782,6783,1101,3000,6786,2804,
6787,6788,6790,6792,6550,6794,1357,2594,6558,6798,6800,6801,3852,6804,1106,6806,6808,6809,6811,6812,3148,1108,5795,6816,5340,
5560,1110,6820,6822,6823,6824,1250,6825,6827,6828,6829,6830,6832,2481,6834,4218,1115,6838,6840,6841,6843,6845,6847,4497,6850,
6852,6560,6854,6855,3783,6858,1119,6861,6863,6865,5713,6867,6869,6870,4982,2009,6872,6874,1121,6876,6877,6878,3058,4086,1977,
2112,4808,6882,6884,6886,6888,6889,6890,2791,6892,6894,6101,6896,6897,6899,6900,6548,6902,6903,1129,2149,5923,6906,3972,6908,
6909,6911,1131,5668,6797,6915,6917,6919,5483,6921,6579,4936,6923,3819,6012,6925,6927,1136,6929,6931,6933,6042,3606,6935,6937,
6939,1138,6941,6943,1139,1228,5565,5717,1141,5496,6949,6950,1143,3906,1353,6954,1610,4339,6612,6957,6959,6961,6962,6062,1146,
4365,6965,6967,1148,6968,3479,6971,6973,6974,3438,6976,6977,6979,6981,6983,1447,6984,6986,6987,6989,6990,6991,1153,6994,3382,
2211,6997,1155,7000,7002,3405,2346,7004,7006,7008,1157,7011,5033,7013,1158,5662,7014,1323,7017,4206,6323,1162,7020,7022,1386,
7024,1164,7026,7027,6435,7030,1166,7032,7034,7036,3591,7019,7038,2440,7040,7042,7044,7045,5815,7047,2624,7023,6086,7051,6168,
1171,7054,7056,7057,3191,2336,3178,5114,1173,7060,7062,7064,3079,3823,7065,7067,2513,7069,7071,4029,7073,3917,7076,7078,7080,
7082,4630,7083,7085,7086,4972,7088,7090,1181,3200,7093,2953,7095,7096,7098,1183,1503,1190,7102,7103,7105,7107,7109,7110,5055,
6815,6982,6382,7114,1187,4674,4750,7116,4308,5570,7119,7120,6007,7121,7123,7124,7125,7126,2114,1697,7129,7130,7132,7133,1192,
7135,7137,1679,7139,2931,1195,1870,7141,7143,7144,7146,7148,7150,1199,7153,1343,7156,7158,7160,7162,7164,7165,7166,4680,1201,
3896,4645,5480,7170,7172,7174,7175,7176,1204,7178,6364,7179,3255,3063,4263,6749,7182,5515,1436,4741,7185,1208,7186,1209,7188,
7190,5644,4952,7193,1593,7195,7197,4863,7198,7200,7201,7203,7205,7207,7208,7210,1214,7211,2582,1456,7212,5222,7215,7217,7218,
7220,3675,1220,7223,3865,7225,7226,7228,4062,1630,7009,1222,7232,7234,7235,7236,7237,7239,7240,7242,1225,7244,7246,7247,5231,
7250,7251,2171,7253,7254,7256,6687,3311,2751,4357,7261,5350,7263,1232,7266,6835,7268,7269,7271,4556,5537,7274,7275,5297,2740,
7278,4320,7280,3693,7282,7283,4299,1263,7285,7287,6952,3459,7290,6331,6087,1241,7292,7294,2986,7296,3138,7299,7301,7302,7304,
7305,7307,7309,7311,7312,7313,3833,1248,7315,7316,7318,7320,6465,7321,7323,6280,7324,5459,4417,6270,7325,1252,6266,2413,1841,
7329,1253,7331,1254,7334,7335,7336,7337,7338,7340,7342,1256,3969,3704,7346,7347,7348,6988,7350,7352,7016,7355,7356,1259,7358,
6901,3385,7359,7361,1261,6793,7364,7366,7367,6026,7369,6496,7370,7372,7373,7375,7376,1264,7379,6995,1335,7381,5535,1266,7383,
6401,7385,7387,7388,7390,1268,7393,5052,7394,7395,7396,1270,6739,7397,7398,7400,5370,7403,7405,4751,4785,7408,1598,4969,5746,
7409,1274,7411,7413,6116,7414,1829,5307,1277,7416,6337,1279,7418,7420,7421,7422,7424,7426,1281,6147,7428,7430,1282,7431,1527,
7433,7435,7437,7438,2433,7441,4988,1286,7444,2961,7118,4185,7219,7448,2842,1288,6384,7450,1289,7453,7455,7457,7458,7460,5085,
7462,7464,4844,7466,7467,1888,3466,7469,6963,1295,7472,1297,7474,7476,5067,2238,6250,7480,5932,1299,7483,7484,4465,3121,7487,
6711,7489,7490,7492,2616,1302,7495,7497,4612,7499,7344,7501,7502,7504,7506,7508,7509,1731,7510,7512,1306,7513,7514,7516,7518,
7520,1831,7522,7523,5078,1356,7526,1311,7529,7531,7533,7534,7535,1618,7538,7540,7542,1314,7545,7547,7115,7213,7549,7551,7553,
1316,2769,7557,7559,5489,7561,1318,7562,7564,7566,4406,3885,3290,1320,4458,7560,6799,7571,6452,2348,3002,7573,1325,7576,7577,
7579,7580,7582,6813,4524,3540,6534,1328,6546,2864,7587,7589,7063,7591,7593,7594,1331,4333,5309,6539,7597,7599,7600,4090,1333,
6907,7603,7605,6577,7607,7609,7611,5294,7612,7613,1336,7615,7617,1337,7620,7621,2437,7623,2753,4324,7626,1340,7628,7629,7630,
7631,3645,4187,7634,3261,6953,7637,7639,1344,7642,7644,6880,6639,5954,1347,7648,7649,7650,2690,7652,7653,7074,7655,7656,7658,
7659,7306,7662,7663,7664,6056,7666,5291,7667,3074,7670,6291,4966,5830,7674,7676,7049,7677,7678,7680,7682,5109,7684,7685,3616,
7687,1360,7689,3619,1999,1774,7693,7695,7697,7698,7700,1363,7702,7704,7706,7707,5611,7709,7710,7712,3610,7715,7716,7718,1367,
6887,7722,6332,7724,5466,3637,7727,1369,7729,7602,7731,7732,5204,7735,7736,7737,1372,7740,6844,7741,7742,7744,5763,1523,1374,
6947,7747,7749,7750,7751,7646,1376,5413,7754,7755,7756,4249,1378,4391,7760,7761,7762,1655,1380,7764,1395,6881,7766,7157,1382,
3672,7769,7770,7771,7772,5208,7775,1384,7778,7779,7781,6634,7783,7785,7786,7787,3683,6110,7791,7793,7503,4220,2029,7797,7798,
7799,7800,2415,4145,4694,4293,7805,3694,1606,1391,7808,3696,4584,3698,7812,1393,5396,7815,7816,6795,7295,7819,7820,3946,2729,
4685,7824,7826,7827,7829,7586,5389,6151,7832,7833,6918,3177,6724,7835,7836,7807,7838,7840,3202,5345,2764,7842,7844,7845,7847,
7849,2876,6162,1406,7851,7853,7854,4994,2979,6671,7858,6633,1408,7860,7861,4659,7863,1410,6011,3640,6424,3662,7866,7163,7868,
7869,7870,3388,4906,1716,4470,7874,7875,7876,1415,7878,7879,6700,7881,6780,1418,3755,6999,7886,7887,6403,7888,7889,4554,7891,
5184,5521,7895,7896,6978,5681,1424,3210,7900,7902,4521,6940,1426,7905,6727,7907,7909,3647,7911,6045,7429,1428,7914,7915,4681,
7918,7919,3048,5936,1431,7924,7926,4667,7927,7929,7930,7931,7243,7399,6066,7932,3062,7934,7935,7936,4699,7938,7940,1438,7943,
7945,7946,7948,1439,7950,4692,2449,7954,1454,7957,7958,3111,7960,7962,1443,7963,7964,7031,4353,7966,7967,4894,6138,2253,7968,
6268,7969,7970,7972,7973,7975,1451,7978,7979,7196,7982,7983,7984,7986,6807,3366,7989,7618,7990,7992,7993,6517,1459,4889,7995,
7996,4873,2281,6571,7997,7999,1461,3850,8001,6427,8002,8004,8005,8006,4677,1464,8009,4758,8010,8011,1466,6857,8015,2809,8017,
2825,8019,8021,4950,7322,4963,8024,8025,1471,8028,7091,8030,8031,8033,8035,8037,8039,5910,8042,2556,8043,1692,4201,8044,1678,
8046,8047,6314,1899,4798,3525,8052,1478,8055,8056,8057,3114,8058,8059,1480,6451,5702,8062,4642,8065,8067,8069,8070,5777,8073,
3572,2699,1483,8077,8078,6588,8079,4507,1485,3107,6454,6661,3231,1487,8084,8085,8086,8087,8089,5058,8090,8091,7590,8093,2670,
7592,6018,1490,8097,8098,5808,6673,8100,7351,1493,8104,7686,8106,8108,8109,8110,2806,8111,1495,8113,3887,8115,8117,8119,8121,
8122,8123,2801,8125,3090,8127,1563,8129,6094,8130,8131,5130,8133,8135,7117,8137,8138,8140,4714,8142,3924,1507,1885,1509,2250,
4143,5610,8146,4500,1810,5461,8149,8151,8153,1992,8155,3375,8158,7052,2780,3078,4652,8161,7974,8162,8163,1518,8083,7442,2522,
6757,4114,5385,8168,8170,1521,8167,8171,8173,8174,8176,6374,4767,1525,7814,8179,8180,8181,2940,7864,8184,8185,8126,1529,8189,
8191,5950,5683,3996,8194,6759,8195,7377,8196,8197,1534,8200,4396,8202,8203,8204,8205,8207,8208,6231,8209,8211,1538,8213,8214,
8216,8217,1540,4027,7270,8220,8221,8222,8223,4031,8224,6964,8226,8228,8230,8231,8233,5179,8235,8236,8237,8238,5050,1547,8240,
8242,8244,2000,8246,1550,5044,3748,8247,8248,5691,8250,7131,6970,8253,8254,8147,8257,6615,8258,2358,8260,1670,8262,4130,8263,
8265,1559,6437,8268,7725,7818,8270,1562,8272,8274,8275,6120,8277,8278,5516,8279,8280,7665,8283,1569,8286,6754,8288,5926,5156,
3552,8291,8293,8294,5076,8296,4318,1573,8300,6605,8302,6926,6020,1575,8307,8309,7569,8312,2475,8314,5552,8316,1577,8318,8319,
3428,8321,1579,8324,8325,8327,8328,1580,8329,2295,8331,8332,8334,3175,5835,8337,1583,8212,8339,8340,1690,8343,1585,8345,2628,
8346,8348,7173,6315,1587,8352,5305,8355,1588,5770,2213,8356,8357,8358,6585,6689,7353,6279,8361,4896,6074,6620,8363,8365,8367,
2711,8368,8369,6425,6305,8371,1596,4153,3554,8376,8377,7465,8379,8380,8382,3567,8384,8386,1601,8387,3101,8388,8389,7757,8390,
7333,1603,8392,8394,8396,8397,7810,8400,8401,8403,8404,8405,8407,8408,8410,8411,4175,8412,8414,7893,8416,7473,8229,8419,8421,
8023,8424,8306,4743,7310,8427,8429,7528,7701,8431,8433,6124,8434,1621,6165,8438,8440,5832,8442,8443,1624,8072,8446,4985,8448,
1626,4914,7233,8450,3584,8451,8452,8454,8455,1628,7837,7456,8458,4739,8460,4689,8462,8463,8251,8466,3116,1633,8468,1634,2153,
5604,8470,5444,8471,6680,8472,1637,8474,8252,2775,8477,1639,5064,8479,8481,8482,5096,8484,8486,3650,1642,5503,8490,8132,5511,
8492,8494,8496,8406,8497,8304,7601,8499,3256,5006,8502,8504,3285,6856,8506,2242,5649,3930,6645,1651,8510,8175,8512,4830,6173,
8514,1653,3027,1762,8517,7705,8519,4226,8521,7928,8522,8523,1658,8526,4663,8527,8529,8531,8493,5075,1660,8534,8535,3926,8536,
1662,5600,8539,8540,3329,8542,4253,8544,8545,8546,5848,2834,2262,8550,4056,3216,4738,8552,8063,8554,8555,5100,6597,8556,4297,
1669,8558,4551,6088,7897,8561,3323,3812,1671,8563,8564,8566,3570,2004,8568,8570,8571,3549,5946,8154,5419,8574,6746,4583,8578,
8567,8579,4180,8581,8582,8584,8585,6669,5267,8587,8589,8590,1681,7177,1682,5498,2816,8595,8597,7641,8599,8600,8269,8602,5275,
8604,5352,8606,7681,8607,6818,1688,8610,8612,8613,8614,2002,2278,5940,8378,1695,6301,8617,8618,8166,4864,2862,8622,8548,8624,
8625,2410,1698,5579,8629,7477,8631,8633,2612,8634,7491,3013,1702,8635,7493,8637,8639,1704,8641,8643,8644,1705,8645,8646,8648,
8650,8651,8653,2450,8654,1707,4502,8655,8656,8658,8659,6529,8661,1710,8662,5892,8663,8665,5912,7415,5194,8668,5581,5260,1714,
8671,8516,4137,8673,8674,8675,6392,8676,8678,8679,8680,8682,6859,4823,2632,8683,5200,3454,8687,3848,7288,1723,3229,8690,6333,
2318,3910,8693,8694,1726,8107,8698,6224,8700,7339,1728,7713,6928,6733,6335,8705,8706,8707,7505,8708,4190,3674,8710,8712,1734,
8715,8716,8718,6009,8719,8720,8722,8724,6944,7461,3155,8727,1738,2203,8729,7386,3559,1741,8732,8734,8735,8736,8737,8739,8740,
5997,8742,8744,8745,6422,6197,8747,8748,8749,8750,8752,3309,7055,8754,1751,8756,8757,7668,8759,3045,8760,1753,8569,8762,4398,
8383,8764,8766,1892,3904,8768,8769,8771,8773,6478,1766,8775,8777,8779,8780,6732,7317,8264,8199,8784,8385,5839,1764,8787,8788,
6742,7813,2038,7801,2592,8791,4712,8792,1768,2852,8344,5737,7341,8797,8798,7767,8799,1772,8802,8804,8805,8290,8808,8809,8810,
4544,8812,3415,8813,8815,8816,8817,8819,5562,8820,8821,8822,1781,8824,4222,8134,8828,8829,5751,6294,8831,6755,8444,5491,7216,
1786,8136,8833,8834,6096,8835,8837,1788,8839,8840,2549,4126,8842,1790,4980,8843,8844,8845,2758,4301,8308,1793,8848,5128,8849,
8850,8852,1795,5554,8855,5969,8858,8859,8860,8861,8863,8524,8865,5453,8867,8868,1798,8320,8871,8872,8874,4603,8877,8879,2341,
8881,1801,8883,8884,8885,8886,5210,8888,1803,8889,7694,4660,1805,8891,7894,1806,8893,1932,8894,7581,6938,1808,8896,8898,8899,
7640,2356,5979,7759,6871,8904,3339,2836,1813,8907,6176,6810,8310,4024,8909,8910,8911,1817,4550,6768,8913,8914,3893,5016,8915,
4881,8916,8917,2586,8918,7539,2504,1823,6821,8206,8923,1824,6155,3912,8926,8928,8929,3757,1826,8932,8934,8935,4614,8936,7507,
8425,8937,6129,1834,8940,8941,8942,5901,8944,6080,8946,8947,8948,8949,8951,8953,1839,5653,3780,7625,4984,8955,3706,5367,1843,
7723,7015,5566,7811,8960,8961,8743,8963,8965,2969,8967,5512,2197,8969,1975,8292,8970,7768,8972,8973,4010,8976,4705,1855,8583,
8672,1857,8979,1858,8980,8982,8984,8985,8987,2048,6059,8990,8992,8993,8994,2459,8996,8997,8998,9000,9001,9002,5728,9003,5549,
9005,1865,9008,9009,9010,2707,9011,5043,2820,5821,7238,7699,5192,6458,1868,6142,3197,6966,8966,9016,9018,2987,8501,4196,9020,
9022,1872,8657,9025,2225,2818,5014,9027,3437,9029,1877,9030,7645,1878,9033,9034,9035,8507,1880,9037,1881,7425,8922,9039,8256,
2584,5460,9042,9043,9044,6533,6159,8782,4913,9046,7734,9048,9050,7255,9052,5092,8616,3628,1890,5010,3417,8838,5178,9057,5905,
3335,9058,9059,9061,9062,8636,4499,1897,8298,7671,9065,9066,8785,6873,9068,2517,6509,9071,4657,9074,3198,8239,8647,1905,9078,
9079,8603,9081,1908,7730,9085,7389,8565,8974,9086,1911,9088,9089,3089,1913,6370,2285,9091,9093,2784,9095,5338,7743,1918,5280,
3964,5121,9100,1920,5103,7332,8538,9104,4842,9107,2622,7319,2088,1923,6274,9112,7873,9114,9116,2101,6736,9118,5171,3081,1928,
6695,2428,9121,6329,9123,7524,4452,4860,5363,9127,9128,9129,9131,4696,9134,9135,1936,6254,1946,5849,9137,1939,1950,6536,4183,
2965,9141,9142,4408,4644,7669,7145,9146,1944,9148,9149,5992,9150,9152,1947,9154,9156,4529,9157,1948,9158,4033,9160,8381,9161,
9162,2499,9164,6114,9165,7276,1952,9167,9169,9171,5800,9173,2201,1955,8187,9175,9177,9178,9179,4605,9181,9182,9183,5499,9185,
4905,7944,2695,8753,1961,6885,9190,7127,9192,9193,1964,7862,6946,9195,8060,9197,7407,3087,7286,8999,5619,5316,4940,9200,7679,
9201,9203,1972,7696,9206,6624,9207,3452,1973,2248,9209,5048,6005,8139,2179,9212,7486,2135,1979,7803,9217,9187,9126,9220,6491,
8393,3194,9222,1984,9223,2561,8701,9225,9227,9229,7746,6133,7401,6498,5916,5863,4847,7380,6508,3161,9233,9234,9236,9237,9238,
9239,5596,9242,4892,9244,1995,4725,9246,9247,9249,5733,5658,4269,1997,9251,3481,9253,9254,9256,3132,8781,9258,2614,9259,9101,
9260,5372,9262,5645,9264,9265,9266,9268,9269,5430,9271,8669,9272,9273,2012,8627,6449,2014,9275,4359,2396,4213,2016,7297,9279,
9174,9280,2017,9281,6791,7134,2019,8537,9284,9285,4731,9287,9288,9289,9290,9291,2025,9293,2136,9296,9297,8761,6288,4687,2027,
9299,8575,9301,9303,6677,9304,9306,2675,4245,2031,9309,4352,3050,9311,2034,9313,9315,9317,2125,8141,9319,2036,9321,9322,6785,
2040,4415,9325,9327,6229,2042,9328,9330,8509,9332,2046,9334,9335,7821,9041,8520,6710,9075,9338,9339,2360,3396,9341,9342,9343,
3368,9345,2053,8897,9347,9348,2055,5106,9351,9353,9354,3187,3393,9356,2688,9358,3735,7714,9360,9361,9362,9363,7675,9365,9367,
2065,9004,9369,2815,7555,2234,8036,9373,4586,2661,2069,6469,7136,4429,9377,9378,8364,2073,5278,9380,8598,9381,7977,2076,5958,
6154,3950,8342,9385,9386,5153,3128,6996,7451,4089,9115,9389,9391,9392,9394,6613,2143,9314,9083,7488,2087,9397,6404,3596,5169,
3977,2303,9402,8981,4850,9405,3813,9408,4788,9409,5877,8177,9412,2377,7726,2095,3763,9417,2097,5188,6647,5189,9421,7021,7272,
4734,7544,9426,9428,6796,9214,9431,4428,8464,8751,6446,2105,3642,9435,7204,3712,3986,7780,2107,9441,8772,2109,6352,2368,9445,
9446,9447,6628,9448,5219,9450,8649,9252,9453,7610,9455,9456,2117,6320,7029,9458,3914,8741,9344,8105,2124,9462,9463,2384,7588,
8778,9466,2127,9468,2920,8103,6910,4835,9472,9474,9017,2131,9013,9476,9478,2133,9479,7058,9480,9481,9483,9484,9486,9487,8273,
9490,9270,7108,9186,9492,2679,2139,2422,9494,6493,2850,9497,7001,7546,3726,8172,8152,9500,9501,9379,9503,8588,4483,8632,9504,
2217,3515,6395,9505,7802,6034,9506,9508,3321,9510,9511,8906,8435,9513,9514,9516,9518,2794,6048,9520,4327,9522,9398,9524,9525,
2161,7899,2296,3936,9530,9532,9533,9535,2163,9537,9538,9539,9084,4485,8338,9542,9543,9544,5410,2169,8670,5819,6317,3142,9548,
9550,9551,9552,2173,4997,2879,9553,9555,2175,9557,4012,9558,3025,9560,2177,6409,5342,9562,4011,3953,8402,3720,3537,9563,7635,
9565,9566,3315,9568,9569,9570,5353,9571,2183,2188,9573,9574,9575,9331,9577,2185,8439,9579,2596,9580,9491,9582,6389,4195,9585,
3006,2194,9588,2195,7548,9589,8721,9226,7748,4360,9591,2199,4764,9592,9594,3710,4922,9596,9598,9599,9601,3700,9415,8064,9606,
9608,2266,9610,6218,2206,9488,9611,7515,9613,9614,9292,3159,9616,5887,9617,8417,3657,8347,9620,9622,8580,9310,2215,4797,3702,
8284,8957,6993,9626,9627,9629,9630,9632,3303,9633,7159,2222,9634,9635,6761,9636,2964,9637,6234,9639,9640,9642,6691,2229,4886,
7104,2230,2231,9645,8988,9647,9648,9649,7349,6459,9650,6141,2236,9651,9653,9655,9656,6777,8908,3965,9658,5509,9659,9660,9661,
9286,2246,8776,6924,3182,5167,9666,9668,9670,9671,9672,5476,9094,2252,8143,9674,9676,9677,9678,7795,9679,9680,7111,5960,9683,
7980,9685,8159,3520,8758,2257,8271,9350,9151,9690,6513,9693,9694,9430,2260,4349,8952,5447,9698,9699,9700,3992,7224,2264,2572,
9702,9704,9705,8276,9707,4255,4695,9709,8041,6819,3258,4081,9713,9715,5693,2271,9718,9719,4609,4281,5131,2274,5966,9724,9725,
8677,7660,9727,9728,9714,9730,9732,9733,8071,9735,9736,8082,8473,8931,9738,9739,9741,9742,6655,2288,4591,6522,4257,8986,9744,
8905,4568,9745,8609,3407,2291,4256,9145,9523,2293,3102,9749,9750,9376,9371,9110,9753,8664,7906,4784,7583,5428,9305,2298,9756,
9758,3475,8640,9103,5104,9759,8591,9761,9763,2647,6241,6831,9765,9766,8686,2306,9274,3600,2308,9767,9768,6985,9769,9681,5158,
2311,4235,9772,9773,9300,9775,7391,9778,9779,9780,8330,9781,9248,9349,3509,9783,9784,6960,2321,7872,9786,8445,9692,5626,7155,
9790,9792,2325,9795,9796,9798,6504,4574,9801,8148,9802,9803,5642,2519,9806,9235,5987,9364,9105,7007,9808,9809,8022,2338,4995,
9812,9814,3958,9816,6319,9818,9819,4005,9821,6698,2345,5670,5672,9172,8282,9824,8950,2654,2956,2351,9827,6082,6201,9828,9830,
8807,8770,9831,9832,4309,7439,9833,8008,9835,9595,2626,4812,9590,9838,6553,9840,9842,2362,9295,6775,4958,9449,6660,9843,9844,
9846,5709,9546,2366,6741,9099,2369,9849,2526,2371,8428,8150,2373,5531,9853,9855,4419,2542,8201,2375,8611,9489,8423,9451,6875,
9382,6043,8767,9862,7541,6408,9454,2382,9210,9866,5784,9411,6358,7357,8366,9868,9869,8549,9870,9871,7616,2393,8959,2501,9873,
7739,3357,9874,9876,4199,9878,9748,9881,9882,7412,9884,7151,9886,9887,9889,9890,4134,9891,6704,9892,7070,6495,4703,7991,6071,
9896,5786,9098,9898,7300,9829,9437,9900,9901,8418,3023,9902,9422,7657,8870,9903,8281,8075,2867,9904,9905,9906,9907,9908,3922,
8374,9909,9911,9912,2426,9863,9764,9372,9916,5747,3346,9189,6622,9684,6380,4777,5328,8525,2431,8943,9923,9924,9743,5752,7147,
9927,7604,8713,7865,5896,4119,9370,2933,6348,9930,9932,9933,9935,3551,9936,4492,7784,5933,2442,4304,9938,2672,9323,6864,9939,
9941,9231,9943,9944,7374,9946,3665,2503,6502,9947,2452,6764,9949,2453,7417,9951,9077,2455,9776,5577,9954,9955,9956,6122,9746,
9957,5575,9787,6324,9961,9962,6506,9963,9965,2464,6293,9969,9971,9972,9974,6164,9143,9976,2797,9352,2468,4671,2470,9980,9982,
9983,9984,9986,6411,3875,8322,4846,9205,9989,7327,7777,9991,2480,9992,9993,9995,9996,9102,9998,9999,2489,10000,10001,5408,7692,
10004,6975,2494,6868,9815,8341,9722,9953,10007,10008,10010,6846,4334,4561,6191,10012,9324,9584,6592,10013,5146,10016,7392,6862,6297,
2511,10019,10021,7584,10023,10024,10025,4092,10027,10029,7622,3185,10030,7883,10032,10033,10034,6372,2525,10037,7536,2838,9400,10039,9534,
9067,10040,10041,10042,10044,8623,10047,2535,10050,10051,4478,8711,9628,10055,8989,10056,10058,10060,5433,2540,5806,4920,6462,5027,10064,
8765,9355,10067,2656,2544,8420,8188,2546,5920,3439,6354,10070,10071,3652,10072,10073,10074,7953,2553,10076,6029,9051,10078,10079,7525,
10082,2692,6340,4527,10084,3296,7624,5059,8232,2567,10086,10088,10089,3076,8559,10092,10093,10094,10095,10096,6649,10098,3450,2577,10101,
7672,10102,9696,8995,9791,7061,10103,10104,10106,7081,9899,7857,2587,10066,8853,8487,5721,2589,8183,10109,10111,10112,9436,10114,7314,
7596,9368,9994,9438,9442,7574,10117,8830,10118,10120,4193,3061,10122,2598,8577,10124,8160,10126,10127,9015,4580,9125,10129,2603,9255,
9283,10132,10134,5952,10135,2605,6112,6344,2607,7406,10137,10139,9072,2609,4824,7738,10142,10143,2898,4204,8076,8457,10146,8796,9055,
6223,10149,7459,7222,4977,10150,8642,10151,10152,6721,7284,10153,9276,8169,9820,6483,7028,4040,10155,7053,3277,10156,9770,8241,10158,
10160,6161,10161,2635,10163,10164,10166,6283,4295,5686,8806,10167,8962,4274,9609,6194,9482,3222,2645,10171,6180,9282,7106,10174,4116,
10177,5277,6378,10178,9316,4140,7025,6189,10180,2651,8927,9987,4745,9427,10183,6521,10185,3858,2657,10187,8311,9460,6848,2658,2991,
10031,10190,9208,2662,7913,9053,9512,2665,8124,10192,6064,7890,2668,10193,10195,5602,10196,10198,10199,3723,8755,10201,10202,9498,6914,
9261,6232,10204,5572,5436,4929,5768,10159,10207,2681,10208,2683,9541,10209,6557,2684,10210,10211,4387,6252,10214,7360,9740,10215,10217,
10218,10220,10222,10223,10224,10225,10227,7191,6644,10005,2697,10228,10054,10230,10232,10234,10235,10236,7782,10239,7773,8983,9404,6576,10241,
4801,2705,9597,7259,10244,10245,9810,9880,6287,10247,6789,2713,10248,4371,10250,7252,6763,4918,9395,9475,7745,10252,6312,8971,6860,
10057,10145,5968,5329,10255,2725,8249,8475,9198,3151,10257,10258,5028,6350,4858,7267,4908,10261,4435,2733,10262,10263,3739,3822,2735,
9805,9434,9109,2738,9444,10268,9600,5215,4067,4418,10272,10273,10275,8013,8826,2745,10277,7496,9618,9918,10279,7882,10280,10282,10052,
10283,9416,10284,4818,9245,9807,10287,10289,9139,3212,10290,10291,10292,10294,8553,10296,9092,10297,6174,10299,10301,9124,10303,5744,2767,
9433,8991,10304,3402,5073,3758,7585,6969,4701,10307,3800,7955,9921,5908,8500,9605,10310,10312,10313,10314,10315,3341,4649,7326,2786,
7068,10316,7521,2788,9837,9166,3471,9922,3158,9019,8638,8469,4795,10322,4962,7720,5748,10324,6541,6932,8794,10325,9170,10326,3891,
10327,10328,2799,5988,8074,7752,10330,2802,2996,10331,6463,3355,10334,4960,5361,10336,4623,8875,10339,9945,10340,10065,10341,8560,7942,
7965,3655,10345,9712,8508,7688,9064,4967,9959,10276,10350,2823,10351,7852,2827,9308,10317,10229,8287,7877,9307,9823,10354,10355,10357,
3225,10306,10360,5501,2837,10361,10362,2840,10363,2843,4121,4136,9054,8789,5365,4156,9531,10367,2848,10121,9130,3737,8703,4773,9393,
8803,10370,10371,9401,8626,10375,10376,10377,2857,3542,2858,5963,9893,3679,4999,3431,2860,3836,5699,2861,10384,9521,3010,10144,3233,
10389,2869,7595,8066,8351,10391,2873,4278,8795,10318,9194,5929,10393,10394,10396,10398,10399,3275,9703,3769,10400,3409,10401,10403,10404,
9188,3903,9277,2888,10405,7041,10406,9644,2890,8360,8620,7258,5380,10409,9587,10410,7043,8856,7192,4496,10413,2900,7952,10415,10416,
10170,9657,9163,5245,10419,4900,6814,2905,8398,10422,6376,6657,7167,5391,10425,10320,6744,8695,10426,4284,5674,6637,10429,10430,10431,
10432,10433,7570,8164,5635,2921,7293,10436,10437,3937,10438,6627,9859,2927,10441,10442,9970,9990,3145,10130,10446,6617,10447,2938,10090,
6091,10449,8038,10337,4238,10125,5356,10254,2941,10452,10453,9825,10450,9502,2943,10455,10075,5441,10348,9925,9021,7463,9928,10456,10035,
10457,10237,8895,2947,10459,10460,10461,9782,9985,2950,10464,9014,10465,8541,10466,6784,5088,8505,6719,8878,8667,10053,9232,10471,10472,
10473,10474,10475,2967,7848,9302,10374,5743,2971,5711,10480,10481,4336,2975,7834,10485,5002,7371,10486,5324,8261,10487,6726,10488,10490,
5942,8165,9228,2984,5857,3667,7856,9734,2988,5641,8958,6568,10162,10494,9851,8939,8968,8876,6714,10495,4956,10497,5790,9032,10387,
3004,10498,5038,10499,10500,5271,10501,4661,10502,8081,3015,4168,5731,8120,10503,6342,5580,4670,7901,9664,5082,5514,7998,9757,9682,
3029,9340,10509,10510,6607,10511,5590,5141,3036,7452,7774,3038,3594,9559,10513,10259,3040,9406,9612,5715,10516,3042,9564,9470,3043,
5945,10521,7308,9607,7470,9717,5252,10221,3047,9662,3860,9665,9176,8297,4600,6239,7265,9755,10523,5730,10524,8413,10526,6621,6883,
8692,6879,6666,8285,8704,5120,8511,5793,10349,9910,10532,6895,10534,3071,10535,7436,10537,6904,10539,8786,10541,10542,7050,10544,8925,
4052,3082,10045,9509,9638,5484,7100,10548,7711,7231,3092,10550,10188,4425,10369,3096,7077,3770,6346,10131,3099,7608,8215,8227,6916,
10553,10265,7912,10309,10554,10555,10014,10556,3495,8182,10323,10560,6489,3467,10562,6299,7565,10563,10564,10566,6181,5528,8007,3788,3766,
10568,10483,10022,3464,3743,7101,10179,7046,6387,3685,7763,7142,10571,5423,3370,3134,8503,9132,10028,8295,10573,8532,10445,4351,5911,
3220,8326,10578,7619,5378,6421,4852,10580,10581,6998,10582,8080,10444,4342,9419,10584,6150,10587,6375,10588,8801,10589,10590,3163,3166,
10378,9184,9877,7171,10593,3168,7154,10545,7209,10561,6912,3173,10596,10598,9973,10600,10602,10603,8303,4393,3180,3760,4017,10605,7066,
5254,10381,8730,8518,10123,10607,8145,3189,9667,10468,8924,7839,5469,3873,3193,10274,9917,8456,8354,7792,10611,10613,4291,10614,10615,
10617,10618,9375,10619,3949,3208,9425,5720,5485,7527,10622,7921,10623,3400,9897,9396,3219,10625,10531,5463,10626,8699,4931,7378,10372,
10629,9894,10630,3227,7099,3901,5613,3235,10631,3741,3237,7149,5257,10634,8790,9384,3239,10635,10507,5416,3241,10191,3717,5633,10638,
7530,5047,6629,7168,9914,9774,10512,10448,6285,4038,5995,6920,5471,8489,7181,10644,7823,8846,10557,6833,3304,3264,7925,10648,10479,
10649,5243,6220,3271,7949,5205,9096,7010,9867,10653,5505,3280,4618,7788,7112,4566,10657,6023,10659,5842,3283,10661,7440,10091,9199,
5870,5300,7229,10663,8102,3292,8157,10665,10666,10194,10668,10669,7241,8596,4261,4181,4736,8515,8605,7831,9686,10671,9336,3984,3307,
7806,10558,8094,10633,6599,10675,10676,10677,9752,8892,5850,9747,3318,7113,10519,10679,3320,3919,10681,8399,10673,6980,10599,7122,10609,
6144,9913,5472,10685,6945,7289,8601,10688,8688,10690,7152,9031,9721,10003,4431,9915,5788,4898,7303,3888,10286,3871,6849,7708,4944,
7789,3352,4637,6851,3354,10692,9312,10640,9864,10559,10694,10696,7248,7825,10569,3942,4444,10110,3373,10427,9495,3377,10698,6893,10699,
4469,6866,10700,9080,9440,10702,9515,3384,6256,10703,10704,10687,10705,10706,10707,9567,9403,8728,10710,10712,10713,6361,10715,10343,4947,
10165,8391,6471,10716,8832,8800,10708,9646,4311,4820,10238,8003,4259,10719,5173,6707,10721,7281,9069,3413,9583,10636,10724,8016,9621,
7202,6273,3420,10181,3535,10711,6186,3429,5745,10731,9834,4000,10732,10734,6386,7427,9593,10670,10736,4938,8353,8048,8422,9007,5090,
7794,8350,10739,3979,3445,8547,10169,10740,10742,6057,10744,9119,10579,7673,5155,3529,8956,9581,9471,9526,7260,9708,10748,5540,10749,
10751,10136,10364,10664,7479,7517,8395,3477,8053,8900,5915,9493,10755,10346,10757,4384,9797,3483,7981,5233,8465,3486,5846,3488,7558,
9216,9241,10759,10760,10761,10762,10763,7920,7867,7097,5684,3493,10765,10767,7908,4229,8920,7482,10769,9407,10770,5810,6036,10772,3503,
7959,10723,8557,8866,3507,6948,6972,10656,9073,4647,6238,10492,10776,5519,3516,8453,8315,10727,5126,7572,7500,10779,8857,3522,10402,
10781,8592,10783,10784,6642,8432,7556,7138,5439,10606,8684,10786,10787,4621,10789,10735,10347,9467,10395,10756,3547,10358,8814,7079,7532,
9788,10793,10794,10119,4782,10565,5124,10795,4171,10796,3556,4719,10797,10407,9554,7519,10798,10489,8890,7012,8335,3566,9147,10801,10802,
3573,10803,10408,3574,10804,8478,7691,10597,9047,8219,7478,9549,9477,4756,7939,6069,8373,10805,8783,7904,9357,10212,10807,3595,10577,
10540,10809,4084,10811,10812,5143,4538,4799,7947,10063,10546,4729,5598,10530,10184,9263,7039,9168,10815,3614,10738,7614,7661,7633,6418,
7937,3621,5301,7651,9056,8441,8709,3624,10616,3626,9388,10285,10826,10828,3629,6276,7776,3630,4446,10823,8436,6922,10829,6444,8488,
10380,10831,10175,4409,7728,10591,10515,5276,10833,8691,5943,4423,8156,5198,10835,10836,10434,5677,4833,9423,7199,8696,6002,9097,10838,
10839,10840,10842,7447,3659,9469,8594,8096,10843,9499,10846,7933,9202,3670,9111,4536,6406,7434,10850,3677,10851,9929,10116,6803,7214,
8621,10854,7089,6842,6730,8095,4821,10678,10857,10858,10859,10344,10860,10775,10861,3994,9663,9861,9839,7647,9586,9777,3708,10865,10867,
7257,10869,5927,6750,3715,10870,4607,10872,10518,9012,10771,5249,8301,10875,3728,10873,10572,5845,10877,3730,10115,10482,6770,10423,9967,
10641,3734,10642,8447,10879,10880,4340,7871,5624,9399,10878,3749,10882,8818,5704,4866,10884,3753,9968,4146,7884,6139,10885,10886,8862,
7809,10888,5313,3855,9536,10251,7654,6035,10476,3774,5759,9695,3778,9267,8313,6127,9036,3785,7189,8245,10632,8480,10893,10894,5753,
5665,10087,3797,10896,10825,10898,10233,8977,9697,6898,7264,7161,10899,9527,10900,3810,9159,9459,5225,8049,9850,10902,3826,3828,10904,
9836,10905,10827,9879,6486,10906,5523,7537,3834,9964,10907,3838,8615,10728,5781,3843,3845,8738,7206,10730,7961,10910,3853,8000,9540,
3857,9049,7922,8020,3864,6992,7898,3867,10912,4760,9547,8409,8964,6105,8827,9948,10278,10871,10650,9155,4364,10036,10913,3882,5798,
10915,8359,10741,10695,4933,10917,8825,10918,8864,8333,9793,9461,6729,10920,7184,6126,10844,10266,8930,8628,6805,10249,10922,8702,10059,
10645,10108,3970,7758,3920,10420,10790,10335,9771,10849,5239,3927,10505,10924,10926,10927,9578,8572,9624,10928,3932,10929,6563,3933,6248,
8118,6905,10186,10931,6213,8774,3940,4003,10342,7994,8128,10936,6467,4558,9028,7140,4954,4073,7059,10491,8234,10018,8144,7072,4058,
5639,7402,5650,8068,8372,7468,10758,10916,10940,9711,7627,4373,10943,8218,9507,5279,10944,10945,10946,10435,9087,10834,10932,8528,6956,
10610,4002,7449,10822,8259,9063,9257,10948,8192,6472,6433,10841,10952,10953,4437,4016,10080,7363,7037,6210,8336,4019,10753,8685,4022,
9872,10264,10628,7721,10954,4025,5828,9723,10956,9082,8349,6653,5465,9390,10818,9576,10745,10768,10962,10963,4043,4045,8026,5185,4598,
10965,10049,7481,9122,5991,10966,10967,7035,10639,8854,10508,10752,7494,10527,4589,5057,10240,10971,10972,4355,9485,10046,6836,9950,10816,
4078,4080,8437,9641,7632,5421,6097,10974,10975,10385,4093,8887,10976,10270,10567,5761,4100,8851,9604,4634,10189,7916,9180,10107,10979,
4107,4289,9875,10168,10981,10982,4112,7543,10504,5615,9934,10097,9418,5230,8880,10791,10747,8099,4488,4286,9841,10451,10983,10987,4135,
9822,8051,10837,8919,10866,8485,10989,9701,9561,4155,4369,8938,8116,5467,9224,6215,4166,10992,6178,7033,10015,9204,7790,7277,6582,
10994,10570,9457,7822,8029,5735,10726,10646,9785,7971,10182,6016,8426,6531,10996,7636,7345,10892,8186,10998,4210,9654,9278,4564,10203,
10766,4214,11001,7552,11002,11003,11005,10977,10440,10964,9975,5449,9794,7018,11008,10848,10332,10293,11010,4243,11011,11013,11014,10937,4247,
10935,5148,6077,4438,7180,10601,9452,9133,10933,9691,7880,7885,6934,10574,11016,9888,7817,7446,6717,4267,9464,4272,9689,5866,10469,
11018,4282,8717,4593,10960,7419,11019,5040,6399,11004,8543,6515,7445,7227,11020,5855,7717,4315,11022,11023,10305,10621,9413,10428,4322,
10077,8811,7084,4543,11026,10525,8193,8576,9144,11015,10173,8040,6484,4708,9716,4344,5286,10777,9465,6701,5616,8901,10855,10693,8530,
7343,11029,5139,5111,9789,8088,7956,9070,10458,9675,10651,10782,9643,9045,11034,8483,11035,5779,10778,4549,9931,10785,7843,4389,9556,
7092,5369,10889,7471,4747,11036,8533,11038,9988,9958,10808,10914,10388,11040,4413,10647,5906,10547,8902,10288,5303,5387,10938,10930,5593,
10658,9920,9333,10856,7128,10462,6942,9117,7075,10655,5772,4450,8975,10329,11043,8660,4460,9387,10701,10792,10138,4974,11044,4632,10311,
4473,10959,5493,10925,8375,4916,10934,9153,8945,8725,11046,11047,10333,5202,10674,4494,11049,11050,5404,5873,6013,10997,4505,8243,11051,
4513,11000,10958,11052,11053,4775,7410,5999,11009,4528,6837,11055,10061,11057,8847,7382,11058,10718,9024,5880,8763,11037,10722,9138,4548,
5637,6307,10864,11061,5438,8061,6958,9366,11062,10908,10062,4569,11063,10961,7384,7923,11064,10999,11065,10746,7183,5882,5005,7230,11042,
11067,10985,4595,10780,9615,4602,8045,6951,10514,10295,10552,10978,9023,10919,4610,11068,11069,10359,9318,11071,10863,7485,8593,9762,10392,
9937,10717,10813,10528,6601,9942,11031,7690,11073,11075,10743,9860,7454,6573,6913,7245,10133,9424,6781,8746,10951,4676,10267,11079,4780,
10011,5755,4693,6107,5889,7859,7850,8921,8978,4710,10909,8190,10411,10140,6955,9754,10576,5622,9858,7598,4723,10592,6439,6694,9329,
10627,6050,7194,8823,6817,9243,7917,7568,9817,9528,10800,4769,10986,9977,5455,7432,7638,7003,8012,9108,7298,10493,4792,8449,10973,
8954,11087,11054,8498,5431,5311,9940,5080,5151,8178,11070,9811,8608,8681,5398,4832,7855,5007,8225,6184,9688,8689,10543,10810,10764,
10379,9673,4862,11081,9857,6802,9603,10750,4879,10397,11091,5898,5563,11076,10083,10662,11025,10352,10197,10038,8726,7550,8370,9443,6432,
11027,7443,7683,7554,5036,11093,4919,8841,9374,10017,10773,7330,5811,7830,9230,5817,9106,7765,11028,7475,6356,9211,9213,8461,9218,
11097,10463,7279,7796,6766,8050,5707,10281,7987,9219,10002,10720,9250,11007,10680,10506,7087,9687,5017,5872,11104,6479,10242,6148,9919,
8731,9294,5041,9885,8723,9883,5407,9359,10667,9529,11108,11109,9060,10620,9710,5066,10652,5068,7951,5696,11100,11110,9346,9602,5359,
9496,11041,6604,10862,11112,10256,8869,7423,10995,7094,9432,10043,11114,7846,5118,10969,5805,6393,10612,9337,11116,10231,11117,11118,7368,
6936,6839,9410,5739,8562,10260,10520,11101,10414,11088,7985,9420,5190,11119,11120,10365,10993,10418,10538,10714,10817,11122,6208,11125,9852,
9978,10604,5769,10887,10988,9473,10683,10585,10897,5606,10868,11126,5474,9298,10243,11082,9729,10154,5264,6014,7005,7328,10549,10006,10583,
5283,10725,10947,11129,5302,11083,9545,7703,9040,11123,6519,10253,5315,11090,10806,9804,5320,11133,5325,6310,10689,7643,11135,10068,11131,
5348,8476,10269,9572,10454,8289,6419,9800,10533,6442,9240,11137,11138,8430,11139,11140,6537,10390,9136,6282,5402,5406,5412,11141,11142,
8112,11143,5425,10105,8619,7511,8014,11144,10891,8495,10594,5457,10883,8459,10205,10081,8305,6826,9760,9895,8652,5972,8630,8933,11115,
9113,9519,8513,11145,11146,7365,10128,11113,7804,7976,8586,11147,5529,10737,10852,5982,5534,10824,8912,10941,5541,11066,10957,9960,5557,
5883,7753,8573,7262,10298,6507,9326,11149,5586,9826,6602,7273,6725,9191,7169,6153,9320,9731,7828,6236,6366,10955,6067,8491,10271,
11095,11151,9090,11152,8054,9076,11154,11155,9038,11156,5675,10788,5679,10821,10467,11098,7567,9848,9737,11121,10830,10246,11148,5813,11159,
8267,8210,11086,10832,10383,5762,10942,11160,7354,10970,10141,11161,5826,10085,10148,8317,11162,5843,6706,8018,11102,8034,10496,10654,10517,
5890,9966,6663,11165,6891,9979,5967,10874,11080,11150,6193,9847,10682,11030,10903,11163,7988,5955,10026,11021,7362,11127,5976,10895,9625,
11167,11168,6594,6000,7841,10099,11056,9981,10991,10300,10439,10939,6021,11012,9845,10100,6244,10157,10691,9215,10901,6054,6930,11099,9120,
11084,10624,11158,8793,11132,6668,10308,9926,11078,6684,9439,6131,10820,11094,10226,8733,8323,11105,10921,10672,6206,10733,6217,10443,7563,
11059,9669,10206,9414,10814,11045,8255,6258,8714,10219,6853,8467,9631,6264,10643,8266,11017,7903,6325,8092,9997,10319,8299,9856,11153,
10853,10697,10172,11134,10069,9517,11072,11107,9751,9026,10366,6625,10338,9813,7187,10353,6686,9429,10586,11171,10386,7892,11174,8903,10421,
6583,6587,6590,10881,10412,10216,11077,10984,10200,10575,10529,9006,11170,10608,10424,10847,11074,9619,11176,7048,10470,11032,10484,10147,6752,
9623,10709,10417,10551,11089,7606,8873,7910,11136,10949,10009,8882,9140,10382,11060,10373,11130,7575,10968,11177,10536,11103,9652,9952,7249,
10686,10176,9221,8415,10477,10876,11033,7221,9706,10684,11092,9383,7733,7291,7941,10368,7498,8198,10637,9720,11085,9799,10660,10845,7404,
9726,10048,11006,10754,11166,8032,11173,10774,11178,9196,10113,7578,10729,8101,10911,10799,11096,10950,8666,7719,9854,8362,11024,10819,10990,
10213,8551,10522,11039,10478,8697,9865,10356,11157,10020,8027,10321,11124,11175,8114,11111,10923,10595,10980,8836,11128,11172,11169,11048,11164,
10890,11106,10302]
>;
print "Group G is Co3 < Sym(11178)";