usaco clocks

/*
ID: ljracm1
LANG: C
PROB: clocks
*/
#include<string.h>
#include<stdio.h>
#define T

int rec[15][15],clock[15];

int judge(){
    int i;
    for(i=1; i<=9; i++)
        if(clock[i]!=0)return 0;
    return 1;
}

int main(){
    int ans[15],len=37,res[37],p=0,i,j,a1,a2,a3,a4,a5,a6,a7,a8,a9;
    #ifdef  T
    freopen("clocks.in","r",stdin);
    freopen("clocks.out","w",stdout);
    #endif
    rec[1][0]=4; rec[1][1]=1; rec[1][2]=2; rec[1][3]=4; rec[1][4]=5;
    rec[2][0]=3; rec[2][1]=1; rec[2][2]=2; rec[2][3]=3;
    rec[3][0]=4; rec[3][1]=2; rec[3][2]=3; rec[3][3]=5; rec[3][4]=6;
    rec[4][0]=3; rec[4][1]=1; rec[4][2]=4; rec[4][3]=7;
    rec[5][0]=5; rec[5][1]=2; rec[5][2]=4; rec[5][3]=5; rec[5][4]=6; rec[5][5]=8;
    rec[6][0]=3; rec[6][1]=3; rec[6][2]=6; rec[6][3]=9;
    rec[7][0]=4; rec[7][1]=4; rec[7][2]=5; rec[7][3]=7; rec[7][4]=8;
    rec[8][0]=3; rec[8][1]=7; rec[8][2]=8; rec[8][3]=9;
    rec[9][0]=4; rec[9][1]=5; rec[9][2]=6; rec[9][3]=8; rec[9][4]=9;
    for(i=1; i<=9; i++){
        scanf("%d",&clock[i]);
        clock[i]/=3;
    }

    memset(ans,0,sizeof(ans));
    for(a1=0; a1<4; a1++)
        for(a2=0; a2<4; a2++)
           for(a3=0; a3<4; a3++)
              for(a4=0; a4<4; a4++)
                  for(a5=0; a5<4; a5++)
                     for(a6=0; a6<4; a6++)
                        for(a7=0; a7<4; a7++)
                           for(a8=0; a8<4; a8++)
                               for(a9=0; a9<4; a9++){
                                    for(i=1; i<=rec[1][0]; i++)
                                        clock[rec[1][i]]=(clock[rec[1][i]]+a1)%4;
                                    for(i=1; i<=rec[2][0]; i++)
                                        clock[rec[2][i]]=(clock[rec[2][i]]+a2)%4;
                                    for(i=1; i<=rec[3][0]; i++)
                                        clock[rec[3][i]]=(clock[rec[3][i]]+a3)%4;
                                    for(i=1; i<=rec[4][0]; i++)
                                        clock[rec[4][i]]=(clock[rec[4][i]]+a4)%4;
                                    for(i=1; i<=rec[5][0]; i++)
                                        clock[rec[5][i]]=(clock[rec[5][i]]+a5)%4;
                                    for(i=1; i<=rec[6][0]; i++)
                                        clock[rec[6][i]]=(clock[rec[6][i]]+a6)%4;
                                    for(i=1; i<=rec[7][0]; i++)
                                        clock[rec[7][i]]=(clock[rec[7][i]]+a7)%4;
                                    for(i=1; i<=rec[8][0]; i++)
                                        clock[rec[8][i]]=(clock[rec[8][i]]+a8)%4;
                                    for(i=1; i<=rec[9][0]; i++)
                                        clock[rec[9][i]]=(clock[rec[9][i]]+a9)%4;
                                    if(judge()){
                                        if(a1+a2+a3+a4+a5+a6+a7+a8+a9<=len){
                                            memset(ans,0,sizeof(ans));
                                             ans[1]=a1; ans[2]=a2; ans[3]=a3;
                                             ans[4]=a4; ans[5]=a5; ans[6]=a6;
                                             ans[7]=a7; ans[8]=a8; ans[9]=a9;
                                             len = a1+a2+a3+a4+a5+a6+a7+a8+a9;
                                        }
                                    }
                                    for(i=1; i<=rec[1][0]; i++)
                                        clock[rec[1][i]]=(clock[rec[1][i]]-a1+4)%4;
                                    for(i=1; i<=rec[2][0]; i++)
                                        clock[rec[2][i]]=(clock[rec[2][i]]-a2+4)%4;
                                    for(i=1; i<=rec[3][0]; i++)
                                        clock[rec[3][i]]=(clock[rec[3][i]]-a3+4)%4;
                                    for(i=1; i<=rec[4][0]; i++)
                                        clock[rec[4][i]]=(clock[rec[4][i]]-a4+4)%4;
                                    for(i=1; i<=rec[5][0]; i++)
                                        clock[rec[5][i]]=(clock[rec[5][i]]-a5+4)%4;
                                    for(i=1; i<=rec[6][0]; i++)
                                        clock[rec[6][i]]=(clock[rec[6][i]]-a6+4)%4;
                                    for(i=1; i<=rec[7][0]; i++)
                                        clock[rec[7][i]]=(clock[rec[7][i]]-a7+4)%4;
                                    for(i=1; i<=rec[8][0]; i++)
                                        clock[rec[8][i]]=(clock[rec[8][i]]-a8+4)%4;
                                    for(i=1; i<=rec[9][0]; i++)
                                        clock[rec[9][i]]=(clock[rec[9][i]]-a9+4)%4;
                               }
     for(i=1; i<=9; i++){
            if(ans[i]!=0){
                 for(j=1; j<=ans[i]; j++)
                      res[p++]=i;
            }
     }
     for(i=0; i<p-1; i++)
        printf("%d ",res[i]);
     printf("%d\n",res[p-1]);

     return 0;
}