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