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