#include<cstdio>
#include<map>
using namespace std;
map<int,int> n;
int main(){
n[1000]=1;
n[1001]=1;
n[1002]=1;
n[1003]=1;
n[1004]=1;
n[1005]=1;
n[1006]=1;
n[1007]=1;
n[1008]=1;
n[1009]=1;
n[1010]=1;
n[1011]=1;
n[1012]=1;
n[1013]=1;
n[1014]=1;
n[1015]=1;
n[1016]=1;
n[1017]=1;
n[1018]=1;
n[1019]=1;
n[1020]=1;
n[1021]=1;
n[1022]=1;
n[1023]=1;
n[1024]=1;
n[1025]=1;
n[1026]=1;
n[1027]=1;
n[1028]=1;
n[1029]=1;
n[1030]=1;
n[1031]=1;
n[1032]=1;
n[1033]=1;
n[1034]=1;
n[1035]=1;
n[1036]=1;
n[1037]=1;
n[1038]=1;
n[1039]=1;
n[1040]=1;
n[1041]=1;
n[1042]=1;
n[1043]=1;
n[1044]=1;
n[1045]=1;
n[1046]=1;
n[1047]=1;
n[1049]=1;
n[1051]=1;
n[1052]=1;
n[1053]=1;
n[1054]=1;
n[1055]=1;
n[1056]=1;
n[1057]=1;
n[1058]=1;
n[1059]=1;
n[1060]=1;
n[1062]=1;
n[1063]=1;
n[1064]=1;
n[1065]=1;
n[1066]=1;
n[1067]=1;
n[1069]=1;
n[1071]=1;
n[1072]=1;
n[1073]=1;
n[1074]=1;
n[1075]=1;
n[1076]=1;
n[1078]=1;
n[1080]=1;
n[1081]=1;
n[1082]=1;
n[1083]=1;
n[1084]=1;
n[1085]=1;
n[1086]=1;
n[1088]=1;
n[1089]=1;
n[1090]=1;
n[1092]=1;
n[1094]=1;
n[1095]=1;
n[1097]=1;
n[1099]=1;
n[1100]=1;
n[1102]=1;
n[1103]=1;
n[1104]=1;
n[1105]=1;
n[1106]=1;
n[1108]=1;
n[1109]=1;
n[1110]=1;
n[1112]=1;
n[1114]=1;
n[1115]=1;
n[1117]=1;
n[1119]=1;
n[1120]=1;
n[1121]=1;
n[1124]=1;
n[1126]=1;
n[1128]=1;
n[1129]=1;
n[1131]=1;
n[1132]=1;
n[1135]=1;
n[1136]=1;
n[1137]=1;
n[1138]=1;
n[1139]=1;
n[1140]=1;
n[1141]=1;
n[1143]=1;
n[1144]=1;
n[1145]=1;
n[1146]=1;
n[1149]=1;
n[1150]=1;
n[1152]=1;
n[1153]=1;
n[1155]=1;
n[1157]=1;
n[1158]=1;
n[1159]=1;
n[1166]=1;
n[1167]=1;
n[1168]=1;
n[1173]=1;
n[1176]=1;
n[1177]=1;
n[1181]=1;
n[1182]=1;
n[1184]=1;
n[1185]=1;
n[1188]=1;
n[1189]=1;
n[1193]=1;
n[1197]=1;
n[1198]=1;
n[1199]=1;
n[1200]=1;
n[1201]=1;
n[1203]=1;
n[1204]=1;
n[1205]=1;
n[1206]=1;
n[1208]=1;
n[1209]=1;
n[1212]=1;
n[1213]=1;
n[1215]=1;
n[1222]=1;
n[1225]=1;
n[1229]=1;
n[1233]=1;
n[1234]=1;
n[1235]=1;
n[1236]=1;
n[1237]=1;
n[1238]=1;
n[1239]=1;
n[1240]=1;
n[1241]=1;
n[1242]=1;
n[1243]=1;
n[1246]=1;
n[1247]=1;
n[1248]=1;
n[1251]=1;
n[1252]=1;
n[1253]=1;
n[1254]=1;
n[1255]=1;
n[1260]=1;
n[1261]=1;
n[1262]=1;
n[1265]=1;
n[1267]=1;
n[1268]=1;
n[1269]=1;
n[1270]=1;
n[1273]=1;
n[1275]=1;
n[1279]=1;
n[1280]=1;
n[1282]=1;
n[1283]=1;
n[1285]=1;
n[1289]=1;
n[1291]=1;
n[1292]=1;
n[1294]=1;
n[1296]=1;
n[1297]=1;
n[1298]=1;
n[1300]=1;
n[1301]=1;
n[1302]=1;
n[1303]=1;
n[1305]=1;
n[1306]=1;
n[1309]=1;
n[1312]=1;
n[1315]=1;
n[1316]=1;
n[1321]=1;
n[1322]=1;
n[1323]=1;
n[1325]=1;
n[1326]=1;
n[1328]=1;
n[1331]=1;
n[1337]=1;
n[1339]=1;
n[1341]=1;
n[1342]=1;
n[1343]=1;
n[1344]=1;
n[1345]=1;
n[1347]=1;
n[1350]=1;
n[1351]=1;
n[1354]=1;
n[1356]=1;
n[1357]=1;
n[1358]=1;
n[1359]=1;
n[1365]=1;
n[1371]=1;
n[1373]=1;
n[1376]=1;
n[1377]=1;
n[1381]=1;
n[1388]=1;
n[1389]=1;
n[1390]=1;
n[1392]=1;
n[1394]=1;
n[1396]=1;
n[1398]=1;
n[1399]=1;
n[1402]=1;
n[1404]=1;
n[1405]=1;
n[1406]=1;
n[1407]=1;
n[1408]=1;
n[1410]=1;
n[1412]=1;
n[1413]=1;
n[1415]=1;
n[1416]=1;
n[1417]=1;
n[1418]=1;
n[1421]=1;
n[1422]=1;
n[1423]=1;
n[1424]=1;
n[1427]=1;
n[1430]=1;
n[1431]=1;
n[1432]=1;
n[1435]=1;
n[1436]=1;
n[1437]=1;
n[1439]=1;
n[1440]=1;
n[1441]=1;
n[1442]=1;
n[1444]=1;
n[1446]=1;
n[1448]=1;
n[1449]=1;
n[1450]=1;
n[1453]=1;
n[1455]=1;
n[1456]=1;
n[1457]=1;
n[1459]=1;
n[1462]=1;
n[1463]=1;
n[1464]=1;
n[1469]=1;
n[1470]=1;
n[1475]=1;
n[1476]=1;
n[1477]=1;
n[1480]=1;
n[1484]=1;
n[1485]=1;
n[1488]=1;
n[1491]=1;
n[1492]=1;
n[1495]=1;
n[1500]=1;
n[1501]=1;
n[1502]=1;
n[1504]=1;
n[1505]=1;
n[1506]=1;
n[1507]=1;
n[1508]=1;
n[1509]=1;
n[1510]=1;
n[1512]=1;
n[1513]=1;
n[1515]=1;
n[1516]=1;
n[1517]=1;
n[1519]=1;
n[1520]=1;
n[1521]=1;
n[1522]=1;
n[1523]=1;
n[1524]=1;
n[1526]=1;
n[1527]=1;
n[1528]=1;
n[1529]=1;
n[1530]=1;
n[1531]=1;
n[1535]=1;
n[1538]=1;
n[1540]=1;
n[1541]=1;
n[1543]=1;
n[1544]=1;
n[1545]=1;
n[1546]=1;
n[1547]=1;
n[1548]=1;
n[1550]=1;
n[1551]=1;
n[1554]=1;
n[1555]=1;
n[1557]=1;
n[1560]=1;
n[1561]=1;
n[1562]=1;
n[1563]=1;
n[1564]=1;
n[1565]=1;
n[1566]=1;
n[1568]=1;
n[1569]=1;
n[1570]=1;
n[1572]=1;
n[1577]=1;
n[1581]=1;
n[1582]=1;
n[1587]=1;
n[1588]=1;
n[1590]=1;
n[1591]=1;
n[1592]=1;
n[1593]=1;
n[1595]=1;
n[1598]=1;
n[1599]=1;
n[1600]=1;
n[1603]=1;
n[1604]=1;
n[1605]=1;
n[1607]=1;
n[1612]=1;
n[1613]=1;
n[1614]=1;
n[1615]=1;
n[1620]=1;
n[1622]=1;
n[1629]=1;
n[1630]=1;
n[1633]=1;
n[1637]=1;
n[1638]=1;
n[1639]=1;
n[1643]=1;
n[1644]=1;
n[1645]=1;
n[1646]=1;
n[1647]=1;
n[1652]=1;
n[1654]=1;
n[1655]=1;
n[1656]=1;
n[1657]=1;
n[1660]=1;
n[1662]=1;
n[1664]=1;
n[1668]=1;
n[1669]=1;
n[1670]=1;
n[1671]=1;
n[1672]=1;
n[1673]=1;
n[1676]=1;
n[1677]=1;
n[1679]=1;
n[1681]=1;
n[1684]=1;
n[1687]=1;
n[1689]=1;
n[1690]=1;
n[1691]=1;
n[1692]=1;
n[1695]=1;
n[1697]=1;
n[1699]=1;
n[1701]=1;
n[1704]=1;
n[1707]=1;
n[1708]=1;
n[1709]=1;
n[1712]=1;
n[1713]=1;
n[1715]=1;
n[1717]=1;
n[1718]=1;
n[1720]=1;
n[1722]=1;
n[1725]=1;
n[1727]=1;
n[1729]=1;
n[1730]=1;
n[1731]=1;
n[1732]=1;
n[1735]=1;
n[1737]=1;
n[1740]=1;
n[1743]=1;
n[1744]=1;
n[1747]=1;
n[1748]=1;
n[1749]=1;
n[1750]=1;
n[1752]=1;
n[1753]=1;
n[1755]=1;
n[1756]=1;
n[1757]=1;
n[1759]=1;
n[1761]=1;
n[1763]=1;
n[1764]=1;
n[1766]=1;
n[1767]=1;
n[1769]=1;
n[1773]=1;
n[1777]=1;
n[1780]=1;
n[1781]=1;
n[1782]=1;
n[1785]=1;
n[1786]=1;
n[1787]=1;
n[1788]=1;
n[1789]=1;
n[1790]=1;
n[1792]=1;
n[1793]=1;
n[1797]=1;
n[1799]=1;
n[1801]=1;
n[1802]=1;
n[1805]=1;
n[1806]=1;
n[1807]=1;
n[1810]=1;
n[1812]=1;
n[1813]=1;
n[1816]=1;
n[1817]=1;
n[1818]=1;
n[1821]=1;
n[1822]=1;
n[1833]=1;
n[1834]=1;
n[1835]=1;
n[1836]=1;
n[1838]=1;
n[1843]=1;
n[1847]=1;
n[1849]=1;
n[1850]=1;
n[1855]=1;
n[1863]=1;
n[1865]=1;
n[1871]=1;
n[1874]=1;
n[1889]=1;
n[1890]=1;
n[1895]=1;
n[1898]=1;
n[1900]=1;
n[1904]=1;
n[1908]=1;
n[1911]=1;
n[1912]=1;
n[1913]=1;
n[1914]=1;
n[1915]=1;
n[1916]=1;
n[1919]=1;
n[1920]=1;
n[1922]=1;
n[1924]=1;
n[1925]=1;
n[1926]=1;
n[1927]=1;
n[1929]=1;
n[1930]=1;
n[1932]=1;
n[1933]=1;
n[1934]=1;
n[1935]=1;
n[1937]=1;
n[1939]=1;
n[1940]=1;
n[1941]=1;
n[1942]=1;
n[1943]=1;
n[1945]=1;
n[1946]=1;
n[1947]=1;
n[1948]=1;
n[1949]=1;
n[1951]=1;
n[1952]=1;
n[1953]=1;
n[1954]=1;
n[1955]=1;
n[1956]=1;
n[1957]=1;
n[1958]=1;
n[1959]=1;
n[1963]=1;
n[1964]=1;
n[1965]=1;
n[1966]=1;
n[1967]=1;
n[1969]=1;
n[1972]=1;
n[1975]=1;
n[1976]=1;
n[1977]=1;
n[1978]=1;
n[1980]=1;
n[1981]=1;
n[1987]=1;
n[1989]=1;
n[1990]=1;
n[1991]=1;
n[1992]=1;
n[1995]=1;
n[1996]=1;
n[1999]=1;
n[2002]=1;
n[2003]=1;
n[2004]=1;
n[2005]=1;
n[2007]=1;
n[2008]=1;
n[2010]=1;
n[2011]=1;
n[2012]=1;
n[2014]=1;
n[2015]=1;
n[2018]=1;
n[2022]=1;
n[2023]=1;
n[2024]=1;
n[2033]=1;
n[2034]=1;
n[2036]=1;
n[2037]=1;
n[2038]=1;
n[2040]=1;
n[2042]=1;
n[2043]=1;
n[2045]=1;
n[2052]=1;
n[2056]=1;
n[2057]=1;
n[2063]=1;
n[2066]=1;
n[2069]=1;
n[2072]=1;
n[2073]=1;
n[2075]=1;
n[2078]=1;
n[2079]=1;
n[2082]=1;
n[2086]=1;
n[2087]=1;
n[2088]=1;
n[2089]=1;
n[2090]=1;
n[2092]=1;
n[2096]=1;
n[2097]=1;
n[2098]=1;
n[2099]=1;
n[2103]=1;
n[2104]=1;
n[2108]=1;
n[2109]=1;
n[2110]=1;
n[2112]=1;
n[2115]=1;
n[2117]=1;
n[2118]=1;
n[2123]=1;
n[2124]=1;
n[2126]=1;
n[2128]=1;
n[2133]=1;
n[2135]=1;
n[2136]=1;
n[2138]=1;
n[2141]=1;
n[2142]=1;
n[2143]=1;
n[2150]=1;
n[2153]=1;
n[2154]=1;
n[2155]=1;
n[2156]=1;
n[2157]=1;
n[2159]=1;
n[2160]=1;
n[2161]=1;
n[2162]=1;
n[2163]=1;
n[2164]=1;
n[2166]=1;
n[2167]=1;
n[2168]=1;
n[2169]=1;
n[2170]=1;
n[2171]=1;
n[2175]=1;
n[2176]=1;
n[2178]=1;
n[2180]=1;
n[2183]=1;
n[2184]=1;
n[2185]=1;
n[2186]=1;
n[2188]=1;
n[2190]=1;
n[2192]=1;
n[2193]=1;
n[2194]=1;
n[2195]=1;
n[2196]=1;
n[2197]=1;
n[2200]=1;
n[2201]=1;
n[2205]=1;
n[2206]=1;
n[2207]=1;
n[2208]=1;
n[2210]=1;
n[2211]=1;
n[2212]=1;
n[2216]=1;
n[2217]=1;
n[2218]=1;
n[2220]=1;
n[2224]=1;
n[2225]=1;
n[2226]=1;
n[2228]=1;
n[2229]=1;
n[2230]=1;
n[2231]=1;
n[2232]=1;
n[2233]=1;
n[2234]=1;
n[2237]=1;
n[2239]=1;
n[2240]=1;
n[2242]=1;
n[2243]=1;
n[2246]=1;
n[2247]=1;
n[2248]=1;
n[2250]=1;
n[2252]=1;
n[2253]=1;
n[2257]=1;
n[2258]=1;
n[2259]=1;
n[2261]=1;
n[2262]=1;
n[2266]=1;
n[2268]=1;
n[2270]=1;
n[2272]=1;
n[2277]=1;
n[2281]=1;
n[2285]=1;
n[2290]=1;
n[2291]=1;
n[2292]=1;
n[2293]=1;
n[2294]=1;
n[2295]=1;
n[2296]=1;
n[2300]=1;
n[2301]=1;
n[2302]=1;
n[2303]=1;
n[2304]=1;
n[2305]=1;
n[2309]=1;
n[2312]=1;
n[2313]=1;
n[2315]=1;
n[2316]=1;
n[2320]=1;
n[2322]=1;
n[2327]=1;
n[2331]=1;
n[2336]=1;
n[2338]=1;
n[2342]=1;
n[2344]=1;
n[2346]=1;
n[2349]=1;
n[2352]=1;
n[2355]=1;
n[2357]=1;
n[2358]=1;
n[2364]=1;
n[2366]=1;
n[2369]=1;
n[2370]=1;
n[2373]=1;
n[2376]=1;
n[2381]=1;
n[2385]=1;
n[2388]=1;
n[2392]=1;
n[2394]=1;
n[2395]=1;
n[2399]=1;
n[2401]=1;
n[2405]=1;
n[2407]=1;
n[2410]=1;
n[2413]=1;
n[2415]=1;
n[2417]=1;
n[2418]=1;
n[2419]=1;
n[2420]=1;
n[2421]=1;
n[2422]=1;
n[2423]=1;
n[2424]=1;
n[2426]=1;
n[2428]=1;
n[2431]=1;
n[2433]=1;
n[2435]=1;
n[2436]=1;
n[2437]=1;
n[2438]=1;
n[2439]=1;
n[2440]=1;
n[2441]=1;
n[2442]=1;
n[2443]=1;
n[2444]=1;
n[2445]=1;
n[2446]=1;
n[2447]=1;
n[2448]=1;
n[2455]=1;
n[2456]=1;
n[2458]=1;
n[2460]=1;
n[2461]=1;
n[2463]=1;
n[2464]=1;
n[2465]=1;
n[2467]=1;
n[2468]=1;
n[2470]=1;
n[2473]=1;
n[2475]=1;
n[2476]=1;
n[2477]=1;
n[2480]=1;
n[2482]=1;
n[2484]=1;
n[2485]=1;
n[2487]=1;
n[2490]=1;
n[2491]=1;
n[2492]=1;
n[2493]=1;
n[2495]=1;
n[2496]=1;
n[2500]=1;
n[2501]=1;
n[2502]=1;
n[2503]=1;
n[2504]=1;
n[2505]=1;
n[2506]=1;
n[2508]=1;
n[2511]=1;
n[2512]=1;
n[2514]=1;
n[2515]=1;
n[2517]=1;
n[2520]=1;
n[2521]=1;
n[2522]=1;
n[2523]=1;
n[2525]=1;
n[2526]=1;
n[2527]=1;
n[2529]=1;
n[2530]=1;
n[2531]=1;
n[2532]=1;
n[2533]=1;
n[2535]=1;
n[2541]=1;
n[2546]=1;
n[2547]=1;
n[2548]=1;
n[2551]=1;
n[2552]=1;
n[2553]=1;
n[2555]=1;
n[2556]=1;
n[2557]=1;
n[2558]=1;
n[2559]=1;
n[2560]=1;
n[2562]=1;
n[2563]=1;
n[2565]=1;
n[2566]=1;
n[2567]=1;
n[2568]=1;
n[2573]=1;
n[2576]=1;
n[2577]=1;
n[2578]=1;
n[2579]=1;
n[2580]=1;
n[2581]=1;
n[2583]=1;
n[2584]=1;
n[2587]=1;
n[2588]=1;
n[2589]=1;
n[2591]=1;
n[2592]=1;
n[2594]=1;
n[2596]=1;
n[2597]=1;
n[2600]=1;
n[2605]=1;
n[2606]=1;
n[2607]=1;
n[2608]=1;
n[2609]=1;
n[2612]=1;
n[2615]=1;
n[2622]=1;
n[2623]=1;
n[2624]=1;
n[2628]=1;
n[2630]=1;
n[2631]=1;
n[2632]=1;
n[2636]=1;
n[2638]=1;
n[2643]=1;
n[2644]=1;
n[2658]=1;
n[2659]=1;
n[2660]=1;
n[2661]=1;
n[2665]=1;
n[2666]=1;
n[2667]=1;
n[2668]=1;
n[2669]=1;
n[2670]=1;
n[2671]=1;
n[2673]=1;
n[2675]=1;
n[2676]=1;
n[2681]=1;
n[2682]=1;
n[2684]=1;
n[2685]=1;
n[2688]=1;
n[2693]=1;
n[2694]=1;
n[2696]=1;
n[2697]=1;
n[2698]=1;
n[2702]=1;
n[2703]=1;
n[2704]=1;
n[2705]=1;
n[2708]=1;
n[2711]=1;
n[2712]=1;
n[2715]=1;
n[2716]=1;
n[2718]=1;
n[2720]=1;
n[2721]=1;
n[2725]=1;
n[2728]=1;
n[2729]=1;
n[2731]=1;
n[2734]=1;
n[2737]=1;
n[2738]=1;
n[2739]=1;
n[2740]=1;
n[2741]=1;
n[2742]=1;
n[2743]=1;
n[2744]=1;
n[2745]=1;
n[2747]=1;
n[2748]=1;
n[2749]=1;
n[2750]=1;
n[2751]=1;
n[2752]=1;
n[2753]=1;
n[2754]=1;
n[2755]=1;
n[2757]=1;
n[2764]=1;
n[2766]=1;
n[2774]=1;
n[2775]=1;
n[2776]=1;
n[2777]=1;
n[2778]=1;
n[2779]=1;
n[2780]=1;
n[2781]=1;
n[2783]=1;
n[2784]=1;
n[2786]=1;
n[2787]=1;
n[2788]=1;
n[2789]=1;
n[2790]=1;
n[2793]=1;
n[2794]=1;
n[2798]=1;
n[2799]=1;
n[2800]=1;
n[2804]=1;
n[2805]=1;
n[2810]=1;
n[2811]=1;
n[2812]=1;
n[2815]=1;
n[2816]=1;
n[2818]=1;
n[2819]=1;
n[2820]=1;
n[2821]=1;
n[2822]=1;
n[2823]=1;
n[2824]=1;
n[2825]=1;
n[2828]=1;
n[2829]=1;
n[2830]=1;
n[2832]=1;
n[2836]=1;
n[2839]=1;
n[2840]=1;
n[2841]=1;
n[2844]=1;
n[2845]=1;
n[2846]=1;
n[2847]=1;
n[2849]=1;
n[2850]=1;
n[2851]=1;
n[2852]=1;
n[2853]=1;
n[2854]=1;
n[2855]=1;
n[2857]=1;
n[2858]=1;
n[2862]=1;
n[2863]=1;
n[2864]=1;
n[2865]=1;
n[2867]=1;
n[2869]=1;
n[2870]=1;
n[2875]=1;
n[2877]=1;
n[2878]=1;
n[2879]=1;
n[2884]=1;
n[2885]=1;
n[2887]=1;
n[2890]=1;
n[2892]=1;
n[2893]=1;
n[2894]=1;
n[2895]=1;
n[2896]=1;
n[2897]=1;
n[2898]=1;
n[2899]=1;
n[2900]=1;
n[2901]=1;
n[2902]=1;
n[2903]=1;
n[2905]=1;
n[2906]=1;
n[2908]=1;
n[2909]=1;
n[2910]=1;
n[2912]=1;
n[2914]=1;
n[2916]=1;
n[2920]=1;
n[2921]=1;
n[2923]=1;
n[2924]=1;
n[2935]=1;
n[2938]=1;
n[2941]=1;
n[2942]=1;
n[2943]=1;
n[2947]=1;
n[2948]=1;
n[2949]=1;
n[2952]=1;
n[2953]=1;
n[2954]=1;
n[2957]=1;
n[2959]=1;
n[2960]=1;
n[2961]=1;
n[2963]=1;
n[2965]=1;
n[2966]=1;
n[2974]=1;
n[2977]=1;
n[2978]=1;
n[2979]=1;
n[2981]=1;
n[2985]=1;
n[2986]=1;
n[2987]=1;
n[2988]=1;
n[2989]=1;
n[2990]=1;
n[2991]=1;
n[2992]=1;
n[2993]=1;
n[2997]=1;
n[2998]=1;
n[2999]=1;
n[3000]=1;
n[3001]=1;
n[3003]=1;
n[3004]=1;
n[3005]=1;
n[3006]=1;
n[3007]=1;
n[3009]=1;
n[3011]=1;
n[3012]=1;
n[3013]=1;
n[3015]=1;
n[3019]=1;
n[3020]=1;
n[3021]=1;
n[3022]=1;
n[3023]=1;
n[3024]=1;
n[3026]=1;
n[3028]=1;
n[3029]=1;
n[3033]=1;
n[3034]=1;
n[3035]=1;
n[3036]=1;
n[3037]=1;
n[3038]=1;
n[3039]=1;
n[3040]=1;
n[3041]=1;
n[3045]=1;
n[3046]=1;
n[3047]=1;
n[3049]=1;
n[3052]=1;
n[3053]=1;
n[3054]=1;
n[3056]=1;
n[3058]=1;
n[3059]=1;
n[3060]=1;
n[3061]=1;
n[3062]=1;
n[3063]=1;
n[3066]=1;
n[3067]=1;
n[3071]=1;
n[3076]=1;
n[3077]=1;
n[3078]=1;
n[3079]=1;
n[3080]=1;
n[3081]=1;
n[3085]=1;
n[3086]=1;
n[3098]=1;
n[3100]=1;
n[3101]=1;
n[3106]=1;
n[3107]=1;
n[3108]=1;
n[3110]=1;
n[3120]=1;
n[3121]=1;
n[3123]=1;
n[3124]=1;
n[3125]=1;
n[3126]=1;
n[3127]=1;
n[3128]=1;
n[3129]=1;
n[3131]=1;
n[3133]=1;
n[3135]=1;
n[3136]=1;
n[3158]=1;
n[3163]=1;
n[3164]=1;
n[3165]=1;
n[3167]=1;
n[3174]=1;
n[3178]=1;
n[3213]=1;
n[3216]=1;
n[3221]=1;
n[3226]=1;
n[3257]=1;
n[3273]=1;
n[3295]=1;
n[3300]=1;
n[3321]=1;
n[3323]=1;
n[3343]=1;
n[3344]=1;
n[3345]=1;
n[3356]=1;
n[3360]=1;
n[3366]=1;
n[3405]=1;
n[3406]=1;
n[3407]=1;
n[3408]=1;
n[3412]=1;
n[3414]=1;
n[3419]=1;
n[3428]=1;
n[3442]=1;
n[3447]=1;
n[3449]=1;
n[3460]=1;
n[3462]=1;
n[3495]=1;
n[3498]=1;
n[3526]=1;
n[3568]=1;
n[3595]=1;
n[3613]=1;
n[3614]=1;
n[3621]=1;
n[3622]=1;
n[3640]=1;
n[3644]=1;
n[3645]=1;
n[3650]=1;
n[3652]=1;
n[3653]=1;
n[3654]=1;
n[3660]=1;
n[3665]=1;
n[3666]=1;
n[3673]=1;
n[3679]=1;
n[3681]=1;
n[3684]=1;
n[3687]=1;
n[3691]=1;
n[3693]=1;
n[3699]=1;
n[3711]=1;
n[3726]=1;
n[3745]=1;
n[3747]=1;
n[3752]=1;
n[3758]=1;
n[3778]=1;
n[3806]=1;
n[3807]=1;
n[3825]=1;
n[3826]=1;
n[3827]=1;
n[3828]=1;
n[3829]=1;
n[3830]=1;
n[3831]=1;
n[3833]=1;
n[3841]=1;
n[3845]=1;
n[3863]=1;
n[3875]=1;
n[3876]=1;
n[3885]=1;
n[3896]=1;
n[3903]=1;
n[3908]=1;
n[3914]=1;
n[3925]=1;
n[3930]=1;
n[3943]=1;
n[3944]=1;
n[3945]=1;
n[3946]=1;
n[3948]=1;
n[3952]=1;
n[3955]=1;
n[3964]=1;
n[3967]=1;
n[3981]=1;
n[3985]=1;
n[3986]=1;
n[3987]=1;
n[3988]=1;
n[3989]=1;
n[3990]=1;
n[3991]=1;
n[3995]=1;
n[3996]=1;
n[3997]=1;
n[3999]=1;
n[4002]=1;
n[4008]=1;
n[4016]=1;
n[4017]=1;
n[4030]=1;
n[4083]=1;
n[4084]=1;
n[4092]=1;
n[4095]=1;
n[4097]=1;
n[4101]=1;
n[4105]=1;
n[4110]=1;
n[4134]=1;
n[4153]=1;
n[4158]=1;
n[4159]=1;
n[4206]=1;
n[4211]=1;
n[4217]=1;
n[4218]=1;
n[4222]=1;
n[4223]=1;
n[4225]=1;
n[4233]=1;
n[4237]=1;
n[4243]=1;
n[4256]=1;
n[4257]=1;
n[4299]=1;
n[4307]=1;
n[4312]=1;
n[4315]=1;
n[4320]=1;
n[4328]=1;
n[4342]=1;
n[4343]=1;
n[4344]=1;
n[4348]=1;
n[4354]=1;
n[4355]=1;
n[4370]=1;
n[4375]=1;
n[4388]=1;
n[4435]=1;
n[4446]=1;
n[4457]=1;
n[4458]=1;
n[4461]=1;
n[4470]=1;
n[4493]=1;
n[4504]=1;
n[4539]=1;
n[4563]=1;
n[4564]=1;
n[4574]=1;
n[4597]=1;
n[4606]=1;
n[4620]=1;
n[4626]=1;
n[4645]=1;
n[4673]=1;
n[4690]=1;
n[4706]=1;
n[4716]=1;
n[4766]=1;
n[4779]=1;
n[4781]=1;
n[4782]=1;
n[4792]=1;
n[4796]=1;
n[4800]=1;
n[4803]=1;
n[4806]=1;
n[4811]=1;
n[4839]=1;
n[4841]=1;
n[4843]=1;
n[4848]=1;
n[4880]=1;
n[4881]=1;
n[4882]=1;
n[4883]=1;
n[4884]=1;
n[4885]=1;
n[4889]=1;
n[4892]=1;
n[4913]=1;
n[4921]=1;
n[4924]=1;
n[4948]=1;
n[4963]=1;
n[4994]=1;
n[4998]=1;
n[4999]=1;
n[5000]=1;
n[5002]=1;
n[5005]=1;
n[5009]=1;
n[5013]=1;
n[5014]=1;
n[5015]=1;
n[5021]=1;
n[5025]=1;
n[5026]=1;
n[5032]=1;
n[5037]=1;
n[5042]=1;
n[5043]=1;
n[5046]=1;
n[5051]=1;
n[5052]=1;
n[5053]=1;
n[5054]=1;
n[5060]=1;
n[5063]=1;
n[5086]=1;
n[5107]=1;
n[5176]=1;
n[5211]=1;
n[5212]=1;
n[5213]=1;
n[5214]=1;
n[5215]=1;
n[5217]=1;
n[5218]=1;
n[5337]=1;
n[5338]=1;
n[5339]=1;
n[5347]=1;
n[5354]=1;
n[5355]=1;
n[5361]=1;
n[5363]=1;
n[5372]=1;
n[5373]=1;
n[5376]=1;
n[5386]=1;
n[5393]=1;
n[5394]=1;
n[5404]=1;
n[5405]=1;
n[5419]=1;
n[5425]=1;
n[5426]=1;
n[5430]=1;
n[5431]=1;
n[5433]=1;
n[5522]=1;
n[5523]=1;
n[5524]=1;
n[5525]=1;
n[5527]=1;
n[5530]=1;
n[5532]=1;
n[5533]=1;
n[5536]=1;
n[5538]=1;
n[5543]=1;
n[5544]=1;
n[5545]=1;
n[5546]=1;
n[5552]=1;
n[5553]=1;
n[5556]=1;
n[5559]=1;
n[5565]=1;
n[5567]=1;
n[5573]=1;
n[5576]=1;
n[5582]=1;
n[5586]=1;
n[5588]=1;
n[5597]=1;
n[5598]=1;
n[5612]=1;
n[5613]=1;
n[5615]=1;
n[5616]=1;
n[5618]=1;
n[5619]=1;
n[5622]=1;
n[5623]=1;
n[5624]=1;
n[5625]=1;
n[5626]=1;
n[5631]=1;
n[5635]=1;
n[5636]=1;
n[5637]=1;
n[5639]=1;
n[5647]=1;
n[5656]=1;
n[5666]=1;
n[5671]=1;
n[5675]=1;
n[5676]=1;
n[5679]=1;
n[5681]=1;
n[5691]=1;
n[5692]=1;
n[5698]=1;
n[5704]=1;
n[5710]=1;
n[5717]=1;
n[5719]=1;
n[5720]=1;
n[5721]=1;
n[5724]=1;
n[5729]=1;
n[5782]=1;
n[5789]=1;
n[5800]=1;
n[5813]=1;
n[5814]=1;
n[5815]=1;
n[5817]=1;
n[5818]=1;
n[5819]=1;
n[5820]=1;
n[5821]=1;
n[5822]=1;
n[5823]=1;
n[5859]=1;
n[5870]=1;
n[5884]=1;
n[5893]=1;
n[5903]=1;
n[5904]=1;
n[5914]=1;
n[5920]=1;
n[5923]=1;
n[5988]=1;
n[6064]=1;
n[6087]=1;
n[6131]=1;
n[6143]=1;
n[6147]=1;
n[6148]=1;
n[6165]=1;
n[6219]=1;
n[6240]=1;
n[6246]=1;
n[6321]=1;
n[6322]=1;
n[6359]=1;
n[6376]=1;
n[6378]=1;
n[6426]=1;
n[6443]=1;
n[6498]=1;
n[6500]=1;
n[6502]=1;
n[6503]=1;
n[6504]=1;
n[6505]=1;
n[6506]=1;
n[6510]=1;
n[6511]=1;
n[6523]=1;
n[6549]=1;
n[6566]=1;
n[6588]=1;
n[6590]=1;
n[6591]=1;
n[6597]=1;
n[6600]=1;
n[6603]=1;
n[6662]=1;
n[6679]=1;
n[6757]=1;
n[6850]=1;
n[6986]=1;
n[6996]=1;
n[7140]=1;
n[7141]=1;
n[7142]=1;
n[7143]=1;
n[7144]=1;
n[7145]=1;
n[7146]=1;
n[7147]=1;
n[7287]=1;
n[7354]=1;
n[7424]=1;
n[7432]=1;
n[7469]=1;
n[7476]=1;
n[7481]=1;
n[7482]=1;
n[7483]=1;
n[7487]=1;
n[7489]=1;
n[7490]=1;
n[7510]=1;
n[7516]=1;
n[7523]=1;
n[7562]=1;
n[7567]=1;
n[7568]=1;
n[7569]=1;
n[7570]=1;
n[7571]=1;
n[7572]=1;
n[7573]=1;
n[7574]=1;
n[7575]=1;
n[7576]=1;
n[7578]=1;
n[7579]=1;
n[7611]=1;
n[7627]=1;
n[7662]=1;
n[7685]=1;
n[7722]=1;
n[7723]=1;
n[7737]=1;
n[7770]=1;
n[7771]=1;
n[7774]=1;
n[7785]=1;
n[7787]=1;
n[7795]=1;
n[7806]=1;
n[7812]=1;
n[7868]=1;
n[7869]=1;
n[7881]=1;
n[7889]=1;
n[7894]=1;
n[7967]=1;
n[7975]=1;
n[7976]=1;
n[7977]=1;
n[7982]=1;
n[7983]=1;
n[7984]=1;
n[8004]=1;
n[8320]=1;
n[8322]=1;
n[8330]=1;
n[8393]=1;
n[8394]=1;
n[8462]=1;
n[8467]=1;
n[8477]=1;
n[8478]=1;
n[8595]=1;
n[8741]=1;
n[8872]=1;
n[8877]=1;
n[8882]=1;
n[8891]=1;
n[8892]=1;
n[8893]=1;
n[8895]=1;
n[8901]=1;
n[8902]=1;
n[8903]=1;
n[8907]=1;
n[8911]=1;
n[8916]=1;
n[8922]=1;
n[8925]=1;
n[8926]=1;
n[8932]=1;
n[8933]=1;
n[8944]=1;
n[8949]=1;
n[8958]=1;
n[8974]=1;
n[8975]=1;
n[8976]=1;
n[8977]=1;
n[8978]=1;
n[8979]=1;
n[8981]=1;
n[8984]=1;
n[8986]=1;
n[8992]=1;
n[9006]=1;
n[9007]=1;
n[9008]=1;
n[9009]=1;
n[9010]=1;
n[9011]=1;
n[9012]=1;
n[9013]=1;
n[9014]=1;
n[9015]=1;
n[9019]=1;
n[9020]=1;
n[9021]=1;
n[9029]=1;
n[9037]=1;
n[9046]=1;
n[9047]=1;
n[9076]=1;
n[9078]=1;
n[9079]=1;
n[9081]=1;
n[9084]=1;
n[9085]=1;
n[9086]=1;
n[9093]=1;
n[9094]=1;
n[9095]=1;
n[9177]=1;
n[9184]=1;
n[9196]=1;
n[9204]=1;
n[9205]=1;
n[9206]=1;
n[9207]=1;
n[9210]=1;
n[9211]=1;
n[9212]=1;
n[9213]=1;
n[9237]=1;
n[9238]=1;
n[9239]=1;
n[9240]=1;
n[9242]=1;
n[9243]=1;
n[9246]=1;
n[9248]=1;
n[9249]=1;
n[9250]=1;
n[9251]=1;
n[9252]=1;
n[9272]=1;
n[9273]=1;
n[9274]=1;
n[9275]=1;
n[9276]=1;
n[9278]=1;
n[9279]=1;
n[9280]=1;
n[9295]=1;
n[9316]=1;
n[9318]=1;
n[9319]=1;
n[9320]=1;
n[9321]=1;
n[9322]=1;
n[9323]=1;
n[9324]=1;
n[9325]=1;
n[9326]=1;
n[9327]=1;
n[9328]=1;
n[9329]=1;
n[9335]=1;
n[9339]=1;
n[9341]=1;
n[9343]=1;
n[9347]=1;
n[9358]=1;
n[9359]=1;
n[9363]=1;
n[9367]=1;
n[9368]=1;
n[9369]=1;
n[9370]=1;
n[9371]=1;
n[9372]=1;
n[9373]=1;
n[9374]=1;
n[9375]=1;
n[9376]=1;
n[9417]=1;
n[9421]=1;
n[9426]=1;
n[9435]=1;
n[9436]=1;
n[9437]=1;
n[9438]=1;
n[9439]=1;
n[9440]=1;
n[9441]=1;
n[9442]=1;
n[9443]=1;
n[9447]=1;
n[9455]=1;
n[9457]=1;
n[9460]=1;
n[9461]=1;
n[9463]=1;
n[9465]=1;
n[9468]=1;
n[9469]=1;
n[9470]=1;
n[9471]=1;
n[9472]=1;
n[9475]=1;
n[9478]=1;
n[9479]=1;
n[9481]=1;
n[9486]=1;
n[9488]=1;
n[9490]=1;
n[9492]=1;
n[9494]=1;
n[9497]=1;
n[9498]=1;
n[9501]=1;
n[9506]=1;
n[9507]=1;
n[9509]=1;
n[9514]=1;
n[9515]=1;
n[9516]=1;
n[9517]=1;
n[9518]=1;
n[9519]=1;
n[9520]=1;
n[9521]=1;
n[9522]=1;
n[9527]=1;
n[9529]=1;
n[9535]=1;
n[9536]=1;
n[9537]=1;
n[9540]=1;
n[9543]=1;
n[9544]=1;
n[9545]=1;
n[9546]=1;
n[9550]=1;
n[9553]=1;
n[9556]=1;
n[9575]=1;
n[9576]=1;
n[9584]=1;
n[9586]=1;
n[9592]=1;
n[9594]=1;
n[9596]=1;
n[9598]=1;
n[9601]=1;
n[9602]=1;
n[9610]=1;
n[9613]=1;
n[9614]=1;
n[9616]=1;
n[9619]=1;
n[9623]=1;
n[9625]=1;
n[9626]=1;
n[9627]=1;
n[9629]=1;
n[9644]=1;
n[9649]=1;
n[9653]=1;
n[9654]=1;
n[9655]=1;
n[9656]=1;
n[9657]=1;
n[9658]=1;
n[9659]=1;
n[9660]=1;
n[9661]=1;
n[9662]=1;
n[9663]=1;
n[9664]=1;
n[9693]=1;
n[9753]=1;
n[9763]=1;
n[9764]=1;
n[9866]=1;
n[9867]=1;
n[9868]=1;
n[9869]=1;
n[9870]=1;
n[9871]=1;
n[9872]=1;
n[9873]=1;
n[9874]=1;
n[9933]=1;
n[9934]=1;
n[9935]=1;
n[9936]=1;
n[9937]=1;
n[9938]=1;
n[9945]=1;
n[9946]=1;
n[9987]=1;
n[9992]=1;
n[9995]=1;
n[9996]=1;
n[9997]=1;
n[9999]=1;
n[10000]=1;
n[10001]=1;
n[10022]=1;
n[10026]=1;
n[10039]=1;
n[10040]=1;
n[10041]=1;
n[10042]=1;
n[10045]=1;
n[10046]=1;
n[10047]=1;
n[10048]=1;
n[10053]=1;
n[10056]=1;
n[10093]=1;
n[10097]=1;
n[10101]=1;
n[10102]=1;
n[10103]=1;
n[10121]=1;
n[10122]=1;
n[10124]=1;
n[10126]=1;
n[10131]=1;
n[10156]=1;
n[10157]=1;
n[10158]=1;
n[10159]=1;
n[10160]=1;
n[10162]=1;
n[10163]=1;
n[10164]=1;
n[10166]=1;
n[10170]=1;
n[10171]=1;
n[10172]=1;
n[10173]=1;
n[10178]=1;
n[10179]=1;
n[10182]=1;
n[10205]=1;
n[10211]=1;
n[10212]=1;
n[10213]=1;
n[10214]=1;
n[10215]=1;
n[10216]=1;
n[10217]=1;
n[10219]=1;
n[10220]=1;
n[10221]=1;
n[10222]=1;
n[10223]=1;
n[10227]=1;
n[10244]=1;
n[10250]=1;
n[10251]=1;
n[10252]=1;
n[10253]=1;
n[10256]=1;
n[10258]=1;
n[10259]=1;
n[10261]=1;
n[10262]=1;
n[10263]=1;
n[10265]=1;
n[10266]=1;
n[10267]=1;
n[10270]=1;
n[10311]=1;
n[10312]=1;
n[10315]=1;
n[10321]=1;
n[10329]=1;
n[10330]=1;
n[10337]=1;
n[10341]=1;
n[10342]=1;
n[10343]=1;
n[10345]=1;
n[10346]=1;
n[10347]=1;
n[10348]=1;
n[10349]=1;
n[10350]=1;
n[10351]=1;
n[10353]=1;
n[10354]=1;
n[10356]=1;
n[10357]=1;
n[10363]=1;
n[10366]=1;
n[10369]=1;
n[10370]=1;
n[10386]=1;
n[10419]=1;
n[10420]=1;
n[10422]=1;
n[10425]=1;
n[10430]=1;
n[10431]=1;
n[10432]=1;
n[10434]=1;
n[10435]=1;
n[10448]=1;
n[10451]=1;
n[10453]=1;
n[10454]=1;
n[10464]=1;
n[10472]=1;
n[10474]=1;
n[10504]=1;
n[10506]=1;
n[10509]=1;
n[10510]=1;
n[10513]=1;
n[10520]=1;
n[10521]=1;
n[10522]=1;
n[10523]=1;
n[10525]=1;
n[10526]=1;
n[10527]=1;
n[10528]=1;
n[10539]=1;
n[10540]=1;
n[10551]=1;
n[10552]=1;
n[10553]=1;
n[10554]=1;
n[10555]=1;
n[10556]=1;
n[10560]=1;
n[10565]=1;
n[10569]=1;
n[10570]=1;
n[10597]=1;
n[10599]=1;
n[10600]=1;
n[10610]=1;
n[10612]=1;
n[10615]=1;
n[10623]=1;
n[10624]=1;
n[10625]=1;
n[10630]=1;
n[10634]=1;
n[10637]=1;
n[10639]=1;
n[10641]=1;
n[10643]=1;
n[10644]=1;
n[10645]=1;
n[10659]=1;
n[10661]=1;
n[10663]=1;
n[10664]=1;
n[10672]=1;
n[10685]=1;
n[10687]=1;
n[10688]=1;
n[10699]=1;
n[10701]=1;
n[10702]=1;
n[10703]=1;
n[10704]=1;
n[10705]=1;
n[10706]=1;
n[10707]=1;
n[10708]=1;
n[10709]=1;
n[10711]=1;
n[10713]=1;
n[10714]=1;
n[10715]=1;
n[10716]=1;
n[10717]=1;
n[10718]=1;
n[10720]=1;
n[10721]=1;
n[10722]=1;
n[10725]=1;
n[10726]=1;
n[10727]=1;
n[10729]=1;
n[10730]=1;
n[10731]=1;
n[10733]=1;
n[10734]=1;
n[10735]=1;
n[10737]=1;
n[10740]=1;
n[10742]=1;
n[10753]=1;
n[10754]=1;
n[10756]=1;
n[10757]=1;
n[10759]=1;
n[10767]=1;
n[10768]=1;
n[10769]=1;
n[10772]=1;
n[10773]=1;
n[10787]=1;
n[10791]=1;
n[10793]=1;
n[10797]=1;
n[10798]=1;
n[10799]=1;
n[10801]=1;
n[10803]=1;
n[10804]=1;
n[10807]=1;
n[10808]=1;
n[10809]=1;
n[10810]=1;
n[10811]=1;
n[10812]=1;
n[10813]=1;
n[10814]=1;
n[10815]=1;
n[10816]=1;
n[10817]=1;
n[10818]=1;
n[10819]=1;
n[10820]=1;
n[10821]=1;
n[10822]=1;
n[10823]=1;
n[10824]=1;
n[10825]=1;
n[10826]=1;
n[10828]=1;
n[10829]=1;
n[10830]=1;
n[10833]=1;
n[10835]=1;
n[10843]=1;
n[10844]=1;
n[10845]=1;
n[10846]=1;
n[10847]=1;
n[10848]=1;
n[10864]=1;
n[10865]=1;
n[10866]=1;
n[10867]=1;
n[10868]=1;
n[10869]=1;
n[10870]=1;
n[10871]=1;
n[10872]=1;
n[10874]=1;
n[10877]=1;
n[10878]=1;
n[10881]=1;
n[10883]=1;
n[10885]=1;
n[10886]=1;
n[10887]=1;
n[10888]=1;
n[10889]=1;
n[10890]=1;
n[10891]=1;
n[10892]=1;
n[10893]=1;
n[10894]=1;
n[10895]=1;
n[10896]=1;
n[10897]=1;
n[10898]=1;
n[10899]=1;
n[10900]=1;
n[10901]=1;
n[10903]=1;
n[10906]=1;
n[10907]=1;
n[10908]=1;
n[10909]=1;
n[10910]=1;
n[10911]=1;
n[10912]=1;
n[10913]=1;
n[10914]=1;
n[10915]=1;
n[10916]=1;
n[10917]=1;
n[10918]=1;
n[10926]=1;
n[10927]=1;
n[10928]=1;
n[10929]=1;
n[10930]=1;
n[10931]=1;
n[10932]=1;
n[10933]=1;
n[10934]=1;
n[10935]=1;
n[10936]=1;
n[10938]=1;
n[10939]=1;
n[10940]=1;
n[10941]=1;
n[10942]=1;
n[10943]=1;
n[10945]=1;
n[10946]=1;
n[10949]=1;
n[10950]=1;
n[10951]=1;
n[10952]=1;
n[10953]=1;
n[10954]=1;
n[10958]=1;
n[10971]=1;
n[10972]=1;
n[10973]=1;
n[10974]=1;
n[10976]=1;
n[10977]=1;
n[10978]=1;
n[10979]=1;
n[10980]=1;
n[10981]=1;
n[10982]=1;
n[10983]=1;
n[10984]=1;
n[10985]=1;
n[10986]=1;
n[10987]=1;
n[10988]=1;
n[10989]=1;
n[10990]=1;
n[10991]=1;
n[10992]=1;
n[10993]=1;
n[10994]=1;
n[10995]=1;
n[10996]=1;
n[10997]=1;
n[10998]=1;
n[11002]=1;
n[11004]=1;
n[11005]=1;
n[11006]=1;
n[11007]=1;
n[11008]=1;
n[11009]=1;
n[11010]=1;
n[11011]=1;
n[11012]=1;
n[11013]=1;
n[11021]=1;
n[11022]=1;
n[11023]=1;
n[11025]=1;
n[11028]=1;
n[11042]=1;
n[11046]=1;
n[11047]=1;
n[11048]=1;
n[11050]=1;
n[11051]=1;
n[11052]=1;
n[11053]=1;
n[11054]=1;
n[11055]=1;
n[11057]=1;
n[11059]=1;
n[11060]=1;
n[11066]=1;
n[11068]=1;
n[11080]=1;
n[11082]=1;
n[11084]=1;
n[11085]=1;
n[11086]=1;
n[11087]=1;
n[11088]=1;
n[11089]=1;
n[11090]=1;
n[11091]=1;
n[11092]=1;
n[11093]=1;
n[11094]=1;
n[11095]=1;
n[11096]=1;
n[11098]=1;
n[11099]=1;
n[11100]=1;
n[11101]=1;
n[11102]=1;
n[11103]=1;
n[11104]=1;
n[11105]=1;
n[11106]=1;
n[11107]=1;
n[11108]=1;
n[11109]=1;
n[11112]=1;
n[11113]=1;
n[11115]=1;
n[11116]=1;
n[11117]=1;
n[11118]=1;
n[11119]=1;
n[11120]=1;
n[11121]=1;
n[11123]=1;
n[11125]=1;
n[11126]=1;
n[11128]=1;
n[11131]=1;
n[11133]=1;
n[11134]=1;
n[11136]=1;
n[11179]=1;
n[11180]=1;
n[11181]=1;
n[11182]=1;
n[11183]=1;
n[11184]=1;
n[11185]=1;
n[11186]=1;
n[11187]=1;
n[11188]=1;
n[11189]=1;
n[11190]=1;
n[11191]=1;
n[11192]=1;
n[11193]=1;
n[11249]=1;
n[11250]=1;
n[11269]=1;
n[11277]=1;
n[11279]=1;
n[11292]=1;
n[11312]=1;
n[11365]=1;
n[11382]=1;
n[11383]=1;
n[11384]=1;
n[11385]=1;
n[11386]=1;
n[11387]=1;
n[11388]=1;
n[11389]=1;
n[11390]=1;
n[11391]=1;
n[11392]=1;
n[11393]=1;
n[11394]=1;
n[11396]=1;
n[11397]=1;
n[11398]=1;
n[11399]=1;
n[11401]=1;
n[11402]=1;
n[11403]=1;
n[11404]=1;
n[11414]=1;
n[11437]=1;
n[11438]=1;
n[11439]=1;
n[11441]=1;
n[11478]=1;
n[11479]=1;
n[11497]=1;
n[11501]=1;
n[11502]=1;
n[11506]=1;
n[11522]=1;
n[11526]=1;
n[11557]=1;
n[11558]=1;
n[11561]=1;
n[11562]=1;
n[11564]=1;
n[11565]=1;
n[11566]=1;
n[11567]=1;
n[11568]=1;
n[11570]=1;
n[11571]=1;
n[11572]=1;
n[11573]=1;
n[11574]=1;
n[11575]=1;
n[11576]=1;
n[11577]=1;
n[11583]=1;
n[11584]=1;
n[11586]=1;
n[11614]=1;
n[11616]=1;
n[11650]=1;
n[11651]=1;
n[11653]=1;
n[11654]=1;
n[11655]=1;
n[11656]=1;
n[11659]=1;
n[11660]=1;
n[11663]=1;
n[11664]=1;
n[11665]=1;
n[11690]=1;
n[11692]=1;
n[11693]=1;
n[11695]=1;
n[11706]=1;
n[11711]=1;
n[11717]=1;
n[11718]=1;
n[11719]=1;
n[11720]=1;
n[11721]=1;
n[11722]=1;
n[11723]=1;
n[11724]=1;
n[11725]=1;
n[11726]=1;
n[11727]=1;
n[11728]=1;
n[11729]=1;
n[11747]=1;
n[11751]=1;
n[11755]=1;
n[11758]=1;
n[11776]=1;
n[11784]=1;
n[11785]=1;
n[11787]=1;
n[11788]=1;
n[11790]=1;
n[11791]=1;
n[11792]=1;
n[11795]=1;
n[11845]=1;
n[11869]=1;
n[11873]=1;
n[11877]=1;
n[11880]=1;
n[11881]=1;
n[11882]=1;
n[11883]=1;
n[11884]=1;
n[11895]=1;
n[11896]=1;
n[11899]=1;
n[11900]=1;
n[11904]=1;
n[11905]=1;
n[11906]=1;
n[11908]=1;
n[11909]=1;
n[11910]=1;
n[11912]=1;
n[11913]=1;
n[11914]=1;
n[11916]=1;
n[11917]=1;
n[11918]=1;
n[11920]=1;
n[11928]=1;
n[11929]=1;
n[11930]=1;
n[11931]=1;
n[11942]=1;
n[11943]=1;
n[11944]=1;
n[11945]=1;
n[11948]=1;
n[11949]=1;
n[11950]=1;
n[11951]=1;
n[11952]=1;
n[11953]=1;
n[11962]=1;
n[11966]=1;
n[11993]=1;
n[12016]=1;
n[12087]=1;
n[12088]=1;
n[12089]=1;
n[12090]=1;
n[12091]=1;
n[12092]=1;
n[12093]=1;
n[12094]=1;
n[12095]=1;
n[12096]=1;
n[12097]=1;
n[12098]=1;
n[12099]=1;
n[12100]=1;
n[12104]=1;
n[12105]=1;
n[12106]=1;
n[12189]=1;
n[12194]=1;
n[12203]=1;
n[12418]=1;
n[12735]=1;
n[12736]=1;
n[12739]=1;
n[12740]=1;
n[12741]=1;
n[12744]=1;
n[12745]=1;
n[12746]=1;
n[12747]=1;
n[12748]=1;
n[12771]=1;
n[12782]=1;
n[12788]=1;
n[12790]=1;
n[12791]=1;
n[12794]=1;
n[12796]=1;
n[12797]=1;
n[12798]=1;
n[12803]=1;
n[12804]=1;
n[12805]=1;
n[12806]=1;
n[12808]=1;
n[12809]=1;
n[12810]=1;
n[12811]=1;
n[12812]=1;
n[12813]=1;
n[12833]=1;
n[12834]=1;
n[12835]=1;
n[12836]=1;
n[12837]=1;
n[12840]=1;
n[12841]=1;
n[12842]=1;
n[12843]=1;
n[12844]=1;
n[12845]=1;
n[12846]=1;
n[12847]=1;
n[12848]=1;
n[12849]=1;
n[12850]=1;
n[12851]=1;
n[12852]=1;
n[12939]=1;
n[13123]=1;
n[13125]=1;
n[13132]=1;
n[13136]=1;
n[13169]=1;
n[13171]=1;
n[13172]=1;
n[13173]=1;
n[13174]=1;
n[13175]=1;
n[13176]=1;
n[13177]=1;
n[13178]=1;
n[13179]=1;
n[13180]=1;
n[13181]=1;
n[13182]=1;
n[13183]=1;
n[13184]=1;
n[13185]=1;
n[13186]=1;
n[13187]=1;
n[13210]=1;
n[13245]=1;
n[13311]=1;
n[13312]=1;
n[13313]=1;
n[13314]=1;
n[13315]=1;
n[13316]=1;
n[13317]=1;
n[13318]=1;
n[13319]=1;
n[13326]=1;
n[13413]=1;
n[13414]=1;
n[13415]=1;
n[13416]=1;
n[13417]=1;
n[13418]=1;
n[13419]=1;
n[13420]=1;
n[13421]=1;
n[13422]=1;
n[13423]=1;
n[13424]=1;
n[13432]=1;
n[13438]=1;
n[13487]=1;
n[13489]=1;
n[13506]=1;
n[13532]=1;
n[13542]=1;
n[13571]=1;
n[13572]=1;
n[13576]=1;
n[13713]=1;
n[13759]=1;
n[13900]=1;
n[13901]=1;
n[13902]=1;
n[13903]=1;
n[13904]=1;
n[13905]=1;
n[13906]=1;
n[13907]=1;
n[13908]=1;
n[13909]=1;
n[13910]=1;
n[13911]=1;
n[13912]=1;
n[13974]=1;
n[14341]=1;
n[14417]=1;
n[14429]=1;
n[14430]=1;
n[14431]=1;
n[14432]=1;
n[14433]=1;
n[14434]=1;
n[14435]=1;
n[14437]=1;
n[14442]=1;
n[14443]=1;
n[14444]=1;
n[14504]=1;
n[1068]=-1;
n[1098]=-1;
n[1196]=-1;
n[1219]=-1;
n[1232]=-1;
n[1274]=-1;
n[1353]=-1;
n[1387]=-1;
n[1489]=-1;
n[1494]=-1;
n[1511]=-1;
n[1601]=-1;
n[1696]=-1;
n[1783]=-1;
n[1800]=-1;
n[1840]=-1;
n[1884]=-1;
n[1909]=-1;
n[1931]=-1;
n[2021]=-1;
n[2076]=-1;
n[2091]=-1;
n[2101]=-1;
n[2122]=-1;
n[2137]=-1;
n[2255]=-1;
n[2264]=-1;
n[2343]=-1;
n[2427]=-1;
n[2509]=-1;
n[2561]=-1;
n[2886]=-1;
n[2907]=-1;
n[3111]=-1;
n[3144]=-1;
n[3411]=-1;
n[3641]=-1;
n[3682]=-1;
n[3724]=-1;
n[3970]=-1;
n[4072]=-1;
n[4373]=-1;
n[4382]=-1;
n[4407]=-1;
n[4703]=-1;
n[5008]=-1;
n[5570]=-1;
n[5628]=-1;
n[5646]=-1;
n[5892]=-1;
n[5950]=-1;
n[6090]=-1;
n[6124]=-1;
n[6988]=-1;
n[7021]=-1;
n[7334]=-1;
n[7453]=-1;
n[7503]=-1;
n[7623]=-1;
n[7981]=-1;
n[8873]=-1;
n[8890]=-1;
n[9017]=-1;
n[9236]=-1;
n[9244]=-1;
n[9499]=-1;
n[9630]=-1;
n[10088]=-1;
n[10264]=-1;
n[10269]=-1;
n[10316]=-1;
n[10638]=-1;
n[10656]=-1;
n[10875]=-1;
n[10944]=-1;
n[10947]=-1;
n[11110]=-1;
n[11124]=-1;
n[11135]=-1;
n[11395]=-1;
n[11496]=-1;
n[11569]=-1;
n[11816]=-1;
n[11872]=-1;
n[11988]=-1;
n[12195]=-1;
n[13062]=-1;
n[13165]=-1;
n[13680]=-1;
n[13786]=-1;
n[13988]=-1;
n[14128]=-1;
n[14340]=-1;
int m;scanf("%d",&m);
for(int i=0;i<m;i++){
int su;
scanf("%d",&su);
if(n[su] == 1){
printf("E\n");
}else if(n[su]==-1){
printf("H\n");
}else{
printf("VH\n");
}
}
}
Compilation message
Compilation timeout while compiling ABC
