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