#include <stdio.h>

int main(void) {
	// your code goes here
	int monthday[] = {31, 28, 31, 30, 31, 30,
	                31, 31, 30, 31, 30, 31};
	int daymonthsum[12][31];
	int year, yearsum, month, day, pivot;
	
	scanf("%d", &year);
	
	if (isleap(year)) {
		monthday[2-1] += 1;
	}
	
	yearsum = year%100 + year/100;
	
	for (month = 1; month <= 12; ++month) {
		for (day = 1; day <= monthday[month-1]; ++day) {
			daymonthsum[month-1][day-1] = month + day + yearsum;
		}
	}
	
	for (pivot = 12+31+yearsum; pivot >= 1+1+yearsum; --pivot) {
		for (month = 12; month >= 1; --month) {
			for (day = monthday[month-1]; day >= 1; --day) {
				if (daymonthsum[month-1][day-1] == pivot) {
					printf("%d%02d%02d = %d\n", year, month, day, pivot);
				}
			}
		}
	}
	
	return 0;
}


int isleap(int year)
{
	if (year % 400 == 0) {
		return 1;
	}
	if (year % 100 == 0) {
		return 0;
	}
	if (year % 4 == 0) {
		return 1;
	}
	return 0;
}