题面

输入正整数 $n$，把整数 $1,2,\dots ,n$ 组成一个环，使得相邻两个整数之和均为素数。输出时，从整数 $1$ 开始逆时针排列。同一个环恰好输出一次。$n\leq 16$

多组数据，读入到 EOF 结束。

第 $i$ 组数据输出前加上一行 Case i:

相邻两组数据中间加上一个空行。

6
8

Case 1:
1 4 3 2 5 6
1 6 5 2 3 4

Case 2:
1 2 3 8 5 6 7 4
1 2 5 8 3 4 7 6
1 4 7 6 5 8 3 2
1 6 7 4 3 8 5 2