*p;r;B[90];main(x,A){for(p=A;~scanf("%s%d",B,p++);bzero(B,p>A?:4*printf("ab %d ac %d bc %d abc %d\n",x+B[6],x+B[5],x+B[3],x=B[7])))for(x=p-11>A?4e3:0;x?p-11>A?p=A,r=!++B[r],--x:1:0;p+=3)r=r*2|70**p<x&x/70-*p<p[2]&*++p<=x%70&x%70-*p<p[2];}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).