#include<stdio.h>
int main()
{
int year,j=0;
for( year=1000;year<=1999;year++)
{
if( (year%400==0)||
((year%4==0)&&(year%100!=0)) )
{ printf(" %d",year);
if(++j%3==0)
printf("\n");
}
}
}