ocaml/problems/o

   1 $! o1\r
   2 N x a b Z\r
   3   x (_. BOT) c Z\r
   4 \r
   5 $! o2\r
   6 N x (y (_. BOT) a) c Z\r
   7   x (y a PAC) d Z\r
   8 \r
   9 $! o3\r
  10 D y (x a1 BOMB c) (x BOMB b1 d)\r
  11 C y (x a2 BOMB c) (x BOMB b1 d)\r
  12   y (x a1 BOMB c) (x BOMB b2 d)\r
  13 \r
  14 \r
  15 $! o4\r
  16 D x BOMB a1 c\r
  17   x y BOMB d\r
  18 \r
  19 $! o6\r
  20 D x BOMB\r
  21 C x y\r