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