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