#include<iostream>

 #include<cstdio>

 #include<cstring>

 #include <cmath>

 #include<stack>

 #include<vector>

 #include<map>

 #include<set>

 #include<queue>

 #include<algorithm>

 using namespace std;

 #define foreach(i,c) for (__typeof(c.begin()) i = c.begin(); i != c.end(); ++i)

 typedef long long LL;

 const int INF = (<<)-;

 const int mod=;

 const int maxn=;

 char input[maxn];

 int id[maxn],letter[maxn];

 int main(){

 //    freopen("in.txt","r",stdin);

 //    freopen("out.txt","w",stdout);

     while(scanf("%s",input)!=EOF&&input[]!='#'){

         int n=;

         for(char ch='A';ch<='Z';ch++){//输入处理

             if(strchr(input,ch)!=NULL){

                 id[ch]=n++;

                 letter[id[ch]]=ch;

             }

         }

         int len=strlen(input),p=,q=;

         vector<int> u,v;

         for(;;){

             while(p<len&&input[p]!=':') p++;

             if(p==len) break;

             while(q<len&&input[q]!=';') q++;

             for(int i=p+;i<q;i++){

                 u.push_back(id[input[p-]]);

                 v.push_back(id[input[i]]);

             }

             p++;q++;//都向后挪一位，不挪的话，p位置一直是‘：’，q位置一直是';',就超时了

         }

         int P[maxn],bestP[maxn],pos[maxn],ans=n;

         for(int i=;i<n;i++) P[i]=i;

         do{

             for(int i=;i<n;i++) pos[P[i]]=i;//记录下在这个排列中的位置 

             int bandwidth=;

             for(int i=;i<u.size();i++)

             bandwidth=max(bandwidth,abs(pos[u[i]]-pos[v[i]]));//求出当前的带宽 

             if(bandwidth<ans){//维护一个最小的带宽的值，并保存下此时的排列

                 ans=bandwidth;

                 memcpy(bestP,P,sizeof(P));

             }

         } while(next_permutation(P,P+n));

         for(int i=;i<n;i++) printf("%c ",letter[bestP[i]]);

         printf("-> %d\n",ans);

     }

     return ;

 }