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