[fireball-separation.git] / ocaml / problems / m

$! m1\r
N y z\r
  x z\r
  x (a k) u\r
  x (a r)\r
  x (a k) v\r
\r
$! m2\r
N y z\r
  x z\r
  x (a k) u\r
  x (a r)\r
  x (a k) v\r