#include<bits/stdc++.h>

using namespace  std;

void  built (int pos);

int p[]={};

int main()

{

    int root;int cas=;

    while(cin>>root&&root!=-)

    {   memset(p,,sizeof(p));

      p[]+=root;

      built(-);built(+);

       int t=;

        while(p[t]==)t++;

        printf("Case %d:\n",++cas);

        printf("%d",p[t]);

        while(p[++t]!=) printf(" %d",p[t]);

       cout<<endl<<endl;

    }

    return ;

}

void  built (int pos)

{   int n;

    cin>>n;

    if(n==-)  return ;

    p[pos]+=n;

    built(pos-);built(pos+);

}