typedef long long bv;
bv TB (void);
int TBl (void);

#include <stdio.h>
int main(){int i = TBl(), j = TBl();
  bv n;
  printf ("%08x %08x %08x\n", i, j, j-i);
  n = TB();
  printf("%016llx %lld\n", n, n);
  {int n=1000; int x=TBl();
     while(n--) TBl();
     printf("%d\n", TBl()-x);}
  return 0;}