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