#include <stdio.h>
int is_leap_year(int y)
{
return (((y % 4 == 0) && (y % 100 != 0)) || (y % 400 == 0));
}
int main()
{
int n = 0;
int count = 0;
for (n = 1000; n <= 2000; n++)
{
if (is_leap_year(n) != 0)
{
printf("%d ", n);
count++;
}
}
printf("\n%d", count);
return 0;
}