#include<stdio.h>
#include<string.h>
using namespace std;
int map[25][4],vis[25],des[25];
int n,cas=1;
void dfs(int now,int num){
if(num>21) return;
if(num==20&&(map[now][1]==n||map[now][2]==n||map[now][3]==n)){
printf("%d: ",cas++);
for(int i=0;i<20;i++)
printf("%d ",des[i]);
printf("%d\n",n);
}
for(int i=1;i<=3;i++){
int c=map[now][i];
if(!vis[c]){
des[num]=c;//这里是目的地,直接用num就可以代表第几个
vis[c]=1;
dfs(c,num+1);
vis[c]=0;
}
}
}
int main(){
memset(map,0,sizeof map);
for(int i=1;i<=20;i++)
scanf("%d %d %d",&map[i][1],&map[i][2],&map[i][3]);/*这里由于测试数据很水,所以直接写
就行,正确的姿势应该是先排序,然后由小到大赋值,这样每次搜到的时候就可以保证每次都是字典序最小
因为从第一个开始嘛,而且第一个最小。如果数据强的话就一定要先排序,在赋值,这里懒了。。。
*/
while(scanf("%d",&n)&&n){
memset(vis,0,sizeof vis);
memset(des,0,sizeof vis);
vis[n]=1;
des[0]=n;
dfs(n,1);
memset(map,0,sizeof map);
}
}