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