#include<bits/stdc++.h>
using namespace std;
int a[25]={0,1},n,b[105],flag;
bool c[10010]={0,1};
void dfs(int x,int y)
{
	if(x==n+1&&b[a[n]+a[1]])
	{
		for(int i=1;i<n;i++)cout<<" "<<a[i];
		cout<<a[n]<<endl;
	}
	if(x==n+1)return ;
	for(int i=y;i<=n;i+=2)
	{
		if(!c[i]&&b[i+a[x-1]])
		{
			a[x]=i;
			c[i]=1;
			dfs(x+1,y^3);
			c[i]=0;
		} 
	}
}
int main()
{
	int flag=0;
	b[2]=b[3]=b[5]=b[7]=b[11]=b[13]=b[17]=b[19]=b[23]=b[29]=b[31]=1;
	while(scanf("%d",&n)!=EOF)
	{
		if(flag)printf("\n");
		flag++;
		cout<<"Case :"<<flag;
		dfs(2,2);
	}
	return 0;
}