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