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