[[0,1,2,3,4,5,7,12,21,25,27,30,33,34,36,37,38,40,42,43,45,46,47,48,49,50,51,53,65,66,67,68,70,71,74,75,77,80,82,83,84,85,88,89,90,95,96,98,99,100,101,102,108,109,110,111,112,113,114,115,116,121,122,123,124,125,126,127,128,129,130,131,133,134,135,136,138,139,140,141,142,150,152,153,154,155,157,158,160,161,162,163,165,173,175,176,179,180,181,182,184,185,186,187,188,189,191,195,196,205,206,207,208,210,213,214,216,217,219,224,226,227,230,232,233,244,246,248,250,260,261,262,263,264,265,266,267,268,270,279,287,288,289,291,295,296,310,311,324,332,333,364,365,366,368,369,370,371,372,374,375,380,381,383,386,387,388,390,391,392,393,395,396,398,399,401,403,405,411,415,416,418,419,421,422,423,424,426,459,466,468,469,471,475,485,487,488,489,493,497,498,500,501,513,516,519,520,521,522,523,526,534,537,538,540,544,545,552,553,555,556,558,559,560,561,562,564,565,566,568,569,571,572,573,578,580,581,582,583,585,587,588,590,591,592,593,594,597,598,599,600,601,602,608,609,610,611,612,614,615,616,619,621,622,647,649,650,651,653,654,661,662,663,666,667,668,669,670,671,672,673,676,679,680,682,684,686,696,698,700,703,704,708,711,712,714,716,717,719,729,730,731,736,737,739,740,741,742,746,758,760,761,762,766,769,770,772,773,775,776,778,779,782,791,795,799,800,805,808,810,811,812,813,814,815,817,818,819,820,823,828,830,832,837,838,839,840,842,843,844,845,846,849,850,851,852,853,855,860,864,865,866,868,871,878,881,882,883,895,897,898,904,910,911,912,913,914,916,917,918,919,920,928,930,931,933,934,938,940,941,942,944,964,968,970,971,972,977,986,994,996,997,998,999,1000,1001,1002,1004,1005,1020,1022,1023,1027,1029,1030,1031,1033,1034,1035,1036,1044,1045,1047,1048,1049,1050,1051,1052,1054,1056,1058,1059,1060,1061,1062,1063,1065,1066,1067,1069,1070,1071,1072,1080,1081,1082,1086,1089,1091,1092,1094,1097,1098,1099,1100,1103,1104,1105,1106,1107,1108,1109,1111,1112,1114,1122,1123,1124,1126,1128,1129,1130,1131,1132,1135,1136,1139,1140,1141,1143,1155,1162,1163,1164,1165,1167,1168,1169,1171,1180,1182,1184,1186,1187,1188,1189,1198,1199,1200,1201,1202,1203,1205,1206,1212,1213,1214,1215,1216,1217,1218,1219,1221,1222,1223,1224,1226,1227,1240,1245,1247,1248,1258,1262,1264,1265,1268,1271,1272,1277,1278,1292,1293,1294,1295,1296,1298,1313,1315,1316,1322,1326,1327,1329,1330,1331,1332,1348,1349,1352,1360,1361,1362,1363,1364,1365,1366,1368,1370,1371,1372,1373,1374,1382,1384,1385,1386,1387,1388,1390,1392,1402,1403,1404,1405,1406,1407,1414,1424,1425,1429,1430,1438,1441,1446,1447,1448,1450,1458,1461,1465,1467,1470,1472,1473,1475,1481,1484,1501,1512,1513,1514,1515,1516,1517,1518,1519,1520,1521,1522,1528,1529,1530,1531,1534,1535,1537,1540,1541,1542,1543,1544,1545,1546,1547,1548,1549,1550,1551,1552,1553,1554,1558,1559,1560,1561,1562,1564,1565,1566,1567,1568,1569,1570,1571,1572,1578,1580,1581,1589,1590,1595,1596,1600,1601,1606,1607,1608,1609,1610,1614,1615,1619,1628,1629,1630,1631,1632,1637,1639,1640,1644,1645,1647,1650,1653,1654,1656,1657,1659,1660,1661,1673,1676,1679,1680,1681,1684,1688,1690,1691,1692,1694,1695,1696,1697,1703,1704,1705,1706,1708,1709,1711,1712,1714,1715,1716,1717,1718,1719,1720,1721,1727,1729,1730,1731,1733,1734,1735,1737,1740,1741,1742,1743,1744,1745,1746,1747,1748,1753,1754,1756,1758,1760,1761,1762,1763,1764,1765,1766,1767,1768,1769,1770,1771,1772,1773,1781,1783,1788,1789,1790,1792,1793,1794,1795,1796,1797,1799,1800,1807,1810,1814,1815,1816,1817,1818,1819,1820,1821,1822,1823,1827,1828,1834,1835,1836,1843,1846,1847,1848,1850,1851,1852,1853,1854,1855,1856,1857,1858,1859,1860,1861,1865,1867,1868,1869,1870,1871,1874,1875,1876,1878,1880,1881,1882,1883,1884,1885,1886,1887,1889,1890,1891,1897,1898,1899,1900,1904,1905,1906,1907,1908,1910,1911,1913,1914,1915,1916,1917,1918,1919,1920,1925,1927,1928,1932,1933,1934,1935,1936,1937,1938,1940,1941,1942,1943,1944,1946,1947,1948,1952,1954,1955,1958,1959,1960,1962,1963,1964,1965,1966,1967,1969,1970,1971,1972,1974,1978,1981,1982,1985,1986,1987,1988,1989,1990,1991,1992,1994,1995,1996,1997,1998,1999,2000,2001,2002,2003,2007,2010,2014,2015,2019,2021,2022,2023,2024,2025,2026,2027,2028,2029,2030,2031,2035,2036,2037,2038,2039,2041,2042,2043,2044,2045,2046,2047],[6,8,9,10,11,13,15,16,18,19,22,32,35,39,41,44,52,54,55,58,59,60,61,62,63,64,69,72,73,76,78,86,87,92,104,106,107,117,118,120,132,143,145,146,147,148,149,151,156,159,166,167,169,174,177,178,190,193,194,197,198,199,202,204,209,212,215,221,222,223,225,229,231,235,236,237,239,240,241,242,247,249,253,254,256,269,271,274,275,277,280,283,284,285,286,292,297,298,300,302,303,305,308,316,317,318,321,323,325,330,334,335,336,337,338,339,358,360,363,367,373,376,382,384,389,394,397,400,402,404,406,410,412,413,414,417,420,425,427,428,430,431,432,433,434,435,447,450,463,464,467,472,473,476,477,478,480,483,491,492,494,496,499,502,503,504,505,508,510,511,512,514,515,517,535,542,543,547,563,567,570,574,577,579,584,586,589,595,603,604,605,607,617,618,623,624,628,632,634,635,637,638,639,640,642,644,645,648,655,657,658,659,664,674,677,678,681,685,689,692,694,695,701,706,707,710,713,718,721,724,728,734,735,738,743,744,747,748,754,756,759,763,768,774,777,780,781,784,788,790,792,794,798,801,802,803,804,806,807,809,816,822,829,831,833,834,836,841,847,854,856,857,858,859,861,862,863,869,870,872,873,874,875,876,877,879,884,885,886,887,888,889,890,891,892,893,896,901,902,903,905,906,915,921,922,923,925,926,927,935,939,943,945,947,948,949,950,951,952,953,954,955,956,966,969,974,978,979,980,983,995,1003,1008,1009,1011,1012,1014,1019,1021,1026,1028,1032,1037,1038,1040,1041,1042,1043,1046,1055,1057,1064,1074,1075,1077,1079,1083,1084,1085,1087,1088,1090,1093,1095,1096,1102,1110,1113,1116,1118,1119,1120,1125,1127,1133,1134,1137,1142,1144,1145,1147,1149,1150,1151,1152,1157,1158,1159,1170,1172,1174,1175,1176,1178,1181,1190,1197,1204,1207,1208,1209,1211,1220,1225,1230,1239,1244,1249,1250,1259,1266,1267,1269,1275,1280,1281,1282,1285,1287,1290,1299,1300,1301,1303,1304,1305,1306,1307,1308,1310,1311,1314,1317,1318,1324,1328,1336,1339,1342,1344,1345,1353,1354,1356,1357,1358,1359,1367,1369,1375,1376,1377,1378,1379,1380,1381,1391,1393,1395,1397,1398,1399,1401,1408,1409,1410,1411,1412,1413,1416,1419,1423,1431,1432,1433,1434,1435,1440,1442,1443,1444,1445,1449,1451,1452,1454,1456,1459,1464,1466,1468,1469,1471,1477,1479,1480,1485,1486,1488,1491,1492,1493,1495,1499,1502,1507,1509,1511,1523,1524,1525,1527,1532,1533,1536,1538,1556,1557,1573,1574,1575,1576,1577,1582,1583,1584,1587,1593,1594,1597,1598,1599,1602,1603,1604,1611,1612,1613,1616,1617,1618,1620,1621,1622,1623,1624,1625,1626,1627,1638,1646,1648,1649,1651,1652,1655,1666,1667,1668,1671,1674,1678,1685,1687,1689,1693,1702,1707,1710,1713,1722,1723,1726,1728,1736,1739,1750,1751,1755,1757,1759,1775,1776,1777,1778,1779,1780,1782,1785,1787,1791,1804,1806,1808,1811,1812,1824,1825,1829,1830,1831,1833,1838,1840,1842,1844,1849,1862,1863,1866,1872,1873,1877,1879,1888,1893,1894,1896,1901,1902,1903,1909,1912,1921,1922,1923,1929,1930,1931,1939,1945,1949,1951,1953,1957,1961,1968,1973,1976,1977,1979,1980,1984,2004,2006,2008,2011,2012,2016,2017,2018,2020,2032,2033,2034,2040],[14,17,20,23,31,56,57,79,81,91,93,97,103,105,119,137,144,164,168,170,171,172,183,192,200,201,203,211,218,228,234,243,245,255,257,272,273,276,278,281,282,290,294,299,301,304,306,314,315,319,320,322,326,327,328,329,342,355,362,379,385,407,408,409,429,437,438,439,440,441,442,443,444,445,448,452,470,474,482,484,486,490,506,507,509,518,524,525,527,528,536,548,549,550,551,575,576,606,613,620,625,626,627,629,630,631,646,652,675,683,687,688,691,693,699,702,705,709,715,723,725,726,727,732,733,745,750,751,752,753,755,783,785,786,787,793,796,797,821,825,826,827,835,848,867,880,900,908,924,929,932,936,937,946,959,961,962,965,975,984,990,991,993,1006,1010,1013,1016,1018,1024,1025,1039,1053,1068,1076,1078,1101,1117,1121,1138,1153,1154,1156,1160,1173,1177,1179,1185,1191,1192,1193,1196,1210,1228,1231,1232,1233,1241,1242,1243,1257,1260,1261,1263,1270,1273,1274,1279,1283,1284,1286,1288,1289,1297,1302,1309,1312,1319,1323,1325,1335,1337,1338,1341,1343,1350,1351,1355,1383,1389,1396,1400,1415,1417,1420,1421,1426,1427,1428,1436,1437,1460,1462,1463,1476,1478,1482,1483,1487,1489,1490,1494,1496,1498,1500,1503,1504,1505,1506,1508,1526,1539,1563,1585,1591,1592,1605,1633,1634,1635,1636,1641,1642,1643,1658,1662,1665,1669,1670,1672,1677,1683,1686,1698,1699,1700,1701,1724,1732,1749,1752,1774,1784,1786,1798,1802,1803,1805,1809,1813,1826,1832,1837,1839,1841,1845,1864,1895,1924,1926,1950,1956,1975,1993,2005,2009,2013],[26,29,220,238,251,252,258,259,293,309,313,331,348,377,378,436,479,495,530,531,532,539,546,554,596,641,643,656,660,665,697,720,722,764,765,767,771,789,824,899,907,957,958,960,963,967,1007,1015,1017,1073,1115,1146,1148,1161,1183,1194,1195,1229,1252,1253,1254,1256,1276,1291,1320,1321,1333,1340,1346,1347,1394,1418,1422,1439,1474,1497,1555,1579,1586,1588,1663,1664,1675,1682,1725,1738,1801,1892,1983],[24,94,312,352,481,529,533,557,636,690,749,757,894,909,1166,1234,1235,1236,1237,1238,1246,1251,1255,1334,1453,1455,1457,1510],[28,307,451,455,541,633],[446,449,453,454,456,458,461,462,465],[340,341,344,345,346,349,350,351,354,356,357,359,361,457,460,981,988],[343,347,353,976,987],[973,989],[992],[982],[985]]