#include<stdio.h>
#include<stdlib.h>
#include<string.h>
const char HaabMonth[][9] = {"pop","no","zip","zotz","tzec","xul","yoxkin",
"mol","chen","yax","zac","ceh","mac","kankin","muan","pax",
"koyab","cumhu"};

const char TzolkinDay[][9]={"imix","ik","akbal","kan","chicchan","cimi",
"manik","lamat","muluk","ok","chuen","eb","ben","ix","mem","cib",
"caban","ahau"};

int main()
{

	int num, i, j;
    scanf("%d", &num);

	
	int *Tyear =(int *)malloc(sizeof(int)*num);
	int *Trestday =(int *)malloc(sizeof(int)*num);
	int *Tmonth =(int *)malloc(sizeof(int)*num);
	int *Tday =(int *)malloc(sizeof(int)*num);
	int *totaldays =(int *)malloc(sizeof(int)*num);
	int *day =(int *)malloc(sizeof(int)*num);
	int *year =(int *)malloc(sizeof(int)*num);

	char ** month=(char **)malloc(sizeof(char*)*num);
	for(i = 0; i < num; i++)
	{
		month[i]=(char *)malloc(sizeof(char)*9);
	}
    

	for(i = 0; i < num; i++)

		scanf("%d. %s %d", &day[i], month[i], &year[i]);
	
	for(i = 0; i < num; i++)
	{	for(j = 0; (j < 18) && (strcmp(month[i], HaabMonth[j]) !=0); j++);

			totaldays[i] = 365*year[i]+ j*20 + day[i];
	}	
	for(i = 0; i < num; i++)
	{
		Tyear[i] = totaldays[i] / 260;
		Trestday[i] = totaldays[i] % 260;
		Tmonth[i] = Trestday[i] % 13 +1;
		Tday[i] = Trestday[i] % 20;
	}
	printf("%d\n", num);
	for(i = 0; i < num; i++)	
		printf("%d %s %d\n", Tmonth[i], TzolkinDay[Tday[i]], Tyear[i]);
	
	return 0;

}