ocaml_new/problems/2

   1 $! 2 1\r
   2 D x BOMB\r
   3 C x a\r
   4 \r
   5 $! 2 2\r
   6 D x _. BOT\r
   7 C x _._. BOT\r
   8 \r
   9 $! 2 3\r
  10 D x (_.PAC) y\r
  11 C x a z\r
  12 \r
  13 # qui mancano le proiezioni!!1!!!\r
  14 $? 2 4\r
  15 D x (_.  BOT) a a a a a a\r
  16 C x (_._.BOT) a a a a a a\r
  17 \r
  18 # qui mancano le `proiezioni`\r
  19 $? 2.5\r
  20 D x (y y)\r
  21 C x BOMB z\r
  22 \r
  23 $? 2.5'\r
  24 D x (_. y y)\r
  25 C x (_. BOMB) z\r
  26 \r
  27 ???????????????\r
  28 D x a1 a2 a3\r
  29 C y x a\r
  30 C y (_._.BOMB)\r
  31 C ?????????????\r
  32 ???????????????\r
  33 \r
  34 $? 2.6\r
  35 D x (_.      a) b cc dd ee\r
  36 C x (_.      a) c cc dd ee\r
  37   x (_.      d) b cc dd ee\r
  38   x (_._._.BOT) b cc dd ee\r