代码有点繁琐，用C实现的，由于数据范围较小，可以使用特殊技巧。
注意数字转火星文的时候，13的倍数只需要输出对应的首位。
如26，应该输出hel而不是hel tret

#include<stdio.h>
#include<ctype.h>
#include<string.h>
char marx[][5]={"tret","jan", "feb", "mar", "apr", "may", "jun", "jly", "aug", "sep", "oct", "nov", "dec"};
char mar[][5]={"x","tam", "hel", "maa", "huh", "tou", "kes", "hei", "elo", "syy", "lok", "mer", "jou"};
char str[110];

void mar2earth(){
	char st[20];
	int sum=0;
	int j=0,i,k;
	int len=strlen(str);
	
	for(i=0;i<len;i++){
		if(str[i]==' '){
			st[j]='\0';
			for( k=1;k<13;k++){
				if(strcmp(mar[k],st)==0){
					sum+=k*13;
				}
				j=0;
			}
		}
		else if(i==len-1){
			
			st[j++]=str[i];
			st[j]='\0';
			for(int k=0;k<13;k++){
				if(strcmp(marx[k],st)==0){
					sum+=k;
				}else if(strcmp(mar[k],st)==0){
					sum+=k*13;
				}
			j=0;
					}
				}
		else{
			st[j++]=str[i];
		}
	}
  printf("%d\n",sum);
 }
void earth2mar(){
	int i,sum=0;
	int len=strlen(str);
	for(i=0;i<len;i++){
		sum=sum*10+str[i]-'0';
	}

	if(sum<13) printf("%s\n",marx[sum]);
	else {
		int g=sum%13;
		int s=sum/13%13;
		if(g!=0)
			printf("%s %s\n",mar[s],marx[g]);
		else
			printf("%s\n",mar[s]);
	}
	
}
int main(){
	int N,i;
	scanf("%d",&N);
	getchar();
	for(i=0;i<N;i++){
		gets(str);
		if(isdigit(str[0])){
			earth2mar();
		}else{
			mar2earth();
		}
	
	}
	return 0;
}