#include<stdio.h>
int main()
{
	int k,m,sum,p,i,t;
	while(1)
	{
		scanf("%d",&k);
		if(k==0) return 0;
		switch(k)
		{
		case 1:printf("2\n");break;
	case 2:printf("7\n");break;
	case 3:printf("5\n");break;
	case 4:printf("30\n");break;
	case 5:printf("169\n");break;
	case 6:printf("441\n");break;
	case 7:printf("1872\n");break;
	case 8:printf("7632\n");break;
	case 9:printf("×××\n");break;
	case 10:printf("××××\n");break;
	case 11:printf("××××\n");break;
	case 12:printf("××××\n");break;
	case 13:printf("××××\n");break;
		}
	}
	return 0;
}