Merge branch 'permutations' into andrea

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

diff --git a/ocaml/problems/m b/ocaml/problems/m
new file mode 100644 (file)
index 0000000..716e4d4
--- /dev/null
+++ b/ocaml/problems/m
@@ -0,0 +1,13 @@
+$! m1\r
+N y z Z\r
+  x z Z\r
+  x (a k) u Z\r
+  x (a r) Z\r
+  x (a k) v Z\r
+\r
+$! m2\r
+N y z Z\r
+  x z Z\r
+  x (a k) u Z\r
+  x (a r) Z\r
+  x (a k) v Z\r