#include <iostream>
#include <bits/stdc++.h>

using namespace std;

int _num = 0;
int _year = 1900;
int _month = 1;
int _day = 1;
int _xing[8] = {0};

//4,6,11,9 is 30 days    1900 + n - 1 years

void ParseIn () {

	cin >> _num;

}

void Core () {

	bool flag = false;
    bool flag2 = false;
    bool flag3 = false;
    int i = 1;
	while (!((_year == (1900 + _num - 1)) && (_month == 12) && (_day == 31))) {
		if (((_year % 4 == 0 ) && (_year % 100 != 0) ) || ((_year % 100 == 0) && (_year % 400 == 0))) { // run
			flag = true;
		}
		if (_month == 2)  {// 是2月
           if (flag) {
           	   if (_day == 29) {
           	   	_day = 01;
           	   	_month++;
           	   	if (_month > 12) {
           	   		_month = 1;
           	   		_year++;
           	   		flag = false;
					  }
				  }
		   }
		}
		if (_month == 4 || _month == 6 || _month == 9 || _month == 11) {
			flag3 = true;
			if (_day == 30) {
				_day = 0;
				_month++;
				if (_month > 12) {
					_month = 1;
					_year++;
					flag = false;
				}
			}
		}
		else {
			if (_day == 31) {
				_day = 0;
				_month++;
				if (_month > 12) {
					_month = 1;
					_year++;
					flag = false;
				}
			}
		}
		
		
		
		if (i > 7) {
			i = 1;
		}
		
		if (_day == 13) {
			_xing[i]++;
		}
		
		i++;
		_day++;
		//cout << _year << " " << _month << " " << _day << endl;
	}

}

void WriteOut () {
     
     
     
     cout << _xing[6] << " ";
     cout << _xing[7] << " ";
     cout << _xing[1] << " ";
     cout << _xing[2] << " ";
     cout << _xing[3] << " ";
     cout << _xing[4] << " ";
     cout << _xing[5] << " ";
//     for (int i = 6; i <= 7; i++) {
//     	cout << _xing[i] << " ";
//	 }
//	 for (int i = 1; i <= 6; i++) {
//	 	cout << _xing[i] << " ";
//	 }
     
}

int main () {

	ParseIn();
	Core();
	WriteOut();

	return 0;
}