/*
www-ATLAS of Group Representations.
5^(2+2+4):(S3 x GL2(5)) represented as permutations on 15625 points.
*/

G<x,y>:=PermutationGroup<15625|\[
2,4,5,7,9,11,1,14,16,18,20,22,24,26,28,3,31,33,35,37,39,41,43,45,47,
49,51,53,55,57,59,61,63,65,67,69,6,72,74,76,78,80,82,84,86,88,90,92,8,95,
97,99,101,103,105,107,109,111,113,115,117,119,10,122,124,126,128,130,132,134,136,138,140,142,144,
146,148,12,151,153,155,157,159,161,163,13,166,168,170,172,174,176,178,180,182,184,186,188,190,192,
15,195,197,199,201,203,205,207,209,211,213,215,17,218,220,222,224,226,228,230,232,234,236,238,240,
242,244,19,247,249,251,253,255,257,259,261,263,265,267,269,271,21,274,276,278,280,282,284,286,288,
290,292,294,296,298,300,23,303,305,307,309,311,313,315,317,319,321,323,324,326,328,25,331,333,335,
337,339,341,343,345,347,349,351,353,355,27,358,360,362,364,366,368,370,372,374,376,378,380,382,384,
29,387,389,391,393,395,397,399,30,402,404,406,408,410,412,414,416,418,420,422,424,426,428,32,431,
433,435,437,439,441,443,445,447,449,451,453,455,34,458,460,462,464,466,468,470,472,474,476,478,479,
481,483,36,486,488,490,492,494,496,498,500,502,504,506,38,509,511,513,515,517,519,521,523,525,527,
529,531,533,535,40,538,540,200,543,545,547,549,551,553,555,557,559,561,42,564,566,568,570,572,574,
576,578,580,582,584,586,588,590,44,592,594,596,598,600,602,604,605,607,609,611,348,614,46,617,619,
621,623,625,627,629,631,633,635,637,639,641,48,644,646,648,650,652,654,656,658,660,662,664,50,667,
669,671,673,675,677,679,681,683,685,687,689,691,693,52,696,698,700,702,704,706,708,710,712,714,716,
718,720,54,185,724,726,728,730,732,734,736,738,740,742,744,746,748,56,751,753,755,757,759,761,763,
765,767,769,771,773,775,777,58,779,781,783,785,787,789,791,793,795,797,798,800,802,60,805,807,809,
811,813,815,817,819,821,823,825,827,829,831,62,834,836,838,840,842,844,846,848,850,852,854,64,857,
859,861,863,865,867,869,870,411,873,874,876,878,880,66,883,885,887,889,891,520,894,896,898,900,902,
904,906,68,909,911,913,915,252,918,920,922,924,926,928,930,932,70,935,937,939,941,943,945,947,71,
950,952,954,956,958,960,962,964,966,968,970,972,974,976,73,979,981,983,985,987,989,991,993,995,997,
999,1001,1003,75,1006,1008,1010,1012,1014,1016,1018,1020,1022,1024,1026,1028,1030,77,977,1034,1036,1038,571,1041,1043,
1045,1047,1049,1050,79,1053,1055,1057,1059,1061,1063,1065,1067,1069,1071,1073,1075,1077,231,81,1081,1083,1085,1087,499,
1090,1092,1094,1095,1097,1099,1101,1103,83,1106,1108,1110,1112,1114,1116,1118,1120,1122,1124,1126,1128,1130,85,1133,888,
1136,1138,1140,1142,1144,1146,1148,1150,87,1153,1155,340,1158,1160,1162,1164,1166,1168,1170,1172,89,1175,1177,1149,1180,
1182,1184,1186,1134,1189,1191,1193,1195,1197,91,1200,1202,1204,1206,1208,1210,1212,1214,1216,1218,1220,1222,1224,1226,93,
1229,1231,1233,1235,1236,1238,1240,94,1243,1245,1247,1249,1251,167,1254,1256,1258,1260,1262,1264,1266,1267,96,1270,1272,
1274,379,1277,1279,1281,1283,1285,1287,1288,1290,1292,98,1295,1297,1299,1301,1303,1305,1307,1309,1311,1313,1315,1317,1319,
1321,100,1324,1326,1328,1330,1332,1334,1336,1338,1340,1342,1344,102,1346,1348,1350,1352,1354,1356,1358,1360,1362,1364,1366,
1368,1370,104,1373,1375,1377,283,1380,1382,1384,1386,1388,1390,1392,1394,1396,106,1399,1401,1403,1405,1407,1409,1411,1413,
1415,1417,1419,1421,1423,1425,108,1428,510,1431,1433,1435,1437,1439,1441,1443,1445,1447,1449,1451,110,1453,1455,1456,1458,
1460,1462,1464,1466,1468,1470,1472,239,1475,112,1478,1480,1482,1484,1486,1488,1490,1492,1494,1496,1498,114,1501,1503,1505,
1507,1509,1511,1513,1515,1516,1518,1520,1522,1524,116,1527,1529,1531,1533,1535,1537,1539,1541,1543,1545,1547,1549,1551,118,
1554,1556,1558,1560,1562,1564,1566,1568,1005,1571,1573,1575,1577,1579,120,1582,1583,1585,569,1588,1590,1591,121,1594,1596,
1598,1600,1602,1173,1605,1606,1608,1610,1612,1614,1616,1618,123,1621,1156,1624,1626,1628,1630,1632,1634,1636,1638,125,1641,
1643,1645,1647,1649,1651,1653,1655,1657,1659,1661,1663,1665,1667,127,1670,1672,1674,1676,1678,1680,1682,1684,1686,1688,129,
1691,1693,1695,1697,1699,477,1702,1704,1706,1708,1710,1712,131,1715,1717,1719,1721,1723,1725,1727,1729,1730,1732,1734,1736,
133,1739,1741,1743,1745,1747,1749,1751,583,1754,1756,1758,1759,1760,1762,135,1765,1767,1769,1771,1773,1775,1777,1779,1781,
1783,1178,1785,1786,1788,137,1791,1793,1795,1797,1799,1801,1803,1805,1807,1809,1811,398,1627,139,1816,1818,1820,1822,1824,
1825,1827,1829,1831,1833,1835,1837,1839,1841,141,1844,245,1847,1849,1851,1853,1855,1857,649,1859,1861,143,1864,1866,1868,
1870,1872,1874,1876,1878,1879,1881,1883,1885,1887,1888,145,1891,1893,1895,1897,1899,1901,1903,1905,1907,1909,1911,1913,1915,
147,1918,1920,1922,1924,1926,1928,1930,1932,1934,1936,1938,149,1941,1943,1945,1947,1865,1949,150,1952,1954,1956,1958,881,
1961,1963,1965,1967,1969,1971,1973,1975,152,1978,1980,1982,1984,1986,1988,1990,1143,1992,1994,1996,1998,2000,154,2003,2005,
2007,2009,2011,2013,780,2016,1528,2018,2020,2022,2024,156,2027,2029,2031,2033,2035,2037,2039,2041,2043,158,1840,2046,2048,
2050,2052,2054,1607,2057,2059,2061,2063,2065,2067,1378,160,2071,2073,2074,2076,2078,2080,2082,2084,2086,2088,2090,162,2093,
2095,2096,2097,2099,2101,2103,2105,2107,2109,2111,2113,2115,164,2118,2119,2121,1205,2123,165,2125,2127,2129,2131,2133,2135,
546,2138,2140,2142,2144,2146,2148,2149,2151,2153,2154,2156,2158,1812,2161,169,2163,2165,2167,2169,2170,2172,2174,2175,1559,
2176,2178,262,2181,171,2184,2186,2188,2190,2192,2194,2196,2198,2200,1347,173,2204,2206,2208,2210,657,2213,2215,2217,2219,
2221,2223,2225,2227,316,175,2231,2233,2235,2237,2238,2240,2242,910,2245,2247,2249,2251,2253,177,2256,2258,2260,612,2263,
2265,2267,2269,2271,2273,2275,2277,2279,2281,179,2283,2285,1713,2288,2290,2292,2294,2295,2297,1489,2300,1937,2302,181,833,
2306,2308,2310,719,2313,2315,2317,2319,2320,2322,2324,183,2327,2329,2331,2333,2335,2337,2339,2341,2343,2345,2347,2349,2351,
2353,2355,2356,2358,2360,2362,2364,2366,1499,2369,2371,187,1104,2375,2377,2378,2380,2382,2384,688,2387,2389,2391,2393,2395,
189,2398,2058,522,2402,2404,2406,2407,2409,2411,2413,2415,729,2418,191,2420,2422,2424,2426,2428,2430,1141,2433,2435,2437,
2439,2441,2443,2445,193,2448,2450,2452,2453,377,2456,2458,194,2461,2036,2464,2466,2468,2470,2472,2474,2476,2477,2479,2481,
2483,196,2486,665,2489,1335,2492,2494,2496,2498,2500,2502,2504,198,2507,2508,2510,2512,2514,2516,2518,2520,697,2523,2168,
2526,2528,2530,2532,2534,2536,2538,1381,2541,2296,2544,2546,2547,2549,202,2552,2554,2556,2558,2559,2561,2563,2565,2566,2568,
2570,2572,2574,2576,204,2578,747,2581,1787,2584,2586,2588,804,2590,2592,1265,2595,2597,206,2600,2602,2604,2606,2608,933,
2611,2613,2615,2617,2619,2621,2623,208,2626,2628,2630,2632,2634,2550,2637,2638,2640,2642,2644,210,2647,2649,2651,2653,2655,
2657,2659,2661,2663,2665,2667,2555,212,2671,2673,2675,2677,2679,2681,2683,2685,2687,2689,2691,214,2694,2696,2698,2700,2702,
2704,2706,2708,2710,2712,853,2715,2717,216,1187,2721,2723,2725,346,2727,2729,217,2732,2734,2736,2738,2740,2742,2108,2344,
2746,2748,2750,2752,219,2754,2756,2758,2760,2762,2764,2766,750,2769,2771,2773,2775,221,2778,2780,2106,2783,2585,967,1830,
2627,2788,2790,2792,2794,2796,2798,223,2801,2803,2805,2807,2808,2810,2812,2814,2816,2818,2820,225,2822,2824,722,2827,2829,
2831,2833,2835,2837,2839,2841,2843,2845,2847,227,2850,2852,2854,2856,2044,2858,2860,2862,2864,2866,2868,1654,229,2872,2874,
2876,2878,2880,2882,2884,2886,2888,2890,2892,1385,2895,2897,2457,2899,2901,2903,2905,2907,2909,2911,2913,2915,2917,2010,233,
2921,2923,2925,2927,2928,2930,684,2933,2935,2937,2939,235,2941,2943,2945,2947,2949,2951,2953,2955,2957,2959,2961,2963,2965,
237,2968,2970,2972,2974,2976,2978,2980,2982,2984,2986,2988,2990,2992,2994,2996,2997,2999,3001,3002,3004,241,3007,3009,3011,
3013,3015,554,3018,3020,3022,3024,3025,1253,3028,243,3031,3033,3035,3037,3039,314,3042,3044,3046,3048,3050,1671,3052,3054,
3056,3058,3060,1860,3063,1199,246,3067,3068,1044,3071,3073,3075,3077,3079,3081,3083,3085,3087,3089,3091,248,2875,3095,3097,
3099,3101,3103,3105,3106,250,3109,643,3112,3113,3115,3117,344,3120,3122,3124,2867,3127,3129,3131,3133,3135,3137,3138,3140,
3142,3144,2924,3147,254,3150,923,3153,2152,3156,3158,3160,3162,3164,3166,3168,3170,3172,3174,256,3177,3179,3181,3183,3185,
756,3188,3190,3192,3194,3196,3198,258,3201,3203,3205,3207,3208,3210,3212,3214,3216,3218,3220,3222,260,3225,3227,2440,575,
3231,3233,3235,3236,3238,3240,3242,3244,3246,3248,3250,392,3253,3255,3257,957,3260,3262,3263,3264,3266,264,3269,3271,3273,
3274,3276,3277,3279,3281,3283,3285,3287,266,3290,810,3293,3294,3296,3298,3300,3302,3304,3306,3308,3309,268,3312,3314,3316,
3318,3320,3321,3323,3325,3327,3329,2809,3332,270,3335,2388,2304,3338,3340,3342,2596,3345,3347,3349,2629,3352,3353,272,3356,
3358,3360,1304,3363,3365,3367,273,3370,3372,3374,3376,3378,3380,3382,3384,3386,3388,3390,3392,275,3395,3397,3399,3401,1040,
3404,3406,438,3409,3209,3412,3414,277,3417,3419,3420,3422,1263,3425,3427,3429,3431,3433,3435,3437,3438,279,3441,3443,3445,
3447,2110,3450,3223,3453,3455,3457,3459,281,3462,3464,3466,3468,3470,3472,2693,3474,3476,3478,3480,3482,2954,3485,3487,3489,
3326,3492,3494,3495,3496,3497,285,3500,3502,3504,1151,3507,3509,3511,3513,3396,3516,3518,3520,287,3523,3525,3527,3529,3531,
3533,3535,3537,3539,3541,3543,3545,289,680,3549,3551,3553,3555,3557,3559,3561,3563,3565,291,3568,3180,3571,3573,3575,3577,
1406,3578,3579,2759,3581,3583,3584,3586,293,3588,3590,3592,3594,3596,3598,3600,3602,3604,295,3607,3609,3611,3613,3615,3617,
3619,3621,3623,3624,3626,3628,3630,3632,297,3635,3637,3639,3641,2346,3644,548,3647,299,2222,3650,3651,3653,2869,1917,2444,
3657,3659,3661,3663,3665,301,3668,3669,3671,3672,3674,3676,3677,302,3679,3681,3683,3685,3687,3689,2804,3692,1613,3695,304,
3698,3700,3702,934,3705,3707,3708,3710,3712,3714,3716,3718,306,3721,3723,3725,3727,3729,3731,3732,3733,3735,3737,3739,3741,
308,3744,3746,3748,3750,3752,3754,3756,310,1062,3760,3761,3762,2019,3765,3767,3768,3770,3772,3082,3775,312,3778,3780,3781,
3783,3785,3787,2091,3789,3791,3793,3795,330,3798,3800,3802,3804,3806,3808,3810,3812,3814,3816,3818,3820,3822,563,2008,3826,
3828,3830,3832,3834,3835,318,3837,3839,3841,3843,3844,3846,3847,3849,3851,3853,3855,3856,320,3859,454,3862,3864,3865,901,
3868,487,322,3870,3872,3874,3876,3878,3880,3882,3884,2873,3887,3889,3891,3893,3895,383,325,3899,3901,3903,3905,448,3907,
3909,3910,327,3913,3915,3917,3918,3920,3922,3924,3289,2122,3928,3930,329,3933,1848,916,3937,3939,3940,3942,3943,3944,3946,
3948,3949,3951,3952,3953,3954,3956,2678,3506,332,3961,3963,3965,3966,3968,3970,3972,3974,2747,3977,1733,3979,334,3982,3984,
3986,3987,3989,3991,3993,3995,3997,3999,4000,2527,4003,336,4006,4008,4009,1946,4012,4014,4016,1276,1089,338,4020,4022,4024,
4026,4028,4030,4032,4034,3259,4037,4039,4041,4043,4045,4047,4049,4051,994,4054,4055,4056,4058,4060,4062,4064,4066,2030,342,
4069,4071,4073,4075,4077,3161,1819,4081,4083,4085,4087,4088,4090,4092,1196,4094,4096,4098,4099,4101,843,4104,4106,4108,4110,
2218,4113,4114,4116,4118,4120,3442,1323,4123,884,4124,4126,2830,4129,3885,4131,4133,4135,350,4138,4140,2654,4141,4143,4145,
1070,1011,4149,4151,4153,4155,4157,352,4160,4162,4163,4164,3394,4167,4169,4171,3873,4172,4174,354,4177,4179,4181,4183,4185,
4187,4189,1215,3377,4193,4195,4197,356,4199,4201,4203,1959,4206,4208,4210,357,4213,4215,4217,4218,4220,4222,4224,4226,4228,
4230,359,4233,4235,2956,4238,4240,4242,4244,4246,4248,4250,4252,361,4255,4257,4259,4261,4263,4265,4267,4229,4270,4272,4274,
3730,363,4278,4279,4281,4283,4285,4287,4289,4291,4292,4294,365,4297,4299,4301,4303,1658,4306,4308,4310,4312,4314,4316,4318,
367,1804,4322,4323,4325,4327,1367,1252,4331,4333,4335,4337,4339,369,4342,4344,4346,4348,4204,4351,4352,2130,4354,1476,4357,
3938,4358,371,4361,4363,4365,3634,4368,4370,3053,1459,4374,4376,1523,4379,373,4381,4383,4385,4387,4388,4390,4391,4393,4395,
4397,375,4400,2861,4402,4404,4406,4408,4409,4411,4413,4415,4416,4057,4419,4421,2571,4424,4426,4428,4430,4431,1548,4434,4405,
4437,3908,3691,4441,4443,4445,4446,4448,4450,4452,4454,381,2042,4458,4459,3645,4462,4464,4466,4468,4470,4471,4473,4475,4477,
2618,4380,4481,4483,4485,4487,4489,3877,4492,4494,3719,4497,385,4499,4501,4503,4505,4507,386,4510,4512,4514,4516,4518,4520,
4522,4524,4526,4528,4530,4532,2926,388,4535,4537,4539,4541,4543,4545,4547,4548,4550,4552,4554,390,4557,4559,4561,4562,2266,
4565,3646,4568,4570,3291,4573,4575,4576,4578,1341,4580,4582,4583,4585,4586,4588,394,4095,4592,4353,4595,4597,4599,4600,4602,
4603,4605,4607,4608,4609,396,4612,1863,4614,4616,4617,4619,4621,4623,4625,1877,4628,3440,4630,4632,4634,4636,4638,2459,4641,
4643,4645,4646,4648,4650,4652,400,4654,4656,4658,4660,4662,401,4665,4667,4190,4670,4672,4673,2228,4676,4678,4680,4681,4683,
4685,4687,403,668,4691,4693,4695,4697,4699,4701,4703,4705,4707,4709,405,4711,4713,4714,4716,4718,1339,4117,4722,4724,2361,
4726,407,3307,4730,4732,4734,4736,4738,3666,409,3428,4743,4745,1080,4748,4750,4752,4754,4756,4758,4760,4761,4763,4764,4765,
4767,4769,4770,4772,4774,4776,4778,4779,4781,4783,4785,413,4787,4789,4791,4793,4795,4797,3585,4799,4801,4803,4805,4807,415,
4809,4811,4813,4815,4817,4818,4819,4821,4823,4825,4827,4829,417,4298,4833,2960,4834,4836,4838,4840,419,636,4842,1198,4845,
3703,4847,4849,4851,4853,4855,4857,4859,4067,421,4863,4865,4867,4869,3879,4872,4874,4876,4878,4880,423,4883,4885,4887,4889,
4891,4893,4895,4897,4899,4901,4903,425,4432,4907,4908,4910,4912,4914,4916,4917,427,4920,4922,4924,4926,4928,4930,4932,4934,
4936,4938,4590,581,4942,4944,429,4947,4949,4951,4953,4955,4956,430,4958,4960,4962,4964,4966,4968,4970,4972,4974,4107,4976,
4978,432,4981,4983,4985,4986,4988,4990,4991,4993,4995,4997,4999,2505,3562,434,5003,5004,5006,5008,5010,622,3139,5014,5016,
5018,5019,1900,5022,5024,436,5027,3934,5030,3521,5033,1250,5036,5038,5040,5042,482,5044,5045,5047,5049,5051,5053,5055,5056,
5058,5060,440,5063,5064,4015,5067,5069,5071,5073,5075,5077,5078,5080,442,5083,5085,5087,5089,5091,5093,5095,5097,5099,5101,
444,5103,5105,1440,5107,5109,5110,5112,5113,5115,5117,5119,446,1442,2171,5124,5125,5127,5129,5131,5133,4144,1481,5137,5139,
5141,5143,5145,5147,5149,5151,892,450,5154,5155,5156,5158,5159,5161,5163,1100,5166,5168,5170,5172,5174,452,5177,5178,5180,
5182,5184,5186,5188,1640,686,5192,5194,5196,5198,5199,5201,5203,5204,5206,5207,5209,4449,5211,5213,5215,5217,5219,456,5222,
5224,5226,457,5228,5230,1972,5232,5233,5235,5237,5238,5240,5241,4307,459,3061,5245,5247,1620,5249,4584,5252,5254,461,5257,
5258,5260,5262,5264,5266,5267,4176,5270,5272,5274,4324,5277,463,5280,5282,2012,5285,5287,5289,5291,5292,5294,5296,465,1314,
5300,5029,4330,5304,5306,5307,5309,5310,5312,5314,5316,467,5319,5321,2488,3627,5325,5327,5328,5330,3819,5333,5335,3931,469,
5339,2932,1987,5343,5345,3408,5348,5349,5351,471,5354,5356,5358,5360,5362,5364,5366,5368,5369,5371,473,5373,5375,5377,5379,
5381,5382,5092,5385,4965,2150,595,5275,5390,475,5392,5394,4436,5396,5111,5399,5401,5218,5403,5162,5406,5407,5408,5410,5412,
5413,5415,5009,5417,5419,5098,5422,5423,5425,5426,5428,5430,480,5433,5435,5437,5439,5441,5443,5445,5447,5448,5450,5452,5454,
5456,5458,5460,2193,5463,5465,5467,5469,5470,5471,5473,484,5476,5478,4814,5480,5482,1079,485,5486,5488,5489,5490,5492,5494,
5496,5498,1201,5501,5502,5504,4084,5507,5509,5511,5513,5514,5515,5517,5518,5520,5522,489,5523,3043,1430,5527,5529,3807,5532,
3964,5535,4909,5537,5539,5541,5543,491,5546,5548,2692,3757,5551,5553,5555,5557,493,5560,5562,5564,3763,5566,5567,5569,5571,
5573,1574,495,5577,5579,5581,5583,5585,5587,5589,5590,5592,5594,1800,5597,497,5599,5600,2309,5603,5605,5607,5609,2519,5612,
5614,5616,3640,5619,3027,5622,5221,5625,5626,5628,5015,5631,5632,5634,501,5637,5639,5641,5642,5644,5646,5648,5650,5652,503,
5655,2825,5657,5659,5661,5663,2132,5666,5667,5668,5670,505,5673,5675,5677,3400,5679,5681,5682,4800,5684,5686,1766,507,5570,
5689,5691,5693,5695,5697,508,5700,5702,2896,5704,5706,5708,5710,626,5712,5714,5716,616,5718,5026,3852,5721,5722,5374,5723,
5725,2795,5728,512,4148,5730,1194,5732,5734,3301,5737,5739,5741,5743,5744,514,5747,5748,5750,544,5752,5754,5756,5758,5760,
5761,516,5764,5765,5767,5768,5769,5770,3797,5773,5775,4746,518,3151,5778,5779,5781,4455,5784,5065,5787,5789,5791,5793,5795,
5797,4251,1185,5800,5802,5804,2047,5805,5807,5809,5811,5813,5815,5816,5818,5820,4622,5822,5824,5826,5828,524,5831,5833,5835,
5837,5839,5841,5843,1424,5846,5848,5850,550,5853,526,5856,5844,5859,5861,5863,4484,3157,5867,5869,5871,5873,5875,5876,5878,
528,2394,5880,5882,5884,5886,5888,893,530,5890,5891,5703,5894,5896,1398,5897,5899,5901,5903,4166,5906,532,5909,5911,5913,
5915,5917,5919,5921,4655,5924,5926,534,5928,5930,5932,5933,5935,5937,1376,5939,5941,5943,5945,5947,5949,536,5951,5953,5955,
5957,4427,537,5961,5963,5965,5967,5881,5970,5654,5973,5975,3189,5977,5979,5981,5982,539,5556,5986,5988,5989,5991,1086,5994,
5996,5998,6000,2212,541,6004,6005,6007,6008,6010,3774,542,4373,6015,6017,6019,6021,6023,6025,6027,6029,4519,6032,6033,6035,
6037,6039,6041,6043,6045,6047,661,6050,5738,6053,6054,6055,6057,6059,6061,6062,6064,1875,6065,6066,6068,4102,6071,6073,6075,
6077,6079,6081,1685,6084,6085,6087,6088,6090,6092,6094,6095,6097,552,6100,6101,6103,5731,6105,5877,6107,6108,6110,6096,6113,
6115,6117,6119,5713,6122,6123,6125,6127,556,6130,6132,3777,6134,6136,6138,6140,6142,6143,6144,6146,5593,1076,558,6151,6152,
6154,6155,6157,4078,6159,560,6162,6164,2085,6166,6168,6170,6172,6174,6176,6178,2460,6181,562,6183,6185,5227,6187,6189,6191,
6193,6194,1845,6197,6199,6201,3717,5635,2326,6204,6206,6207,565,6209,6211,6212,6214,2023,6216,6218,6220,6222,6223,6225,4119,
567,6228,2569,5234,3572,6233,6235,1960,845,6238,6240,6241,6243,6245,6246,3143,6249,6251,6253,727,6256,6258,6260,6261,6263,
6265,6267,573,6270,6271,2834,6274,6276,6277,6278,4256,6281,2246,4491,5777,6286,6288,6290,6292,6293,6295,577,6298,711,6301,
6303,6305,6307,6308,6310,579,6313,6315,6316,6317,6318,4027,6320,4372,6321,6323,6325,6327,6329,6331,6333,6334,6336,6338,6012,
6340,6342,6343,6345,3334,6348,6350,6352,6354,692,6356,585,4011,4063,6360,6361,6363,6365,1383,6366,6368,6370,6372,6374,6376,
6378,587,6381,5290,6382,6384,6386,6388,6390,6392,6394,589,5638,6397,6399,6401,6403,6405,2564,6408,6410,6412,6414,6415,591,
6417,6418,6420,4105,1526,6424,6426,4692,5785,6430,6432,593,936,6436,6438,6440,6442,3379,6445,6447,6449,6451,6453,6455,6456,
6458,6459,6461,6463,6464,6466,6468,597,2503,6471,6473,6475,6477,6478,6479,6481,6482,599,6485,1284,2838,2055,6489,4052,6492,
6494,3538,6497,601,6498,6499,6501,6502,6504,6506,6508,6510,6511,6513,4461,603,6516,6518,890,1322,5872,6521,6523,1232,5990,
6527,4659,6529,6531,606,6534,6535,6537,6539,6541,6542,1790,6545,624,6548,6550,6552,608,6555,6557,6559,5512,6561,6563,6565,
610,6568,6570,1662,6573,6575,6577,6578,6580,6582,6584,6586,6587,6589,613,6592,6594,6596,5660,6599,6601,6602,6604,615,6606,
6171,6609,5690,3132,5308,6614,6616,6618,3921,666,6621,6623,6625,6627,6629,618,6631,6632,2342,6635,6393,5727,6637,6639,1273,
1597,6642,620,5601,2714,4214,6647,723,6650,6651,6653,6655,6657,6659,6661,6663,6665,6666,6667,6669,1165,6671,3350,5540,3000,
6676,6678,6680,6682,6684,2438,6687,6689,832,1580,6693,628,6695,6697,1485,6700,6702,6704,6706,6708,630,6710,6711,6713,3410,
6715,6716,2386,632,6718,6720,6722,6724,6726,6728,3690,6730,6732,6734,634,6737,6739,2749,6741,6743,6744,1681,6746,6748,6750,
6752,5318,6754,2089,6757,6759,6761,6763,6016,4906,6522,638,6768,6770,6771,6773,6775,5860,6778,6780,6782,6784,6776,640,6787,
6788,6790,6791,6793,2744,6795,6796,3505,642,6799,6801,5545,6803,2815,4854,6807,6809,6811,1631,6813,6814,4886,6817,5066,6820,
645,1565,3333,6825,6827,6829,6831,6833,6835,6837,6839,6841,6843,647,6846,6848,6850,6852,6854,6856,6858,2312,6861,6863,6020,
2264,6866,6868,6870,6872,6873,5578,6875,6877,6198,6880,651,6883,6884,2537,6887,6888,6890,4731,6892,3824,5680,6895,6897,653,
6899,6901,1060,6903,6905,655,6908,6633,5782,6911,6912,6914,6009,6916,6917,6918,4663,3694,6922,6923,6091,5776,6926,6928,6930,
659,3875,1293,6934,1119,6937,822,6939,6940,4367,6943,6945,6947,6949,6951,6953,6955,6956,6958,663,6959,6961,6962,6964,6966,
2262,6968,6970,6200,6972,3407,6975,6933,6978,6980,6982,3130,6983,6985,6987,6988,2761,6990,5992,6992,6994,6996,6998,6999,7000,
670,1694,7004,7006,1416,2199,7008,7010,1474,7012,7014,672,7015,7017,2848,7019,7020,4168,7022,7023,674,5152,1701,7027,4326,
7029,7031,7033,3900,7036,7038,7039,676,7042,6346,7045,6129,7048,7050,7052,7053,7055,678,4010,7057,7059,7061,5558,7063,3254,
7066,7068,1461,7070,7071,6783,7073,7074,7076,7078,7079,7080,2367,7082,7084,7085,682,3473,4417,7088,7089,4757,7091,7093,1432,
7096,3528,7099,7100,7102,7104,7106,7108,7110,7112,7114,7115,7117,7119,4103,3093,7122,4694,7125,7127,7128,7130,2205,2340,5461,
988,982,7134,7135,7137,7139,7141,7143,7145,7147,690,7149,7151,7153,7155,7157,7158,7159,7161,7163,7164,7166,7167,7169,7171,
7172,5533,7175,7177,7179,7180,7182,694,7183,7185,7187,7189,6099,695,7191,7192,7194,7196,4684,7198,7200,7202,7203,7205,7207,
7209,6593,5588,7213,7214,7216,7218,7219,1951,6359,7222,699,7224,7226,7228,6173,5525,7232,7233,7235,1889,7238,7240,7242,701,
6938,7245,7246,4521,7248,3779,7227,703,7252,4710,6830,7256,7258,3049,1687,7261,7263,7264,7266,4386,7269,7271,705,7274,7276,
7277,7279,752,7281,7283,6398,707,7287,7289,7291,7293,7295,7297,7299,709,7301,1246,7303,7305,6279,7308,7309,7311,7313,7315,
7316,1832,7318,3232,1209,7322,7324,7326,7328,7330,7332,713,7335,7336,7338,7340,7342,715,7344,2806,7346,1190,7349,7351,7352,
7354,7356,7358,717,7361,7363,7365,7367,7369,4111,7372,7373,7375,7377,6564,7380,7382,7384,6585,6617,7387,7389,7391,7392,7394,
721,7395,7397,2332,7399,7400,7401,7403,7405,7407,7409,7411,7412,7413,7415,4904,7418,1555,4618,4296,7420,7422,725,969,6202,
7426,2432,6341,7428,7430,7431,7433,7434,7435,7436,7437,7439,7441,7442,7444,5709,7446,5337,7449,7451,7453,7454,7456,7458,7460,
7462,5311,6683,5971,7466,731,7469,7470,7471,1111,7473,7475,4647,7477,7479,7481,733,7483,7485,7486,2147,7489,2533,7491,5453,
7494,7496,735,7173,7499,7501,7503,7505,7507,6941,7510,7512,3673,737,7516,5617,7518,6620,7521,764,7523,7525,7527,7528,3827,
4277,5651,739,2703,7534,7535,7537,5384,7540,7542,1752,7544,5692,741,5821,5987,7549,7065,5847,2077,7553,3415,743,7557,7559,
7212,7561,7482,2006,7564,7566,1357,3136,6876,7570,6646,745,7574,7576,7578,2392,7581,1976,7583,7585,7586,7588,7590,2912,7593,
7595,7597,7598,7600,749,7603,7605,7607,875,3560,6217,7611,7613,2338,816,4018,7617,4284,3076,7621,4868,7624,7626,7627,7628,
7630,7492,5505,7634,754,7637,7638,7640,7642,7644,7645,7646,7647,7649,7650,4412,7653,4313,7655,3460,7658,7660,7661,7663,758,
7666,7668,7670,1473,3171,7674,7676,7678,760,7681,7682,7684,4225,7686,7688,7689,7691,7693,7695,3755,762,7697,7699,4407,7701,
7703,7705,7571,7708,7710,7712,7713,7715,7717,7719,7720,2904,7722,6022,7724,6135,2914,7726,7727,766,7730,7732,7734,7735,7737,
7094,7740,7741,5864,7744,768,7746,7748,7749,7750,7752,7754,7756,7758,7760,7762,7764,7766,7018,770,7770,7772,6721,7775,7777,
3456,4837,772,7780,7781,2501,7784,7785,7787,7090,7790,7791,774,7794,7796,4751,7797,7138,7798,7800,2971,776,7803,7805,7807,
7808,7810,3186,7812,7814,7046,7816,7818,778,7821,7822,7823,7824,7826,7828,7830,7832,7759,2983,7836,7838,7840,3322,7843,7844,
7846,4728,7231,7848,7850,7852,7853,7854,7856,782,5665,7858,4629,7861,4159,7864,7866,1477,784,7870,7871,2449,7873,7875,7877,
4768,7880,2728,786,7883,7884,7118,7321,7886,7888,7890,3265,7893,2173,6812,788,7765,7898,7900,7902,7904,7906,6677,7909,6976,
790,7912,7914,4918,4915,7918,7327,7294,7920,7922,792,7924,2707,919,7651,2072,7930,5315,7933,7935,7937,4982,794,7940,7942,
4788,7945,1974,7947,6536,7949,7951,7953,796,2478,7956,2774,7959,6691,7962,7963,7965,7967,4038,799,7969,7971,6311,7974,7976,
7978,7980,7982,7983,801,6800,7986,7987,7988,2977,7991,7993,7995,7996,7997,3845,7999,8001,803,8003,8005,8007,8009,8010,8012,
8014,8016,8017,8019,7530,2336,8022,8024,8026,806,1217,4702,8029,8031,8033,6268,8035,8037,8039,5320,8042,7584,8045,808,8048,
8050,5893,7440,1363,7067,8053,8055,8057,8059,8060,8062,812,8063,8065,1487,1082,8068,8070,5169,8073,8074,5995,8077,1817,8079,
814,8081,8082,8083,8085,8087,7223,8089,8090,8092,8093,6520,8094,8095,8097,5620,8099,8100,2475,3114,8104,8105,8107,980,8110,
818,8112,3726,8114,8116,8118,4305,2243,8121,8123,8124,8126,4921,820,8130,8131,8132,8134,8135,8136,8138,5135,2062,8141,6509,
8143,8145,8147,8148,8150,8152,8154,8155,2849,1255,824,8159,8161,8162,7706,8163,8165,8167,8169,8170,8172,826,8174,8175,8177,
8179,5477,8182,8183,8184,8186,8188,828,8190,8192,8194,8196,8197,8199,949,8201,8203,8205,830,8208,8209,7021,8211,8212,6407,
8214,8216,6264,8219,8221,8223,8225,1349,8226,8228,8229,8230,8232,8233,8234,7923,8237,8238,835,3618,8242,6419,8244,8246,8248,
3202,5491,8252,8254,837,8257,8259,8261,8263,8265,8267,8268,8270,8272,8274,8276,839,2487,8280,6120,3935,8284,8286,8288,8289,
6002,8292,841,8294,8296,6600,8299,8301,8302,8304,8305,4264,8308,8310,8311,8312,8314,7314,8316,8317,8319,6427,8321,8323,8325,
4798,8327,8329,8330,847,8333,8335,8336,8337,8339,8340,8342,849,8343,8345,8347,8348,3813,8351,4740,8353,8355,8357,8359,851,
8362,8363,2594,4635,8365,8367,5595,8369,8371,1546,8374,8376,8378,8380,3990,8383,8385,8387,8388,855,8391,6512,8393,856,8396,
6805,1271,8400,8402,8403,8404,8405,858,8407,8408,8410,905,8413,8414,8416,8418,3146,860,8421,8423,8425,8427,2467,8430,8431,
4457,8433,8434,8436,8438,6532,862,8441,5303,3595,8445,8447,1029,4517,8450,6608,864,8453,6997,8456,8458,8459,8461,8463,8464,
8466,2136,866,8469,8471,8473,8474,5984,4232,7957,8479,8481,868,4544,8484,3699,8487,8489,5900,8492,2465,8493,4810,4019,7834,
8497,8498,8500,8501,8502,7552,871,8506,7199,5927,5214,8509,872,8512,8514,8515,8517,8518,8520,8521,8523,8525,8527,8528,8530,
3026,8532,8534,6254,8537,8538,8540,6675,4980,877,5580,8545,8547,8549,8550,6553,8552,8553,8555,8557,8558,879,8560,8562,8563,
8564,8565,8567,3530,8569,2906,6679,8572,8574,8575,2268,1572,8579,8581,8582,882,7648,8585,8587,8588,8590,5324,8592,5519,8595,
8596,8598,8599,7679,8601,7562,3854,8604,8606,886,8607,8609,8611,8612,8614,8615,6237,8618,4784,1519,8240,8621,8623,8624,8626,
8627,1742,8629,8630,8632,8634,6300,8635,2768,1673,8639,1372,8642,6762,3187,2887,8644,8646,2620,8018,7056,7168,6072,8652,8654,
8655,8657,8659,8661,2183,8663,1689,895,8665,8666,8668,8669,8671,8356,8672,8673,5940,897,4186,8677,8678,6668,8680,8682,4340,
8683,8684,8686,899,6496,8689,5357,8691,5544,8694,8695,3552,8697,7825,7504,7331,8701,4378,4152,8704,903,8707,8709,8710,8712,
4631,8715,8716,8718,3904,8721,8722,8724,5023,4173,5167,8529,907,8730,8732,8733,8735,8736,908,8737,8739,8741,7774,6904,8745,
4236,8748,6703,8750,8751,8753,8755,7423,8758,8760,8761,8763,8765,912,8768,8770,5823,8772,8774,7131,8775,8776,914,3074,3245,
8778,8779,8780,8782,8784,8786,8787,8788,8210,8790,1296,8792,8794,8796,8797,8799,2765,8801,917,8804,8806,8808,7596,8811,8812,
8814,8816,4165,7948,7201,7393,7028,8822,3228,8049,8826,8828,5411,921,8832,8834,8835,5669,8836,8838,8839,8428,8842,8843,8845,
8846,8848,8849,8851,8852,8854,925,8857,8859,8860,8862,1152,1234,8503,4422,8866,927,8869,8871,8873,8875,8876,8878,5153,8880,
8882,929,8884,8207,7410,8887,8889,2553,8892,5907,2962,931,8896,1056,8898,8900,8902,8903,8140,1213,8907,8909,8910,8115,8912,
4536,8676,8916,5114,8919,3469,7718,8922,8923,8925,8926,8927,2539,8929,8930,8932,8934,5197,3361,8938,7002,8939,938,8942,8944,
8946,8948,1355,8949,8951,8953,8955,940,7300,6328,8960,8962,8963,8965,4871,8968,942,2981,8971,7278,8973,8974,7572,8977,8978,
8980,8981,944,8983,8985,7685,8987,8989,5910,5084,8769,8524,8994,8996,8998,946,8568,9001,3848,9003,8206,9006,9008,9010,948,
9012,9014,9015,9017,9019,9020,8729,9022,9024,9025,9027,3241,9028,9030,9032,9034,951,6714,3123,9038,5810,9040,6297,9043,953,
9045,9046,9048,8047,9051,6690,955,9055,9057,8759,9060,9062,4967,9065,9067,9068,1221,9071,9073,9075,9077,9079,9080,9082,959,
5879,2713,9086,9088,7292,9090,9092,4571,961,9095,9097,3451,9099,9101,1163,963,9104,9105,9107,2427,9109,9110,9112,8508,9114,
9115,9116,1007,965,9118,9119,9121,6974,3224,9124,4247,9126,9128,6227,9130,9131,6387,9133,7876,9135,9137,9139,971,9142,9143,
3654,3897,9146,9148,2282,1048,973,6902,9151,8584,9154,9156,1037,9158,8379,9161,9163,975,9166,9167,9169,9171,9173,5887,3319,
9176,9177,9179,2690,2674,978,5225,4948,9185,1525,1031,9188,9190,5242,4377,5534,3330,9193,7146,2252,9196,9198,8713,9200,3336,
9202,2274,1098,9203,9205,984,3393,9208,9210,9212,9214,7833,9217,986,4271,9220,6860,3603,9224,7631,9226,9228,9230,9232,9234,
9236,9238,4992,9239,990,9242,9244,9245,7357,1784,3199,3713,9251,9253,9255,8251,5436,992,9259,8650,9262,5636,9264,9265,9266,
9267,9269,6613,9272,9273,4657,9275,1679,9277,9278,9280,996,6086,6643,9283,9284,9286,2092,9289,9290,9291,5236,998,9294,9227,
9295,9297,9298,9299,9301,9303,9305,9306,3544,9308,1000,3620,9292,9313,9314,7972,4589,4288,9319,9321,1039,4031,1002,9323,9324,
9326,9328,1796,9331,9333,9334,1004,9336,5904,9339,2616,9342,2316,9345,9346,5200,7819,9350,5283,9352,9354,9356,4328,9357,9359,
9361,8499,1009,9363,9364,9365,1746,9366,9367,1904,4442,9368,4321,9370,9372,9374,9376,9378,9380,9382,1013,9385,9387,9388,9390,
9392,1635,9395,3197,9397,9398,9400,1015,5305,9402,9404,9406,3608,9408,9410,9411,9413,1017,9415,9416,9417,2853,7563,9420,8554,
3448,2160,9425,7450,1019,9429,9431,4569,5598,9434,9435,9436,8594,9438,2660,5193,1021,9442,8475,9444,9445,5487,9448,6581,9451,
4347,1023,9455,3720,9458,9460,9461,9463,9465,8990,9467,9468,9469,1025,7994,2370,9473,5398,9476,1530,1027,9479,8637,9480,9482,
9484,9486,9487,9488,9490,9492,9157,9494,9496,9498,9500,1102,9502,9424,8028,1203,8817,7592,8164,9506,9508,5007,9510,7040,1032,
3421,9514,4601,1033,9518,6979,8282,9520,9125,9523,9525,8636,9527,1035,7341,9530,9379,9533,9535,2239,9537,9539,6842,5421,9543,
4954,4633,9545,9547,9549,9550,9551,9553,9554,9556,6460,9558,5699,9560,9083,9563,9565,1567,9566,2745,2241,9258,8856,9571,1042,
9574,9575,4775,9578,9580,9581,9583,9584,6177,7325,9587,5829,4309,9589,9590,1241,1046,8307,9594,9596,3633,2112,4556,9601,9603,
6332,6423,9606,9607,3389,9610,7599,3649,5980,9614,8719,9616,9618,7944,1051,9622,9623,9625,9627,9629,9631,1052,9634,9636,8551,
9639,9641,9643,1275,2589,9646,9648,9145,1054,9651,9653,9655,9657,2321,8109,7133,9660,9662,9664,7217,9666,9667,3589,2993,9668,
9670,4828,9672,9674,1058,9677,9678,4542,9681,4822,7680,9684,9686,9688,9690,9638,9692,9693,9695,9697,9170,9698,1318,9699,9700,
1064,5279,9703,9705,9707,9709,9710,9712,9714,9716,9718,1066,9721,9723,9725,8964,9727,9729,1068,9732,9734,9735,6889,8101,9738,
5253,9740,3706,5323,7132,9743,9745,2521,9747,9748,9749,9750,9752,1072,9754,9756,1414,9758,2075,9761,9737,6836,1074,3866,9764,
9766,2580,9768,9769,9724,9772,6147,9774,9341,2124,9775,9777,1599,9779,9780,1078,9782,9784,2396,3016,5484,9789,9790,9792,9794,
5144,3771,9798,8478,9800,6373,5148,9803,6452,4319,3547,9806,1084,9808,9810,9811,9813,9815,7249,8991,9817,9819,9820,6428,9821,
9823,1088,9824,2624,9826,9828,9830,7447,9833,9834,9836,9838,9839,9586,7568,9696,1091,9844,9846,9848,9849,9851,8505,2202,4130,
9854,9856,1093,9859,9860,9862,9864,9865,2920,9868,3734,6634,9871,9872,2513,9874,1096,9877,9879,4939,2211,6448,3784,9882,3357,
4068,6622,1763,9887,9888,9630,1955,9316,9891,9893,9894,8382,9895,8153,8728,7577,8723,9899,8725,9381,9902,9904,9905,9907,9908,
9910,1105,9911,9913,9915,9916,3066,9918,9919,6719,1107,9920,1995,9923,4973,3465,9926,9928,9929,6036,7081,1109,2577,9934,2785,
9936,9938,2811,4017,9942,9944,9946,9947,7273,9827,9951,9953,1113,3517,4848,2612,4816,5365,9961,6239,4273,1115,9966,9968,9969,
6219,6304,9973,6611,9975,9976,9978,9979,7837,1117,9981,9983,9985,8610,9988,9990,8034,9993,8675,9995,9997,9998,10000,10001,7355,
5340,10004,2026,10006,1121,7632,10008,10009,4029,10011,5361,10013,1123,8890,10016,10018,2104,10020,10022,10024,4591,1125,10026,10028,10030,
10031,5792,10034,10036,6664,1127,10037,10039,2840,10041,10043,10045,2434,1129,10047,10048,2800,10051,10052,10054,10056,10058,10059,3501,1131,
10061,10062,1132,10064,10066,1521,10069,10071,10073,7339,10076,10077,10079,1902,10081,5269,1135,2254,5431,10084,10086,10088,10089,10091,10092,
1744,1137,2781,10096,10097,10098,4121,10101,10103,10104,10105,10106,1139,2359,9302,10110,10111,10112,10114,10116,2187,10118,10120,10121,10122,
4792,1145,6777,10126,10128,10130,10131,4661,10132,8868,10135,10136,10138,1147,8072,2447,10142,8435,10144,10146,10148,6590,10150,10152,10154,
10155,10157,10159,10160,5202,10162,10164,10166,9330,9850,3229,10171,10173,5068,10176,10177,10178,1814,10179,10180,10099,7859,1154,4671,10186,
8653,10188,10190,10191,7251,7768,10193,10195,4712,10197,4496,10199,10201,1157,10203,10205,10207,10208,8295,4410,1159,3346,10213,1161,10215,
4234,10216,10218,3894,10220,3522,10221,10223,4498,10225,4611,10228,10230,10232,10234,5952,10236,10238,10240,1389,10242,10244,1167,5985,10246,
10247,10249,10251,10253,10254,10255,10257,10259,9423,1169,10262,8437,10264,1171,10266,10267,10268,2354,10270,10271,9312,1174,4523,3475,1176,
10276,10278,10279,10280,10282,10284,7383,6656,5729,6816,10288,10290,10292,3486,1179,10294,10295,10297,5355,10298,1181,10300,10302,6571,1644,
10305,2900,5288,1652,1183,10310,6067,4414,10312,8863,10315,10317,10319,10321,5106,10324,10326,6347,10328,10330,10332,10334,5001,5072,10337,
10339,10340,8370,1188,10343,4156,9343,3996,10347,10348,10349,10350,6299,9515,10352,1192,9765,10354,10356,10357,9687,10359,10360,3975,8457,
10363,3902,8921,10365,4564,7241,3479,10368,7842,6028,10072,10372,2446,10375,10376,6924,6291,10378,5346,7150,5608,10381,2301,10383,3958,
10385,10387,10389,6891,10391,10392,9855,10165,10396,10397,7368,10400,10402,4132,10403,10404,6723,7098,10406,2645,10408,10409,10411,7711,4212,
7665,5931,10417,10418,1207,10420,3945,10422,10424,10426,9873,10428,10430,10432,7882,10435,10437,10439,10441,1211,10443,6963,5596,8992,10446,
5812,10448,10243,10451,9922,10454,8917,10457,10023,2593,6446,10460,10462,10463,10464,10466,10468,8544,4004,7260,10472,10473,7616,10474,10476,
10478,1219,7809,3821,10482,6493,3021,10483,10485,10486,10487,10488,8127,10490,5444,10492,10494,10496,8322,6114,6893,10499,10501,7478,8075,
5017,1223,5329,10505,2763,10508,10510,10511,5671,6259,9935,10515,1225,7043,4563,9221,4759,10517,10518,2575,10520,1227,5286,10521,1228,
1402,10525,10526,10527,7215,10528,4943,2060,8495,8032,10531,1230,1979,2270,10534,9619,10536,10538,6989,10540,5885,7376,5190,8401,6226,
10542,10543,10544,10546,6712,8372,10549,10551,5164,10553,1237,4435,10555,9982,10557,10559,1239,10561,10563,10564,10565,10566,6810,10569,4216,
10571,5032,1242,6255,10574,8766,10577,1257,1244,10579,10580,10581,10582,10583,7839,10584,10585,6595,5265,10588,10453,1248,7184,9268,3738,
9085,6011,1838,5759,10596,10597,9152,10598,9108,10599,9564,3219,10602,10181,10604,10605,10504,10607,10608,7558,10609,5332,4733,1808,8139,
10613,10614,8744,6935,10616,10617,10618,1259,5751,10621,4613,6139,10624,10626,1261,10628,10367,9066,10630,10631,10633,10635,10636,9941,10639,
2966,10641,6030,10644,10645,10646,9870,4429,10095,10648,10650,10651,10652,10653,4881,8603,1268,10658,1886,1269,1563,4249,10663,10664,9426,
10667,1500,1726,1648,7662,2014,10670,10672,10674,10676,10677,9943,10445,10680,8641,10682,4606,10685,10686,3069,2276,10689,10690,10692,10694,
10696,9138,10697,10699,10701,3971,1278,10702,7457,4336,10705,10707,6514,3348,1397,1280,10710,8648,9620,2025,10714,10716,10393,1282,10717,
9281,10719,10720,10722,3992,10724,10726,8622,10728,10730,9691,2857,1286,5956,2436,9901,9717,10738,10740,6640,10743,10745,10747,1289,9570,
10749,8853,8566,10752,9063,2967,10754,1291,9986,3871,9144,7580,7129,3110,10757,10758,10759,10761,10762,10764,9831,9054,10765,10766,1294,
7656,10768,7484,10770,10772,1714,5508,8384,10776,10778,10780,10568,7304,2028,8142,1298,10782,10784,7636,4566,1834,10787,9375,10789,10791,
3402,3825,2893,9481,1300,10796,10798,6244,10800,10802,7977,10804,1302,8510,7243,10807,10809,10811,10812,10813,10815,10816,10818,10820,10822,
3275,1306,10825,5011,10826,10827,10828,10829,10831,1308,6628,10833,4856,10834,10835,6480,10837,10838,1310,3375,10841,10843,10845,10846,2506,
10848,10850,10852,2787,1312,9369,10853,10855,9249,4715,10857,9883,10859,8789,10862,7429,10865,10866,1316,10869,6221,10870,10871,4444,8377,
10875,10877,10879,10881,9954,7545,10882,3648,10884,8539,10886,10887,1320,5179,8821,10891,1650,10892,8064,10893,9797,8749,1660,6196,7979,
2145,10897,10899,10900,10901,1325,6745,10904,10839,10905,6013,10907,1774,10909,10911,1327,10912,10913,7529,10916,10619,10917,2069,10918,6973,
10920,1329,10922,6738,10924,1331,8160,10926,5165,3175,10929,1333,8513,10932,10934,10935,10936,8488,10277,10939,10941,10942,10943,10945,10947,
4398,10949,1337,2670,10950,10952,3481,10955,2045,3362,10958,10959,9984,3284,4451,10210,7120,7371,3383,10965,1479,5173,8273,10969,1950,
1343,10972,5658,10975,10977,10979,10981,10983,4282,10985,10986,10988,1345,10990,10992,6383,10993,7990,10995,5834,10997,5696,11000,4366,11003,
11005,4835,11007,11008,5271,11010,1852,11013,11015,3237,1361,8360,11019,2605,11021,3036,1351,2224,11025,3593,5393,7862,2610,11029,1353,
11031,4478,10102,11034,3040,11036,11037,2179,11040,5414,4245,11042,9257,3163,3072,11044,11045,11047,11049,11051,11052,11053,11054,1359,11057,
7687,3558,7543,11061,11063,11064,4086,4879,7895,11066,4706,5146,11069,4549,11071,11073,11075,3424,11077,1365,11080,11081,4945,11084,8982,
4375,5420,11088,2419,10070,4741,11091,8979,1369,10489,11093,11095,11097,11099,11101,11103,1371,11104,4742,4669,11107,9204,6779,10163,11110,
6208,4735,11113,11114,11116,1374,10751,6965,10769,11118,8844,5432,11122,11123,11124,11125,11127,11129,9076,8781,1869,8651,11134,11126,11136,
11137,1379,11139,11140,11141,11143,11144,5664,2385,9896,11148,11150,4472,4065,6766,5563,1420,10987,11155,11156,10978,11158,11160,11162,5966,
5827,6797,11166,11168,7404,11169,5485,2625,11172,11174,11176,1387,10948,5568,8041,11180,11182,11184,11185,5123,1931,9971,10265,11189,11191,
11193,11195,1391,2442,11197,11199,11194,3582,1457,11203,11204,1393,11207,9796,11209,11211,1395,11213,11215,11216,11218,11220,11221,11222,11223,
3145,11225,11227,7672,11230,11232,11234,11235,11236,9892,1400,11238,11240,7350,11242,11243,3261,2032,11246,11247,11249,11250,11106,11253,11255,
3962,11257,1404,7887,2379,8366,7973,11262,11264,11266,8698,11268,11270,11272,1408,9611,11275,10746,8647,11278,4558,11280,1410,11282,11283,
10622,6049,11284,6184,8746,11287,1412,10252,11289,11291,11292,11294,7761,11297,11298,11300,5128,10477,11301,7035,1842,8995,11306,1418,11308,
11310,11312,11314,11316,6735,3923,11320,6792,11321,11322,11324,4184,11327,11328,1422,4334,7364,7992,7556,6404,8011,11334,6832,11336,11337,
1491,7353,1426,11338,6391,5735,11339,1427,11342,1856,11343,11345,10250,3769,11348,10910,11349,11350,9351,1429,11353,11354,11355,3092,11357,
5344,11360,11361,11362,11363,2919,11365,11366,11368,11370,4994,2784,11372,7508,11375,11376,3471,1434,11378,11380,11382,8824,11384,1846,8690,
1436,11387,11389,11390,11392,1552,11395,11397,7511,11399,10127,1438,3373,11402,11404,11406,4525,11409,9728,11411,11413,2289,6785,11417,5440,
11419,11421,8891,11424,11425,9963,11428,6786,1444,11430,11431,10858,3423,4268,11432,1446,9665,11434,11436,9852,9070,9113,9719,2412,1448,
11439,8966,11441,10090,11443,8046,11445,11446,1467,11447,2591,1450,11450,9940,11453,11455,11457,11458,9557,11459,11460,11461,11463,9972,1452,
11465,11466,11468,3890,6815,11471,11472,10533,1454,11474,11475,11477,3104,10219,11480,3861,9921,2695,11483,4820,11485,11486,11488,11489,8157,
3805,11491,11492,11493,5755,11495,9011,10541,10185,11498,11500,11501,11502,1463,11503,11504,11505,7275,7975,11507,11509,11510,11511,1465,11513,
10206,11514,11516,11517,4456,10318,4465,6597,11520,11522,9000,6409,11525,11527,8191,9937,3176,11531,1469,11533,2669,11535,1916,11536,11538,
9159,1471,2372,7793,11541,11542,11543,11545,11547,5825,11170,2485,10849,9751,11551,11553,11554,3483,5521,4529,9252,11319,11558,9456,11559,
11561,11563,11565,4089,9009,10373,11569,11570,11571,3576,3038,8344,10684,11574,5134,8593,11577,11578,11580,3088,11583,3206,11586,11587,11588,
11589,1483,2730,8200,11593,11594,11595,10170,11598,7989,11599,11601,11603,11604,11606,5865,11607,11609,8937,9340,5717,11612,11614,11615,11616,
11617,4794,6163,11619,7903,3128,8881,1493,8764,11622,9332,11624,11626,11628,9526,9875,9501,11632,11634,1495,11636,8705,9183,11078,10241,
11639,11641,1497,8542,4112,11644,11645,3680,4005,3014,2891,6070,11647,6042,1502,9106,11651,11653,10480,5388,1504,6802,8988,11659,10840,
6641,10908,1506,9522,7771,11666,11667,2881,4977,11670,10087,11671,1508,10610,10261,6517,11674,5503,7152,4142,11677,1510,11679,6855,10401,
9847,6213,7359,11682,3211,11684,1512,11687,11689,11691,2607,10868,6598,5334,11695,11696,1514,11697,11224,11700,6133,5788,11702,11703,10723,
11705,11706,1925,5474,11709,1517,4890,6885,10198,11712,10200,9741,6367,6804,6048,7234,11717,8476,11719,11720,11721,4620,11723,4509,6503,
11726,11727,10611,7783,6375,8069,11732,9401,11734,7204,11737,6881,7265,6610,11739,11741,5923,11744,10351,11747,11748,6034,11749,11751,11753,
4832,11755,11756,11396,11683,11758,11760,11761,11762,1532,11765,10493,11768,10896,6467,11771,11772,1534,9585,3688,9026,10793,9470,1536,11685,
11267,11779,9362,11781,1538,6538,3324,8108,11785,6591,8496,11788,7480,10552,9174,1540,11742,11793,11794,11796,11715,11798,1542,11800,4780,
11802,11803,11805,11806,10380,11807,3256,11809,1544,9857,10956,5005,11813,6764,4533,11815,11817,3252,7302,11818,11820,11822,11823,11825,9235,
11826,9478,11828,6160,1550,10465,11833,11834,5740,11836,11838,11839,3656,11840,10503,2942,1553,11844,4639,10788,11846,11848,9680,5836,3796,
10755,9103,11852,11853,11854,4979,10149,1557,11858,11859,11861,11863,4664,11866,1703,11869,11011,6082,4280,5076,8818,10530,11874,4984,11494,
1561,11877,8511,11879,11880,11881,11883,11885,11886,11887,11888,11889,5798,11891,11892,7087,8819,5950,3230,2985,10100,11896,11897,11898,11899,
11900,11729,11680,11902,11904,11906,1569,11908,11910,8297,11912,1570,11913,11915,1666,11918,9669,11920,8970,8375,8847,7267,11923,11105,3941,
11926,2162,11929,10085,11930,8409,1698,11934,5057,11936,1576,5774,10681,8798,9960,7917,11942,6351,8271,11945,7362,1578,6472,1843,11947,
2250,11949,5806,11951,11952,10377,11953,11955,11957,3614,11959,11961,11963,1581,8406,5150,5341,11966,10065,11968,10109,11420,11971,11973,10366,
7961,11974,11975,1584,11978,11980,11981,11983,2969,11986,7467,1586,11987,11988,6476,11893,1587,11991,11993,11995,1705,9876,1589,11998,11999,
12000,12002,9018,12004,11464,4666,3892,5656,7472,1592,5531,5281,12010,1593,12013,12014,12015,12017,12019,9223,12021,12023,1595,12025,12027,
4574,9513,12030,6907,5122,6357,12033,12034,12036,8269,8279,10703,8993,12040,12041,12042,6309,12043,1601,3111,4786,12047,10078,12048,12049,
1728,5331,10450,4987,1603,12052,11827,2557,12054,6058,12056,1604,3643,12058,11648,4438,12059,12060,10823,12061,11927,12063,12065,12067,10637,
12069,12070,1609,12071,12073,12074,12075,6358,12077,1611,7614,11662,12081,12082,12083,8734,12084,8166,12085,3831,12086,12088,9447,12090,8576,
9599,1615,6645,7714,12094,12095,11358,12096,1617,7610,12098,12099,12101,4332,12104,12105,12107,12109,10976,1619,7677,12111,12113,10291,11254,
12116,3490,7500,7560,12119,12120,6725,1622,7514,12123,2741,12125,1623,3411,12127,5536,12129,3268,12131,12133,12135,7034,1625,7001,12139,
12141,12143,2998,8309,11449,11149,9409,7606,4721,12146,12148,1629,2454,4241,12152,7123,12154,12155,11379,2272,12157,4860,12160,5783,12162,
12103,1633,1738,8096,4513,4744,4001,12167,8220,5790,6851,12169,12171,10661,1637,3658,3328,12173,12174,12176,1639,12178,10638,1772,6149,
12182,12183,12184,12186,12187,12188,1642,12190,3606,10808,8591,12191,12192,10984,3925,12194,12195,6302,12196,12197,12198,12199,12201,1646,12204,
1964,12206,12207,12208,12209,10469,8879,6425,12212,6733,10524,12062,1692,12216,12218,8613,9980,2548,7960,12223,8950,3413,12226,10502,12225,
10662,5212,12231,3927,7872,12233,2068,4739,7126,8171,12055,1656,11960,11956,11142,9917,12237,7550,1906,5251,12240,12241,12242,2952,12244,
12246,5298,12248,2159,9933,12252,2525,11911,12254,2079,10187,1664,12256,2731,7366,12258,10237,2220,11506,12261,5322,12263,3610,11418,12267,
1668,11435,3204,1669,12270,12271,12272,6696,7225,9559,6474,12276,4463,12279,11499,11992,6429,7874,10903,12285,1675,11582,12288,12289,12291,
12292,1677,6437,12295,12297,4343,12300,12301,5353,12304,2991,12306,12307,12308,11864,12309,12311,3764,12312,8933,8865,3896,1683,9568,2870,
12316,7474,12318,7589,7390,12321,12322,12324,5449,8000,12325,12326,12327,4594,12329,8426,12330,12332,1690,12333,8080,12336,5683,11344,5640,
9472,10222,7378,12342,2737,12343,12345,9147,11539,1696,12348,12349,1836,3182,12007,10471,12352,11808,12353,12354,12355,1700,2053,12011,12358,
8043,8341,11750,1780,12361,6210,12363,12365,7284,7788,11878,12368,12369,7602,11919,12373,12374,8477,12375,1707,2587,4394,7197,12377,12378,
1709,12380,3801,11948,4476,12039,12384,12385,12386,1711,11020,10229,12389,12391,8559,12393,6840,11179,12396,12397,12399,12401,12403,8767,12406,
8795,12407,12409,1716,12411,2529,12413,12415,11263,12416,12417,12418,1718,4957,7931,3753,11482,12420,4137,3121,12424,1720,12426,12427,12428,
8893,5475,7625,11423,12431,1722,12433,12435,9394,3567,4888,10063,9755,1724,11462,11208,8452,10413,8217,12443,2429,12445,11062,4488,8120,
7551,6948,12447,12448,12449,8883,11555,12452,12454,12456,1731,12457,8326,3339,7659,12460,12461,7901,12463,11171,12464,2871,9049,4862,12467,
1735,2601,2376,12471,12473,8906,6205,12475,12477,12479,11371,1737,12482,11633,12483,12484,8727,2128,12485,4399,12487,12489,1740,7024,12490,
12491,5479,12493,3008,12494,12496,12498,10344,9689,7731,12502,5108,12505,7285,7455,12508,9407,12510,12512,12514,12516,3213,2185,3499,1748,
12519,10938,8714,12523,3503,3524,12527,12528,5547,1750,12532,12533,12534,12536,7943,3463,2244,10711,1753,4050,12458,12541,12543,12545,12546,
12548,1755,11072,12549,7121,9061,5929,6765,1757,12552,12553,6993,7176,10930,12557,4418,12560,10329,12561,12562,6566,7604,8628,1761,12565,
12567,12568,7897,12570,12572,6280,12573,12575,10272,12576,8399,1880,2417,1991,1764,12581,6636,7416,7608,10362,8897,10734,12584,12585,12587,
12588,12589,1768,5176,5405,12591,12593,12595,5094,11130,8381,1770,12599,3973,12601,5726,4194,2918,12604,10364,12605,9903,12607,9503,2688,
12609,10212,11515,12610,12611,1776,11701,10371,12615,8837,12616,12618,12620,12621,1778,12622,12624,12625,12626,7360,12628,12629,12631,12633,5938,
12634,3368,6950,8570,1782,10595,12638,12639,12641,12643,7881,12646,12647,12648,12650,12651,12653,10750,3919,12654,10189,12656,12657,3155,12659,
10668,5574,12662,2383,4384,6547,4200,12664,12338,1789,12665,8526,7193,12128,4493,7919,2697,11261,6530,12667,1792,11163,12670,12671,7567,
12673,12674,12676,12677,1794,12679,11549,12681,4624,10447,11352,9713,12685,9453,8468,12689,1798,12691,10248,8071,7253,10143,12694,12696,4615,
1802,12699,12701,12703,11147,12705,12707,6507,12709,12711,12712,12713,6421,12715,12716,1806,12717,12538,12719,12720,12721,12722,9974,10194,6540,
1810,12727,12728,12730,12145,12731,11707,1813,12733,12734,7522,12735,2641,1815,12739,12740,10799,3310,8573,12745,12747,11085,3914,12750,10495,
1821,7379,6137,10433,9029,12666,7868,1823,12754,8667,12756,9172,11754,12759,7723,12760,12762,11135,12678,2157,12765,9552,1826,12768,8266,
12769,1828,9889,7026,12773,12774,7531,8877,8943,12777,12779,12781,6560,7190,12725,12783,11359,11351,12785,6603,10117,10921,8243,12787,12788,
11646,10438,12789,9271,12791,12793,9637,5902,8731,12796,12798,11819,12800,8133,4896,12803,4882,12805,9005,7064,3799,11573,2910,11862,7208,
12810,7319,12812,5326,12813,10794,5799,12816,11394,5259,12819,12820,12822,1850,12825,12826,12827,12828,12830,12832,9504,12833,12834,2416,12837,
7310,12838,12840,12841,1854,12843,12555,3057,7941,12845,12262,12846,12848,12849,10202,11557,1858,2303,4506,12854,6283,3532,12761,12859,11229,
12860,11277,7195,12862,4998,12864,12865,12866,1862,10174,12869,8227,12872,1867,7936,10475,10414,12877,12710,12880,12882,12486,12273,9858,6740,
12886,9396,12887,6969,12889,12890,12644,2230,12453,12891,4311,2573,9970,12895,12896,11408,9736,7615,1871,9320,12901,12902,12903,12904,12905,
1873,8586,1957,12909,2137,12910,5845,9485,12914,4773,9072,12916,11782,10342,2726,11050,12921,12923,10586,5889,3950,6465,12856,12928,12929,
12931,12932,9483,1882,12934,12935,1884,12938,2973,12939,11922,9987,3405,11804,6026,12944,7738,12946,12947,8958,9939,12948,12949,12950,9861,
1890,8895,12953,10386,2686,12957,10902,4239,4892,12959,12961,9676,1892,5672,11452,11276,12964,9219,11743,12966,12968,1894,6528,12836,10775,
7306,1896,8548,9999,11041,12790,5766,1898,12265,12974,2307,5852,12975,12977,7329,12980,12981,12982,12983,12984,12985,12987,9788,12989,12991,
7025,8918,12693,4221,12926,5687,12995,12996,12997,12998,12999,6551,13002,8600,13004,12522,8945,10623,1908,10014,7954,2944,13010,4486,9733,
1910,13013,12179,11100,12439,11323,13017,9493,11941,1912,13021,10851,12144,4846,9793,11787,1914,2562,7692,13027,10002,3086,2922,5978,9256,
6649,13032,2828,13034,13036,10655,1919,13038,13039,3403,8195,6003,7307,7154,1921,6001,9386,6109,12404,8432,2287,5606,1923,13050,11313,
2735,4341,7513,12245,13054,8920,13056,1927,7548,12888,13059,12302,13060,1929,12675,13064,13065,13067,12028,8899,13069,13071,1933,11643,3722,
10872,11476,13073,8752,8905,13075,13077,1935,12714,13078,13080,13081,13082,2209,3709,10832,8830,13084,13085,13086,13087,1939,13090,13091,9037,
1940,13094,5142,13096,10405,13097,6662,1942,3047,6389,6046,13100,1944,13102,3929,13104,13106,12284,11251,2397,13108,13110,6549,10591,12684,
13111,11829,1948,4577,13114,4227,8260,12962,9548,2802,13118,13120,9391,13121,13122,13123,9153,9233,13125,10760,1953,10578,12215,5383,13128,
5868,11778,12470,11164,5516,12221,7517,9786,9450,13135,12057,12807,10874,13138,8914,7526,7939,13143,3978,8102,13144,10991,5387,13148,13149,
10960,1962,9194,13151,2049,12801,13153,13154,13155,10880,13157,13142,2719,10025,3842,7402,4668,8052,13162,13164,12579,13166,1966,13167,13168,
8331,13170,13171,12239,9592,8708,1968,13173,3858,8810,9644,1970,13178,13180,13181,13182,13183,13184,13185,13187,13188,10175,13191,7885,13194,
8067,13132,1977,13198,13199,12488,5814,13201,7533,8625,13204,13206,1981,13208,13209,7398,12064,1983,13211,12680,13212,13214,1985,6148,8202,
6932,9829,13218,6462,7211,10830,13221,12753,7370,10395,13224,5185,6273,8947,13226,1989,9197,11669,2650,6167,13228,11552,13230,6230,13232,
10970,13234,2636,11326,4364,6287,13238,13239,6269,1993,13242,12564,2314,10033,2509,2777,7220,1997,13245,13246,12210,8285,9209,1999,10883,
13250,13251,4360,12440,13253,2001,12912,5862,8168,7109,2002,9898,8952,2004,13259,13261,13263,3041,13264,6364,13265,6709,5041,13268,13269,
6821,13271,13272,10659,11017,10260,8924,13277,13279,13117,13280,11776,6312,6500,13283,7072,13284,5208,6250,13286,13109,5898,2015,13287,13288,
12970,13290,2017,13291,12821,9783,9036,13293,3976,2021,13295,9360,11400,3959,2776,8911,11526,13112,11083,9087,12818,13301,8516,13303,13305,
13306,13307,13309,6457,13311,5565,5079,11022,10558,3983,2684,12290,12050,13319,13231,12320,13321,13213,13322,13323,13324,4596,2034,13327,5762,
3247,9837,10021,13329,13330,13332,11074,11330,13335,2038,12775,13338,7140,13317,2040,13340,13341,7958,12506,13124,11383,13343,12608,11894,5819,
13345,12319,6525,13346,6685,13115,8754,13350,13351,13352,9377,4093,13355,13357,13359,13361,13006,13364,2051,5216,2535,5586,13368,2751,13369,
13371,2350,8241,3936,6203,12661,12857,2056,3788,5062,13374,13375,9540,13377,11584,13379,10323,5160,2421,13169,10182,2931,13383,5389,9991,
13386,8702,2064,7847,9598,13391,5472,13392,13393,13099,2066,13395,12335,13396,3758,2328,12612,12035,10669,13399,2401,6040,13401,9825,6116,
2070,4389,7921,6995,13405,5295,4258,9507,13061,2877,10327,13408,10293,13409,10139,13410,7694,10452,7162,4679,13413,3108,13414,9853,13416,
9612,8298,12729,10864,13019,13419,2286,13420,2462,6569,13258,13422,10640,13423,12649,13426,8470,2081,13428,8791,8449,7747,13431,13433,11173,
2083,13437,13438,2898,6857,5338,10801,2087,9325,13442,13443,3926,6576,4479,13447,11640,13449,13450,11245,11856,9123,13452,6379,7664,13384,
13455,10093,6252,4515,13456,2094,13457,9261,13382,13460,8231,9702,13463,12115,8350,3515,13467,2098,10204,13469,12844,11596,2100,10125,13472,
11830,13474,13233,7716,11576,2102,4864,7323,13478,8908,12883,9909,8802,13481,9832,4290,13482,13483,13485,3343,9274,9785,13490,13491,13492,
8531,13493,6760,13203,7448,7298,13496,13497,10196,13499,13500,2757,10379,7801,2652,2114,6247,13139,13348,8913,13502,13503,2116,13504,2859,
12102,12026,13507,2117,5118,2929,13229,8397,2889,13512,4861,2120,13514,13515,13517,10688,11801,2226,13519,13520,13522,13523,13525,10706,13527,
2126,11523,13216,12831,13434,10535,8420,13529,13530,13532,13326,13533,11032,11058,5954,9111,13536,3272,13538,5946,12016,4035,12315,2842,13541,
4502,13543,13544,2134,13546,13547,9640,13549,3005,7498,13552,13553,13241,4866,13557,8561,13314,6169,12919,13559,11831,6605,2139,11958,12850,
13561,5576,11309,6413,2141,2311,11214,13564,13565,13567,2143,10968,13569,3249,9659,13385,6906,13089,3288,13573,12795,2490,3751,13158,10567,
11572,3369,9056,12770,4950,8583,6224,13576,13577,2463,9471,13580,13581,11374,13582,2155,8204,12222,13586,12228,13587,13588,13589,9016,7244,
13592,8762,6753,11842,3371,9959,11033,4905,13072,13599,13600,11305,13601,9591,10123,13602,13604,13605,3693,11534,12530,13462,13610,2164,9084,
13571,11532,7779,13270,8332,13614,2166,12046,2284,11153,13617,12351,13618,11059,4329,10783,4850,6727,8027,9231,5497,13136,13624,13626,11678,
2177,13627,13628,13630,13632,13353,13634,13636,13637,9222,13639,13641,2180,13644,7769,12022,13647,8885,2182,9044,13648,13649,11079,13651,8324,
7841,13654,7915,11183,10012,13655,6794,4079,12236,13659,12542,2189,13660,5858,6686,9035,13662,12227,13664,13666,2191,13668,8536,13076,4935,
13671,3736,13673,13674,2451,11002,11655,7424,2195,5050,4192,8250,13679,9555,2197,8415,6896,13681,13683,13685,6145,6231,13688,2201,4080,
12150,2203,13689,13691,13692,3715,2207,11340,13696,13150,7124,5048,9814,13699,13700,13701,2325,5273,13704,8444,11663,2214,9807,13707,13708,
13710,13712,2216,3803,3080,13715,8392,13717,13719,13720,7964,9809,7619,6612,11766,13721,13722,13724,11290,13725,13726,8373,11175,13729,3051,
13731,9835,8670,12110,6701,11579,9189,5140,9141,8617,2229,9349,5012,3391,12986,8687,13738,10080,7290,9948,11780,2363,11109,2232,12583,
9165,13744,2234,7296,8507,13747,13593,13748,6195,2236,7776,13752,4097,6819,5418,13754,13331,11001,13756,2348,7188,4115,5866,13758,13760,
4894,3740,13762,13764,13766,13767,13769,13495,13771,13772,13773,2248,13088,4704,13775,10873,13776,13777,6886,13778,3094,13780,7892,13781,3381,
6434,13784,10214,9604,9464,13786,7060,13789,12078,10671,2255,3622,10147,2515,13794,13795,2257,13797,8040,13799,4844,12577,13801,10137,13803,
2259,13805,5803,7262,13808,12253,12596,2261,13281,13811,12580,4511,10957,13814,8412,12346,12172,13816,13818,13820,12151,7729,8688,6558,13822,
7889,13823,4911,6681,13824,8556,13826,13827,6326,5181,13528,5268,4040,10017,2278,2676,2280,13832,10308,13833,12884,8255,12504,13836,13806,
13838,6051,13839,13841,13842,5459,8088,12724,7879,9608,13412,12897,12032,13791,10763,2291,11882,2390,3969,13849,2293,13851,13852,13853,5350,
13855,12053,13857,6031,13858,2298,4175,2299,2545,13859,13860,13861,7955,13863,5088,13864,13865,11027,12885,13867,2672,2305,3625,13868,13869,
13871,7502,13873,4474,13706,13874,13875,10790,8711,13877,3985,5964,3270,13878,7594,2318,10497,13881,5976,8117,13883,13884,7011,2323,4933,
13888,13889,13342,9007,13890,7230,12177,13892,9805,2958,3305,5524,11791,13896,3749,3200,9096,13898,2330,11775,11012,13900,12930,13275,9443,
2334,13904,12423,8972,9489,9042,6272,4243,6395,7773,2987,5171,13908,13578,13910,13911,5753,3251,3728,12147,13915,13916,8146,10718,13918,
13919,13921,8935,13923,12310,13924,13926,6377,2711,13930,9900,10309,4937,13931,13932,7851,13318,13934,2352,13935,12517,12655,11055,13749,7690,
10336,9459,11736,10603,2357,9132,13938,10224,13940,10233,12700,8144,11067,13944,10304,13745,13946,8472,13948,2365,4749,12259,13949,13033,13951,
3906,12623,2368,13954,6925,13956,13957,13959,13960,13961,13009,7388,2373,11575,2646,11529,7541,2374,9263,13964,2582,3988,13966,13000,13967,
4196,13969,11239,13970,13971,10519,13973,13672,2381,13976,13978,9383,13779,13980,13177,13981,13982,7386,13983,12392,13985,5711,11962,9602,3436,
13829,9160,13294,9816,7743,13347,12518,7095,9957,13991,13992,13736,2836,12274,9304,7257,13994,13996,6644,10245,10587,11398,13179,13999,7739,
9613,11407,14000,6400,13585,14002,2399,14003,6396,13339,12669,2400,14005,13812,14006,14007,5464,14009,14010,13468,14012,2403,14014,14015,13590,
2405,11056,7334,4593,13584,8827,9093,14018,2408,10407,9178,2410,7105,14021,5892,13631,10844,5427,12808,12990,3629,12571,3141,10158,2414,
10019,2739,14027,14028,14030,14031,6179,10946,13953,12331,11076,4061,14033,3745,10346,2989,7178,14037,14038,9311,2799,4824,6660,10007,2423,
8482,8439,8961,14043,11187,14045,2425,3616,7515,6607,8664,7286,5707,14048,9683,14049,14050,2431,13746,10484,10625,7641,13424,10642,13903,
10427,14053,14054,12732,4025,12138,6967,4269,8656,13531,4913,14055,14057,9715,13690,13790,7673,13733,14061,14062,7092,5132,14064,10274,12193,
13562,5997,14067,7237,13417,13792,12551,13743,14071,9753,4072,14073,11014,14074,13093,14077,2455,6490,14078,9730,4675,14081,8999,10712,14082,
13509,8058,13815,13870,14084,2821,14085,3488,14086,14087,12690,13621,10444,7381,14091,14092,7101,5313,14095,7497,12243,2724,9134,11098,5944,
14097,2469,10151,14099,10573,4345,7524,11997,4320,2471,9952,14100,11832,7820,3794,9950,2473,14104,14105,8747,14107,14109,14110,10732,14111,
4007,13427,4555,14113,8870,7950,14114,11317,14116,2480,2846,4154,14118,5542,4870,14120,3636,7160,2482,5817,4649,13289,12446,12597,2484,
11347,10593,12421,10898,14128,4074,8106,3881,6957,14132,13817,4219,14133,12635,8941,13095,2491,14136,14137,2493,9287,11304,4806,11154,14139,
3452,14140,2495,7086,14142,14143,2497,14144,14145,11965,4508,10803,2499,9516,10842,12161,14148,5830,14150,12741,13739,14151,5591,4969,11060,
14153,13046,14154,13687,14155,14156,8275,10657,11841,9656,9762,6488,2511,14157,11364,12189,12547,14159,14160,3815,14161,14163,14165,2517,14166,
2782,9685,8638,14167,14169,10067,13252,14171,9091,10140,14172,14173,2522,7488,8349,6439,12122,2524,5359,14178,5653,12213,14179,14181,14182,
5370,5090,14184,14185,3221,11740,11884,14187,9449,14188,2531,14189,7443,11303,14191,14193,3023,3664,14194,13147,6422,3278,12767,8577,13850,
6106,14199,14201,4425,2540,14203,10933,9726,5720,6554,9031,2542,5883,14207,8283,2543,7934,3084,9180,2699,13887,8773,6102,10512,9430,
14123,14211,10951,7725,10029,13987,6104,13761,5189,14214,13320,14216,14218,14219,14220,2551,14223,6112,14225,6648,14226,2770,14228,11716,7926,
8129,14230,14222,14231,14232,14233,13304,5002,13732,11637,14236,6069,4433,7792,2560,4753,13257,14240,11996,9053,13937,6158,7891,7408,14243,
4946,14244,14041,12031,14247,6505,4610,13444,7414,4128,2567,14249,3030,9881,11451,14251,14253,6098,12350,9462,14254,14255,8239,14256,5959,
7786,9675,6865,6898,11490,14260,4453,11258,7857,12303,3258,5958,13236,2779,12020,2579,3605,7763,14229,14197,12786,13615,14264,8858,14266,
14268,7345,2583,14271,9579,13366,3546,14275,13866,9615,14276,12617,14277,12742,13506,6543,14029,12652,14278,14279,14280,14281,14282,9059,11325,
11560,11914,6849,5481,10410,14285,11932,14287,14288,12663,14289,2598,6952,2599,14291,9348,4401,9122,14292,14293,13759,14294,8643,14296,6823,
3601,2603,14298,12559,5854,14299,14301,6411,6986,7811,2609,9100,14272,14303,10570,14304,14305,2614,12024,12537,14022,8462,3998,10374,13510,
3331,14309,14310,12952,7272,10634,9679,14313,14314,14252,6052,3029,14316,14318,2622,13190,7047,14320,14321,9497,13430,11497,10980,6826,14324,
14325,14326,13356,8608,14328,7174,14058,3682,13127,14331,14332,12868,14333,12234,14334,14335,2631,14336,3354,7707,14338,2633,11181,3430,3652,
6919,14343,4843,2635,14345,6470,11018,3696,3191,14348,6533,14350,14352,14354,14355,11210,2639,5297,9642,14356,7445,6443,3134,13156,6574,
7107,13223,2643,14362,14363,14364,14365,14366,7136,9229,2648,12578,14368,14369,8793,14372,9663,14374,13397,13945,14375,13381,14377,14379,7587,
5948,13650,6526,11035,2656,14381,13133,5974,13029,4852,2658,14383,12771,14384,14385,14387,11082,14330,5918,13244,2662,14308,14391,14392,9569,
14394,2664,6615,13376,2666,14396,14235,2668,13248,7210,14399,6942,12839,14401,14402,14096,14404,8061,4796,14406,8025,4640,14410,14411,14412,
11618,14413,12003,2680,11484,8091,14415,14258,7452,2682,12566,8361,9924,14419,4941,5120,14421,12637,6562,5757,12181,9632,6774,12434,3337,
3655,4109,6694,14424,14425,10721,8969,12425,11713,6369,11770,14242,12299,5993,7827,14429,6867,14430,14431,14432,13026,12134,14434,14436,12347,
13619,11009,2701,8189,3148,9958,7860,9335,2705,10388,14439,14441,6078,14444,14446,13195,14448,12539,4002,8125,2709,14450,14451,6878,12264,
14453,6822,4826,13988,14456,13742,10615,14458,14459,6808,2716,8198,7927,5499,12809,12940,14462,11279,2718,9422,9347,12736,2720,9945,14465,
13051,12913,13727,2722,13646,14468,9175,14470,11048,12117,12784,5223,5183,9773,14234,14475,11946,4729,12068,14224,5552,7795,7062,2733,14059,
13129,14478,13555,5510,14481,14482,11698,13813,6845,13380,14484,14485,7569,8076,3766,14489,14491,14492,2743,11976,12168,11954,14494,10167,7282,
11403,7755,11481,14498,8633,14501,8928,14502,2753,9439,10455,6862,5623,13014,14504,14505,2755,14506,12758,11722,13886,5220,14507,14141,14508,
14509,10057,14512,14344,14514,14515,9562,13977,9373,6882,14126,14519,13227,14520,14503,2767,14521,14522,13276,11916,14525,3055,8915,13260,14528,
12001,14529,2772,10562,14530,14531,10124,13876,11733,6353,9454,9384,10795,8976,12383,9182,9215,8743,13723,13907,4688,12686,14537,14539,14208,
14540,6128,9276,11046,14542,14543,2786,12251,3178,10113,5126,7804,5874,2789,14548,13694,13804,12513,2791,7493,10773,4804,5685,2793,3701,
4963,14422,4042,11857,11990,14554,4996,14556,11746,2797,12927,8084,13031,14558,14286,14559,6556,6915,12459,14562,8619,10325,5378,12794,14341,
14274,14339,13146,7069,14566,11226,8888,13134,9201,3566,7536,8398,13453,13215,13669,5246,9282,2813,9576,8571,14217,14573,14574,12956,14549,
5771,2817,12211,14576,13675,14463,2819,14227,5786,14577,14578,5457,13243,11248,2823,8281,9863,7984,3759,13278,5402,2826,8181,7742,14582,
13834,14584,12744,13828,3782,11519,14239,4720,11414,5621,11650,14051,2832,14589,3491,10333,10227,14592,14593,14594,5293,14440,11757,14596,14598,
13247,14600,6698,14119,9812,11422,5742,8137,10532,11186,2844,14603,10709,11119,7083,7867,14606,12824,4747,9818,12362,14479,14608,7899,5506,
14609,6175,10440,14612,2851,11835,8036,3173,13821,12108,13652,10556,5409,2855,13388,3295,13574,8984,3684,5559,12718,14620,12293,6927,14622,
7041,2863,13476,12870,12466,6454,14624,14625,13830,2865,8494,14547,14629,14631,11814,14633,10736,8997,12619,5772,14636,3418,10335,13255,13328,
3364,8291,14640,9624,12881,7476,13697,6093,14605,13398,14643,13508,13025,10973,11274,7058,14647,7054,6385,2879,11200,11467,6324,11039,14650,
11512,2883,3498,4841,13989,14652,6699,13625,2885,9956,14655,11759,14656,14658,7417,9098,8128,3867,13638,13175,14662,14664,12323,5610,8936,
5210,14472,13267,5400,13835,11933,10115,10590,12847,6910,2894,8313,3078,10506,4923,14672,6024,14035,14674,13189,14677,14428,6672,14678,5495,
10629,12772,14680,2902,7421,14682,11821,13963,10914,14685,3098,14686,3090,8867,2908,3838,5554,14688,7579,11725,13925,9996,14690,14691,14693,
8703,14695,14696,8681,14382,5832,11401,7520,10824,13448,2916,12387,11096,8756,12976,13513,4567,10032,14700,8855,14701,10192,14702,14703,9731,
13862,13436,9701,6141,14586,14704,14705,14706,14204,6257,11631,3010,14689,9720,9466,14710,10878,13466,4076,2934,2936,8176,13796,14711,2938,
6450,14713,13152,9626,11508,2940,6909,12294,11198,10338,4919,7623,8422,14718,14719,9521,14721,14416,2946,14723,2948,12863,7239,3898,13680,
2950,3811,14641,14427,11613,12642,8442,5020,14729,7490,14730,7348,14731,6652,3776,14733,12130,12339,14551,14736,14737,12357,14395,10263,11026,
11393,8465,11686,13909,14601,2964,6156,14019,6572,12277,7254,14742,11938,13848,7855,8726,11970,11718,14747,14445,14748,13030,13464,12941,8056,
13041,12249,12313,11672,2975,14089,12286,14751,6484,3597,5530,2979,14611,14753,12704,7782,6063,11784,14046,6074,12269,4053,13389,8850,13929,
14755,11448,12282,14757,10491,12006,5662,14646,2995,14759,3100,13001,6486,14762,14599,13895,14765,13367,11024,9446,14768,3003,14770,14771,11661,
14772,11288,14774,6944,7170,3006,10537,8218,6491,14776,6838,5438,14063,12853,12257,14778,13488,3012,7753,14671,3542,9195,9155,14196,3017,
7111,14257,10172,11602,7532,10038,13394,3019,4651,14785,14786,8602,14739,12764,14787,11377,14164,14535,11660,14789,5934,14790,14791,14792,6289,
8030,3032,14794,3034,6089,7103,9930,12743,4211,9329,11730,9739,11865,13837,10876,14464,11102,13459,7288,6853,10962,3045,3385,4262,14802,
3477,5205,14804,14805,13718,12630,14807,14809,12503,10786,8111,12341,4202,14302,7745,3366,8334,14811,10341,10575,7487,3059,14575,4755,14814,
14815,14108,8954,12388,12907,14816,3062,7236,3064,4182,10777,3065,11315,14076,14822,11621,7789,3070,3686,14329,13598,3299,5082,12967,11773,
14824,14826,14828,14829,13432,12203,13406,14408,14831,10683,7970,14834,14835,10856,10889,14837,13990,12858,13558,13058,14840,14842,6971,11979,13007,
8967,14750,13570,13893,3096,14844,13774,14847,10345,7075,7385,14106,3102,8861,12876,14850,11658,7427,9441,12044,6931,6165,3107,9181,4134,
13568,14853,13292,14752,14855,12180,14857,4959,8757,14859,3869,14860,14861,3116,12106,11167,7113,12371,14862,12636,14864,3118,10733,13703,13403,
3119,6806,7509,3484,14866,14867,12804,12232,14869,7896,4500,13040,3125,9211,14008,9310,3126,11812,12763,14874,10572,14875,4161,10817,14560,
14011,14877,13810,9744,14868,14511,14437,11433,14878,9932,11935,8236,13955,9474,14879,7806,12695,14880,6349,14881,14883,5972,10589,14884,14886,
14887,13962,9120,5052,10966,3149,5624,3960,11847,13526,3152,11731,14894,3154,14129,14896,8519,11202,10792,3540,11875,14899,12943,13714,11940,
14393,3159,14901,11629,14040,14438,9880,5363,9605,3165,9412,5299,3580,14571,7869,3167,5701,3169,4317,14206,14907,14162,14200,14908,14909,
10068,14746,8674,12698,9338,10819,14845,14912,5855,5468,12468,14913,8809,9886,13116,12874,13917,14918,14442,7538,14873,8738,12592,8658,13092,
14852,3184,14923,12937,3888,14924,10779,13595,7009,14928,11285,7030,12920,9567,10390,4198,10311,11895,5922,6242,3193,10161,12954,3195,9912,
4359,14921,8303,12875,10737,14935,12100,9536,13300,9052,13479,5968,13548,7221,11795,4737,5261,13645,14938,11260,14044,14319,14756,14940,5914,
9897,6981,12500,13620,4046,4686,9621,14944,6798,3215,14322,12802,13968,3217,11296,14948,14017,14949,14951,14952,14469,8541,11724,7582,12419,
6624,13591,10594,14724,3226,14564,12757,7733,14959,9004,9393,14495,6707,11152,4777,4725,8483,3234,13597,11112,14964,10708,9477,13083,14965,
13684,10731,10729,14390,14967,14968,13470,3239,8504,8277,14971,10415,8700,11783,7671,3243,13445,14974,12668,11917,6056,14026,10695,14977,14070,
12776,11562,14657,4527,4191,13997,11121,8957,9050,12432,14403,7547,4598,11391,14984,3311,4682,14985,5347,5493,14988,13894,4482,6859,5643,
11537,9389,14990,14992,10168,3519,14315,9405,3526,3267,7985,14367,11318,10423,12438,9541,14998,14669,8293,14670,15000,12370,14131,15003,9427,
5000,14102,4538,11625,14380,15007,15008,14538,7347,12992,3280,14714,15011,14407,3282,12492,9117,15013,3286,9309,10888,12688,11177,6285,14358,
15016,13702,3554,5025,12097,3292,4338,11939,11159,3297,11903,9047,12945,15018,6772,11693,15019,14284,6339,8021,11630,3303,14942,7320,14707,
14741,12126,13798,10691,14376,3313,5615,6186,13055,3315,11068,12911,15023,14783,3317,10767,4495,5549,6984,15025,10660,5102,7506,8742,7148,
15027,6954,15028,13952,14803,12185,14930,11907,14865,13757,10156,14615,8262,3341,3439,15032,13053,10994,15034,6495,3344,13705,14349,14149,14435,
15036,15037,15038,13312,11590,15040,6406,11065,9218,14922,10698,3351,8213,14782,15042,15043,13378,12906,14795,15044,11356,3355,15045,15046,13891,
15047,8278,11233,9842,3359,11237,14602,14728,15049,13899,13713,15051,4771,4719,9682,9964,5870,12924,9440,14972,4540,13765,13785,5442,6153,
12499,13070,10606,15055,8455,7629,12444,15056,6483,15057,7698,11654,9129,4209,15058,15060,15062,15063,14819,5037,11388,11620,9337,5538,15065,
5416,11120,13298,6673,15068,10547,14513,8315,5424,15070,12509,3387,3493,15071,10314,8785,13011,9595,13616,7916,14476,14766,13020,11385,8720,
12842,15029,11738,3398,6433,6275,10894,11178,15077,5676,5745,9757,14872,3458,5916,13165,14616,15082,10286,5705,5749,11581,12613,9475,13063,
10398,4929,15085,4902,4158,13057,14135,11592,13066,3416,15087,14541,10748,11855,11591,10133,15089,12045,15092,11605,14570,15093,3426,8006,12915,
10814,7554,11469,5561,15095,15097,3704,13906,12544,13539,6006,8193,12038,3432,15100,3434,5376,6515,15069,14999,14250,14591,6444,5367,14192,
13402,15107,13516,13465,3444,10145,10449,9931,3446,14632,11518,7907,14176,13141,4295,3449,5849,15111,14283,11656,15102,14715,3454,13941,10967,
5250,10612,11925,10046,11668,8454,14405,14146,12645,3461,10863,8258,14697,12569,14590,14122,15116,14945,5278,15117,3467,13484,10507,14210,10906,
15118,15120,14373,4696,7032,14738,10727,6371,10927,11369,15122,15123,13325,9491,15124,6874,15125,15127,15128,15048,13575,10627,10756,14039,13975,
4802,13540,14080,10369,13879,11556,7669,5397,10550,13098,13441,10107,13693,7406,10226,14477,7003,9168,14198,12815,7250,11478,15139,9002,14561,
4839,12451,14532,11544,14480,9561,9650,5629,3508,15141,3510,14270,4021,3860,6083,3512,12525,13603,9162,12683,3514,14793,8352,4048,8004,
11982,4122,15086,11212,12455,11568,13045,12170,15148,13845,8119,15150,10713,14812,10753,13768,6736,12250,7683,5838,12255,3534,13607,15153,3536,
9708,12861,11566,14763,15157,12829,12132,15158,9033,11151,15160,11924,3548,15161,15162,6014,15164,3550,13273,12672,10774,11789,8253,14960,6767,
5070,10895,7835,10675,3556,10522,15169,3863,10394,13542,15174,13282,14466,10498,12873,11872,15177,9538,15119,12751,3564,15178,11188,8901,15181,
11692,8491,15183,4266,3569,11824,3570,6232,15186,5046,14801,3574,15188,15189,13119,13043,13049,7268,15101,9600,12933,13922,7675,15114,9706,
14806,15192,11087,7928,14798,4698,15193,5528,12372,9199,12586,6742,13415,3587,11145,9069,15195,3591,15104,11410,14649,15199,11269,15115,6688,
12009,15200,15201,14371,3599,15204,13360,15206,14839,15076,5455,11811,10434,9609,12224,4469,13979,4971,15209,15210,3612,10806,7817,10974,4766,
8002,4467,14212,15212,15213,14937,12797,9760,15215,15216,6900,12598,15217,15039,14996,11969,5086,3631,14585,13656,5317,15219,12582,14261,15221,
14357,6262,10673,3638,10560,13511,9661,14409,3642,13003,10937,15223,6929,6284,10184,15226,5429,5028,4254,15227,10094,14342,13545,10771,15163,
14975,12408,3660,12520,13486,8956,11944,14885,3662,12835,15230,8777,13670,15232,14810,14882,3678,15234,3667,14190,13131,3670,14488,14306,9353,
3833,15236,13285,3675,3980,10679,8543,14523,12476,6402,14800,15238,15239,14902,15241,10075,15243,15168,12936,6844,15244,13698,15052,14708,4551,
15061,15202,10928,14788,15247,9967,10836,14205,11128,6190,3697,14263,15251,13606,15009,14536,14892,11086,7044,6869,4223,10944,8044,11710,15144,
13140,14919,13912,3711,15096,4690,3773,9770,6126,14890,8038,15257,14497,5243,10083,9419,15259,3724,13302,10301,15260,15262,15263,7911,11454,
6781,8364,15266,11023,11627,13974,15269,15110,9254,4356,13535,4091,9136,3742,14717,3743,5572,15273,11333,3747,14973,8103,12894,7374,15277,
15267,15134,10050,14621,12364,11146,15281,5936,3829,15284,8986,10211,13770,6544,12124,10231,13315,15198,9243,12390,15286,14817,7037,15287,15140,
14024,12973,4952,10053,6322,12076,8368,9841,14317,13936,13220,15289,8578,13501,15290,7929,15291,11381,9704,15083,10467,9994,13471,15293,9534,
11597,15296,3786,5575,9081,3790,7573,15298,15299,3792,9949,14555,11928,12334,12159,13939,9867,14093,9577,15302,14895,13629,14889,5054,5380,
8486,3809,11231,6674,6519,13159,4975,14823,12908,4627,15305,3817,5130,15264,13505,14297,13101,15121,10931,3823,9767,15306,9878,14262,6619,
14651,14426,4070,12149,14933,4626,4830,6847,8589,14692,3836,15307,13439,14830,15309,3840,11548,9573,14238,13787,9437,11271,15196,7863,9512,
15311,11092,11767,13207,9617,11524,15265,12220,15314,12958,3850,4355,15149,15317,9802,7751,6828,12093,3857,6111,7186,13653,14638,15320,7419,
4302,11994,8874,12723,13074,8013,5081,15220,13200,15324,12317,10885,9927,5191,10867,13682,9517,14474,14848,5550,13344,8740,12029,13633,4420,
3883,11006,13897,3886,4013,6335,10239,8394,10134,14893,14455,7468,14269,14069,8679,9989,7343,13440,13763,6131,8631,12495,9962,14626,9285,
7280,4808,12114,13390,3911,4293,15283,14617,3912,8389,15334,6658,15336,10169,12632,14587,14443,15337,14987,9763,12738,3916,14487,5372,5925,
15133,5021,15339,12879,14904,6630,15340,6920,10529,15341,13145,3932,13642,13225,15343,13042,15079,14775,12497,15252,15090,15346,11528,9184,11967,
14209,14799,9457,8419,8940,15245,14490,8831,5630,14572,14101,6670,3947,14910,15084,3955,10923,14527,14079,9499,3957,15349,14604,7622,15350,
15249,15351,14215,9505,11217,4125,7667,3967,15352,9300,12395,11816,14347,11206,15106,15353,15172,15105,15354,13800,15355,15180,13373,4207,6182,
3981,15358,7981,15359,12412,8685,4534,4349,15361,12356,4260,14351,3994,4440,15142,15363,14915,15276,7255,9791,12305,15348,5736,11943,11286,
10741,7633,15365,10307,9433,14483,9628,9418,4604,5138,10715,14983,7865,12402,15366,12200,14832,14925,11585,15021,15367,4790,15368,11117,14013,
13473,4023,14065,6921,9776,13802,14781,15370,15081,10744,15371,12878,8815,4033,15372,13658,10119,8448,4036,12381,5157,4931,13126,14740,6751,
9645,6824,14195,10620,5284,9511,13750,4044,15315,14020,10005,14888,14420,15374,15375,13370,10964,13048,12782,15376,15378,4059,15379,5013,9544,
8185,8054,13494,4253,13297,10313,5733,14744,14953,15059,8354,10739,4082,11985,15137,11972,14168,8051,15237,14905,9322,10015,5969,10358,12296,
11028,11373,4100,8460,13130,13421,14388,15233,11487,15022,7156,15382,8829,6076,13363,4581,11161,14581,12238,11843,11332,15268,14307,12214,4127,
15072,7910,15386,9164,15035,4136,8833,4139,15388,14916,4858,5500,6894,14083,4146,13986,4147,12900,13661,5255,4150,10940,12969,14767,14769,
15159,12806,12136,15392,10500,15280,4898,4170,14094,15393,15394,15395,14174,15397,6834,4178,7051,9633,7620,8886,4180,15211,10442,5059,14359,
11901,13740,15403,15404,6864,11367,4188,7802,11665,9039,15300,9509,11623,15406,8187,5962,7465,9023,4205,14565,12360,14397,14152,11496,14186,
13308,14300,4304,9021,10961,15279,14642,11311,14056,10654,15409,13882,14248,14734,9216,9358,5649,11714,4231,11426,12072,14962,4237,8693,13695,
12893,8696,4782,9317,7317,10361,14846,15414,15415,14370,9240,10797,6769,11165,5395,13844,8645,13387,15156,11131,4940,12737,13016,5724,8823,
13354,11851,14449,15418,12205,4275,4276,15006,4504,9869,8264,15419,8156,13608,8358,12481,8904,4286,9992,8800,15420,15242,15422,10919,12268,
5645,4300,15423,4587,9225,12118,15387,12892,8662,5096,9452,4875,9742,14668,13947,12472,13037,4315,15322,15427,5239,15428,14454,6731,7165,
12328,15416,5920,5342,8247,12398,13193,14931,12165,15330,13451,4350,7463,10355,15433,14978,10281,14663,14526,5647,10419,7829,9795,4362,11341,
15434,10429,15074,8066,14618,5584,4369,13047,4371,15436,15438,12079,14722,11108,14595,12749,13105,6487,8467,4382,13933,10370,13205,5391,11745,
15441,12993,9778,4392,9206,14725,14378,13550,4396,13316,12112,14936,15312,7652,13197,9722,13035,4403,14950,13737,12281,14665,7709,15325,13237,
9064,11346,14911,15445,13902,10548,13400,12394,15316,5895,15091,4423,15447,6234,15448,7643,12811,7181,9965,6638,13008,15449,13113,12994,4439,
11657,7077,14871,4831,12005,4447,14004,9671,4460,14418,12963,11790,14524,5302,13249,11711,11138,6913,15030,11295,12156,11273,9013,14134,15356,
14716,15129,9293,14510,12366,13942,4480,14760,9890,13612,14124,12382,13068,11931,11860,4490,5942,8113,4553,13905,14471,4572,12091,14926,5526,
9781,12778,15455,10382,14237,15456,10479,11265,12521,15457,13579,8813,8086,14833,8771,9635,8825,9658,10982,11331,14995,4531,15170,9288,12230,
12163,5404,8417,11427,12511,11786,15151,12474,4812,5462,10742,15463,15187,7337,15327,14808,9078,5231,4546,12726,15466,14398,15467,10129,11567,
11977,8446,15469,11638,4560,4653,7831,15470,11810,14265,14854,15108,15458,11111,15112,6018,14667,9588,15471,15053,7905,15472,15098,14929,4579,
13807,14982,15473,15461,14552,8411,9318,12799,8616,12087,14213,8803,6567,14749,11964,12153,8580,6431,15389,15067,7144,15478,15480,11190,9186,
10601,15225,15481,15482,8840,6294,10704,12166,5678,12640,8078,15390,9495,14851,15484,6161,14025,15138,5582,4637,14117,9694,14353,10700,4642,
8597,12867,4644,13458,15135,14533,14653,15487,14386,9058,12752,15488,4925,12298,11192,7005,11909,8429,15491,13235,9237,9399,13461,12414,15377,
11016,15493,11764,8158,15464,8235,15401,5763,8346,15495,15411,15496,4674,15175,4677,8807,14676,15364,13566,13299,13062,12219,15465,11652,4689,
14569,10632,14679,15338,7966,15408,5121,13788,5104,10436,7704,4700,9597,11868,5633,14473,4708,15500,6038,13854,7968,12480,7555,4717,7894,
14797,7575,14773,4723,11244,12441,13475,5386,6248,4727,15504,11335,15136,14098,10989,12376,11429,15505,11540,8864,14072,15002,14758,13751,14175,
10049,15446,7333,12140,11259,15207,4762,11386,13160,15205,5674,15485,15214,5719,11769,11293,13174,14567,12012,5715,15208,14906,12971,8535,6588,
10285,15282,15509,12340,14534,14400,15413,12410,6355,15511,12529,13196,11201,15512,15513,15417,15240,10303,13023,15514,13240,11241,15323,6789,14673,
15515,9355,9955,9647,12558,14961,8395,10963,14666,11416,14980,15516,15517,15518,12602,14917,15319,8023,15519,6380,15520,15297,9279,14361,8122,
9432,14630,15521,10693,13728,14876,15522,15523,15524,7464,15228,14898,15525,5035,11867,10183,15527,13103,15528,4873,15530,11070,13161,7438,4877,
10256,12925,14645,14493,4884,10269,6044,12899,14607,14694,15439,4900,15094,13262,13843,14461,8620,14966,15510,13202,10273,12437,13995,4961,15453,
12855,12590,11004,14311,12594,4927,14588,14323,12540,7845,15533,7849,15534,15026,7757,15005,13663,11611,15130,5912,15535,12359,13256,14500,11777,
5905,15536,14125,12692,14981,6960,15426,15014,6337,6236,9327,15191,12531,4989,15073,15538,10954,9759,15539,14914,12089,9771,15301,14639,15103,
11610,5808,5794,10781,13012,11681,13611,15540,13172,13872,11196,10217,13735,15502,13210,12917,10235,12792,15543,5031,12379,5034,14958,9191,5039,
14546,15373,14761,5043,12367,15274,15546,8015,11873,15197,15255,15547,6583,8533,12217,5229,10999,9582,10735,8020,5248,5061,8485,6180,12556,
8841,13534,14433,15548,15064,5074,10656,15256,15017,15529,12687,9977,15550,10554,13998,7946,14784,13192,15218,15503,12344,15384,7925,10209,12823,
14661,15553,5100,10996,7815,12430,11521,12972,12314,15545,11564,10810,15507,10108,5116,8699,15171,11115,10971,10040,15498,14036,13594,10665,12697,
15494,5136,8245,14969,7591,13635,15557,14295,15558,15318,8290,13554,8256,10141,5960,14779,9843,11849,15231,14583,13407,12247,5175,5613,11871,
15560,14698,15526,15561,5187,13793,11642,15563,7097,9250,5195,12942,14891,10600,9150,9652,13336,9866,14946,10353,13920,5983,14648,13958,14849,
14897,13429,14467,11845,5244,12658,9089,14423,9187,14635,12780,7432,7938,8546,5256,11704,13310,6818,15565,14764,5263,9403,9906,10860,15566,
15429,13686,5276,12988,14963,13782,14870,9654,15088,15567,10687,5301,15551,9246,14088,7016,8490,6060,11989,5801,12979,7799,14414,14496,12137,
13984,12275,14628,12574,5336,10890,8522,14614,12283,10010,8224,6080,15570,5352,12524,14034,13847,11550,5842,10649,15342,6546,15572,10416,9799,
10523,15559,11837,7700,15443,15497,15573,7519,14460,11299,14138,15575,15576,6192,15444,9711,14818,10306,14613,14544,12766,6344,14727,8717,14903,
9192,14486,7247,15041,9529,11456,11133,15579,5434,15328,8660,11038,14920,5611,14568,15020,5446,15031,5451,15581,10861,12229,13676,11440,13914,
13005,5466,13556,6215,15583,5483,10998,13404,9542,10725,15586,9532,12951,14032,6579,11763,10925,9094,7461,15587,15405,15588,10275,11228,10481,
14563,14687,14180,14843,9572,14517,7932,15399,11437,14745,15398,7728,15568,15400,12922,14939,14732,7142,15113,14863,10678,5796,10060,14557,12515,
12614,9414,13365,9787,14956,7696,15591,13609,15010,11950,13840,11797,11664,15592,12278,14954,14955,12708,15024,15253,10545,11470,5602,7425,8180,
13487,5604,8151,15544,15440,13819,13572,15222,5618,6118,12746,13044,13783,5627,8328,12462,14121,13943,8386,13518,13711,15594,15381,10316,15595,
10459,6416,14934,15596,12526,13583,12202,6946,8931,9307,15303,15569,15597,14147,5746,12606,13480,13928,14993,14660,14597,12563,15542,15292,5688,
15451,15326,15571,13537,10421,8783,14023,5694,12535,14066,5698,13524,8222,15599,11412,15146,14360,15600,7609,15347,10003,9344,12600,10425,10044,
14991,9041,15362,13846,8249,14681,5780,13163,15313,14457,6121,8975,13965,6229,14130,13274,12852,9593,14346,15602,14389,15250,15604,15605,15606,
14735,13296,9546,13435,15607,8706,11728,11792,8306,5840,15288,15578,7702,8287,15147,11546,13349,5851,10643,12603,5857,15483,15407,13372,11690,
11405,12260,10821,14821,10514,7618,15391,13640,15489,10412,15402,13596,14267,12121,6692,15165,5908,7206,14943,13665,15332,15432,15593,9528,14060,
11252,13755,8178,15261,15380,6747,14927,15012,14545,13623,12702,11256,9914,8173,14841,13678,15609,15066,6362,8098,15486,5999,15442,13730,10320,
12266,9673,13972,15541,12755,13741,14052,15369,10331,7778,7813,14112,11090,15099,6441,13825,15155,10854,12550,11676,14245,12554,7539,14858,11870,
15295,13657,7007,15479,13927,12469,10576,7767,14986,8959,10027,11479,11329,9207,11043,15490,12918,6314,6124,14340,13411,6749,15608,13333,7736,
14941,15564,11876,10399,6756,12142,13613,11442,12235,10384,6150,10153,14158,8320,10666,10287,15109,14712,15555,13477,14997,14183,6435,15552,15611,
6188,15275,14979,15612,9213,13454,13079,7878,14947,12429,14115,14550,13137,14016,6717,15246,13521,9428,14103,14580,14820,15589,14825,15050,8649,
15258,6266,8805,11415,6282,8424,11649,6936,7049,12682,6296,10785,14637,6306,12164,14743,14127,6991,6319,6705,11699,6330,14836,8300,9241,
10592,15508,15335,15254,15601,14290,15532,9804,8605,9371,15385,15477,12436,11735,6758,15614,9925,15430,12092,12018,15425,14047,15450,11302,9885,
11157,15613,15549,12627,13560,8692,15331,6654,15562,15321,13446,10539,9884,6626,14796,15333,9801,6469,13028,11205,13217,11890,12501,15615,10035,
15590,15616,13901,12450,10509,6524,15617,15598,15424,13222,15459,14553,11774,7908,14932,13913,14516,15454,9524,8215,14654,10847,11473,15620,13950,
11752,7546,12037,12465,12965,15344,11635,10042,15499,13018,13266,14709,8480,14957,15621,13831,13667,12955,14452,12051,7116,12405,15437,11307,6729,
9127,15278,14627,15185,6755,11530,14068,7913,15179,14177,13734,14202,15610,15468,15173,11984,14976,15460,10299,14780,14900,7270,13716,15080,15475,
6871,15015,11132,6879,12280,13856,15345,15622,8318,13219,6977,13498,7601,7635,14312,15167,7013,14699,15190,12817,11673,12422,11030,12851,14090,
11694,14518,14994,15618,11905,10074,13015,14856,14644,15224,15421,15585,13880,7459,13186,15556,15033,11089,15078,7259,14499,12706,15143,13052,15271,
8149,7229,15584,9746,14610,13024,11799,10470,14684,14273,10513,10431,7312,11281,12748,14777,14042,12960,10516,15329,8440,15248,7396,15492,15582,
15308,13362,13254,12066,7495,13622,15431,15452,15619,10461,14170,11608,13358,15229,15294,14726,12008,11438,7565,12080,15182,7654,7612,11675,10953,
15203,11444,12978,15603,7639,7657,14075,11708,15235,12660,14970,12871,14337,10915,14827,7998,14989,7721,10258,14659,14417,13489,9519,10283,13334,
11600,14241,12442,8640,11094,15537,15270,13313,10055,12507,12337,15126,15501,15462,9315,10296,9845,7952,8390,13677,15075,15396,15474,15145,9296,
9247,14447,8008,14221,13176,15623,13993,9531,12478,8872,14259,14838,14683,14754,14634,15360,14579,14619,15176,8338,9421,13337,15285,13709,15357,
14001,15310,11219,15412,15194,15132,9149,13643,15166,14246,8443,15054,8451,9649,10647,10322,15184,8894,10289,15383,9102,11937,10456,13425,12287,
15506,15554,14327,13563,15154,12814,13418,8820,15272,15577,15304,10082,12158,14623,11850,13809,13885,15435,9260,9822,15476,9074,15001,14720,9140,
11921,14675,15580,13107,9248,15410,9270,13753,12898,15131,11688,9840,15574,12400,13022,10458,15004,12175,13551,10805,15152,14813,15624,15625,15531]
,\[
3,1,6,8,10,12,13,15,17,19,21,23,25,27,29,30,32,34,36,38,40,42,44,46,48,
50,52,54,56,58,60,62,64,66,68,70,71,73,75,77,79,81,83,85,87,89,91,93,94,96,
98,100,102,104,106,108,110,112,114,116,118,120,121,123,125,127,129,131,133,135,137,139,141,143,145,
147,149,150,152,154,156,158,160,162,164,165,167,169,171,173,175,177,179,181,183,185,187,189,191,193,
194,196,198,200,202,204,206,208,210,212,214,216,217,219,221,223,225,227,229,231,233,235,237,239,241,
243,245,246,248,250,252,254,256,258,260,262,264,266,268,270,272,273,275,277,279,281,283,285,287,289,
291,293,295,297,299,301,302,304,306,308,310,312,314,316,318,320,322,138,325,327,329,330,332,334,336,
338,340,342,344,346,348,350,352,354,356,357,359,361,363,365,367,369,371,373,375,377,379,381,383,385,
386,388,390,392,394,396,398,400,401,403,405,407,409,411,413,415,417,419,421,423,425,427,429,430,432,
434,436,438,440,442,444,446,448,450,452,454,456,457,459,461,463,465,467,469,471,473,475,477,174,480,
482,484,485,487,489,491,493,495,497,499,501,503,505,507,508,510,512,514,516,518,520,522,524,526,528,
530,532,534,536,537,539,541,542,544,546,548,550,552,554,556,558,560,562,563,565,567,569,571,573,575,
577,579,581,583,585,587,589,570,591,593,595,597,599,601,603,2,606,608,610,612,613,615,616,618,620,
622,624,626,628,630,632,634,636,638,640,642,643,645,647,649,651,653,655,657,659,661,663,665,666,668,
670,672,674,676,678,680,682,684,686,688,690,692,694,695,697,699,701,703,705,707,709,711,713,715,717,
719,721,722,723,725,727,729,731,733,735,737,739,741,743,745,747,749,750,752,754,756,758,760,762,764,
766,768,770,772,774,776,253,778,780,782,784,786,788,790,792,794,796,170,799,801,803,804,806,808,810,
812,814,816,818,820,822,824,826,828,830,832,833,835,837,839,841,843,845,847,849,851,853,855,856,858,
860,862,864,866,868,33,871,872,675,875,877,879,881,882,884,886,888,890,892,893,895,897,899,901,903,
905,907,908,910,912,914,916,917,919,921,923,925,927,929,931,933,934,936,938,940,942,944,946,948,949,
951,953,955,957,959,961,963,965,967,969,971,973,975,977,978,980,982,984,986,988,990,992,994,996,998,
1000,1002,1004,1005,1007,1009,1011,1013,1015,1017,1019,1021,1023,1025,1027,1029,1031,1032,1033,1035,1037,1039,1040,1042,1044,
1046,1048,307,1051,1052,1054,1056,1058,1060,1062,1064,1066,1068,1070,1072,1074,1076,1078,1079,1080,1082,1084,1086,1088,1089,
1091,1093,607,1096,1098,1100,1102,1104,1105,1107,1109,1111,1113,1115,1117,1119,1121,1123,1125,1127,1129,1131,1132,1134,1135,
1137,1139,1141,1143,1145,1147,1149,1151,1152,1154,1156,1157,1159,1161,1163,1165,1167,1169,1171,1173,1174,1176,1178,1179,1181,
1183,1185,1187,1188,1190,1192,1194,1196,1198,1199,1201,1203,1205,1207,1209,1211,1213,1215,1217,1219,1221,1223,1225,1227,1228,
1230,1232,1234,1138,1237,1239,1241,1242,1244,1246,1248,1250,1252,1253,1255,1257,1259,1261,1263,1265,1140,1268,1269,1271,1273,
1275,1276,1278,1280,1282,1284,1286,384,1289,1291,1293,1294,1296,1298,1300,1302,1304,1306,1308,1310,1312,1314,1316,1318,1320,
1322,1323,1325,1327,1329,1331,1333,1335,1337,1339,1341,1343,1345,958,1347,1349,1351,1353,1355,1357,1359,1361,1363,1365,1367,
1369,1371,1372,1374,1376,1378,1379,1381,1383,1385,1387,1389,1391,1393,1395,1397,1398,1400,1402,1404,1406,1408,1410,1412,1414,
1416,1418,1420,1422,1424,1426,1427,1429,1430,1432,1434,1436,1438,1440,1442,1444,1446,1448,1450,478,1452,1454,502,1457,1459,
1461,1463,1465,1467,1469,1471,1473,1474,1476,1477,1479,1481,1483,1485,1487,1489,1491,1493,1495,1497,1499,1500,1502,1504,1506,
1508,1510,1512,1514,435,1517,1519,1521,1523,1525,1526,1528,1530,1532,1534,1536,1538,1540,1542,1544,1546,1548,1550,1552,1553,
1555,1557,1559,1561,1563,1565,1567,1569,1570,1572,1574,1576,1578,1580,1581,791,1584,1586,1587,1589,1279,1592,1593,1595,1597,
1599,1601,1603,1604,1026,1607,1609,1611,1613,1615,1617,1619,1620,1622,1623,1625,1627,1629,1631,1633,1635,1637,1639,1640,1642,
1644,1646,1648,1650,1652,1654,1656,1658,1660,1662,1664,1666,1668,1669,1671,1673,1675,1677,1679,1681,1683,1685,1687,1689,1690,
1692,1694,1696,1698,1700,1701,1703,1705,1707,1709,1711,1713,1714,1716,1718,1720,1722,1724,1726,1728,761,1731,1733,1735,1737,
1738,1740,1742,1744,1746,1748,1750,1752,1753,1755,1757,374,222,1761,1763,1764,1766,1768,1770,1772,1774,1776,1778,1780,1782,
431,1784,817,1787,1789,1790,1792,1794,1796,1798,1800,1802,1804,1806,1808,1810,1812,1813,1814,1815,1817,1819,1821,1823,228,
1826,1828,1830,1832,1834,1836,1838,1840,1842,1843,1845,1846,1848,1850,1852,1854,1856,698,1858,1860,1862,1863,1865,1867,1869,
1871,1873,1875,1877,976,1880,1882,1884,1886,59,1889,1890,1892,1894,1896,1898,1900,1902,1904,1906,1908,1910,1912,1914,1916,
1917,1919,1921,1923,1925,1927,1929,1931,1933,1935,1937,1939,1940,1942,1944,1946,1537,1948,1950,1951,1953,1955,1957,1959,1960,
1962,1964,1966,1968,1970,1972,1974,1976,1977,1979,1981,1983,1985,1987,1989,1991,1676,1993,1995,1997,1999,2001,2002,2004,2006,
2008,2010,2012,2014,2015,531,2017,2019,2021,2023,2025,2026,2028,2030,2032,2034,2036,2038,2040,2042,2044,2045,981,2047,2049,
2051,2053,2055,2056,2058,2060,2062,2064,2066,2068,2069,2070,2072,1626,2075,2077,2079,2081,2083,2085,2087,2089,2091,2092,2094,
387,1003,2098,2100,2102,2104,2106,2108,2110,2112,2114,2116,2117,954,2120,1061,2122,2124,738,2126,2128,2130,2132,2134,2136,
2137,2139,2141,2143,2145,2147,918,2150,2152,989,2155,2157,2159,2160,611,2162,2164,2166,2168,2148,2171,2173,2086,1672,1527,
2177,2179,2180,2182,2183,2185,2187,2189,2191,2193,2195,2197,2199,2201,2202,2203,2205,2207,2209,2211,2212,2214,2216,2218,2220,
2222,2224,2226,2228,2229,2230,2232,2234,2236,687,2239,2241,2243,2244,2246,2248,2250,2252,2254,2255,2257,2259,2261,2262,2264,
2266,2268,2270,2272,2274,2276,2278,2280,1247,2282,2284,2286,2287,2289,2291,2293,1513,2296,2298,2299,2301,315,2303,2304,2305,
2307,2309,2311,2312,2314,2316,2318,1754,2321,2323,2325,2326,2328,2330,2332,2334,2336,2338,2340,2342,2344,2346,2348,2350,2352,
2354,2156,2357,2359,2361,2363,2365,2367,2368,2370,2372,2373,2374,2376,1647,2379,2381,2383,2385,2386,2388,2390,2392,2394,2396,
2397,2399,2400,2401,2403,2405,2035,2408,2410,2412,2414,2416,2417,2419,1759,2421,2423,2425,2427,2429,2431,2432,2434,2436,2438,
2440,2442,2444,2446,2447,2449,2451,1449,2454,2455,2457,2459,2460,2462,2463,2465,2467,2469,2471,2473,2475,859,2478,2480,2482,
2484,2485,2487,2488,2490,2491,2493,2495,2497,2499,2501,2503,2505,2506,805,2509,2511,2513,2515,2517,2519,2521,2522,2524,2525,
2527,2529,2531,2533,2535,2537,2539,2540,2542,2543,2545,209,2548,2550,2551,2553,2555,2557,2496,2560,2562,2564,540,2567,2569,
2571,2573,2575,2577,1409,2579,2580,2582,2583,2585,2587,2589,2552,2591,2593,2594,2596,2598,2599,2601,2603,2605,2607,2609,2610,
2612,2614,2616,2618,2620,2622,2624,2625,2627,2629,2631,2633,2635,2636,4,2639,2641,2643,2645,2646,2648,2650,2652,2654,2656,
2658,2660,2662,2664,2666,2668,2669,2670,2672,2674,2676,2678,2680,2682,2684,2686,2688,2690,2692,2693,2695,2697,2699,2701,2703,
2705,2707,2709,2711,2713,2714,2716,2718,2719,2720,2722,2724,2362,2726,2728,2730,2731,2733,2735,2737,2739,2741,2743,2744,2745,
2747,2749,2751,679,2753,2755,2757,2759,2761,2763,2765,2767,2768,2770,2772,2774,2776,2777,2779,2781,2782,2784,2785,2786,557,
2787,2789,2791,2793,2795,2797,2799,2800,2802,2804,2806,2489,2809,2811,2813,2815,2817,2819,1411,2821,2823,2825,2826,2828,2830,
2832,2834,2836,2838,2840,2842,2844,2846,2848,2849,2851,2853,2855,2708,2857,2859,2861,2863,2865,2867,2869,2870,2871,2873,2875,
2877,2879,2881,2883,2885,2887,2889,2891,2893,2894,2896,2013,2898,2900,2902,2904,2906,2908,2910,2912,2914,2916,2918,2919,2920,
2922,2924,2926,2420,2929,2931,2932,2934,2936,2938,172,2940,2942,2944,2946,2948,2950,2952,2954,2956,2958,2960,2962,2964,2966,
2967,2969,2971,2973,2975,2977,2979,2981,2983,2985,2987,2989,2991,2993,2995,566,2998,3000,1433,3003,3005,3006,3008,3010,3012,
3014,3016,3017,3019,3021,3023,190,3026,3027,3029,3030,3032,3034,3036,3038,3040,3041,3043,3045,3047,3049,3051,2611,3053,3055,
3057,3059,3061,3062,3064,3065,3066,2572,3069,3070,3072,3074,3076,3078,3080,3082,3084,3086,3088,3090,3092,3093,3094,3096,3098,
3100,3102,3104,2011,3107,3108,3110,3111,2074,3114,3116,3118,3119,3121,3123,3125,3126,3128,3130,3132,3134,3136,1287,3139,3141,
3143,3145,3146,3148,3149,3151,3152,3154,3155,3157,3159,3161,3163,3165,3167,3169,3171,3173,3175,3176,3178,3180,3182,3184,3186,
3187,3189,3191,3193,3195,3197,3199,3200,3202,3204,3206,1618,3209,3211,3213,3215,3217,3219,3221,3223,3224,3226,3228,3229,3230,
3232,3234,5,3237,3239,3241,3243,3245,3247,3249,3251,3252,3254,3256,3258,3259,3261,2696,49,3265,3267,3268,3270,3272,2196,
3275,2375,3278,3280,3282,3284,3286,3288,3289,3291,3292,2807,3295,3297,3299,3301,3303,3305,3307,1274,3310,3311,3313,3315,3317,
3319,1022,3322,3324,3326,3328,3330,3331,3333,3334,999,3336,3337,3339,3341,3343,3344,3346,3348,3350,3351,1657,3354,3355,3357,
3359,3361,3362,3364,3366,3368,3369,3371,3373,3375,3377,3379,3381,3383,3385,3387,3389,3391,3393,3394,3396,3398,3400,3402,3403,
3405,3407,3408,3410,3411,3413,3415,3416,3418,78,3421,3423,3424,3426,3428,3430,3432,3434,3436,1605,3439,3440,3442,3444,3446,
3448,3449,3451,3452,3454,3456,3458,3460,3461,3463,3465,3467,3469,3471,3473,2186,3475,3477,3479,3481,3483,3484,3486,3488,3490,
3491,3493,303,2161,1285,3498,3499,3501,3503,3505,3506,3508,3510,3512,3514,3515,3517,3519,3521,3522,3524,3526,3528,3530,3532,
3534,3536,3538,3540,3542,3544,3546,3547,3548,3550,3552,3554,3556,3558,3560,3562,3564,3566,3567,3569,3570,3572,3574,3576,1226,
1352,2073,404,3580,3582,178,3585,3587,1745,3589,3591,3593,3595,3597,3599,3601,3603,3605,3606,3608,3610,3612,3614,3616,3618,
3620,3622,2927,3625,3627,3629,3631,3633,3634,3636,3638,3640,3642,3643,3645,3646,3648,3649,1338,3170,3652,3654,3655,3656,360,
3658,3660,3662,3664,3666,3667,2333,3670,2165,3673,3675,428,1831,3678,3680,3682,3684,3686,3688,3690,3691,3693,3694,3696,3697,
3699,3701,3703,3704,3706,1554,3709,3711,3713,3715,3717,3719,3720,3722,3724,3726,3728,3730,1071,1839,3734,3736,3738,3740,3742,
3743,3745,3747,3749,3751,3753,3755,3757,3758,3759,3600,3516,3763,3764,3766,807,3769,3771,3773,3774,3776,3777,3779,3476,3782,
3784,3786,1866,3788,3790,3792,3794,3796,3797,3799,3801,3803,3805,3807,3809,3811,3813,3815,3817,3819,3821,3823,3824,3825,3827,
3829,3831,3833,2022,3836,1820,3838,3840,3842,1423,3845,2928,3848,3850,3852,3854,783,3857,3858,3860,3861,3863,1879,3866,3867,
3869,3812,3058,3871,3873,3875,3877,3879,3881,3883,3885,3886,3888,3890,3892,3894,3896,3897,3898,3900,3902,3904,3060,3906,3908,
2574,3911,3912,3914,3916,3588,3919,3921,3923,3925,3926,3927,3929,3931,3932,3934,3935,3936,3938,1008,3941,2837,2953,3945,3947,
2994,3950,3144,2233,2518,3955,3957,3958,3959,3960,3962,3964,3918,3967,3969,3971,3973,3975,3976,3978,3099,3980,3981,3983,3985,
410,3988,3990,3992,3994,3996,3998,896,4001,4002,4004,4005,4007,3756,4010,4011,4013,4015,4017,4018,4019,3708,4021,4023,4025,
4027,4029,4031,4033,4035,4036,4038,4040,4042,4044,4046,4048,4050,4052,4053,2285,3097,4057,4059,4061,4063,4065,708,4067,4068,
4070,4072,4074,4076,4078,4079,4080,4082,4084,4086,3142,4089,4091,4093,2602,4095,4097,7,4100,4102,4103,4105,4107,4109,4111,
4112,2661,4115,4117,4119,3632,4121,4122,1466,662,4125,4127,4128,714,4130,4132,4134,4136,4137,4139,3731,65,4142,4144,4146,
4147,4148,4150,4152,4154,4156,4158,4159,4161,1816,1321,4165,4166,4168,4170,1405,2762,4173,4175,4176,4178,4180,4182,4184,4186,
4188,4190,4191,4192,4194,4196,4198,2435,4200,4202,4204,4205,4207,4209,4211,4212,4214,4216,3365,4219,4221,4223,4225,4227,4229,
4231,4232,4234,4236,4237,4239,4241,4243,4245,4247,4249,4251,4253,4254,4256,4258,4260,4262,4264,4266,4268,4269,4271,4273,4275,
4276,4277,3793,4280,4282,4284,4286,4288,4290,148,4293,4295,4296,4298,4300,4302,4304,4305,4307,4309,4311,4313,4315,4317,4319,
4320,4321,2538,4324,4326,4328,4329,4330,4332,4334,4336,4338,4340,4341,4343,4345,4347,4349,4350,3296,192,4353,4355,4356,2568,
1849,4359,4360,4362,4364,4366,4367,4369,4371,4372,4373,4375,4377,4378,4380,1841,4382,4384,4386,4201,4389,631,4392,4394,4396,
4398,4399,496,4401,4403,4405,4407,3856,4410,4412,4414,728,4417,4418,4420,4422,4423,4425,4427,4429,1723,4432,4433,4435,4436,
4438,4439,4440,4442,4444,2486,4447,4449,4451,4453,4455,4456,4457,3174,4460,4461,4463,4465,4467,4469,1155,4472,4474,4476,4478,
4479,4480,4482,4484,4486,4488,4490,4491,4493,4495,4496,683,4498,4500,4502,4504,4506,4508,4509,4511,4513,4515,4517,4519,4521,
4523,4525,4527,4529,4531,1413,4533,4534,4536,4538,4540,4542,4544,4546,362,4549,4551,4553,4555,4556,4558,4560,3164,4563,4564,
4566,4567,4569,4571,4572,4574,4505,4577,4579,3859,4581,3147,4584,4559,4587,4589,4590,4591,4593,4594,4596,4598,3117,4601,3683,
4604,4606,2163,671,4610,4611,4613,1585,4615,259,4618,4620,4622,4624,4626,4627,2395,4629,4631,4633,4635,4637,4639,4640,4642,
4644,57,4647,4649,4651,4653,2292,4655,4657,4659,4661,4663,4664,4666,4668,4669,4671,4374,4674,4675,4677,4679,3095,4682,4684,
4686,4688,4689,4690,4692,4694,4696,4698,4700,4702,4704,4706,4708,4710,3653,4712,2151,4715,4717,4719,4720,4721,4723,3504,4725,
4727,4728,4729,4731,4733,4735,4737,4739,4740,4741,4742,4744,4746,4747,4749,4751,4753,4755,4757,4759,3575,4762,2269,4419,4766,
4768,16,4771,4773,4775,4777,3549,4780,4782,4784,4786,168,4788,4790,4792,4794,4796,3031,4798,4800,4802,4804,4806,1204,4808,
4810,4812,4814,4816,2702,3150,4820,4822,4824,4826,4828,4830,4831,4832,2422,4464,4835,4837,4839,1791,4841,1920,4843,4844,321,
4846,4848,4850,4852,4854,4856,4858,4860,4861,4862,4864,4866,4868,4870,4871,4873,4875,4877,4879,4881,4882,4884,4886,4888,4890,
4892,4894,4896,4898,4900,4902,4904,4905,4906,2468,4909,4911,4913,4915,592,4918,4919,4921,4923,4925,4927,4929,4931,4933,4935,
4937,4939,4940,4941,4943,4945,4946,4948,4950,4952,4954,267,3705,4957,4959,4961,4963,4965,4967,4969,4971,4973,4975,2037,4977,
4979,4980,4982,4984,4616,4987,4989,2959,4992,4994,4996,4998,5000,5001,5002,3166,3406,5005,5007,5009,5011,5012,5013,5015,5017,
4510,5020,5021,5023,5025,5026,5028,5029,5031,5032,5034,5035,5037,5039,5041,5043,3839,2512,5046,5048,5050,5052,5054,117,5057,
5059,5061,5062,2192,5065,5066,5068,5070,5072,5074,5076,2084,5079,5081,5082,5084,5086,5088,5090,5092,5094,5096,5098,5100,5102,
867,5104,5106,2018,5108,9,5111,4803,5114,5116,5118,5120,5121,5122,5123,4857,5126,5128,5130,5132,5134,5135,5136,5138,5140,
5142,5144,5146,5148,5150,4962,5152,5153,1480,4312,5157,4547,5160,5162,5164,5165,5167,5169,5171,5173,5175,5176,2810,5179,5181,
5183,5185,5187,5189,5190,5191,5193,5195,5197,3298,5200,5202,4778,5205,4600,5208,2854,5210,5212,5214,5216,5218,5220,5221,5223,
5225,5227,1771,5229,5231,1158,3056,5234,5236,238,5239,4785,5242,5243,5244,113,5246,4691,5248,5250,5251,5253,5255,5256,389,
5259,5261,5263,5265,240,5268,5269,5271,5273,5275,5276,5278,5279,5281,5283,5284,5286,5288,5290,230,5293,5295,5297,5298,5299,
5301,5302,5303,5305,205,5308,2341,5311,5313,5315,5317,5318,5320,5322,5323,5324,5326,1177,5329,5331,5332,5334,5336,5337,5338,
5340,5341,5342,5344,5346,5347,2256,5350,5352,5353,5355,5357,5359,5361,5363,5365,5367,3335,5370,5372,1674,5374,5376,5378,5380,
2712,5383,5384,5386,5387,5388,5389,2976,5391,4335,5393,3951,5395,5397,5398,5400,1634,5402,5404,5405,1043,627,5409,5411,2698,
5414,5416,5091,5418,5420,5421,4603,5424,201,5427,5429,5431,5432,5434,5436,5438,5440,5442,5444,5446,4968,5449,5451,5453,5455,
5457,5459,5461,5462,5464,5466,5468,5381,2105,5472,5474,5475,5477,5479,2231,5481,5483,5484,5485,5487,891,972,5491,5493,5495,
5497,5499,5500,5198,5503,5505,5506,5508,5510,5512,3644,4595,5516,3974,5519,5521,1887,3260,5524,5525,5526,5528,5530,5531,5533,
5534,1344,5536,5538,5540,5542,5544,5545,5547,5549,5403,5550,5552,5554,5556,5558,5559,5561,5563,5008,5565,4676,5568,5570,5572,
5574,5575,5576,5578,5580,5582,5584,5586,5588,2329,5591,5593,5595,5596,5598,4126,4758,5601,5602,5604,5606,5608,5610,5611,5613,
5615,5617,5618,5620,5621,5623,5624,2843,5627,5629,5630,1210,5633,5635,5636,5638,5640,1924,5643,5645,5647,5649,5651,5653,5654,
1881,5656,5658,5660,5662,5664,5665,3015,609,5669,5671,5672,5674,5676,5496,5678,5680,1460,5683,4289,5685,5687,4813,5688,328,
5690,5692,5694,5696,5698,5699,5701,5703,1958,5705,5707,5709,2184,5711,5713,5715,1160,5717,5719,3882,5720,1688,3535,2561,5724,
5726,5727,3531,3520,5729,5731,224,5733,5735,5736,5738,5740,5742,4966,5745,5746,4285,5749,2847,5751,5753,5755,5757,5759,1732,
5762,5763,22,5766,2732,2949,5646,5771,5772,5774,5327,5776,2027,5777,4991,5780,5782,5783,5785,5786,5788,5790,5792,5794,5796,
1956,5798,5799,5801,5803,1767,1712,5806,5808,5810,5812,5814,3804,5817,5819,5821,2190,5823,5825,5827,5829,5830,5832,5834,5836,
5838,5840,5842,5844,5845,5847,5849,5851,5852,5854,5855,5857,5858,5860,5862,5864,5865,5866,5868,5870,5872,5874,2317,5877,1336,
5879,1736,5881,5883,5885,5887,5889,3984,2606,5309,5892,5893,5895,481,1390,5898,5900,5902,5904,5905,5907,5908,5910,5912,5914,
5916,5918,5920,5922,5923,5925,3487,5927,5929,5931,4880,5934,5936,5938,4272,5940,5942,5944,5946,5948,443,5950,5952,5954,5956,
5958,5959,5960,5962,5964,5966,5968,5969,5971,5972,5974,979,5976,5978,5980,748,5983,5984,5985,5987,5180,5990,5992,5993,5995,
5997,5999,6001,6002,6003,157,6006,5060,6009,6011,6012,6013,6014,6016,6018,6020,6022,6024,6026,6028,6030,6031,3496,6034,6036,
6038,6040,6042,6044,6046,6048,6049,6051,6052,3011,1075,6056,6058,6060,1301,6063,4267,5535,4614,6067,6069,6070,6072,6074,6076,
6078,6080,6082,6083,2178,6086,11,6089,6091,6093,582,6096,6098,6099,3363,6102,6104,3590,2868,6106,288,6109,6111,6112,6114,
6116,6118,6120,6121,1441,6124,6126,6128,6129,6131,6133,5590,6135,6137,6139,6141,2149,5470,6145,6147,6148,6149,6150,2099,6153,
4645,6156,3725,6158,6160,6161,6163,4949,6165,6167,6169,6171,6173,6175,6177,6179,6180,6182,4599,6184,2895,6186,6188,6190,6192,
2504,6195,6196,6198,6200,6202,6203,5822,4654,6205,5362,6208,382,6210,414,6213,2584,6215,6217,6219,6221,3609,6224,6226,6227,
4454,6229,6230,6231,6232,6234,5681,6236,6237,6239,3455,6242,6244,2738,6247,6248,6250,6252,6254,6255,6257,6259,6033,6262,6264,
6266,6268,6269,5064,6272,6273,6275,6178,2003,6279,6280,6282,6283,6284,6285,6287,6289,6291,130,6294,6296,6297,6299,6300,6302,
6304,6306,2850,6309,6311,6312,6314,5131,5682,3112,4628,6319,1501,1168,6322,6324,6326,6328,6330,6332,5573,6335,6337,6339,483,
6341,6329,6344,6346,6347,6349,6351,6353,6355,2223,6357,6358,6359,6333,4337,6362,6364,5760,4361,6367,6369,6371,6373,6375,6377,
6379,6380,4024,5734,6383,6385,6387,6389,6391,6393,6360,6395,6396,6398,6400,6402,6404,6406,6407,6409,6411,6413,3129,4672,6416,
1014,6419,6421,6422,6423,6425,6427,6428,6429,6431,6433,6434,6435,6437,6439,6441,6443,6444,6446,6448,6450,6452,6454,4163,6457,
6384,6460,6462,5040,6465,6467,6469,2366,6470,6472,6474,6476,3930,4665,6480,5163,6483,6484,6486,6487,1431,6488,6490,6491,6493,
6495,6496,2586,3613,1734,6500,3435,6503,6505,6507,6509,6113,6512,6514,6515,5691,6517,6101,6519,6520,5494,6522,6524,6525,6526,
6528,3864,6530,6532,6533,4641,6536,6538,6540,4507,6543,6544,6546,6547,6549,6551,6553,6554,6556,6558,6560,5813,6562,6564,6566,
6567,6569,6571,6572,6574,6576,319,6579,6581,6583,6585,3851,6588,6590,6591,6593,6595,6597,6598,6600,1451,6603,6122,6605,6607,
6608,6610,6611,6612,6613,6615,6617,6619,4501,6620,6622,6624,6626,6628,6630,3447,1350,6633,6634,6636,1224,777,6638,6640,2764,
6641,6643,6644,6645,6646,5901,6648,6649,993,6652,6654,6656,6658,6660,6662,6664,101,1998,6668,6670,2663,6672,6673,6674,6675,
6677,6679,6681,6683,6685,6686,6688,6690,6691,6692,1258,6694,6696,6698,6699,6701,6703,6705,6707,6709,5833,5846,6712,6714,234,
4085,4630,6717,5820,6719,6721,6723,6725,6727,6706,6729,6731,6733,6735,6736,6738,6740,4135,6742,4357,5390,6745,6747,6749,6751,
6559,6753,6755,6756,6758,6760,6762,5502,6764,6765,6766,6767,6769,5257,6772,6774,6776,6777,6779,6781,6783,5515,6785,6786,351,
6789,968,6792,335,6794,5348,6797,6798,5112,6800,4834,6802,6804,6805,6806,6808,6810,6812,337,5702,6815,6816,6818,6819,6821,
6822,6823,6824,6826,6828,6830,6832,6834,6836,6838,6840,6842,6844,6845,6847,6849,6851,6853,6855,6857,6859,6860,6862,6864,2628,
6865,6867,6869,6871,4956,6874,1260,6876,6878,6879,6881,6882,527,6885,6886,4446,6889,6891,633,6893,6894,5725,6896,1482,6898,
6900,6902,677,6904,6906,6907,6909,4145,6910,3314,6913,6071,6915,6386,26,6919,6920,6921,4539,6924,6925,1055,6927,6929,6931,
1988,6932,6933,6935,6936,6938,6087,736,6941,6942,6944,6946,6948,6950,6952,6954,257,6957,857,6394,6960,3329,6963,6965,5033,
6967,6969,5767,6971,6973,6974,6976,6977,6979,6981,681,3598,6984,6986,4363,6989,92,6728,6991,6993,6995,6997,4838,2170,7001,
7002,7003,7005,2990,3004,7007,7009,7011,4964,7013,6908,6466,7016,5637,7018,6388,894,7021,2992,7024,486,7025,7026,7028,472,
7030,7032,7034,7035,7037,3138,7040,7041,7043,7044,7046,7047,7049,7051,6436,7054,7056,5807,4098,7058,7060,7062,3849,7064,7065,
7067,7069,3274,6463,5056,7072,5933,7075,7077,1769,4090,6565,7081,7083,5379,6813,7086,7053,7087,5532,7090,1702,7092,7094,7095,
7097,7098,4514,7101,7103,7105,7107,7109,7111,7113,4799,7116,7118,7120,3843,7121,7123,7124,7126,6743,7129,6424,7131,7132,7133,
4104,4314,155,7136,7138,7140,7142,7144,7146,5006,7148,7150,7152,7154,7156,706,6414,7160,7162,2176,7165,6678,7168,7170,3568,
7173,7174,7176,7178,2441,7181,4522,1756,7184,7186,7188,3404,7190,1034,3617,7193,7195,4087,7197,7199,7201,974,7204,7206,7208,
7210,7211,7212,4099,7215,7217,5038,7220,4390,7221,7223,3905,7225,7227,7229,7230,7231,4609,7234,7236,7237,7239,7241,7243,7244,
3438,5518,5863,7247,7249,7250,6191,7251,7253,7254,7255,7257,7259,6241,7260,7262,7218,7265,7267,7268,7270,7272,7273,7275,4944,
7278,2798,7280,7282,7284,7285,7286,7288,7290,7292,7294,7296,7298,7300,6125,5345,7302,7304,7306,7307,14,7310,7312,7314,1388,
7317,6168,7319,7320,7321,7323,7325,7327,7329,7331,7333,7334,5625,7337,7339,7341,7343,261,7345,5306,7347,7348,7350,5937,7353,
7355,7357,7359,7360,7362,7364,7366,7368,7370,7371,2279,7374,7376,7378,7379,7381,7383,5235,7385,7386,7388,7390,6825,7393,1762,
2888,7396,5443,7398,136,5583,7402,7404,7406,7408,7410,7291,1050,7414,7416,7417,41,757,7419,3250,7421,7423,7424,7425,2961,
412,1984,7427,7429,6238,7432,5010,6223,4779,7373,7438,7440,2406,7443,2387,7445,7447,7448,7450,7452,3378,7455,7457,7459,7461,
1954,7463,7464,7465,7467,7468,5991,6251,7472,4499,7474,7476,6575,7478,7480,7482,4043,7484,5307,7487,7488,7490,6345,7492,7493,
7495,2901,7497,7498,7500,7502,7504,7506,7508,7509,7511,7513,7514,7515,7517,5770,7519,7520,7522,6529,7524,7526,4400,7529,7530,
247,7531,7532,7533,1851,7536,7538,7539,7541,7543,3841,7545,3602,7546,7547,7548,7550,7551,3999,7552,7554,7555,7556,7558,7560,
4695,7562,7563,7224,7565,7567,7568,7569,6342,7571,7572,7573,7575,7577,7579,7580,2775,7582,7584,2963,7587,7589,7591,7592,7594,
7596,7019,7599,7601,7602,7604,7606,7608,7609,4978,7610,7612,7614,7615,7616,3604,7618,7619,7620,7622,7623,7625,6471,3208,7629,
7631,7632,7633,7635,7636,7104,7639,7641,7643,3816,7387,2982,7648,1878,7651,7652,7654,5569,7656,7657,7659,2746,7662,7664,7665,
7667,7669,7671,7672,7673,7675,7677,7679,7680,5097,7683,7685,5192,7687,1971,7690,7692,7694,5296,3269,7696,7698,122,7700,7702,
7704,7706,7707,7709,7711,278,7714,7716,7718,6235,6193,7721,7723,7607,7725,7630,4636,4497,7728,7729,7731,7733,6988,7736,7738,
7739,3671,7742,7743,5264,7745,7747,5693,6718,7751,7753,7755,7757,7759,7761,7763,7765,7767,7768,7769,7771,7773,7774,7776,4406,
7778,7779,449,6059,7782,7783,2917,7786,7788,7789,1992,7792,7793,7795,7603,7744,2647,7523,7799,7801,7802,4270,7804,7806,2547,
7809,406,7811,7813,7815,3822,7817,7819,7820,3832,5891,1922,7825,7827,7829,7831,7833,7834,7835,7837,7839,7841,7842,3737,7845,
7821,6041,7847,7849,7851,5445,2576,7855,4388,6687,7857,7859,7860,7862,7863,7865,7867,7868,7869,197,7872,4274,7874,7876,7878,
7879,950,7881,7882,7593,7885,6795,813,7887,7889,7891,7892,7894,5888,7895,7896,7897,7899,7901,7903,7905,7907,7908,685,7910,
7911,7913,7915,7916,7917,7646,3001,7919,7921,7088,7923,7925,7926,7927,7928,7929,7931,7932,7934,7936,1859,7938,7939,7941,7943,
7944,4643,7946,7559,7948,7950,7952,7954,1706,7955,7957,7958,7960,7961,3042,7964,7966,2071,7968,7740,7970,7972,7973,7975,7977,
7979,7981,3156,7984,7985,236,2986,311,7989,7990,7992,7994,3233,2835,6458,7998,8000,8002,2523,8004,8006,8008,7695,8011,8013,
8015,7313,8018,8020,8021,5399,8023,8025,4801,4976,8027,8028,8030,8032,8034,2345,8036,8038,8040,8041,8043,8044,8046,8047,8049,
6621,8051,8052,7335,995,8054,8056,8058,2978,8061,6689,6599,8064,8066,7980,8067,8069,8071,8072,4138,8075,8076,8078,3993,3445,
8080,4172,7336,8084,8086,2315,8088,4550,8091,5529,1963,7159,7900,8096,3928,8098,1309,8101,8102,8103,7583,8106,8108,8109,8111,
6651,3677,8113,8115,8117,2466,8119,8120,8122,1641,8125,8127,8128,8129,3687,4310,8133,5287,6961,8137,8139,4878,8140,8142,7415,
8144,8146,525,8149,8151,8153,3085,8156,8157,8158,1710,8160,7814,8099,2477,8164,8166,8168,4481,8171,8173,885,24,8176,8178,
8180,8181,2483,5768,8185,8187,3264,8189,8191,8193,8195,6835,8198,6527,8200,8202,8204,8206,8207,3868,8210,1464,5156,6464,8213,
8215,8217,8218,8220,8222,8224,2833,664,8227,8029,7697,8231,5775,6478,8235,8236,3835,8239,8240,8241,1059,8243,8245,8247,8249,
8250,8251,8253,8255,8256,8258,8260,8262,8264,8266,6286,8269,8271,8273,8275,8277,8278,8279,8281,8282,8283,8285,8287,6858,8290,
8291,8293,7678,8295,8297,8298,8300,7055,8303,4430,8306,8307,8309,1384,7542,8313,8315,6068,7479,8318,8320,5027,8322,8324,8326,
5543,8328,5695,8331,8332,8334,1876,2050,8338,7965,8341,6405,6506,8344,8346,3248,8349,8350,3054,8352,8354,8356,8358,8360,8361,
7840,5564,8364,5396,8366,8368,2407,8370,8372,8373,8375,8377,8379,8381,8382,8384,8386,5677,8389,8390,8392,3853,8394,8395,8397,
8398,8399,8401,2227,498,7906,8406,7914,4537,8409,8411,8412,8353,8415,8417,8419,8420,7772,8422,8424,8426,8428,8429,7141,8432,
1063,5626,8435,8437,8439,8440,4255,8442,8443,8444,8446,8448,8449,6923,8451,8452,4673,8454,8455,8457,4823,8460,8462,1299,8465,
8467,2687,8468,8470,8472,3752,8475,8476,8477,8478,8480,8482,8483,7375,8485,8486,8488,8490,8491,4181,7884,1012,8494,8495,8496,
6220,8499,5182,4658,8503,8504,8505,8507,7248,4323,8508,8510,8511,8513,6746,8516,2090,8519,763,8522,8524,8526,5364,8529,8531,
1725,8533,8535,8536,3647,8539,8473,8541,8542,8543,8544,8546,8548,1047,1943,8551,207,8554,8556,72,3710,8559,8561,8055,4238,
6366,8566,8568,6752,8570,8571,7486,8573,2158,8576,8577,8578,8580,1621,8583,1905,8584,8586,4734,8589,8591,6704,8593,8594,5811,
8597,7303,8600,3874,8602,8603,7428,8605,2242,3586,8608,8610,6750,8613,1788,8616,8617,7473,8619,8620,4588,8622,7182,8625,1632,
8628,5652,2000,8631,8633,8089,7400,8636,8637,8638,8640,8641,7322,1245,8643,4333,8645,8647,8321,8648,8649,8650,8651,8653,3067,
8656,8658,8660,8662,5247,7048,7781,8664,5837,8667,8110,8670,18,1189,594,8674,8675,8676,3635,6132,8679,353,8681,7207,5781,
8302,8685,3765,8687,8688,8690,8393,8692,8693,8333,7816,8696,8312,8698,8699,8700,8702,8703,6119,8705,8706,8708,8654,8711,8713,
8714,399,8717,8719,8720,4750,8723,8725,8726,8727,6632,8728,8729,8731,6401,8734,2563,5728,1579,8738,8740,8742,8743,8744,8746,
8747,1342,8749,5594,8752,8754,8756,8757,8759,5356,8762,8764,8766,8767,8769,8771,6722,8773,4278,1067,6348,8777,7978,4034,1492,
7549,7110,8781,8783,8785,5174,3035,8789,3668,1373,8791,8793,8795,7561,8798,8800,785,8802,8803,8805,8807,8809,8810,8487,8813,
8815,8817,8818,8819,7974,8820,8821,8823,8824,8825,8827,8829,8830,8831,8833,4049,2476,4279,8837,6892,8840,8841,4597,8844,5410,
8847,380,8850,3772,8853,8855,8856,8858,2845,8861,6127,8863,7080,8864,8865,8867,8868,8870,8872,8874,6999,8877,8879,4876,8881,
5266,8883,8885,6035,8886,8888,8890,8891,6065,8893,8894,8895,8897,7701,8899,8901,1961,8904,8905,8906,8908,2907,8911,8871,8913,
8914,8915,8917,8918,8920,1704,8921,6955,8924,5441,2267,8928,3367,1036,8931,8933,8935,8936,8937,7189,6000,8940,8941,8943,8945,
8947,1765,798,8950,8952,8954,8956,8957,8958,8959,8961,5254,8964,8966,8967,8953,8969,8970,4818,8972,5149,8975,8976,5897,8979,
6548,5073,8982,8984,6539,8986,8988,3279,8990,8991,8992,8993,8995,8997,8999,9000,3943,9002,1518,9004,9005,9007,9009,7735,9011,
9013,8408,9016,9018,6926,5204,9021,9023,2913,9026,3464,3306,9029,9031,9033,9035,9036,9037,3127,9039,4625,9041,9042,1313,9044,
1594,9047,9049,9050,9052,9053,9054,9056,9058,9059,9061,9063,9064,9066,3431,9069,9070,9072,9074,9076,9078,2530,9081,9083,9084,
9085,7935,9087,9089,6010,9091,9093,8530,9094,9096,9098,5541,9100,9102,7112,9103,74,9106,9108,3190,1624,9111,9113,2909,4646,
8528,4670,4718,9117,4303,9120,9122,9123,1394,9125,6872,9127,8085,9129,6327,4189,9132,7535,9134,9136,9138,9140,9141,3901,8612,
9144,9145,9147,8851,8305,4724,9149,9150,9152,9153,9155,9157,1777,9159,9160,9162,9164,9165,7988,9168,9170,9172,9174,9175,2448,
3048,9178,9180,9181,9182,9183,4358,9184,8183,9186,9187,9189,5053,3327,9191,9192,2470,8413,9194,9195,9197,9199,119,9201,1847,
6863,6140,7521,9204,9206,3468,9207,9209,9211,9213,9215,9216,1118,9218,9219,9221,9222,9223,2852,9225,9227,9229,9231,9233,9235,
9237,4397,1332,9240,9241,9243,1741,9246,9247,9248,9249,9250,9252,9254,9256,9257,4026,9258,9260,9261,9263,596,20,3201,8090,
9268,9270,9271,523,4602,9274,9276,4325,8965,9279,3321,911,9281,9282,3502,9285,9287,9288,3778,5358,9292,9293,8374,5553,9289,
9296,3140,6338,9300,9302,9304,7918,7949,9307,9309,9310,9311,9312,5360,9315,9316,9317,9318,9320,2689,9322,5067,1453,5607,9325,
9327,9329,9330,9332,6775,1507,9335,9337,9338,9340,9341,9343,9344,3277,9347,9348,9349,9351,1193,9353,9355,7145,2135,9358,9360,
7326,9362,2941,8730,7644,146,6228,7382,5448,3628,6702,815,9369,9371,9373,9375,9377,9379,9381,9383,9384,9386,5886,9389,9391,
9393,9394,9396,3485,7904,9399,7986,9306,9401,9403,9405,1751,9407,9409,2706,9412,4981,9414,2921,3986,1773,9418,9419,9421,9422,
9423,9424,9426,9427,9428,9430,3987,9432,9433,7422,7496,9437,8780,9439,4842,9440,9441,9443,7752,8463,9446,9447,9449,9450,9452,
9453,9454,9456,9457,9459,265,9462,9464,9466,6085,4283,9051,9470,9471,590,9472,9474,9475,3716,9477,9478,8252,2339,9481,9483,
9485,4379,8007,9489,9491,9493,787,9495,9497,9499,8079,9501,9503,3441,8423,4825,9504,9505,8094,9507,9509,7367,9511,9512,7684,
9513,9515,9516,9517,4897,2970,9519,9521,9522,9524,9526,9492,9528,9529,9107,9531,9532,9534,9372,9536,9538,9540,9541,9542,9544,
8257,1936,9546,9548,6222,4942,9552,1616,9555,7477,9557,9559,1283,9561,9562,9564,4391,2430,9567,9568,9569,9570,7741,9572,9573,
821,9576,9577,9579,6412,9582,8105,6315,9585,9586,5186,9588,6899,5752,3194,9591,9592,9593,9595,9597,9598,9599,9600,9602,9604,
9605,1895,7758,9608,9609,9611,9336,9612,9613,5201,9615,9617,9619,9620,9621,6090,9624,9626,9628,9630,9632,9633,9635,9637,9638,
9640,9642,9644,2999,9645,9647,9649,9650,9275,9652,9654,9656,9658,6334,9659,5928,9661,9663,9665,9040,6382,5267,4073,115,9669,
5871,9671,9673,9675,9676,726,9679,9680,9682,559,9683,9685,9687,9689,5241,9691,6154,9694,9696,2294,9554,8039,2409,9646,2626,
9701,9702,9704,9706,9708,2803,9711,9713,9715,9717,9719,9720,9722,9724,7346,9726,9728,9730,9731,9733,6582,8492,9736,9737,9739,
5930,9741,7277,1855,9742,9744,4028,9746,8087,2213,5154,9751,9003,9753,9755,5051,9757,9759,9760,9762,6609,9763,4195,2905,9765,
7305,9767,9038,9770,9771,9773,8854,740,305,5577,9776,9778,1202,8430,9781,4287,9783,9785,9786,9787,9788,831,9791,9793,9795,
9796,9797,9323,9799,9390,9801,9802,9804,7456,4265,9805,9807,3820,9809,3497,9812,9814,8162,9816,9082,9818,4503,9139,6584,9822,
5961,4869,5639,9825,9827,9829,9831,9832,6456,9835,9837,4518,9840,9841,9842,5737,9843,9845,9847,4562,9850,9852,9853,1214,3781,
9855,9857,9858,4632,9861,9863,4032,9866,9867,9869,9870,8347,9420,3621,9873,9875,9876,9878,7015,7316,9880,3500,9881,9883,9884,
9885,1208,9886,5873,9889,2107,2443,9890,9892,5030,3376,8441,1375,6473,9896,9897,9898,9900,9901,3290,9903,31,9906,9463,9909,
6316,1739,9912,9914,9269,3637,9917,2801,6715,588,7175,9921,9922,9924,9925,9230,9927,8403,9930,9931,9932,9933,3013,4220,9935,
9937,9939,9940,9941,9943,9945,6983,9948,9949,9950,9952,9954,9955,9956,9957,9958,9959,9960,9962,9963,9964,9965,9967,4887,9970,
9971,9972,8238,9974,4836,9977,8722,7613,8630,9980,9982,9984,9986,9987,9989,9991,9992,9994,8996,9996,9533,9999,7328,10002,2592,
10003,10005,9212,2694,10007,372,4448,10010,9458,7380,10012,4069,10014,10015,10017,3401,10019,10021,10023,10025,5941,8926,10027,10029,7135,
10032,10033,10035,3780,5222,6164,10038,4458,10040,10042,10044,6990,10046,7732,1682,10049,10050,433,10053,10055,10057,3741,9603,10060,5107,
4582,10063,1470,10065,10067,10068,10070,10072,10074,10075,6350,10078,7409,10080,10082,7281,10083,9043,3707,10085,10087,9838,10090,5592,10093,
10094,10095,9217,4235,8859,10099,10100,10102,2343,8948,8657,654,10107,10108,10109,153,4492,10113,10115,10117,4346,10119,7108,9766,10123,
7987,10124,10125,10127,10129,1897,5816,549,10133,10134,8929,10137,10139,10140,10141,8208,10143,9969,10145,10147,10149,644,10151,10153,8172,
10156,10158,1324,10161,3872,10163,10165,10167,10168,10169,10170,10172,10174,10175,8804,797,8684,5260,4299,10181,10182,10183,10184,10185,3392,
10187,10189,3714,2638,8074,10192,10194,718,10196,10198,5884,10200,6996,10202,10204,10206,294,10209,10210,10211,10212,5802,4972,10214,5188,
10154,10217,7491,10219,9398,6497,10222,4071,10224,10226,10227,10229,10231,10233,10235,6263,10237,10239,10241,7194,10243,6809,9133,10245,4193,
10248,10250,10252,9596,5581,10256,10258,10260,10261,1928,10058,10263,1870,10265,3893,492,1824,10269,5145,2752,10272,10273,10274,1038,10275,
10277,9124,6846,10281,10283,5839,10285,10286,10287,126,10289,10291,1533,10293,8458,5392,10296,7976,5826,7130,10299,10301,10303,10304,10047,
9623,10306,10307,10308,10309,4409,6780,10311,10313,10314,10316,10318,10320,10322,10323,10325,10327,5335,10329,10331,10333,10335,4592,10336,10338,
1516,10341,3124,10342,10344,10345,7902,10346,8892,604,2841,2009,3480,10351,10353,9553,3721,10355,2677,545,10358,1811,6966,10361,10362,
4678,4955,10364,10366,2353,10367,5004,10369,10370,1122,10371,10373,10374,4754,5226,8019,10377,10379,1277,2169,10380,1899,10382,1598,10384,
10386,10388,10390,5238,3518,10393,10394,10395,5312,10398,10399,10401,2831,4155,904,10405,1435,7458,5509,10407,9817,10410,10412,10413,10414,
10415,10416,8796,8246,10419,10421,5973,10423,10425,10427,5417,10429,10431,10433,10434,10436,10438,10440,10442,3089,10444,6447,9071,10445,4528,
10447,10449,10450,10452,10453,10455,10456,5101,10458,10459,7510,10461,349,1965,10465,10467,10469,10470,7010,10471,834,8869,8588,10475,10477,
10479,10480,10481,284,4471,3352,842,10484,6123,9985,8232,10489,2945,8418,10491,10493,10495,5800,4910,10497,10498,10500,10502,3887,5612,
6442,10503,10504,10506,10507,10509,1630,10512,10513,7780,10514,5994,10516,6616,7295,1996,5537,3539,10519,3529,9490,3889,10242,10522,10523,
10524,6430,4743,7503,6211,10529,10530,3623,1186,4557,10532,3022,10533,6820,10535,2347,10537,667,10539,7588,4789,1403,10541,468,6276,
9705,1708,10545,10223,10547,10548,10550,10552,3541,10544,10554,7431,3619,10556,10558,825,10560,10562,1545,2043,6887,10567,10568,5058,10570,
2461,10572,6336,10573,10575,10576,2369,10578,1222,2472,4415,9460,6501,339,9988,4169,10586,10587,823,6094,10589,10590,10591,2721,6940,
10592,10593,10594,10595,3300,673,6827,6791,1130,9973,10600,10601,9266,10603,9238,10606,5732,8447,10574,1719,9045,10610,10611,10612,9431,
9942,10615,1861,5721,10193,6852,6768,10619,10620,10622,10623,1571,10625,10627,142,614,10629,8652,4210,10632,10634,5489,10637,10638,1978,
10640,10642,10643,6770,8464,10647,5016,8182,6290,10649,3818,6695,4114,10654,10655,10656,10657,10659,4997,10660,10661,10662,6274,10665,10666,
163,9099,7967,10668,10669,9027,10671,10673,10675,2188,10678,10679,1643,7485,10681,10683,10684,9291,10687,6037,10688,5492,10691,10693,10695,
2377,9936,10698,10700,5689,9200,3953,10703,1281,10704,10706,8431,10708,2710,9363,10709,10711,10712,4761,10713,10715,6354,8299,8073,10101,
10718,1730,10721,987,10723,10725,10727,2790,10729,10731,10732,10733,10734,10735,10736,10737,9928,10739,10741,10742,10744,10746,10121,8567,10748,
10750,10751,6378,10753,4914,7411,5014,1893,3037,2479,6100,10755,10756,8026,3979,10030,10760,1649,10763,10689,10534,7624,5522,10767,1065,
6912,8261,10769,10771,10773,7437,10774,10775,10777,10779,4096,10781,2445,9413,7235,6875,10783,2063,3657,10785,10786,5371,10788,10790,2275,
10792,10793,10794,8380,10795,10797,10799,7125,10801,10803,9923,10805,1659,10697,10806,10808,10810,2884,5304,10814,5042,10817,10819,10821,10823,
3669,10824,7167,9104,9438,2450,10292,10830,5747,8335,10832,7997,5614,1249,9461,10836,8035,10839,9560,10840,10842,10844,7354,8012,10847,
10849,10851,5787,8736,8205,9088,10854,8834,4385,10856,10858,10652,10860,10861,10863,10864,7023,10867,10868,9357,10853,1606,10872,10873,10874,
10876,10878,10880,8223,9915,10247,6256,10883,10885,4524,9848,8114,10888,10889,10890,3830,8925,700,6356,10894,8682,10895,4526,6504,3641,
10896,10898,9811,5047,578,10902,10903,4516,9502,10906,10104,10908,2208,10910,8230,4215,6665,10914,10915,4003,3382,3989,8197,8565,10919,
2096,10921,10179,10923,5018,7070,10925,10927,3578,10928,10930,10931,5935,10933,9151,7969,10937,10938,2007,10940,8118,8963,10944,10946,10948,
3075,2271,7712,10302,10951,10953,10954,10956,10957,10190,915,8396,10960,10348,10961,10962,10963,10964,5159,10812,10966,10967,10968,10970,10971,
8400,10973,10974,10976,10978,10980,10982,9794,10984,3316,10987,3177,10989,10991,8574,5744,1243,10994,10996,8550,10998,10999,11001,11002,11004,
4770,11006,276,6537,11009,11011,11012,11014,11016,7877,11017,11018,11020,1195,11022,11023,11024,6432,11026,9997,11027,11028,10911,8788,11030,
11032,11033,9641,2297,11035,6578,11038,11039,11041,10048,3409,376,10651,11043,7198,7537,11046,11048,11050,2080,3729,5824,11055,11056,6848,
11058,11059,11060,11062,11025,11065,10472,10215,9469,9425,11067,11068,9895,11070,11072,11074,561,11076,11078,11079,5478,11082,11083,11085,5666,
11086,11087,4926,11089,11090,3806,7079,2634,11092,2131,11094,11096,11098,11100,11102,3933,4781,7737,11105,11106,11108,10251,11109,2818,11111,
11112,3795,10103,11115,1684,7256,11117,10166,9537,11119,11120,11121,8843,6580,8165,11126,11128,11130,11131,11132,11133,5917,11135,2109,8875,
11138,9128,9703,10324,11142,7299,11145,6246,11146,11147,11149,11151,11152,11153,11154,6498,4387,5513,8634,11157,5828,11159,11161,11163,11164,
11165,10891,11167,2507,6043,28,11170,11171,11173,11175,11177,10648,11178,11179,1505,11181,11183,9678,9872,11186,11187,6669,11188,11190,11192,
11194,9916,11196,2974,11198,11200,10701,11201,11202,9530,11205,11206,11208,8337,11210,10881,11212,11214,9494,11217,11219,1994,4575,6650,7686,
11224,11226,11228,11229,11231,11233,8775,10599,11237,494,10186,11239,9057,11241,9976,11244,10950,11245,7430,11248,4797,11251,11252,11254,11256,
9622,11258,2404,11259,11260,11261,5292,11263,11265,11267,724,11269,11271,11273,11274,9769,11276,11277,1614,755,11279,11281,2780,3360,2355,
9167,9998,7071,11285,11286,11288,3153,10368,11290,6956,11293,11295,11296,7750,11299,5704,9558,6482,11302,11303,11304,11305,7091,11307,11309,
11311,11313,11315,11317,11318,11319,1543,109,1478,11323,11325,11326,10081,11329,11330,4683,11331,4014,11332,9666,11333,1915,11335,8345,11199,
6918,5609,4570,9789,1807,6523,11340,11341,4459,11080,11344,11346,11347,10892,572,10076,1583,11351,11352,2335,5217,2532,10886,11356,11358,
11359,10013,504,7050,9836,11364,8391,11367,11369,8989,11371,1949,11373,11374,5986,11377,2194,10826,11379,11381,11383,8060,11385,9244,4368,
11386,11388,3323,11391,11393,11394,11396,11398,2570,9017,11400,11401,6947,11403,11405,11407,11408,1264,11410,11412,11414,11415,11416,11418,10985,
11420,11422,11423,7800,11426,11427,11429,6861,8671,947,716,10685,4108,2127,9981,7453,11433,11435,10900,7155,9508,10064,11437,11438,5049,
11440,9575,11003,11442,5117,11444,10155,10034,3787,11448,11449,1415,11451,11452,11454,11456,2856,8177,3611,7276,9262,11462,11464,7377,1498,
2174,11467,8607,11469,11470,8889,11473,6453,11395,6143,11476,9904,11478,11479,6053,7066,11481,11482,8310,11484,86,11487,1911,9677,10077,
11490,5963,1399,11494,9006,8175,11496,6573,11497,11499,5428,9594,3422,7566,10004,9114,4763,11506,324,11508,2039,3020,11512,3982,3527,
7971,11515,7433,9674,5413,2500,11518,11519,11521,10959,11523,11524,11526,9442,11528,11529,11530,10859,11532,11534,10670,4437,7942,11537,11539,
11540,8179,962,9779,9727,3651,11544,11546,1266,9267,7033,11548,11549,11550,11552,7590,704,11555,3450,11556,11557,2681,838,1758,11560,
11562,11564,9911,11566,11567,11568,10707,11375,1297,402,3727,11572,11573,11575,6710,11576,10761,11579,11581,11582,11584,11585,2402,11029,5955,
11590,11591,11592,8930,2219,9871,11596,11597,11099,789,11600,11602,7143,11605,848,8212,11608,6201,11610,69,11611,11613,11559,7232,4872,
10387,11618,9732,6618,3760,11535,11620,8755,11621,11623,7922,11625,11627,11629,9297,11630,11631,11633,4075,11635,11637,2119,4901,4426,11638,
11640,11642,10066,7164,11643,11336,8116,3238,11646,9664,1638,1844,11648,11649,3909,11650,11652,11654,213,11655,11656,11657,11658,11660,11661,
11662,11663,11664,11665,7807,5490,6799,11668,11669,1793,10056,6243,11672,11673,4060,3594,11675,9210,7454,11676,2382,11678,11680,9734,11681,
8438,5209,4714,9990,11683,11685,11686,11688,11690,11692,11693,11694,1010,3214,9118,10597,9303,11698,11699,10381,11701,5977,8683,11704,10949,
1099,8661,11707,11708,506,9014,2153,11710,11711,6130,8835,11713,11714,11715,11716,10062,11718,9234,6829,8301,161,11722,11724,2723,11725,
3281,11728,11729,11730,11731,11501,5258,11733,11735,11736,11738,1428,1653,4634,11740,11742,11743,11745,11746,4772,10920,500,11750,11752,11754,
3285,5859,11757,4619,1795,11759,2760,513,11763,11764,11766,11767,11769,9833,11770,6005,11773,11774,9101,11775,11776,11777,9790,11778,7626,
4809,4331,11780,11782,7875,6475,11783,11784,11786,11787,9326,11789,11790,11791,1686,11525,11792,1334,11795,11797,4006,11799,10091,11801,3698,
2418,11804,9723,7301,2433,11587,11808,11810,551,11811,11812,4699,9803,10178,11814,11816,1524,2903,1166,11819,11821,9110,11824,4393,10843,
11827,4908,11829,11830,11831,11832,9370,11751,11835,11837,10653,3332,2428,11841,11842,11843,11236,7836,11845,5151,11847,11849,11409,11850,4607,
1600,11851,82,2939,11855,11856,6260,11857,5949,11860,11862,11864,11865,11867,11868,6880,11870,4883,11871,11872,10052,11873,11875,5178,7638,
11876,6831,11878,8237,2925,11882,11884,11215,474,11282,11593,11890,7586,11833,10943,11300,3545,568,11893,11894,11895,6883,10142,3944,10232,
7008,11901,10473,11903,11905,7076,11907,11909,11911,9434,4815,9584,11914,11916,11917,3340,11919,11921,8188,8083,1864,11922,11924,11925,6586,
11927,11928,7748,4545,11931,11932,11933,11935,6451,11937,5818,11938,9580,11939,11940,11941,11943,11944,11441,10664,11946,5415,2700,10270,3685,
11948,11861,11950,5310,5333,10411,11954,11956,11958,7413,11960,11962,11964,8371,11717,1085,11965,11967,9408,11969,8939,11970,11972,3091,7991,
8294,11691,11976,11977,11979,5815,11982,11984,11985,4829,11434,2544,7093,7171,11989,4745,11990,11992,11994,9022,11996,11997,7870,9862,8132,
12001,12003,535,8112,2704,12005,12006,12007,12008,9382,4344,12009,12011,12012,11044,3672,12016,12018,12020,7338,12022,8585,12024,12026,12028,
12029,7134,11095,12031,12032,11342,7397,12035,12037,8545,12038,12039,6744,744,6655,11987,6142,12044,12045,5127,12046,3443,6288,8474,1057,
10428,10780,12050,12051,1986,8436,12053,6481,6676,12055,12057,3507,2061,5019,1251,6468,7796,2766,2283,8014,12062,12064,12066,11702,12068,
1295,9743,5697,12072,10036,2310,7004,12076,4623,12078,12079,12080,8695,11719,9308,7106,9480,10328,4187,11952,12087,12089,10130,12091,12092,
8563,8579,3459,12093,9995,850,9891,12097,11993,11378,2665,12100,12102,12103,10486,12106,12108,8410,12110,1797,7581,12112,12114,7666,12115,
10383,1148,12117,12118,1094,1386,4958,12121,12122,12124,5795,3425,10084,12126,12128,11741,3181,12130,12132,12134,12136,12137,4767,12138,12140,
12142,11571,10446,4179,11957,88,734,12144,12145,12147,8765,12149,12150,12151,5161,12153,10893,12156,8909,9406,12158,12159,10126,12161,12163,
6418,6381,9610,10201,12164,12165,12166,12168,8632,8786,5215,12170,4197,7658,12172,10628,10636,9143,12175,9173,12177,4580,12179,12180,12181,
8500,3581,12185,1628,2923,2095,12189,5861,9392,11446,368,12096,5426,7063,12193,8340,10422,11612,2295,7469,9653,12200,12202,12203,12123,
12205,4667,7000,7844,9417,12210,12211,8077,12213,12214,12215,4650,10581,12217,12219,12220,12221,8203,12222,12224,12225,8138,12227,12228,12229,
12230,3358,8903,12232,8977,9196,12234,2322,4489,9975,11045,10262,12235,12236,9097,2947,12238,5285,10924,12239,7446,883,10330,12243,12245,
8292,12247,12249,12250,12251,10432,12253,11266,6189,6007,7525,12255,584,9345,12257,12259,7886,7854,12260,12262,4867,12264,12265,12266,10528,
12268,10857,3345,12269,6666,4793,7470,12273,12274,6577,12275,12277,12278,12280,12281,12282,2052,12283,12284,12286,8760,12287,10122,12290,3242,
9657,12293,12294,12296,12298,12299,6420,12302,12303,12305,10136,8627,5319,8910,12127,12310,10772,7754,4697,11947,7158,11005,12313,12314,12315,
2235,12317,12319,9203,12320,6552,12323,3106,11684,8569,7598,476,1090,12328,1235,195,12331,7645,11235,12334,12335,12013,12337,12338,12339,
12340,12341,1262,2814,2581,12344,6542,12346,10690,12347,3231,12350,12351,8355,263,12188,2277,10617,9514,11445,10234,10663,12356,12357,10585,
7266,2144,12359,12360,10259,12362,12364,6292,12366,12367,1785,9810,12370,12371,12372,6671,11834,2930,6964,10776,4124,11653,12376,11280,12379,
4907,12381,12382,12383,1835,10110,12084,7727,1663,6278,12387,12388,12390,11885,12392,12394,12395,4520,1661,12398,12400,12402,12404,12405,4450,
8758,12408,12410,11354,12412,11942,12414,10208,924,7052,4662,12407,151,10441,4535,12419,12244,12421,12422,12423,2198,12425,4951,6110,12429,
12430,12021,12261,11516,12432,12241,12434,12436,12437,3158,12438,8515,11253,827,7846,12439,12440,12441,12442,6895,12444,7595,12446,35,1191,
1445,3068,7689,10451,12450,1693,12451,12453,12455,8489,2263,4140,12458,4020,12459,11425,11619,12462,8343,12113,12465,12466,6004,10566,12468,
12469,420,12470,12472,12474,12285,2258,12476,12478,12480,12481,6209,767,1932,7993,7177,926,2915,12486,7078,12488,2265,7434,2736,6594,
10249,12492,5599,9851,12495,12497,12499,12500,4088,12501,12503,12504,12506,11406,12507,12509,3692,12511,12513,12515,765,9226,6410,12517,12518,
12520,12521,12522,12524,12525,12526,3946,12529,12530,12531,12162,453,12535,12537,12538,12539,5869,7920,10561,4233,12540,12542,12544,4157,12547,
2238,10740,8421,12336,11180,12550,4030,12551,3956,10404,12554,9648,12555,12556,12558,12559,6317,11034,1106,3246,12563,12348,3320,12564,12566,
6159,12569,11218,12571,6814,11431,12574,4895,8362,3218,12577,12578,12579,7832,12580,6833,10696,11886,11836,12582,11472,12583,7597,12586,6066,
5797,3046,12056,12590,5605,12592,12594,12204,12596,12597,12545,12598,12600,6888,2300,12602,4974,12603,5291,3482,12606,4999,12608,6568,2872,
11706,2217,159,7340,3689,12612,12613,12614,422,1330,12617,12619,10276,10159,8414,12623,12534,9712,12627,943,11216,12630,12632,8461,985,
12635,7724,8466,12636,12637,3767,12491,12640,12642,12644,12645,9109,6449,12649,6854,12652,8107,12271,5314,12655,11118,5262,12658,11632,12660,
12661,9086,7826,1417,3537,12663,7139,10965,10983,9745,4416,11071,4257,12666,5560,5085,5926,12125,7039,12668,12669,2288,11411,12647,12672,
7418,12675,6261,9156,12678,12680,2876,426,7777,12682,12683,12684,12686,12687,12688,12409,12690,12692,12693,8916,5063,10097,12695,9429,12697,
12698,12700,12702,12704,11064,12706,10990,12708,12710,9830,8644,12714,37,7099,5465,7956,641,12718,5166,479,11599,12723,12724,5109,12725,
12726,8624,12729,5147,8898,7315,12732,4051,11806,10676,10557,12736,12737,12738,9749,12741,12742,12743,12744,12746,12748,67,12749,3216,12751,
1326,9008,12641,12312,12752,4218,12753,10875,12755,9899,12757,8022,12758,11848,144,12761,2181,12629,12763,12764,11760,12766,12767,3855,9319,
11297,12770,12771,12772,11129,12775,5270,12776,5663,12778,12780,4012,8359,12782,4532,12784,8010,5562,10466,4408,7157,9864,12786,9228,10020,
5408,2554,12790,12119,12792,12794,12795,8540,4583,12797,11723,12799,12801,2221,12802,12426,12804,12806,10254,12807,4248,12808,771,8849,12809,
2608,12811,11800,1348,12814,12815,12416,12817,12058,12818,12740,12821,12823,12824,2829,7717,11536,12829,12831,2054,3965,4703,12835,12836,3309,
7466,12839,5232,12842,11639,11007,12844,11892,2510,3002,7169,12847,10279,12850,9298,12851,12852,12853,12332,12855,12856,12857,12858,6045,12242,
12861,7749,11037,12863,11468,7324,2623,12867,12868,7161,12870,12871,12873,12874,6050,12875,12876,12878,12879,12881,12883,12884,7963,12885,9629,
1455,11898,9839,12888,4736,9177,10918,1612,11558,12892,12893,12894,928,922,199,9750,12897,12898,12899,12900,10549,4764,4993,8955,12906,
12816,12907,12908,6856,11853,12911,12912,12913,10106,11061,12915,12917,12918,12919,12920,10841,12922,10092,12924,10354,12925,12926,12927,11000,12930,
10559,12773,8887,12933,9506,12936,12937,12779,8274,12940,347,12941,12942,12943,5779,12945,1568,2125,3968,9354,4171,8317,1356,12951,5743,
5471,12952,12954,12955,12956,11577,2391,9913,12958,12960,12962,12963,9752,10877,43,11492,3185,8017,12965,12967,12969,12970,11889,12560,6890,
12971,648,12288,7412,12972,5473,12611,12973,12047,1162,8170,8774,12976,12978,12979,12733,370,12389,7574,7653,12986,12728,12988,12990,10598,
6097,5679,12992,9662,12993,12994,12677,39,4039,12662,13000,13001,10022,13003,13005,6511,13006,13007,11324,13008,4141,13009,2516,13011,11614,
13012,1874,13014,13015,13016,3273,13018,12111,13019,13020,51,13022,13023,9877,13024,13025,13026,11093,3262,13028,4470,13029,11910,7812,13030,
13031,63,13033,13035,5903,13037,8712,12765,13040,13041,13042,13043,13044,13045,4213,8267,13046,2437,13047,5377,13048,13049,8405,13051,3997,
13052,3225,13053,12311,5330,13055,13057,9908,269,13058,8753,12378,13061,13062,13063,8288,13066,447,13068,10650,13070,10630,13072,4421,9510,
4116,2860,11813,13074,8082,13076,6218,9025,8784,13079,7441,12730,9158,13083,10815,11136,4608,9278,6841,3356,13088,13089,12643,13092,13093,
6657,13095,11721,9388,5099,8828,6084,11284,13098,13099,11879,11402,13101,13103,7770,13105,5546,13107,2411,9024,13109,10555,9126,12734,9339,
13112,13113,6172,11588,13115,13116,12862,4995,2691,13117,13119,746,6320,1973,9065,9551,10977,13124,13126,1254,13127,13120,1468,4206,13129,
10822,13130,12781,13131,4000,13132,13133,13134,9444,12985,13136,13137,9761,13139,13140,13141,13142,2005,9198,378,13145,13146,13147,8609,13150,
8799,1170,10164,12674,12393,13152,1885,11174,6310,13156,13158,4936,13159,13160,6596,12049,3205,13161,13163,13165,11166,8639,920,5460,1240,
13169,10488,8629,3103,660,3227,13172,13174,12681,13175,13176,13177,13179,7708,12498,128,7401,7395,13186,4638,13189,13190,13192,13193,13195,
8136,13196,13197,8772,9286,13200,8801,13202,13203,5622,13205,13207,10635,11854,12980,13210,12307,5804,5252,9774,13213,1715,5642,13215,8812,
13216,13217,11974,13219,13220,5199,3870,13222,13223,3122,9484,9455,13225,11966,1238,9692,13227,8691,10972,795,13229,6489,13231,8878,7449,
13233,13235,8481,13236,13237,10439,12615,13240,10177,13241,5880,13243,3810,12872,12543,970,13244,11641,9565,11904,3952,7995,13247,13248,13249,
4306,13252,10952,11191,13254,13255,12301,3650,13256,13257,11141,7764,13258,10409,13260,13262,6363,331,6787,9342,488,13266,13267,2878,13168,
13270,11357,13273,13274,13275,10546,13276,13278,7271,7890,13281,8037,13282,1980,12329,1328,9193,13285,8669,2655,7570,11900,7866,12561,13289,
6970,10389,7436,13292,5078,6561,11820,887,13294,10584,13296,11471,2101,13297,13298,9028,13299,7715,5856,13300,10402,13302,8167,13304,11339,
10899,13308,13310,12141,13312,13313,12557,13314,13315,4118,13316,13317,13318,13320,11057,7214,9334,3203,416,5641,12631,13325,13326,11840,11961,
5514,12095,13328,11695,13331,10527,13333,13334,13336,8932,13337,13064,13339,6021,3235,10317,2260,12711,10778,13342,10278,10128,13344,6911,12063,
3559,12536,10176,13347,13348,13349,13077,8527,4752,13353,8614,13354,13356,13358,13360,13362,13363,13365,13366,691,13367,3748,55,10791,13370,
13372,10588,12805,3907,13373,6754,4578,5965,4354,11607,13181,13341,13376,12295,13378,13380,5650,13381,300,13382,2167,4960,8552,13384,13385,
13387,13388,11589,13389,13390,3761,1108,5170,13394,10230,12279,12107,10391,13397,12060,13398,11502,466,13288,4041,8097,13400,11912,13402,1231,
13403,4101,13404,10069,10768,5988,9415,5945,13406,13407,8329,11998,9055,6987,2057,12460,7061,5661,13411,13412,11047,11162,13415,8721,9756,
7038,13417,1651,7722,13418,753,1582,9080,5867,13421,793,12838,12703,13424,13425,7356,2123,13427,11500,12626,13429,13430,13432,13434,13435,
13436,10478,13439,13440,13441,11404,12449,12553,5657,5435,13444,13445,13128,13446,5125,13448,182,12473,11762,1233,13451,13453,12834,8538,13454,
9574,2559,188,1081,9259,10216,13458,13459,11609,13461,7951,13462,13464,13465,10525,13466,13468,11291,296,13470,218,4983,637,13471,13473,
7358,13475,1069,6499,13476,2758,5616,13477,8367,13479,11486,13480,11184,10667,11923,10901,3417,13484,13486,13487,13488,13489,12361,1305,12510,
12604,13494,13495,13359,10645,7029,10385,13218,13498,3942,11666,9934,13478,6340,13501,13184,6631,11517,10521,1256,2115,2031,13010,13505,13506,
13375,10339,3555,13508,10677,13509,8599,13510,13511,12581,13383,13513,5423,13516,13518,5632,1729,10926,2679,13521,10343,13524,13526,11667,6980,
4953,935,710,7888,9185,7605,13528,10220,13531,5686,12431,5915,13534,8270,13535,10717,13537,13460,13539,5875,12487,13540,4167,863,13538,
13542,6922,8673,13545,7442,13548,12651,13550,13551,12588,9032,13554,13555,13556,12865,10922,13558,12077,658,13208,6270,13560,12621,9798,11628,
509,3948,5668,3325,9205,13562,13563,8724,13566,9614,7924,13568,11561,5970,13570,13571,9625,13572,2839,13224,12330,1547,13574,13575,9618,
4920,8316,6157,13188,3081,7149,7853,12760,3814,13578,13579,1392,4916,12502,13583,13584,13585,2630,13547,2306,964,12769,13590,13591,10633,
13593,13594,13595,13596,13597,12489,10831,13598,553,45,13546,5368,12575,6697,11052,13603,13148,9844,13606,13607,13608,13609,2808,11370,2673,
13611,13612,10315,13613,4840,13323,13615,13616,4445,12983,1775,6510,3922,13619,13620,10485,11955,13621,9815,13622,11858,13623,13625,4404,9754,
11896,8668,13629,13631,4885,13633,13635,2210,13638,8154,13640,13642,13643,13645,10271,13646,8694,9556,13144,12380,8560,11213,13650,13652,13653,
6103,5957,5981,7655,543,5906,13656,13657,13658,775,8228,2313,11104,84,517,13661,13663,13321,13665,3551,13667,13669,13670,7822,7843,
13672,12300,12610,13675,13676,13677,11533,876,12998,10144,13352,13678,11674,11195,7660,4891,13680,13682,13684,13034,13686,13687,1443,5670,13561,
6531,11227,13690,7114,10508,13693,13694,13695,8134,13697,2685,13698,2424,8562,8330,13702,13703,4055,13705,7166,12081,12593,13706,6417,13709,
13711,8219,2464,13713,13714,13716,7650,13718,4986,6700,4162,13271,4183,5083,9643,12178,13723,11803,3970,12995,13727,11114,13728,4301,13730,
13732,13733,13734,693,2748,2384,2033,11828,6866,3615,13735,13736,13737,7762,12667,13463,13739,8646,13740,13741,13742,9667,7369,13743,12914,
2675,13745,8070,13746,4586,6015,1809,966,13749,13750,13751,13753,2566,10257,6982,13755,9245,4561,13393,8763,13757,10499,8655,13759,13761,
13512,9627,13763,13765,47,13768,13770,10280,11081,2349,13774,10310,8873,9176,13532,12184,10912,1303,4016,13779,11019,515,12355,13782,12052,
13783,12676,1779,7642,13785,13787,13788,13790,3802,13791,13792,11547,13793,8254,6376,13796,11839,13798,13413,13800,8407,13696,13802,11671,4064,
13804,13806,12705,13807,3172,2632,13809,13810,7861,13812,8152,5773,13813,3472,7726,13815,5684,13817,13819,8745,5119,1049,8621,13821,12833,
451,5943,3073,10897,13825,12727,1229,1133,13828,13829,13830,9487,8604,1529,5277,6790,13831,13771,4681,13834,13835,12019,8845,7850,13837,
2740,12996,13840,11042,13843,10267,13844,4291,8672,1346,13845,11480,4748,13846,12961,13847,13848,4648,8787,2997,13850,13090,952,12934,13854,
10646,13856,10018,6962,10205,4541,13704,13305,6397,13277,7127,13862,12605,8155,8794,12793,13866,11460,4874,1097,7318,13422,6724,6521,13870,
13872,9395,1212,5648,4466,13604,13876,13707,11247,9813,13327,8434,6928,13879,13880,97,9944,6204,12345,13882,10609,13885,13886,4709,13887,
8814,12964,3584,12787,5523,13891,6440,8790,323,13893,13894,13433,13895,13897,8778,12508,4009,8233,8968,13899,2588,13901,13902,2453,13903,
6663,13905,5982,9525,11488,874,10818,7363,13906,13907,3543,9131,9331,13909,10430,13912,2474,13913,12427,13914,5240,4365,13917,10024,10837,
13920,10518,13922,2393,8169,13925,13927,13928,13929,12152,12527,4985,13626,8848,8514,13080,13933,12067,12987,6773,3991,8557,12483,13936,5890,
8242,13937,11477,10295,7528,5373,13939,8942,13154,13941,13942,8194,13943,13945,13589,13826,12848,13947,12461,13527,4327,13021,13950,1103,11353,
13952,8121,13953,13955,10726,2892,13958,9690,7661,13962,939,11320,6592,10939,8469,13963,3287,10540,8402,12968,13965,9188,9397,12154,9154,
13968,13553,11246,3083,12673,13972,13811,13974,13975,13977,4143,12322,13979,5143,7203,5328,10616,95,7805,13984,12443,13986,13908,13987,11863,
2215,9387,8592,12650,13988,13319,13989,13990,13284,6117,1377,11951,9239,7264,12916,13993,13995,6062,13997,13998,646,11172,3899,3865,10089,
5730,2546,14001,2604,10244,9902,4713,8062,11732,2364,14004,742,5848,9273,5756,14008,7848,9859,12464,14011,14013,3665,10238,1551,12948,
3135,14016,7883,11981,2240,14017,10869,140,10376,14019,10515,13576,14020,11360,13599,14022,8876,5213,10714,14023,14024,14025,5603,13013,14026,
1990,8065,9350,14029,3639,1918,13369,14032,8521,7147,13960,391,14034,14035,3553,11636,14036,13580,10536,10347,12289,5110,14039,10443,14040,
12620,14041,14042,13701,14044,2595,14046,14047,5579,8248,564,12192,7102,11753,10483,13371,11491,14051,3388,13600,2251,14052,9251,586,12953,
10357,460,10992,10988,13916,5587,3420,12813,11316,2862,12191,14056,14058,7838,1868,13878,14059,14060,6492,3263,2093,14063,13649,10743,14065,
14066,8678,14068,14069,14070,621,11781,7179,7238,11583,14072,2067,7534,14075,14076,7287,2864,9224,14079,14080,8978,6064,7006,13226,1073,
14083,13692,1805,5425,13586,2683,9116,5911,13641,3846,14088,345,14089,14090,12406,7930,14093,14094,1083,13786,12789,7734,10582,14096,11930,
14098,9918,3700,650,13996,6642,9359,1717,6937,8512,11308,14101,6023,9695,11063,14102,14103,9698,3917,14106,14108,3509,9208,8938,14112,
3349,11936,7233,9119,11489,4732,13820,14115,14117,12699,12552,1028,1146,14119,13915,14121,6623,14122,14123,14124,14125,14126,576,2351,14127,
12433,9718,9435,13264,14129,2319,13194,14130,14131,5585,3785,3910,14134,4938,3791,14135,11328,12176,12768,10845,802,13514,14138,12148,10749,
2088,317,14141,1175,1358,2378,12712,13624,53,10482,14146,4795,11116,8598,6361,14147,14149,470,12457,12042,10319,13069,2398,1362,14152,
10349,11008,7351,3733,1610,1307,13329,8314,10580,7258,11223,12054,2113,14158,13533,13836,3294,5124,12576,10641,14162,14164,9448,9146,5294,
4316,10086,5316,14168,10203,13180,14170,11144,8663,3028,1564,14174,3837,14153,14175,6978,14176,14177,3718,1727,11399,7824,14180,12719,8311,
7252,14183,8501,2783,14186,6281,8949,4716,10719,10809,11971,14190,1001,13437,14192,10221,397,10290,13978,14195,14196,14197,8063,14198,11238,
7209,14200,7818,13587,14202,10191,8701,14204,2886,14205,2769,14206,7611,8595,2426,12233,5932,9046,11485,14208,11084,9179,14209,2324,14210,
11390,14212,6711,14213,2103,9523,7153,11243,3750,14215,9919,14217,8770,8502,14221,14222,8336,14224,5567,11301,14227,8750,4685,1982,9681,
14229,14165,3025,13324,3557,2734,3808,14234,14235,1486,11507,3179,14237,14238,10448,13110,14239,13449,14241,14242,1667,10001,1396,10105,3374,
7122,14245,14246,13991,9010,11703,12505,6308,14248,12633,5791,8987,14250,14216,3220,14252,13143,7893,7261,8857,7283,7483,10694,12333,14257,
10551,14258,14259,4783,10929,10131,12639,5211,14261,1120,511,11748,6318,14262,11880,2065,4217,14109,4859,11514,14263,2858,14005,14265,14267,
14269,13636,14270,14272,14273,14274,11617,956,3353,14255,4722,13577,8808,14169,6170,7031,10834,5282,13944,11883,5882,8497,9301,14283,9868,
9476,14284,12904,7036,13361,14286,12493,8057,12321,4240,14290,12171,8471,14031,5141,12950,7439,6073,3573,10009,6271,14295,13395,14015,14297,
7311,13617,9265,4164,8161,14300,9684,13639,14302,13549,7191,11720,13355,6245,13167,3828,9284,5924,441,12074,10340,14306,14307,10460,14308,
8974,6734,13726,14311,2121,14312,11755,13935,14315,11510,7564,7790,14317,1901,13949,5433,14319,6077,3253,14322,14323,2933,12788,623,9686,
9993,10400,14327,11934,3293,14329,2046,10505,14330,8201,6365,9946,4787,5456,8537,11127,13212,14105,12599,14337,1697,14339,14340,14341,14342,
13452,14344,13450,13059,14346,14347,13420,8351,5899,9792,14349,14351,14353,12209,5805,11747,5644,11397,12595,7309,3924,14357,11234,14358,14359,
11697,14360,14361,8199,13731,2371,12174,14367,8456,211,5722,6975,9034,14370,14371,7649,14373,11765,11647,3160,2389,14376,14378,8555,13351,
6115,14380,13106,844,5272,8024,14382,7344,12512,11973,6934,4342,9583,712,14386,14388,14389,13674,14390,7516,5069,13644,12246,14393,861,
13630,10000,14395,8553,8822,12646,14397,14398,12585,7100,11220,1938,14400,12923,14403,11204,6801,14405,11268,14407,14408,14409,14219,3798,730,
11493,11823,14414,13065,10152,1172,6029,2965,13039,14416,14230,14417,14418,10866,14193,14420,14150,134,9361,14422,906,13230,9095,4730,4151,
13038,14423,5137,5184,13614,14426,9729,11338,14427,12931,1180,6155,1220,11312,14428,7407,5300,186,13932,14368,2951,14433,14435,3511,809,
9479,11999,9700,5203,14437,4261,12601,580,14375,14438,14440,14442,14443,14445,14447,14002,8493,9385,10945,14449,7392,12670,8709,14452,1636,
1366,14454,14455,10426,10403,14457,6759,10579,7553,9738,10935,6134,14460,11543,14461,11457,10268,244,13490,8308,2204,14006,14463,14464,10061,
6039,14466,14467,12777,3115,14469,6994,5207,14471,14472,4413,12083,14473,14474,13959,14476,6661,1490,8042,12800,9581,9590,4081,14477,11504,
1786,2078,14479,14480,12363,9716,1311,4819,12135,14483,11185,14486,9777,14487,14488,14490,11075,7205,10884,9821,5600,14493,14495,14496,13238,
639,5628,14497,14499,14500,602,8509,10909,9782,13287,14503,418,13085,10829,5675,7365,5716,7022,12073,14459,3257,12384,9587,12820,11306,
14510,14511,8626,14513,9380,11389,14516,14517,3862,8880,14518,10613,14201,10008,8244,11221,9366,7115,14523,14524,4352,14526,12840,14527,6782,
9668,5809,11447,5003,14100,14532,3800,13557,14533,309,203,9543,3338,12523,2024,10396,12785,12826,14132,14534,14535,14536,14538,4045,2899,
4160,14541,6914,8902,2492,7557,5555,14544,14545,5375,14546,7279,14547,7068,13877,5139,14549,14550,14551,11531,8342,9112,14552,11013,1575,
14402,12373,3390,3876,14553,14555,9672,11010,8960,2727,14557,13754,8549,13408,6277,13322,13776,14560,14561,13769,14543,14563,11887,1136,14564,
14565,11270,13930,7798,13777,1909,14567,8135,1421,14444,14568,6811,8216,14569,14570,13873,9768,14571,3266,11709,14572,8962,13491,1541,13290,
14575,1401,6953,12819,11696,14211,3676,12385,14073,12750,9834,8981,960,14579,13818,10041,10850,6025,4687,12082,12909,1891,14580,14581,12783,
14583,14585,6850,11825,1045,14586,12944,6055,5463,12216,14512,14587,14588,14590,14591,13060,10288,2874,14401,8973,14228,11463,14595,14597,689,
14599,14601,9607,11158,4711,7682,9130,12981,12276,13102,14602,9068,14604,14605,13519,2600,8768,9019,7352,14607,13985,1558,1747,4760,11021,
13795,14610,14611,11603,14613,14614,14615,14616,11815,11622,13416,14617,14372,12901,13330,5750,8286,14618,11272,14619,5177,4485,14621,9860,80,
61,10827,14623,12957,2452,14603,12104,8376,14626,14627,14505,14628,14630,13864,14632,4123,14634,14635,7183,13926,14637,14638,889,13075,14639,
10882,2597,14111,5206,14641,6323,14642,5133,13632,3429,10993,14644,3561,13442,14645,14646,2111,14648,12272,11242,12139,7803,9547,14649,4487,
3210,937,10463,14218,14651,12859,14653,14654,10511,4110,12634,13251,14657,14659,14660,7372,8704,14661,7245,14656,14663,11474,180,14665,14666,
14540,5385,7451,14667,14345,13700,14668,14669,12291,14670,2498,12116,14671,11211,8445,11983,11595,14673,14675,14676,4106,3630,5996,2129,9953,
14679,2812,1872,14681,2820,4833,4776,14683,14684,14592,11712,5382,5093,7499,6778,14687,10975,4351,14689,1520,11570,14558,11563,14692,14694,
12774,10435,7940,13683,14010,13980,14697,10986,5482,13564,14698,10745,898,11051,14695,11049,14699,8433,5754,1218,800,14484,14333,8900,9313,
13778,13507,2742,2380,14095,12982,14491,8259,14335,7475,10051,14707,14708,13246,14709,9411,13209,4970,11779,12490,11380,6992,8289,3044,14712,
14521,14714,3395,10820,14715,14151,8797,945,14716,5789,14717,13601,10474,14172,14720,12701,14722,12448,13853,1749,14724,12129,14725,14726,11419,
10848,11278,14682,11677,5876,14727,14728,13805,11963,720,13961,10334,3133,14732,13725,14734,8484,6008,14735,8951,14738,3342,2649,14739,14740,
14593,8582,5274,12845,6713,14133,5501,10871,14741,14693,14576,14743,13153,14744,14745,9468,2756,14746,8150,12477,10298,3120,8838,7330,14749,
220,6187,11123,7471,10111,8665,14750,13050,6726,600,11255,14752,12327,14191,5233,3474,8093,14754,5452,9294,3470,5896,8001,1608,14548,
7213,14756,14387,11817,5339,1947,14758,184,13888,13399,14760,14761,7628,14763,13502,14764,11852,7202,14766,14767,11700,14769,10804,12974,10710,
10800,14773,10360,14775,8378,12155,14225,2029,14721,13717,12657,14777,10765,9550,12240,8100,14779,14780,14781,11203,14782,2957,9784,6604,12854,
7947,14783,5155,14742,11574,732,7084,12622,14784,3052,656,6199,7226,10862,5129,8209,14788,8385,10112,8596,13350,12059,2133,2281,4339,
14793,4149,4242,13149,932,4056,14795,9451,14796,14797,9253,7020,14798,10372,11615,14799,14800,7982,1837,11511,12528,13569,10816,14801,13904,
14803,1695,13345,3414,14806,8587,14808,10941,14810,11527,3478,5939,14802,8710,8211,10905,14748,4083,12928,14396,1670,14812,6390,14813,12308,
1975,9404,3754,12396,7489,10916,14817,14818,14819,555,14820,10207,14821,12120,14823,5075,14584,1743,2290,12069,14092,12837,11193,14321,6485,
14825,14827,11906,14830,12929,7246,8737,326,14832,14833,1475,3592,90,8806,14836,14838,14839,6614,14328,13263,14841,6032,14038,5366,14843,
8615,10487,2508,14189,8479,14845,14846,14848,3039,14182,14849,6985,13954,14710,10932,9048,12048,13515,14851,14852,14624,13838,5853,14027,8896,
13500,3198,76,14854,14369,14856,9378,9148,14858,14014,12036,14450,8782,11113,7187,869,14504,14155,14863,9473,13934,7828,10565,5979,5437,
14865,14243,10408,13627,13911,12618,14868,14074,14870,14871,14028,10462,13211,13541,14794,2590,11545,14872,14873,10618,8642,14620,6166,5230,1591,
14876,10958,7216,14859,12349,14804,14324,3384,6207,364,2653,7791,6372,2866,455,5055,166,5476,3312,14882,11844,12939,11538,14885,11899,
14888,14889,10352,14857,8707,14890,14891,12386,4494,5765,14892,14893,3847,14895,6214,13269,14470,14897,1818,10116,14898,14702,14900,7505,14338,
14774,12798,7674,6870,6265,13659,11737,14902,6945,14672,14903,10363,14411,14904,900,12098,14905,6837,1437,14906,10045,6403,4543,10114,10724,
14910,11874,4817,13668,14911,9688,6374,14116,9333,6693,12065,1602,14914,14915,14916,14184,14917,13483,1112,14919,3674,9772,14071,14920,14921,
14922,6771,14908,286,8048,14925,14926,14432,14927,14318,14929,10160,14930,14931,14171,6258,14932,8523,4199,14163,11509,14933,13875,811,14934,
12017,13823,10702,12377,13842,5507,8776,10365,6635,12167,132,4318,14936,14236,2794,12659,14937,7361,14939,12887,14747,12886,14691,14941,14942,
12471,2890,5289,14875,11225,14943,2358,14945,5454,14946,14007,9639,14947,14924,12570,2972,6739,14950,2943,14953,3579,11807,6570,8348,3397,
14954,1425,14955,10120,12326,14956,14957,14958,13648,9190,12864,7128,3453,14960,437,9121,14961,14962,1270,14963,14928,9465,8761,14701,298,
3775,14966,13199,12401,1853,12860,14969,9808,14970,2792,2076,14972,14973,9961,14082,521,2968,9075,14975,14976,12720,6606,605,14978,3607,
7705,14979,12169,14980,14981,8983,5105,11450,9400,14982,9321,9951,14240,14983,6183,5196,249,751,14986,14987,6788,13108,4153,4585,12546,
1522,14989,14991,13744,6151,14993,10626,12895,2118,14994,6301,14995,14996,8131,14997,9518,7405,14999,13814,11565,15001,4203,15002,11222,2016,
15004,14509,15005,7289,15006,8387,15009,1803,3466,3244,13170,15010,1360,11513,7540,8003,15012,6625,6627,14291,1941,15014,11421,12027,15015,
13752,8296,14686,2175,13054,10825,14298,10490,9067,7688,12739,8327,15017,9865,7852,13135,15020,8994,13392,12454,12584,13605,3878,2880,3372,
1164,12002,15021,15022,14907,15011,10680,9352,598,14862,10658,7074,533,424,14379,14049,15024,14944,12309,14429,13671,8226,13689,15026,12947,
13544,14128,10326,6916,13280,13004,11541,15029,15030,12316,2750,11361,15031,909,7389,14935,11439,15033,5710,4208,13071,11616,15035,14232,4077,
10833,14268,10571,15039,2237,15041,10913,14434,13976,11283,11294,14053,3834,14901,2331,773,14700,9202,11066,7810,10337,10542,13410,12099,13801,
10730,6958,12070,11148,14431,13456,10904,15048,9166,12756,15050,15052,14690,12463,15053,1144,2897,4899,14381,12418,10995,2657,2439,10492,12324,
8816,14160,15054,6903,8263,4411,8388,11908,12548,15051,7699,13839,14253,4656,15059,15061,14145,8005,1678,11240,15064,10738,9938,11413,9135,
15066,10607,6951,15067,15069,11053,6732,1206,14285,4851,2816,11578,14410,7945,13966,1095,1340,15072,15073,12665,12832,15074,3972,12796,12223,
3954,6587,15075,14233,14596,5947,10406,15076,15078,15079,15080,14539,255,6017,15081,8581,10538,14835,6392,15083,15084,12902,14655,12131,14178,
14299,9220,15086,6212,3087,12318,8748,14729,12484,8123,15088,10802,11727,7830,1721,14537,15090,15091,625,14886,14280,11866,15094,2827,2172,
11929,4259,7394,12896,15096,9012,4605,10494,12365,6313,15098,1488,445,15099,15101,14522,6803,14383,15102,12237,15103,8697,15104,15105,15106,
4281,12354,10782,6541,13303,12827,4424,15108,14084,10870,15109,15110,10392,1407,14256,3457,1354,14033,5764,15112,1472,11624,15113,15114,12146,
8518,14652,15115,11913,7403,14881,13447,12207,14977,7399,11458,5447,11430,11846,13391,9137,14719,11103,8680,11897,5894,11606,5527,13472,10699,
15119,5045,13923,7621,14412,6930,11015,15121,9709,14815,5517,6761,7578,11761,4441,3071,15126,14203,1496,15129,15130,2773,11077,15131,15132,
8715,10838,9169,11443,14067,10770,15133,15134,15135,9887,6054,2225,15136,15137,8575,3596,14948,14771,15138,14045,9364,10543,10789,14733,366,
9264,7676,1577,15140,6370,10907,12187,13067,930,15142,15143,13921,14606,7332,6343,15144,13992,15145,15146,4381,4395,12565,12088,10305,14207,
9092,15147,14343,14912,13309,9670,10686,3494,2935,4853,15149,13898,10716,14678,14077,3489,10624,15151,7710,15152,7647,12258,4707,8912,8842,
15154,9740,15155,15156,5406,10098,439,14759,14528,15159,14430,7192,5878,6249,12256,15163,15165,10039,12424,14254,15166,13881,5571,11991,12709,
15167,11802,15168,7693,11107,176,15170,15171,15172,15173,10079,7200,15175,2059,15176,13485,107,14048,4131,6682,13919,15179,15180,2984,1382,
15182,5850,6415,13900,15184,111,4855,15185,14458,6138,15187,13808,6321,7293,13221,15190,15191,13884,2805,6748,11838,1456,10071,10798,12841,
4769,11382,14226,2822,14292,13100,15181,11362,3492,14009,15194,14864,14894,11207,14529,11542,5998,15196,14137,15197,15198,14703,8365,14415,13655,
13971,13104,15202,15060,15203,15205,1573,11337,8268,14860,14711,12023,12157,1018,15207,15208,4893,11169,15093,10846,14331,8739,8980,14918,14475,
15211,292,12759,15042,15214,12975,6516,11209,12061,13868,14874,4932,13368,15218,9015,913,4765,10188,14223,6461,3240,15220,7999,11134,10674,
15222,5486,8907,7163,6535,5103,14043,11877,7045,5748,9255,15224,13401,13664,15225,8944,14136,1511,13772,8623,3212,10605,9894,1945,8143,
10420,7185,15228,2356,779,14542,15229,6998,1006,12549,15231,15139,11465,6479,15233,12573,9606,13863,2937,10026,15204,14275,14811,4443,10496,
15235,11805,6968,6162,12715,2140,1267,15237,14508,12403,4294,12791,15240,3513,8525,15242,10375,14923,12977,14366,13982,7096,9368,14608,15245,
4222,15246,629,13027,14598,15248,15249,8016,14453,9968,4924,15250,14061,8517,9416,619,12664,7760,13346,7600,14446,14021,11475,8572,8459,
15252,2200,11101,9161,11289,15253,12428,15254,14629,15255,15256,15258,6949,4863,11522,12984,13760,3895,14531,4845,15261,11891,15264,2458,8882,
15265,6206,11793,15267,15268,1907,15270,8163,7953,4370,10240,5706,15271,15272,3903,14971,1781,1829,12717,15016,529,15274,15275,15276,15278,
6796,2651,15279,10936,15280,408,15282,9467,15283,4865,15285,12496,12653,11466,6589,8033,14737,13293,3891,12183,13861,14482,3563,12212,13691,
10418,15239,15288,8934,11310,4821,5115,15266,12541,15019,3702,12467,3162,5369,6545,13259,10157,2097,9545,11139,635,15292,8053,13520,15294,
15295,14713,11645,13118,15297,14012,854,1364,14161,15095,13234,10199,12143,14081,15300,13654,12849,14354,15301,15303,10759,5024,14064,3995,14391,
15304,14055,13957,10135,6293,13799,9376,13775,3192,1969,11794,14855,14113,10596,1484,10321,8304,12198,6079,14325,9707,10225,6185,8520,13523,
3966,10705,6092,4428,14974,7460,14194,9631,7898,11436,13250,14392,5714,15308,11968,5158,13660,5619,13155,15310,9699,13002,14384,1883,3739,
15312,9764,10563,14078,13171,8383,15313,13056,15315,10213,15316,7794,14589,15318,14489,13999,14787,7766,3732,13867,15089,15319,13364,2146,15321,
13245,15322,4230,15323,1024,15045,14559,8919,3783,13758,6601,7720,11040,7518,13096,12890,15325,9926,15326,14967,14884,3033,13268,14677,99,
15327,7912,3308,10722,5219,12721,11189,15025,12903,12415,103,8606,3735,15328,9436,12411,15329,1087,6240,2796,11986,8276,15330,15331,14336,
15332,15333,14355,1114,9242,14573,12679,11249,9305,14310,2520,15335,4922,8686,12607,15038,12447,15193,14816,15291,3131,14562,15338,12889,6194,
14107,5349,11069,3255,5655,3949,15157,3884,5975,15342,1801,14334,13931,13286,15344,8325,15345,11626,9828,14494,7012,12671,4988,10118,14249,
7668,3533,271,13261,14877,7983,12197,9979,1967,15206,15347,10294,7576,14896,15348,13892,14406,5407,9854,13386,1128,14577,4774,1509,12369,
8450,14515,2659,4383,4811,4805,10476,547,5194,13715,13767,10621,12105,12803,12109,15243,12445,2481,11580,12199,15356,12656,15357,15062,10879,
12090,15227,878,12297,14462,14000,15360,6438,8126,14736,759,1053,11756,15362,11788,12905,13499,8045,15364,13530,8689,12533,2534,1494,5430,
11143,4094,11036,11461,13824,10501,9277,10828,12654,13869,8092,15111,14514,10752,13242,14786,11292,5245,9549,10955,4047,9721,12263,6550,15369,
13890,2824,12825,2249,696,1822,15216,9966,7082,9601,11687,5488,1020,14159,2502,10784,9905,11569,14304,8836,4756,819,11365,2715,15336,
11459,12004,669,13017,14706,3018,12226,9290,14850,12342,13307,5551,15373,5548,10253,15259,6144,3659,6352,15377,14949,5967,6477,5458,15380,
13340,15023,4473,11644,12685,1783,15381,15123,9978,14520,12989,15195,15376,14404,9142,4617,6917,13419,5228,12713,11826,4693,11505,8741,4177,
8718,2327,6555,6508,10424,14377,15317,11818,13764,13125,10088,15383,3168,14968,12043,15384,10969,9445,7670,1590,13747,15359,15385,11726,13857,
13610,2671,14143,15387,5659,8716,14554,13967,13431,14142,9295,15389,3427,15390,10006,5761,12397,14144,13573,4512,8735,14631,15391,11031,12843,
2273,12999,13536,5401,10284,3937,15365,8192,11749,13306,13956,14441,15396,14264,15398,15399,15400,14091,12306,11349,4903,2528,15401,12025,124,
5712,15402,3723,5480,15120,14899,8229,15008,12707,12218,8059,15405,14867,11150,10162,14231,15407,313,15408,7017,7349,14085,9500,13187,9660,
4250,13860,14050,14887,8068,1124,7784,13721,13086,8590,3762,9077,14609,9488,15410,2041,10132,12745,4827,7059,1368,14636,3079,7663,10747,
15411,7691,11110,13214,15412,8677,15413,14622,15416,15340,15417,11372,13123,12938,11798,105,14582,12034,11275,5634,1380,3196,1236,5036,13685,
10028,13517,13729,5354,14751,12195,9105,1030,5422,2526,15107,8148,14271,15158,10644,6563,9280,14723,12616,282,1952,15421,11682,1272,13032,
6629,9090,15424,1539,4483,11918,11771,14303,13719,15425,15186,11586,14594,4224,6720,3050,15426,14964,3188,12625,11959,11376,15429,1370,15403,
8751,14309,15430,15257,14157,4022,4058,13634,13084,15431,7462,15432,13889,11520,6331,8225,11553,2617,12391,14842,15375,13822,14789,11705,14696,
12568,15388,14348,11355,10016,13253,4612,8184,15435,15437,15125,10981,15439,14374,8272,9775,8095,11343,15007,13994,6647,15440,7864,11350,13122,
3183,15442,13291,9846,13151,14643,12456,12196,11124,5321,14365,9566,8190,15443,11888,15444,13438,14018,8141,10468,2644,2955,341,3768,226,
15409,12891,8534,8860,14519,15446,11679,3571,15263,10813,5504,13183,7481,9232,3915,14185,14633,3844,14436,14287,14730,14188,7703,8416,15450,
4530,13964,3744,15451,15221,15177,4477,14086,8050,11869,5394,9823,9910,14837,11734,5989,5325,6303,14566,6047,14057,12101,9800,15379,5718,
7996,13567,4652,10171,8104,15027,6659,11796,13816,2320,13699,15452,7222,12479,7501,15298,15453,13114,7823,15314,11659,12353,14502,8846,12997,
15454,14173,5450,12208,9849,10437,6019,3380,13166,15355,11953,11125,4308,15192,11387,11949,3940,15351,3826,15458,3109,9697,15459,15460,13338,
15238,14468,15461,6843,1535,14451,15057,2558,15462,14658,4847,13851,15464,14277,13858,6075,1515,14765,15465,14600,13091,14880,12375,2337,4621,
6873,15468,15003,873,12160,11363,14879,13871,3137,15040,12694,3681,2996,4246,11902,12182,6513,10255,902,11551,15404,3386,2206,13379,13910,
4452,10378,15474,617,10332,15475,12254,15476,5667,12696,8852,12731,6653,10264,13581,11298,6602,6174,10852,15477,14731,15479,11881,14952,8369,
9527,6557,15445,2619,7880,3105,4120,11168,10979,6667,15483,15480,1077,3679,15448,5469,7681,4990,5841,2788,6325,14913,7426,14120,15485,
15037,13497,3009,15486,9819,6518,10947,14181,12949,242,2082,15087,15489,12514,15397,3565,15490,15392,14276,4297,13474,10148,11176,13896,4434,
15492,3920,7027,13164,11384,11160,15494,1903,15047,2642,5419,11182,8811,15497,9589,12325,10464,10577,15498,15049,2556,15472,9115,15499,14054,
7137,6905,6146,15241,1197,12648,1566,13496,3770,15337,15232,15161,15287,9299,15200,6459,14154,3746,15501,6061,5953,14465,10720,9374,9725,
343,12413,14294,6081,6197,15502,4552,14869,1503,15503,11604,8506,12624,7617,10614,8884,1216,15085,3789,10031,11483,8635,10531,15371,13467,
8427,6868,10942,13970,2621,13766,15506,9520,15507,5673,2514,13405,1699,13178,14704,6639,7263,15505,14281,7787,15508,8284,4705,251,4174,
14413,14214,13228,14525,15510,4376,11432,12935,8618,8009,652,15244,10011,15046,14940,14394,9636,14421,15481,15386,6637,5723,3462,12959,12352,
13948,15488,12231,355,5758,13602,10246,15433,12485,14530,13738,11155,13111,15395,15334,12691,11822,11322,5831,9874,14156,15097,15343,1760,4726,
15423,12014,13582,15438,4934,13794,13409,15230,395,14685,9710,12754,8319,15393,3961,15526,1596,11554,2154,15529,13781,14814,12435,14507,10517,
11995,11366,15353,10300,9356,5589,15077,5077,702,10356,7785,6884,15531,2988,15532,9856,15511,13780,11926,6152,7808,10796,14187,358,2138,
4791,12722,10855,2980,5520,14998,7089,13457,13720,769,1142,10569,14278,15466,1888,12516,12747,3583,14853,13082,9714,14755,12420,12000,15299,
15056,1531,11739,15324,6502,13688,1857,9882,12040,15537,9655,10682,13724,10150,13492,12830,6057,3276,15148,11980,13301,14878,8265,11768,2754,
14680,13343,4573,12846,8174,9806,15201,836,15269,7242,15541,8357,11785,14844,11230,15542,10602,10520,14260,9001,15013,15544,2360,4037,15436,
10787,13651,15545,15153,1101,15527,5539,15226,10180,6901,8130,1549,15174,13357,4930,10228,4066,13951,12762,12946,4402,15189,8234,15122,6267,
13087,14647,6897,13504,15549,15262,10728,15071,10073,8425,11945,15374,10997,13855,15551,14990,3712,15420,6107,6307,15449,15552,15309,3271,13265,
12966,11978,15554,15555,13637,14757,7219,15368,1126,4129,11598,15470,393,12417,13708,14320,9346,15540,13157,9482,6136,8280,15556,7240,11503,
15520,1588,1691,15070,8196,12910,15063,9030,1200,14456,1290,13559,15559,14847,15162,15341,5237,7937,15366,4054,12086,11859,7756,13940,13455,
8323,12572,15370,9693,12267,15562,14965,11232,232,8832,7856,14179,8611,14301,15219,15539,14776,3222,15247,6737,13198,14279,10835,4092,7746,
11091,4565,14037,15260,10218,1184,13173,13377,8998,13938,15209,13295,10807,3577,15564,12609,12368,14313,15361,14992,15116,11314,7274,5224,13722,
15560,15251,5511,15415,14506,1645,15515,12810,14305,9079,14356,15455,15286,8558,14807,7172,15482,215,15538,15568,15569,15036,10639,13592,6408,
7014,14148,8601,7544,15188,9324,5168,6088,15290,14861,1556,8186,3113,15536,12173,15571,14791,13078,8363,15467,15570,3007,4889,781,11073,
15524,12869,280,7117,12270,9498,13832,12828,7585,15574,6680,10865,1116,15223,6176,7634,14385,13981,12071,6716,15577,2717,10417,15578,14314,
15302,10758,12589,13756,4475,5708,15414,3304,14140,13469,15346,3302,3063,13918,14087,15580,15518,6027,11054,15579,13803,15533,7637,14097,15582,
11455,15521,2245,13773,15215,10583,15584,2253,880,15585,2308,7391,12866,7042,5439,10236,11670,15128,15141,2565,14062,15044,15296,15530,15378,
7797,12532,15018,8147,4701,13443,2247,6399,14805,5700,15589,15164,11287,10917,10043,9402,4348,274,11327,15519,15557,15543,7873,11257,7507,
14785,1913,13204,15590,14809,6253,14481,13428,14362,13679,1182,13162,15311,15495,8532,12880,14350,5351,12033,15593,9328,14866,15305,5557,5412,
14831,6730,15213,13503,15441,14399,15504,13138,14834,14985,14824,4133,9634,13712,12015,8792,5566,2020,7775,8826,6105,6494,5843,11651,5113,
13946,14828,15522,1315,10631,9747,3419,14326,9879,2494,4008,8923,13522,14244,3913,6877,15434,12519,1825,13239,12358,9563,13525,5919,12041,
2911,12921,9062,14363,13874,15561,12010,12877,10553,852,15598,1041,4576,11262,983,14167,9578,991,2415,12304,11417,13094,15601,2456,12991,
15581,9073,13232,1016,10608,15306,1665,4113,15394,14792,15512,12201,865,7119,6708,12085,15236,4462,11088,15550,15603,15597,12932,5044,14840,
5080,15150,2667,14662,15478,15607,840,6972,9616,15575,9365,1458,3236,14883,5631,14266,14419,11495,15525,12343,8214,15558,13332,4738,10146,
12716,7713,14501,7858,10397,14282,11334,4947,13206,2637,13849,7871,14485,15596,14424,3318,13283,13552,13833,829,5769,9780,3283,5172,3370,
14574,290,15583,14664,4849,15513,12591,12628,3624,15169,7297,15608,15599,14625,14768,12133,11140,1092,3661,8866,11348,15068,9283,3626,15606,
1926,14762,12190,1292,10266,5022,14220,15610,7494,8862,13647,2302,3525,3880,10887,2882,4228,15576,11744,10282,10054,9929,8733,14951,10762,
15406,6426,9272,13121,8985,10359,8946,15034,2725,6216,12638,9236,15082,14556,15587,13481,15210,7384,14030,15469,14332,14770,15427,14110,8666,
15284,15457,11498,13784,14288,13841,15447,10766,14650,13618,14790,1419,4252,5280,12812,13182,3024,12030,4185,10764,3695,15354,13097,13924,5793,
14352,3977,7057,4912,15234,2413,6233,15588,8498,14425,9020,15124,1833,11264,14448,4263,8659,11345,14003,4917,11097,13748,1447,12452,7933,
3101,13543,1930,15604,15573,5071,574,10604,13797,11137,15183,15055,13081,13279,6225,14251,5739,2541,14829,14247,15613,14674,11758,15028,10526,
941,6455,13883,7180,15516,6445,3963,9410,7527,13185,15217,14104,1462,9826,10297,2778,3433,2142,4554,3347,14938,12689,7512,15615,15592,
6943,14289,12252,15092,6181,12075,6807,13396,6108,9888,13414,6095,12206,11601,7228,1562,14293,15491,14705,15058,13374,15605,14316,15566,11689,
15528,5909,14166,12094,9539,11634,11920,2729,15618,15293,15619,8031,13073,14478,15281,13529,13311,15517,15178,12494,3939,7196,870,10173,15307,
15616,7719,13859,1799,15609,4807,7435,10350,14984,9535,9748,6757,12194,15586,15594,6741,8081,4431,5835,15352,15546,15473,13493,3207,490,
11428,9947,4680,14772,1680,14959,11772,10454,14753,13565,1288,12374,13666,13969,15032,11197,13865,15428,13673,9893,846,15534,6939,2549,15358,
2771,7085,7342,4292,10757,12882,1153,14439,997,14364,8971,11988,15100,11453,6793,15620,14114,12562,15363,11122,1560,13852,12567,5095,3399,
7420,15496,15614,10138,15565,6959,10312,519,15043,4226,3523,7151,10811,10934,15547,1150,7269,10195,15273,5087,14492,14909,10197,9214,15612,
15422,12587,9820,15514,13191,11809,15623,12482,15487,5741,15463,9367,5249,13681,6305,13335,13482,15500,13588,13201,14612,13423,10564,15418,4244,
1317,458,15600,9171,14099,8779,2613,10754,8927,3077,1827,6839,15419,14988,11424,5498,15372,8404,13827,15621,2536,15523,8221,5951,2578,
14688,14118,15118,15622,10096,7640,15572,15456,14578,11321,8339,10672,15471,11368,15595,10457,2640,14822,3663,14778,6763,1319,9824,8732,5597,
8922,15548,13628,11975,1439,6295,15339,15591,9496,7959,14640,4468,1934,11392,13973,11915,13036,12186,6817,8547,464,12822,15509,9920,14498,
1655,11250,8839,15277,4548,5784,2615,15367,6784,5921,7730,15611,10692,13983,12735,462,14139,4928,15065,15617,6368,8564,14199,3412,8159,
4568,5343,15624,7308,13789,15000,15350,4322,13426,14718,5913,7627,9163,7444,11594,8124,1110,7073,12399,15602,10037,8453,6684,15160,9758,
15127,15382,3495,6534,10510,8145,15553,9735,15493,9983,7962,5467,3437,15289,538,5089,10059,4660,15484,15320,11156,9314,9907,6298,15117,
15199,12248,12292,4062,15349,15212,14296,333,9571,9486,13662,14826,5778,13710,2048,7909,15567,9651,15535,12475,13272,9060,15563,15625,13762]
>;
print "Group G is 5^(2+2+4):(S3 x GL2(5)) < Sym(15625)";