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