#include
#include
#include
int is_leadyear(int n)
{
if(n%4==0&&n%100!=0||n%400==0)
return 1;
else
return 0;
}
int main(int argc, char *argv[])
{
int year=0;
for(int year=1000;year<=2000;year++)
{
if(is_leadyear(year)==1)
{
printf("%d ",year);
}
}
return 0;
}