#include <bits/stdc++.h>
using namespace std;
int dayofm[12]={31,31,28,31,30,31,30,31,31,30,31,30};
bool cmp(int year)
{
		if(year%400==0)
		{
			return true;
		}
		else if(year%4==0)
		{
			return true;	
		}
		else
		{
			return false;
		}

} 
int main()
{
	int year,day=1,at[7]={1,2,3,4,5,6,7},last=3;
	int n;
	cin>>n;
	for(int i=1900+n;i<=1900+n;i++)
	{
		if(cmp(i)==true)
		{
			dayofm[2]=29;
			for(int month=0;month<12;last++)
			{
				last=(last+dayofm[month])%7;
				last[at]++;
			}
			 
		}
		if(cmp(i)==false)
		{
			dayofm[2]=28;
		}
	}
	cout<<at[6]<<endl;
	for(int i=0;i<6;i++)
	{
		cout<<at[i]<<" ";
	} 
    	
}