> #include<stdio.h>
> int data[14]={0,2,7,5,30,169,441,1872,7632,1740,93313,459901,1358657,2504881};
> int main()
> {
> 	int k;
> 	while(scanf("%d",&k)&&k)
> 		printf("%d\n",data[k]);
> 	return 0;
> }