level 13
void sort_0(int *a){
}
void sort_1(int *a){
int k=0,t;
if(k==0){t=a[0];a[0]=a[0];a[0]=t;sort_0(a);sort_0(a+1);}
}
void sort_2(int *a){
int k=0,t;
if(a[1]<a[0]){++k;t=a[k];a[k]=a[1];a[1]=t;}
if(k==0){t=a[0];a[0]=a[0];a[0]=t;sort_0(a);sort_1(a+1);}
if(k==1){t=a[1];a[1]=a[0];a[0]=t;sort_1(a);sort_0(a+2);}
}
void sort_3(int *a){
int k=0,t;
if(a[1]<a[0]){++k;t=a[k];a[k]=a[1];a[1]=t;}
if(a[2]<a[0]){++k;t=a[k];a[k]=a[2];a[2]=t;}
if(k==0){t=a[0];a[0]=a[0];a[0]=t;sort_0(a);sort_2(a+1);}
if(k==1){t=a[1];a[1]=a[0];a[0]=t;sort_1(a);sort_1(a+2);}
if(k==2){t=a[2];a[2]=a[0];a[0]=t;sort_2(a);sort_0(a
+3
);}
}
void sort_4(int *a){
int k=0,t;
if(a[1]<a[0]){++k;t=a[k];a[k]=a[1];a[1]=t;}
if(a[2]<a[0]){++k;t=a[k];a[k]=a[2];a[2]=t;}
if(a[3]<a[0]){++k;t=a[k];a[k]=a[3];a[3]=t;}
if(k==0){t=a[0];a[0]=a[0];a[0]=t;sort_0(a);sort_3(a+1);}
if(k==1){t=a[1];a[1]=a[0];a[0]=t;sort_1(a);sort_2(a+2);}
if(k==2){t=a[2];a[2]=a[0];a[0]=t;sort_2(a);sort_1(a+3);}
if(k==3){t=a[3];a[3]=a[0];a[0]=t;sort_3(a);sort_0(a+4);}
}
void sort_5(int *a){
int k=0,t;
if(a[1]<a[0]){++k;t=a[k];a[k]=a[1];a[1]=t;}
if(a[2]<a[0]){++k;t=a[k];a[k]=a[2];a[2]=t;}
if(a[3]<a[0]){++k;t=a[k];a[k]=a[3];a[3]=t;}
if(a[4]<a[0]){++k;t=a[k];a[k]=a[4];a[4]=t;}
if(k==0){t=a[0];a[0]=a[0];a[0]=t;sort_0(a);sort_4(a+1);}
if(k==1){t=a[1];a[1]=a[0];a[0]=t;sort_1(a);sort_3(a+2);}
if(k==2){t=a[2];a[2]=a[0];a[0]=t;sort_2(a);sort_2(a+3);}
if(k==3){t=a[3];a[3]=a[0];a[0]=t;sort_3(a);sort_1(a+4);}
if(k==4){t=a[4];a[4]=a[0];a[0]=t;sort_4(a);sort_0(a+5);}
}
void sort_6(int *a){
int k=0,t;
if(a[1]<a[0]){++k;t=a[k];a[k]=a[1];a[1]=t;}
if(a[2]<a[0]){++k;t=a[k];a[k]=a[2];a[2]=t;}
if(a[3]<a[0]){++k;t=a[k];a[k]=a[3];a[3]=t;}
if(a[4]<a[0]){++k;t=a[k];a[k]=a[4];a[4]=t;}
if(a[5]<a[0]){++k;t=a[k];a[k]=a[5];a[5]=t;}
if(k==0){t=a[0];a[0]=a[0];a[0]=t;sort_0(a);sort_5(a+1);}
if(k==1){t=a[1];a[1]=a[0];a[0]=t;sort_1(a);sort_4(a+2);}
if(k==2){t=a[2];a[2]=a[0];a[0]=t;sort_2(a);sort_3(a+3);}
if(k==3){t=a[3];a[3]=a[0];a[0]=t;sort_3(a);sort_2(a+4);}
if(k==4){t=a[4];a[4]=a[0];a[0]=t;sort_4(a);sort_1(a+5);}
if(k==5){t=a[5];a[5]=a[0];a[0]=t;sort_5(a);sort_0(a+6);}
}
void sort_7(int *a){
int k=0,t;
if(a[1]<a[0]){++k;t=a[k];a[k]=a[1];a[1]=t;}
if(a[2]<a[0]){++k;t=a[k];a[k]=a[2];a[2]=t;}
if(a[3]<a[0]){++k;t=a[k];a[k]=a[3];a[3]=t;}
if(a[4]<a[0]){++k;t=a[k];a[k]=a[4];a[4]=t;}
if(a[5]<a[0]){++k;t=a[k];a[k]=a[5];a[5]=t;}
if(a[6]<a[0]){++k;t=a[k];a[k]=a[6];a[6]=t;}
if(k==0){t=a[0];a[0]=a[0];a[0]=t;sort_0(a);sort_6(a+1);}
if(k==1){t=a[1];a[1]=a[0];a[0]=t;sort_1(a);sort_5(a+2);}
if(k==2){t=a[2];a[2]=a[0];a[0]=t;sort_2(a);sort_4(a+3);}
if(k==3){t=a[3];a[3]=a[0];a[0]=t;sort_3(a);sort_3(a+4);}
if(k==4){t=a[4];a[4]=a[0];a[0]=t;sort_4(a);sort_2(a+5);}
if(k==5){t=a[5];a[5]=a[0];a[0]=t;sort_5(a);sort_1(a+6);}
if(k==6){t=a[6];a[6]=a[0];a[0]=t;sort_6(a);sort_0(a+7);}
}
void sort_8(int *a){
int k=0,t;
if(a[1]<a[0]){++k;t=a[k];a[k]=a[1];a[1]=t;}
if(a[2]<a[0]){++k;t=a[k];a[k]=a[2];a[2]=t;}
if(a[3]<a[0]){++k;t=a[k];a[k]=a[3];a[3]=t;}
if(a[4]<a[0]){++k;t=a[k];a[k]=a[4];a[4]=t;}
if(a[5]<a[0]){++k;t=a[k];a[k]=a[5];a[5]=t;}
if(a[6]<a[0]){++k;t=a[k];a[k]=a[6];a[6]=t;}
if(a[7]<a[0]){++k;t=a[k];a[k]=a[7];a[7]=t;}
if(k==0){t=a[0];a[0]=a[0];a[0]=t;sort_0(a);sort_7(a+1);}
if(k==1){t=a[1];a[1]=a[0];a[0]=t;sort_1(a);sort_6(a+2);}
if(k==2){t=a[2];a[2]=a[0];a[0]=t;sort_2(a);sort_5(a+3);}
if(k==3){t=a[3];a[3]=a[0];a[0]=t;sort_3(a);sort_4(a+4);}
if(k==4){t=a[4];a[4]=a[0];a[0]=t;sort_4(a);sort_3(a+5);}
if(k==5){t=a[5];a[5]=a[0];a[0]=t;sort_5(a);sort_2(a+6);}
if(k==6){t=a[6];a[6]=a[0];a[0]=t;sort_6(a);sort_1(a+7);}
if(k==7){t=a[7];a[7]=a[0];a[0]=t;sort_7(a);sort_0(a+8);}
}
void sort_9(int *a){
int k=0,t;
if(a[1]<a[0]){++k;t=a[k];a[k]=a[1];a[1]=t;}
if(a[2]<a[0]){++k;t=a[k];a[k]=a[2];a[2]=t;}
if(a[3]<a[0]){++k;t=a[k];a[k]=a[3];a[3]=t;}
if(a[4]<a[0]){++k;t=a[k];a[k]=a[4];a[4]=t;}
if(a[5]<a[0]){++k;t=a[k];a[k]=a[5];a[5]=t;}
if(a[6]<a[0]){++k;t=a[k];a[k]=a[6];a[6]=t;}
if(a[7]<a[0]){++k;t=a[k];a[k]=a[7];a[7]=t;}
if(a[8]<a[0]){++k;t=a[k];a[k]=a[8];a[8]=t;}
if(k==0){t=a[0];a[0]=a[0];a[0]=t;sort_0(a);sort_8(a+1);}
if(k==1){t=a[1];a[1]=a[0];a[0]=t;sort_1(a);sort_7(a+2);}
if(k==2){t=a[2];a[2]=a[0];a[0]=t;sort_2(a);sort_6(a+3);}
if(k==3){t=a[3];a[3]=a[0];a[0]=t;sort_3(a);sort_5(a+4);}
if(k==4){t=a[4];a[4]=a[0];a[0]=t;sort_4(a);sort_4(a+5);}
if(k==5){t=a[5];a[5]=a[0];a[0]=t;sort_5(a);sort_3(a+6);}
if(k==6){t=a[6];a[6]=a[0];a[0]=t;sort_6(a);sort_2(a+7);}
if(k==7){t=a[7];a[7]=a[0];a[0]=t;sort_7(a);sort_1(a+8);}
if(k==8){t=a[8];a[8]=a[0];a[0]=t;sort_8(a);sort_0(a+9);}
}
void sort_10(int *a){
int k=0,t;
if(a[1]<a[0]){++k;t=a[k];a[k]=a[1];a[1]=t;}
if(a[2]<a[0]){++k;t=a[k];a[k]=a[2];a[2]=t;}
if(a[3]<a[0]){++k;t=a[k];a[k]=a[3];a[3]=t;}
if(a[4]<a[0]){++k;t=a[k];a[k]=a[4];a[4]=t;}
if(a[5]<a[0]){++k;t=a[k];a[k]=a[5];a[5]=t;}
if(a[6]<a[0]){++k;t=a[k];a[k]=a[6];a[6]=t;}
if(a[7]<a[0]){++k;t=a[k];a[k]=a[7];a[7]=t;}
if(a[8]<a[0]){++k;t=a[k];a[k]=a[8];a[8]=t;}
if(a[9]<a[0]){++k;t=a[k];a[k]=a[9];a[9]=t;}
if(k==0){t=a[0];a[0]=a[0];a[0]=t;sort_0(a);sort_9(a+1);}
if(k==1){t=a[1];a[1]=a[0];a[0]=t;sort_1(a);sort_8(a+2);}
if(k==2){t=a[2];a[2]=a[0];a[0]=t;sort_2(a);sort_7(a+3);}
if(k==3){t=a[3];a[3]=a[0];a[0]=t;sort_3(a);sort_6(a+4);}
if(k==4){t=a[4];a[4]=a[0];a[0]=t;sort_4(a);sort_5(a+5);}
if(k==5){t=a[5];a[5]=a[0];a[0]=t;sort_5(a);sort_4(a+6);}
if(k==6){t=a[6];a[6]=a[0];a[0]=t;sort_6(a);sort_3(a+7);}
if(k==7){t=a[7];a[7]=a[0];a[0]=t;sort_7(a);sort_2(a+8);}
if(k==8){t=a[8];a[8]=a[0];a[0]=t;sort_8(a);sort_1(a+9);}
if(k==9){t=a[9];a[9]=a[0];a[0]=t;sort_9(a);sort_0(a+10);}
}
void sort_11(int *a){
int k=0,t;
if(a[1]<a[0]){++k;t=a[k];a[k]=a[1];a[1]=t;}
if(a[2]<a[0]){++k;t=a[k];a[k]=a[2];a[2]=t;}
if(a[3]<a[0]){++k;t=a[k];a[k]=a[3];a[3]=t;}
if(a[4]<a[0]){++k;t=a[k];a[k]=a[4];a[4]=t;}
if(a[5]<a[0]){++k;t=a[k];a[k]=a[5];a[5]=t;}
if(a[6]<a[0]){++k;t=a[k];a[k]=a[6];a[6]=t;}
if(a[7]<a[0]){++k;t=a[k];a[k]=a[7];a[7]=t;}
if(a[8]<a[0]){++k;t=a[k];a[k]=a[8];a[8]=t;}
if(a[9]<a[0]){++k;t=a[k];a[k]=a[9];a[9]=t;}
if(a[10]<a[0]){++k;t=a[k];a[k]=a[10];a[10]=t;}
if(k==0){t=a[0];a[0]=a[0];a[0]=t;sort_0(a);sort_10(a+1);}
if(k==1){t=a[1];a[1]=a[0];a[0]=t;sort_1(a);sort_9(a+2);}
if(k==2){t=a[2];a[2]=a[0];a[0]=t;sort_2(a);sort_8(a+3);}
if(k==3){t=a[3];a[3]=a[0];a[0]=t;sort_3(a);sort_7(a+4);}
if(k==4){t=a[4];a[4]=a[0];a[0]=t;sort_4(a);sort_6(a+5);}
if(k==5){t=a[5];a[5]=a[0];a[0]=t;sort_5(a);sort_5(a+6);}
if(k==6){t=a[6];a[6]=a[0];a[0]=t;sort_6(a);sort_4(a+7);}
if(k==7){t=a[7];a[7]=a[0];a[0]=t;sort_7(a);sort_3(a+8);}
if(k==8){t=a[8];a[8]=a[0];a[0]=t;sort_8(a);sort_2(a+9);}
if(k==9){t=a[9];a[9]=a[0];a[0]=t;sort_9(a);sort_1(a+10);}
if(k==10){t=a[10];a[10]=a[0];a[0]=t;sort_10(a);sort_0(a+11);}
}
void sort_12(int *a){
int k=0,t;
if(a[1]<a[0]){++k;t=a[k];a[k]=a[1];a[1]=t;}
if(a[2]<a[0]){++k;t=a[k];a[k]=a[2];a[2]=t;}
if(a[3]<a[0]){++k;t=a[k];a[k]=a[3];a[3]=t;}
if(a[4]<a[0]){++k;t=a[k];a[k]=a[4];a[4]=t;}
if(a[5]<a[0]){++k;t=a[k];a[k]=a[5];a[5]=t;}
if(a[6]<a[0]){++k;t=a[k];a[k]=a[6];a[6]=t;}
if(a[7]<a[0]){++k;t=a[k];a[k]=a[7];a[7]=t;}
if(a[8]<a[0]){++k;t=a[k];a[k]=a[8];a[8]=t;}
if(a[9]<a[0]){++k;t=a[k];a[k]=a[9];a[9]=t;}
if(a[10]<a[0]){++k;t=a[k];a[k]=a[10];a[10]=t;}
if(a[11]<a[0]){++k;t=a[k];a[k]=a[11];a[11]=t;}
if(k==0){t=a[0];a[0]=a[0];a[0]=t;sort_0(a);sort_11(a+1);}
if(k==1){t=a[1];a[1]=a[0];a[0]=t;sort_1(a);sort_10(a+2);}
if(k==2){t=a[2];a[2]=a[0];a[0]=t;sort_2(a);sort_9(a+3);}
if(k==3){t=a[3];a[3]=a[0];a[0]=t;sort_3(a);sort_8(a+4);}
if(k==4){t=a[4];a[4]=a[0];a[0]=t;sort_4(a);sort_7(a+5);}
if(k==5){t=a[5];a[5]=a[0];a[0]=t;sort_5(a);sort_6(a+6);}
if(k==6){t=a[6];a[6]=a[0];a[0]=t;sort_6(a);sort_5(a+7);}
if(k==7){t=a[7];a[7]=a[0];a[0]=t;sort_7(a);sort_4(a+8);}
if(k==8){t=a[8];a[8]=a[0];a[0]=t;sort_8(a);sort_3(a+9);}
if(k==9){t=a[9];a[9]=a[0];a[0]=t;sort_9(a);sort_2(a+10);}
if(k==10){t=a[10];a[10]=a[0];a[0]=t;sort_10(a);sort_1(a+11);}
if(k==11){t=a[11];a[11]=a[0];a[0]=t;sort_11(a);sort_0(a+12);}
}
2013年10月15日 02点10分