#include<stdio.h>
int a[25]={0,0,0,4,6,0,0,12,40,0,0,171,410,0,0,1896,5160,0,0,32757,59984,0,0,431095,822229};
int main()
{
int n;
while(scanf("%d",&n)&&n)
printf("%d %d\n",n,a[n]);
return 0;
}
int a[25]={0,0,0,4,6,0,0,12,40,0,0,171,410,0,0,1896,5160,0,0,32757,59984,0,0,431095,822229};
int main()
{
int n;
while(scanf("%d",&n)&&n)
printf("%d %d\n",n,a[n]);
return 0;
}