4017,4020,4024,4028,4031,4034,4038,4042,4046,4049,4052,4055,4059,4062,4066,4069,4073,4076,4080,4083,4087,4091,4095,4099,4103,4107,4111,4116,4120,4124,4128,4132,4134,4135,4134,4134,4133,4133,4133,4135,4137,4140,4142,4144,4146,4146,4144,4141,4138,4136,4135,4132,4131,4129,4128,4127,4126,4126,4127,4127,4127,4128,4129,4130,4131,4132,4134,4135,4137,4139,4141,4143,4144,4147,4148,4149,4151,4152,4152,4151,4150,4148,4147,4145,4143,4142,4140,4138,4136,4135,4133,4131,4129,4128,4126,4121,4118,4114,4110,4105,4100,4095,4090,4086,4081,4077,4073,4069,4065,4061,4056,4051,4047,4043,4039,4036,4034,4031,4028,4025,4023,4020,4018,4016,4013,4011,4009,4007,4004,4002,4001,3998,3996,3994,3992,3990,3988,3986,3984,3983,3981,3979,3977,3975,3974,3972,3970,3969,3968,3966,3965,3963,3961,3960,3958,3956,3954,3952,3950,3948,3946,3944,3942,3940,3938,3936,3934,3932,3929,3928,3926,3924,3926,3927,3930,3931,3934,3937,3941,3944,3946,3948,3950,3951,3952,3954,3956,3957,3958,3959,3960,3961,3961,3962,3966,3970,3974,3978,3982,3986,3991,3996,4000,4005,4010,4015;1072,1073,1074,1075,1077,1079,1080,1081,1080,1078,1078,1080,1081,1083,1084,1086,1087,1089,1090,1092,1093,1094,1095,1096,1097,1098,1099,1099,1100,1101,1102,1103,1106,1110,1114,1119,1123,1128,1133,1136,1139,1141,1144,1147,1150,1152,1155,1157,1159,1162,1166,1168,1172,1175,1179,1183,1187,1192,1196,1201,1206,1210,1214,1218,1222,1226,1229,1233,1236,1239,1242,1245,1249,1251,1255,1259,1262,1266,1271,1275,1279,1282,1286,1289,1292,1296,1299,1302,1305,1309,1312,1315,1318,1322,1322,1322,1320,1319,1318,1318,1318,1318,1318,1319,1319,1320,1321,1322,1323,1324,1324,1324,1323,1322,1321,1319,1316,1314,1312,1310,1307,1305,1302,1299,1297,1294,1291,1288,1286,1283,1279,1277,1274,1271,1268,1265,1262,1259,1256,1252,1249,1246,1243,1240,1236,1233,1230,1226,1222,1219,1215,1212,1209,1205,1202,1199,1196,1193,1190,1187,1184,1181,1178,1175,1172,1169,1166,1163,1161,1157,1154,1151,1149,1145,1143,1139,1137,1135,1134,1132,1129,1126,1123,1119,1115,1112,1109,1105,1101,1097,1093,1089,1084,1080,1079,1078,1077,1076,1075,1074,1074,1074,1073,1073,1073,1073