#include<bits/stdc++.h>
using namespace std;
int n;
bool used[100+10];
int ans[100+10];
bool is_prime(int x){
	if(x<2){
		return false;
	}
	for(int i=2;i*i<=x;i++){
		if(x%i==0)return false;
	}
	return true;
}
void dfs(int cur){
	if(cur>n){
		if(is_prime(ans[n]+1)){
			for(int i=1;i<=n;i++){
				cout<<ans[i]<<" ";
			}
			cout<<endl;
		}
		return ;
	}
	for(int i=2;i<=n;i++){
		if(!used[i]&&is_prime(i+ans[cur-1])){
			used[i]=1;
			ans[cur]=i;
			dfs(cur+1);
			used[i]=0;
		}
	}
}
int main (){
	int cnt=0;
	while(cin>>n){
		cnt++;
		printf("Case %d:\n",cnt);
		used[1]=1;
		ans[1]=1;
		dfs(2);
		cout<<endl;
	}
 	return 0;
}