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