ocaml_new/problems/1

   1 $! 1 1\r
   2 D x x\r
   3 C y\r
   4 \r
   5 $! 1 2\r
   6 D x x\r
   7 C y x\r
   8 \r
   9 $! 1 3\r
  10 D x x\r
  11 C y (x z)\r
  12 \r
  13 $! 1 4\r
  14 D x x\r
  15 C x y\r
  16   y x\r
  17   y y\r
  18 \r
  19 $! 1 5\r
  20 D x y\r
  21 C x x\r
  22   y x\r
  23   y y\r
  24 \r
  25 $! 1 6\r
  26 D x x\r
  27 C y x\r
  28   y (x a)\r
  29 \r
  30 $? 1 6\r
  31 D x x\r
  32 C y x\r
  33   x z\r
  34   y (x x)\r
  35 \r
  36 \r
  37 $? 1 7\r
  38 D x x\r
  39 C y x\r
  40   y (x x)\r