ocaml/problems/3col

   1 \r
   2 $! 3col: 0<>1\r
   3 C x (_.x y BOMB BOMB y y y b) (_.x BOMB y BOMB y y y b) (_.x BOMB BOMB y y y y b) BOMB BOMB BOMB a\r
   4 C x y y y (_.x BOMB y y y BOMB BOMB b) (_.x y BOMB y BOMB y BOMB b) (_.x y y BOMB BOMB BOMB y b) a\r
   5 D x y y y y y y a\r
   6 C x z z z BOMB BOMB BOMB BOMB\r
   7 C x y y y z z z BOMB\r
   8 \r
   9 $? 3col: 0<>1 1<>1\r
  10 C x (_.x y BOMB BOMB y y y b) (_.x BOMB y BOMB y y y b) (_.x BOMB BOMB y y y y b) BOMB BOMB BOMB a\r
  11 C x y y y (_.x BOMB y y BOMB BOMB BOMB b) (_.x y BOMB y BOMB BOMB BOMB b) (_.x y y BOMB BOMB BOMB BOMB b) a\r
  12 D x y y y y y y a\r
  13 C x z z z BOMB BOMB BOMB BOMB\r
  14 C x y y y z z z BOMB\r
  15 \r
  16 $? 3col: 0<>1<>2 0<>3 1<>3 2<>3\r
  17 C x (_.x y BOMB BOMB y y y y y y y y y b) (_.x BOMB y BOMB y y y y y y y y y b) (_.x BOMB BOMB y y y y y y y y y y b) BOMB BOMB BOMB BOMB BOMB BOMB BOMB BOMB BOMB a\r
  18 C x y y y (_.x BOMB y y y BOMB BOMB y y y y y y b) (_.x y BOMB y BOMB y BOMB y y y y y y b) (_.x y y BOMB BOMB BOMB y y y y y y y b) BOMB BOMB BOMB BOMB BOMB BOMB a\r
  19 C x y y y y y y (_.x BOMB y y BOMB y y y BOMB BOMB y y y b) (_.x y BOMB y y BOMB y BOMB y BOMB y y y b) (_.x y y BOMB y y BOMB BOMB BOMB y y y y b) BOMB BOMB BOMB a\r
  20 C x y y y y y y y y y (_.x BOMB y y BOMB y y BOMB y y y BOMB BOMB b) (_.x y BOMB y y BOMB y y BOMB y BOMB y BOMB b) (_.x y y BOMB y y BOMB y y BOMB BOMB BOMB y b) a\r
  21 D x y y y y y y y y y y y y a\r
  22 C x z z z BOMB BOMB BOMB BOMB BOMB BOMB BOMB BOMB BOMB BOMB\r
  23 C x y y y z z z BOMB BOMB BOMB BOMB BOMB BOMB BOMB\r
  24 C x y y y y y y z z z BOMB BOMB BOMB BOMB\r
  25 C x y y y y y y y y y z z z BOMB\r