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