1000,1003,1005,1006,1007,1010,1014,1018,1021,1023,1026,1028,1031,1034,1037,1040,1044,1047,1050,1052,1055,1058,1061,1064,1068,1072,1075,1079,1083,1088,1090,1093,1097,1102,1107,1112,1117,1121,1125,1130,1134,1138,1141,1145,1149,1154,1158,1162,1166,1170,1174,1178,1183,1187,1192,1196,1201,1206,1209,1212,1216,1220,1225,1230,1234,1238,1243,1247,1251,1256,1261,1265,1269,1272,1276,1279,1282,1286,1289,1292,1295,1298,1303,1306,1309,1312,1316,1319,1322,1325,1329,1333,1336,1340,1343,1345,1348,1350,1353,1355,1358,1360,1363,1366,1369,1371,1374,1375,1373,1371,1368,1367,1364,1362,1359,1357,1354,1352,1349,1346,1344,1341,1339,1336,1334,1331,1327,1325,1322,1319,1316,1313,1310,1307,1304,1301,1298,1295,1291,1288,1285,1282,1278,1275,1271,1268,1264,1261,1257,1254,1251,1247,1243,1240,1237,1234,1230,1227,1223,1220,1217,1214,1211,1209,1206,1205,1202,1200,1198,1195,1193,1190,1188,1185,1183,1181,1178,1176,1174,1171,1168,1166,1163,1160,1156,1153,1150,1146,1142,1138,1135,1132,1130,1126,1122,1119,1115,1112,1108,1105,1103,1100,1098,1096,1094,1091,1088,1086,1082,1079,1075,1071,1066,1061,1057,1053,1049,1045,1041,1037,1033,1029,1025,1021,1018,1014,1011,1007,1003,1000,996,992,987,983,978,973,968,963,959,955,951,947,943,939,936,932,928,923,918,913,909,904,900,896,893,889,885,881,876,872,867,864,860,856,851,847,843,840,836,832,827,822,817,815,811,807,803,799,794,791,788,785,781,777,772,768,764,759,755,751,748,745,741,737,732,728,725,722,718,720,721,723,725,728,729,732,734,736,738,740,743,745,748,750,752,754,757,759,761,763,766,768,770,773,775,778,780,783,786,788,790,792,794,797,800,802,804,807,809,811,813,815,817,819,821,823,825,827,829,831,833,837,841,844,848,852,855,859,862,866,869,873,877,881,885,890,894,898,903,907,911,916,920,924,928,932,937,941,946,950,955,959,964,967,972,976,980,983,987,990,994,999;473,474,477,481,485,487,488,489,491,494,496,499,501,503,505,507,508,510,512,515,517,519,521,523,524,525,527,528,529,529,532,534,535,535,535,535,535,536,537,537,538,539,541,542,543,543,544,545,546,547,548,549,549,550,550,549,549,549,549,551,552,553,553,553,554,555,555,556,557,557,557,558,559,561,562,564,566,567,569,571,573,575,575,577,579,581,582,584,586,588,589,590,592,593,595,598,600,603,605,608,610,613,615,617,619,622,624,627,630,633,635,639,641,644,646,649,651,654,656,658,661,663,666,668,671,673,674,677,679,681,683,685,687,689,691,693,695,697,698,700,702,704,705,707,708,710,711,713,714,716,718,719,720,722,724,726,727,729,730,732,734,736,738,741,743,747,749,752,755,757,760,762,765,767,770,773,775,778,781,783,785,788,790,789,788,786,784,783,782,781,779,777,774,773,772,770,769,767,766,764,761,759,756,753,750,748,746,743,742,740,739,738,738,738,737,736,735,734,733,732,731,730,729,728,726,725,723,722,721,719,718,717,717,716,716,716,716,716,715,714,713,712,711,710,708,707,706,706,706,706,707,707,706,705,703,702,701,700,700,699,699,697,696,695,695,694,693,691,690,689,689,689,689,686,685,684,683,682,682,680,678,676,675,674,674,673,672,672,671,670,668,666,665,664,664,663,661,659,658,655,651,648,645,643,639,637,634,631,628,625,623,620,618,615,612,609,607,604,601,598,596,593,590,588,585,583,580,578,576,573,570,567,564,562,560,557,554,552,549,546,543,540,537,534,531,528,525,522,519,516,513,512,511,509,508,507,505,504,502,501,499,498,497,496,495,495,494,493,493,492,491,491,490,489,488,487,487,486,486,485,485,484,484,482,482,481,480,478,477,475,474,474