#include <stdio.h>

int main(void) {

  int i;

  for (i = 1; i <= 10; i++) {
    printf("%02dx07 = %02d\n", i, i * 7);
  }

  return 0;
}