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