/*
还是回溯法，关键是编写DFS函数
DFS函数是递归函数，因此第一步是递归终止条件，即已经搜索到底部，判断是否满足条件，决定是否输出。
第二步是递归，当进入第二步时，首先是改变标记状态，然后继续调用DFS，最后恢复标记状态。
*/
#include <iostream>
#include<cstdio>
#include<string>
#include<map>
#include<vector>
#include<sstream>
#include<string.h>
using namespace std;
int n,kase=0;
int a[20],v[20];
//第一个技巧，开常数数组记录每个数是不是素数，不用再写个函数判断，节省时间
int isp[35]={0,0,2,3,0,5,0,7,0,0,0,11,0,13,0,0,0,17,0,19,0,0,0,23,0,0,0,0,0,29,0,31,0,0,0};
void dfs(int pos){
//第二个技巧，向后判断两个数的和是不是素数只需要在输出结果的时候判断一次即可
if(pos==n&&isp[a[0]+a[n-1]]){
for(int i=0;i<n;++i){
if(i)printf(" ");
printf("%d",a[i]);
}
printf("\n");
return;
}
for(int i=2;i<=n;++i){
if(!v[i]&&isp[a[pos-1]+i]){
a[pos]=i,v[i]=1;
dfs(pos+1);
a[pos]=0,v[i]=0;
}
}
}
int main()
{
while(scanf("%d",&n)!=EOF&&n){
if(kase)printf("\n");
printf("Case %d:\n",++kase);
memset(a,0,sizeof(a));
memset(v,0,sizeof(v));
a[0]=1,v[1]=1;
dfs(1);
}
return 0;
}