#include<bits/stdc++.h>
using namespace std;
string days(int y)
{
int c=0,d;
int i;
if(y>2001)
{
for(i=2001;i<y;i++)
{
if((i%4==0 &&i%100!=0)||i%400==0)
c=c+2;
else
c++;
}
c=(1+(c%7))%7;
}
else
{
for(i=y;i<2001;i++)
{
if((i%4==0 &&i%100!=0)||i%400==0)
c+=2;
else
c++;
}
c=(8-(c%7))%7;
}
string st="";
if(c==2)
st += "tuesday";
if(c==3)
st += "wednesday";
if(c==4)
st += "thursday";
if(c==5)
st += "friday";
if(c==6)
st += "saturday";
if(c==0)
st += "sunday";
if(c==1)
st += "monday";
return st;
}
int main()
{
// MAIN FORMULA - (year code + month code + century code + Date number - Leap year code)%7
// Here as Date is 1 & Month is January hence DATE NUMBER is 1 and MONTH CODE is 0
// If leap year SUBSTRACT 1 ELSE DON'T
// Year code formula - (YY +(YY/4))%7 where in 1898 YY is 98
// Century code - 1800s - 2; 1900s - 0; 2000s - 6; 2100s - 4; 2200s - 2; 2300s - 0;
int number_of_years, year_code, month_code, yy, century_code, date_number, leap_year, year[1000], day, i, j;
month_code = 0;
date_number = 1;
//scanf("%d",&number_of_years);
for(i = 1800; i<=2600; i++)
{
//printf(" * ");
year[i-1900] = i;
}
for(j = 0; j<=700; j++)
{
year[j] = j+1800;
yy = 0; century_code = 0; year_code = 0; leap_year = 0; day = 0;
{
if(year[j]>=1800 && year[j]<=1899)
{century_code = 2; yy = year[j] - 1800; year_code = ((yy+(yy/4))%7);}
else if(year[j]>=1900 && year[j]<=1999)
{century_code = 0; yy = year[j] - 1900; year_code = ((yy+(yy/4))%7);}
else if(year[j]>=2000 && year[j]<=2099)
{century_code = 6; yy = year[j] - 2000; year_code = ((yy+(yy/4))%7);}
else if(year[j]>=2100 && year[j]<=2199)
{century_code = 4; yy = year[j] - 2100; year_code = ((yy+(yy/4))%7);}
else if(year[j]>=2200 && year[j]<=2299)
{century_code = 2; yy = year[j] - 2200; year_code = ((yy+(yy/4))%7);}
else if(year[j]>=2300 && year[j]<=2399)
{century_code = 0; yy = year[j] - 2300; year_code = ((yy+(yy/4))%7);}
else if(year[j]>=2400 && year[j]<=2499)
{century_code = 6; yy = year[j] - 2400; year_code = ((yy+(yy/4))%7);}
else if(year[j]>=2500 && year[j]<=2599)
{century_code = 4; yy = year[j] - 2500; year_code = ((yy+(yy/4))%7);}
}
if((year[j]%4 == 0) && (year[j]%100 != 0))
{ leap_year = 1;}
else if(year[j]%400 == 0)
{ leap_year = 1;}
day = ((year_code + month_code + century_code + date_number - leap_year)%7);
string st="";
switch(day)
{ case 0: st = "sunday";
break ;
case 1: st += "monday";
break ;
case 2: st += "tuesday";
break ;
case 3: st += "wednesday";
break ;
case 4: st += "thursday";
break ;
case 5: st += "friday" ;
break ;
case 6: st += "saturday";
break ;
}
string temp = days(year[j]);
//printf("*");
if(st != temp){
printf("%d\n",year[j]);
}
}
return 0;
}