From 6c23234bd29c4ed9e9ccc5a81bc5c9598f6feeca Mon Sep 17 00:00:00 2001
From: Jonny007-MKD <1-23-4-5@web.de>
Date: Mon, 13 Jan 2014 00:44:25 +0100
Subject: [PATCH] New inputs: 8, 3

---
 GDE_3_2008/res/input3.txt     | 5 +++++
 GDE_3_2008/res/input8-KNF.txt | 5 ++++-
 GDE_3_2008/res/input8.txt     | 5 ++++-
 3 files changed, 13 insertions(+), 2 deletions(-)
 create mode 100644 GDE_3_2008/res/input3.txt

diff --git a/GDE_3_2008/res/input3.txt b/GDE_3_2008/res/input3.txt
new file mode 100644
index 0000000..86b1266
--- /dev/null
+++ b/GDE_3_2008/res/input3.txt
@@ -0,0 +1,5 @@
+Variables: a, b, c
+Terms:
+0>1
+3>1
+"1xx">1
\ No newline at end of file
diff --git a/GDE_3_2008/res/input8-KNF.txt b/GDE_3_2008/res/input8-KNF.txt
index dbed448..ea6f04f 100644
--- a/GDE_3_2008/res/input8-KNF.txt
+++ b/GDE_3_2008/res/input8-KNF.txt
@@ -1,3 +1,6 @@
 Variables: a, b, c, d, e, f, g, h
 Terms:
-"xx01xx01">0
\ No newline at end of file
+"xx01xx01">0
+"0X001X00">0
+"00011X00">0
+"10XX1XXX">0
\ No newline at end of file
diff --git a/GDE_3_2008/res/input8.txt b/GDE_3_2008/res/input8.txt
index e707248..f353f14 100644
--- a/GDE_3_2008/res/input8.txt
+++ b/GDE_3_2008/res/input8.txt
@@ -1,3 +1,6 @@
 Variables: a, b, c, d, e, f, g, h
 Terms:
-"xx01xx01">1
\ No newline at end of file
+"xx01xx01">1
+"0X001X00">1
+"00011X00">1
+"10XX1XXX">1
\ No newline at end of file