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