/*
    八数码难题那种搜索做多了，这种题也就不叫题了。。
    直接宽搜，记录状态直接map（hash害我无数次我才不要用），字符串直接加加减减拼组起来，我以为会超时呢。
    就是这么暴力的方法，主意一下内存限制，队列不要开得太大，当然循环队列这里用不到。
    在注意一下输出格式，就可以A了。
*/
#include<iostream>
#include<cstdio>
#include<map>
#include<cstring>

using namespace std;
map<string,bool>vis;
struct node{
    int fa,step;
    string s;
    char op;
}cur,nxt,q[5000000];
int head=1,tail=0;
string goal,start="12348765",ans;
void work(int now){
    if(q[now].fa==-1)return;
    work(q[now].fa);
    //printf("%c",q[now].op);
    ans+=q[now].op;
}
int main(){
    //freopen("Cola.txt","r",stdin);
    int x;
    string ch;
    for(int i=1;i<=8;i++){
        scanf("%d",&x);
        ch+=x+‘0‘;
    }
    goal+=ch.substr(0,4);
    for(int i=7;i>=4;i--)goal+=ch[i];
    cur.s=start;cur.fa=-1;cur.step=0;
    vis[cur.s]=1;
    if(cur.s==goal){
        printf("0");
        return 0;
    }
    q[++tail]=cur;
    while(head<=tail){
        cur=q[head];
        string s=cur.s;
        if(cur.s==goal){
            printf("%d
",cur.step);
            work(head);
            int start=0,len=ans.length();
            while(start<len){
                cout<<ans.substr(start,60);
                start+=60;
            }
            break;
        }
        //操作A
        nxt.s="";
        nxt.s+=s.substr(4,4);nxt.s+=s.substr(0,4);
        nxt.op=‘A‘;nxt.step=cur.step+1;nxt.fa=head;
        if(!vis[nxt.s])q[++tail]=nxt,vis[nxt.s]=1;
        if(nxt.s==goal){
            printf("%d
",nxt.step);
            work(tail);
            int start=0,len=ans.length();
            while(start<len){
                cout<<ans.substr(start,60);
                start+=60;
            }
            break;
        }
        
        //操作B 
        nxt.s="";
        nxt.s+=s[3];nxt.s+=s.substr(0,3);
        nxt.s+=s[7];nxt.s+=s.substr(4,3);
        nxt.op=‘B‘;nxt.step=cur.step+1;nxt.fa=head;
        if(!vis[nxt.s])q[++tail]=nxt,vis[nxt.s]=1;
        if(nxt.s==goal){
            printf("%d
",nxt.step);
            work(tail);
            int start=0,len=ans.length();
            while(start<len){
                cout<<ans.substr(start,60);
                start+=60;
            }
            break;
        }
        
        //操作C 
        nxt.s="";
        nxt.s+=s[0];nxt.s+=s[5];nxt.s+=s[1];nxt.s+=s[3];nxt.s+=s[4];nxt.s+=s[6];nxt.s+=s[2];nxt.s+=s[7];
        nxt.step=cur.step+1;nxt.op=‘C‘;nxt.fa=head;
        if(!vis[nxt.s])q[++tail]=nxt,vis[nxt.s]=1;
        if(nxt.s==goal){
            printf("%d
",nxt.step);
            work(tail);
            int start=0,len=ans.length();
            while(start<len){
                cout<<ans.substr(start,60);
                start+=60;
            }
            break;
        }
        head++;
    }
    /*int sz=sizeof(q)+sizeof(vis);
    cout<<endl<<sz/1048576;*/
}