#include <bits/stdc++.h>

using namespace std;

#define ll long long

static const int fac[] = {, , , , , , , , , ,};   // 阶乘

//康托展开

int cantor(int *a,int n)

{

    int code=;

    for(int i=;i<n;i++)

    {

        int x=;int c=,m=;//c记录后面的阶乘

        for(int j=i+;j<n;j++)

        {

            if(a[j]<a[i])x++;

            m*=c;c++;

        }

        code+=x*m;

    }

    //printf("cantor=%d\n",code);

    return code;

}

//逆康托展开

void decantor(int code,int *a,int n){

    bool vis[]={};

    for(int i=;i<n;i++){

        int r = code / fac[n-i-];

        code %= fac[n-i-];

        int cnt = ;

        int j;

        for(j=;j<=n;j++){

            if(vis[j]==){

                cnt++;

                if(cnt==r+){

                    a[i]=j;

                    vis[j]=;

                    break;

                }

            }

        }

    }

    /*printf("decantor=");

    for(int i=0;i<n;i++){

        printf(" %d",a[i]);

    }

    printf("\n");*/

}

void showdecantor(int code,int n){

    int a[];

    bool vis[]={};

    for(int i=;i<n;i++){

        int r = code / fac[n-i-];

        code %= fac[n-i-];

        int cnt = ;

        int j;

        for(j=;j<=n;j++){

            if(vis[j]==){

                cnt++;

                if(cnt==r+){

                    a[i]=j;

                    vis[j]=;

                    break;

                }

            }

        }

    }

    //printf("decantor=");

    for(int i=;i<n;i++){

        printf(" %d",a[i]);

        if(i%==)

            printf("\n");

    }

    printf("\n");

}

int encode(int *a)

{

    int res=;

    for(int i=;i<; i++)

    {

        if(a[i])

            res|=;

        res<<=;

    }

    return res>>;

}

void decode(int code,int *a)

{

    for(int i=; i>=; i--)

    {

        a[i]=code&;

        code>>=;

    }

}

struct dat

{

    int cur;

    int pre;

    char cha;

} d,dt,data[];

queue<dat> q;

void show(dat d)

{

    stack<int> s;

    s.push(d.cur);

    while()

    {

        if(d.pre==-)

            break;

        s.push(d.pre);

        d=data[d.pre];

    }

    printf("%d\n",s.size()-);

    int cur=s.top();

    string ans="";

    while(!s.empty())

    {

        int nex=s.top();

        s.pop();

        //printf("%c\n",data[cur].cha);

        if(data[cur].cha!='N'){

            if(ans.length()>=){

                cout<<ans<<endl;

                ans="";

            }

            ans+=data[cur].cha;

        }

        //showdecantor(cur,8);

        cur=nex;

    }

    if(data[cur].cha!='N'){

        if(ans.length()>=){

            cout<<ans<<endl;

            ans="";

        }

        ans+=data[cur].cha;

    }

    cout<<ans<<endl;

}

int s,t;

inline bool found(int code)

{

    return (code==t);

}

int A(int code){

    int a[];

    decantor(code,a,);

    swap(a[],a[]);

    swap(a[],a[]);

    swap(a[],a[]);

    swap(a[],a[]);

    return cantor(a,);

}

int B(int code){

    int a[];

    decantor(code,a,);

    int t1=a[];

    int t2=a[];

    a[]=a[];

    a[]=a[];

    a[]=a[];

    a[]=t1;

    a[]=a[];

    a[]=a[];

    a[]=a[];

    a[]=t2;

    return cantor(a,);

}

int C(int code){

    int a[];

    decantor(code,a,);

    int t=a[];

    a[]=a[];

    a[]=a[];

    a[]=a[];

    a[]=t;

    return cantor(a,);

}

void bfs()

{

    memset(data,-,sizeof(data));

    d.cur=s;

    d.pre=-;

    d.cha='N';

    data[d.cur]=d;

    if(found(d.cur))

    {

        printf("0\n\n");

        return;

    }

    q.push(d);

    while(!q.empty())

    {

        d=q.front();

        q.pop();

        dt.cur=A(d.cur);

        if(data[dt.cur].cur==-){

            dt.pre=d.cur;

            dt.cha='A';

            data[dt.cur]=dt;

            if(found(dt.cur)){

                show(dt);

                return;

            }

            q.push(dt);

        }

        dt.cur=B(d.cur);

        if(data[dt.cur].cur==-){

            dt.pre=d.cur;

            dt.cha='B';

            data[dt.cur]=dt;

            if(found(dt.cur)){

                show(dt);

                return;

            }

            q.push(dt);

        }

        dt.cur=C(d.cur);

        if(data[dt.cur].cur==-){

            dt.pre=d.cur;

            dt.cha='C';

            data[dt.cur]=dt;

            if(found(dt.cur)){

                show(dt);

                return;

            }

            q.push(dt);

        }

    }

    cout<<"NOFOUND"<<endl;

}

int main()

{

    int a[];

    for(int i=; i<; i++)

        a[i]=i+;

    s=cantor(a,);

    for(int i=; i<; i++)

        scanf("%d",&a[i]);

    t=cantor(a,);

    //decantor(t,a,8);

    bfs();

}