#include <bits/stdc++.h>

using namespace std;

#define pb push_back

#define rep(i,s,t) for(int i=s;i<=t;i++)

vector<int>mpa[];

int loc,ncase=;

int vis[],cnt,ans[];

void dfs(int pos){

    if(cnt== && (mpa[pos][]==loc||mpa[pos][]==loc||mpa[pos][]==loc)){

        printf("%d:  %d ",++ncase,loc);

        for(int i=;i<=cnt;i++)printf("%d ",ans[i]);

        printf("%d\n",loc);

        return;

    }

    for(int i=;i<mpa[pos].size();i++){

        int v=mpa[pos][i];

        if(!vis[v]){

            ans[++cnt]=v,vis[v]=;

            dfs(v);    //选当前点或者不选

            cnt--;vis[v]=;

        }

    }

}

int main(){

    rep(i,,) {

        rep(j,,){

            int x;scanf("%d",&x);

            mpa[i].pb(x);

        }

        sort(mpa[i].begin(),mpa[i].end());    //根据DFS的特性，要保证路径是按字典序从小到大输出，这里排个序就好了

    }

    while(scanf("%d",&loc),loc){

        memset(vis,,sizeof(vis));

        ncase=;cnt=;vis[loc]=;

        dfs(loc);

    }

}