[[2,3,4,5,6,7,8,9,10,11,12,13,14,16,17,18,21,22,23,25,26,27,28,29,30,31,32,33,34,35,36,38,40,41,42,43,44,45,46,47,48,49,51,52,54,55,56,57,59,60,61,63,64,65,66,67,68,69,70,71,73,76,77,78,79,80,81,82,83,84,85,86,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,108,109,110,111,114,115,116,117,118,120,121,122,123,124,125,126,127,128,129,130,131,132,134,135,136,137,138,139,140,141,142,144,146,147,148,149,150,151,152,153,154,156,158,160,161,162,163,165,166,167,169,170,172,173,174,175,176,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,197,198,199,200,201,202,203,204,205,206,207,209,210,211,212,214,400,401,402,403,404,406,407,408,409,410,412,413,414,415,416,417,418,419,421,422,423,424,425,426,427,428,429,431,432,433,434,435,436,438,439,440,441,442,443,444,445,447,448,449,451,454,455,456,457,458,460,461,462,463,464,465,467,468,471,473,474,476,477,478,481,482,483,484,486,487,488,491,492,495,496,497,498,499,501,502,504,506,507,508,509,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,530,532,533,534,535,536,537,539,541,542,543,545,546,547,548,549,550,552,553,554,555,556,557,558,559,560,561,563,564,566,567,568,569,570,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,596,598,599,600,601,603,605,606,607,609,611,612,614,804,815,819,830,840,842,845,847,848,850,854,856,869,872,873,895,899,901,909,910,911,938,941,944,950,973,974,979,987,988,996,1006,1019,1028,1031,1035,1042,1044,1045,1052,1058,1063,1065,1067,1068,1072,1076,1085,1099,1100,1102,1108,1113,1120,1126,1127,1136,1137,1139,1147,1150,1154,1169,1174,1191,1199,1212,1214,1232,1233,1235,1252,1263,1277,1287,1292,1298,1309,1311,1324,1334,1341,1346,1348,1352,1381,1392,1399,1410,1417,1424,1425,1434,1436,1444,1456,1464,1478,1483,1486,1492,1497,1502,1527,1530,1553,1593],[0,1,15,19,20,24,37,39,50,53,72,74,75,106,107,112,113,119,133,143,145,155,157,159,164,168,171,177,208,213,215,216,218,220,221,222,223,225,226,229,230,231,232,233,234,235,238,239,240,242,243,244,246,247,248,249,251,252,253,254,256,257,258,259,261,262,263,264,265,270,271,274,275,276,277,278,279,280,281,283,284,285,287,288,290,292,294,295,296,297,300,301,302,303,304,306,307,308,309,310,311,314,315,316,317,319,320,321,324,325,326,327,330,331,332,333,334,336,337,338,339,340,341,342,346,347,348,349,351,352,353,354,355,356,357,358,359,360,362,363,365,366,367,369,371,372,374,375,376,377,378,379,380,381,383,387,388,392,393,394,396,397,399,411,420,430,437,446,450,452,453,459,466,469,470,472,475,479,480,485,489,490,493,494,500,503,505,529,531,538,540,544,551,565,571,595,597,602,604,608,610,613,615,616,617,618,619,620,621,623,624,626,629,631,632,633,634,636,637,638,640,641,642,644,645,646,648,649,650,652,657,658,659,660,661,662,663,664,665,666,667,668,670,671,673,676,678,680,681,684,686,688,689,692,693,695,697,698,699,700,701,702,704,706,707,710,712,713,714,715,717,718,719,720,721,723,724,727,728,729,731,732,736,737,738,739,740,741,742,744,745,746,747,748,749,751,753,754,757,758,759,760,762,763,764,765,766,769,773,774,775,779,780,781,782,783,784,785,786,788,789,791,792,793,794,795,796,797,798,799,800,806,811,817,822,827,837,857,862,871,877,881,885,887,890,896,906,907,918,920,933,939,945,953,963,970,975,991,994,1011,1013,1018,1021,1025,1043,1049,1057,1060,1064,1073,1081,1089,1091,1092,1093,1131,1156,1158,1160,1167,1168,1183,1205,1210,1216,1217,1247,1273,1293,1294,1320,1330,1336,1349,1354,1359,1361,1372,1397,1398,1409,1412,1416,1429,1430,1433,1452,1453,1454,1458,1470,1482,1499,1506,1517,1524,1528,1538,1541,1544,1555,1572,1574,1577,1585,1590,1595,1596],[58,62,87,195,196,217,219,224,227,228,236,237,241,245,250,255,260,266,267,268,272,273,282,286,289,291,293,298,299,305,313,318,322,323,328,329,335,343,345,350,361,364,368,370,382,384,385,389,391,395,405,510,562,622,627,628,635,639,643,647,653,654,655,656,669,672,674,675,677,679,682,683,685,690,691,694,696,703,705,708,716,722,725,726,730,733,734,735,743,750,752,755,756,767,768,770,771,772,776,777,778,787,790,805,808,818,829,859,866,883,892,894,900,903,904,916,919,922,928,954,962,969,971,990,995,998,1003,1009,1016,1027,1033,1039,1046,1061,1077,1079,1101,1105,1106,1109,1111,1112,1115,1118,1135,1146,1151,1152,1159,1161,1172,1175,1187,1195,1206,1208,1215,1219,1220,1253,1256,1265,1271,1290,1301,1306,1317,1319,1337,1350,1356,1360,1366,1375,1382,1384,1386,1388,1391,1395,1396,1400,1406,1411,1420,1432,1435,1457,1460,1467,1471,1485,1489,1491,1496,1509,1516,1520,1521,1525,1537,1551,1561,1568,1581,1588],[269,312,344,373,386,390,398,625,630,651,709,711,761,801,810,816,824,826,828,831,832,838,839,851,853,865,875,880,882,886,891,905,908,925,931,932,934,935,940,942,943,949,951,965,972,976,982,989,1001,1007,1012,1014,1022,1036,1038,1054,1066,1087,1090,1096,1107,1110,1121,1125,1148,1162,1177,1197,1201,1211,1222,1237,1243,1249,1269,1272,1278,1283,1284,1357,1415,1422,1428,1437,1439,1443,1461,1462,1468,1474,1484,1493,1505,1510,1512,1531,1543,1554,1564,1566,1571,1583,1587,1591,1597],[687,820,849,855,914,926,952,955,958,968,978,984,1040,1048,1051,1062,1098,1140,1145,1164,1170,1178,1186,1224,1242,1248,1266,1270,1280,1300,1303,1307,1332,1338,1340,1342,1343,1365,1367,1378,1389,1394,1404,1431,1440,1449,1494,1508,1533,1545,1549,1575,1576,1586],[809,812,846,860,863,878,902,921,923,936,946,981,999,1000,1005,1023,1026,1083,1116,1155,1163,1194,1225,1231,1246,1254,1260,1268,1282,1291,1295,1302,1373,1377,1380,1383,1407,1442,1446,1463,1501,1522,1542,1580],[803,844,861,868,888,927,1032,1056,1074,1080,1088,1124,1204,1207,1218,1264,1279,1296,1315,1316,1326,1376,1408,1418,1419,1448,1472,1488,1518,1540,1550,1560,1573,1578,1584,1594],[807,834,893,964,1002,1017,1041,1086,1097,1123,1129,1190,1209,1239,1267,1305,1313,1314,1318,1323,1351,1405,1450,1469,1473,1481,1513,1535,1552,1565,1570],[841,867,874,876,924,929,937,961,967,983,992,1008,1015,1020,1078,1182,1192,1202,1203,1245,1286,1288,1299,1331,1333,1344,1362,1401,1402,1413,1421,1455,1480,1500,1514,1532,1536,1548,1558,1563,1599],[879,884,913,917,957,1034,1037,1071,1084,1095,1130,1138,1143,1184,1241,1255,1257,1325,1347,1353,1451,1459,1466,1503,1511,1557],[836,858,948,977,985,997,1004,1024,1029,1069,1134,1213,1221,1223,1230,1236,1258,1261,1285,1308,1355,1371,1477,1498,1515,1534,1598],[843,897,986,1103,1117,1189,1244,1259,1276,1304,1339,1368,1379,1438,1465,1495,1526,1556,1569],[833,835,956,980,1070,1075,1133,1173,1179,1185,1238,1327,1390,1427,1441,1445,1475,1490,1523,1529,1539,1547,1582],[814,823,966,1053,1055,1094,1149,1157,1251,1275,1297,1310,1363,1370,1385,1387,1423,1447,1476,1546,1559,1579,1589],[889,947,960,1030,1047,1132,1180,1193,1250,1262,1274,1281,1358,1364,1507],[813,825,870,959,1010,1119,1122,1128,1165,1196,1229,1234,1289,1329,1345,1369],[915,1050,1082,1104,1142,1188,1198,1240,1562,1592],[821,864,912,1141,1166,1227,1321,1335,1374,1403,1426,1567],[802,1153,1181,1228,1322,1414,1487],[852,898,993,1114,1144,1226,1312,1328,1504],[930,1200,1393,1479],[1059,1171,1176],[1519]]