#!/usr/local/bin/tcc -run
#include <stdio.h>
void main(){
  int i;
  char buf[12];
  for (i = 1; i <= 30; i++){
    int k = i;
    k ^= 0x2;
    printf("%x %x\n", i, k);
  }
}