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