#include<cstdio>
main(){
FILE *fp = fopen("test","r");
int tmp=0;
 if (fp != NULL)fscanf(fp,"%d",&tmp);
 //printf("%d",tmp);
 if (tmp == 112)return 1;
 for(int i=1;i<=9;i++){
   for(int j=1;j<=9;j++){
     printf("%dx%dx=%d\n",i,j,i*j);
   }
 }
return 0;
}