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