From 5f3825cf72051425c213fd419afd119eee2d8ce3 Mon Sep 17 00:00:00 2001
From: Brandon Rozek <brozek@brandonrozek.com>
Date: Fri, 4 Oct 2024 13:22:18 -0400
Subject: [PATCH] Added example fragment without negation

---
 examples/R4-MN     | 32 ++++++++++++++++++++++++++++++++
 examples/README.md |  3 +++
 2 files changed, 35 insertions(+)
 create mode 100644 examples/R4-MN

diff --git a/examples/R4-MN b/examples/R4-MN
new file mode 100644
index 0000000..0617984
--- /dev/null
+++ b/examples/R4-MN
@@ -0,0 +1,32 @@
+ 0 1 1 1 1 1 0 0
+ 1
+ 1 1 0 1
+ 0 1
+ 1 1 0 1 -1
+ -1
+ -1
+ 2
+ 1 1 1 0 1 1 0 0 1
+ 0 1 1
+ 2 2 2 0 1 2 0 0 2 -1
+ 0 0 1
+ 2 2 2 0 2 2 0 1 2 -1
+ -1
+ -1
+ 3
+ 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1
+ 0 1 0 1
+ 3 3 3 3 0 1 2 3 0 0 1 3 0 0 0 3 3 3 3 3 0 1 2 3 0 0 3 3 0 0 2 3 -1
+ 0 0 0 1
+ 3 3 3 3 2 3 2 3 1 1 3 3 0 1 2 3 -1
+ -1
+ 1 1 1 1 0 1 1 1 0 0 1 1 0 0 0 1
+ 0 1 1 1
+ 3 3 3 3 0 1 2 3 0 0 1 3 0 0 0 3 3 3 3 3 0 1 2 3 0 0 2 3 0 0 0 3 -1
+ 0 0 1 1
+ 3 3 3 3 0 2 2 3 0 1 2 3 0 0 0 3 3 3 3 3 0 3 3 3 0 1 2 3 0 1 1 3 -1
+ 0 0 0 1
+ 3 3 3 3 0 3 3 3 0 1 3 3 0 1 2 3 -1
+ -1
+ -1
+ -1
diff --git a/examples/README.md b/examples/README.md
index 115215f..7d82e22 100644
--- a/examples/README.md
+++ b/examples/README.md
@@ -6,3 +6,6 @@ These are example files that you can use with the `parse_magic.py` script.
 
 Contains all models of R up to size 6.
 
+## R4-MN
+
+Contains all models of a fragment of R without negation up to size 4.