From 7a2dbeb73ded803c8f21eb1fdb33f4c8ddf67034 Mon Sep 17 00:00:00 2001
From: Jonny007-MKD <1-23-4-5@web.de>
Date: Mon, 6 Jan 2014 20:28:07 +0100
Subject: [PATCH] Added new input files

---
 GDE_3_2008/res/input-sort.txt | 3 +++
 GDE_3_2008/res/input2.txt     | 5 +++++
 GDE_3_2008/res/input4-KNF.txt | 5 +++++
 GDE_3_2008/res/input4.txt     | 5 +++++
 GDE_3_2008/res/input6.txt     | 7 +++++++
 5 files changed, 25 insertions(+)
 create mode 100644 GDE_3_2008/res/input-sort.txt
 create mode 100644 GDE_3_2008/res/input2.txt
 create mode 100644 GDE_3_2008/res/input4-KNF.txt
 create mode 100644 GDE_3_2008/res/input4.txt
 create mode 100644 GDE_3_2008/res/input6.txt

diff --git a/GDE_3_2008/res/input-sort.txt b/GDE_3_2008/res/input-sort.txt
new file mode 100644
index 0000000..98feded
--- /dev/null
+++ b/GDE_3_2008/res/input-sort.txt
@@ -0,0 +1,3 @@
+Variables: a, b, c, d, e, f,g,h
+Terms:
+"xxxxxxxx">1
\ No newline at end of file
diff --git a/GDE_3_2008/res/input2.txt b/GDE_3_2008/res/input2.txt
new file mode 100644
index 0000000..4a98197
--- /dev/null
+++ b/GDE_3_2008/res/input2.txt
@@ -0,0 +1,5 @@
+Variables: a, b
+Terms:
+0>1
+2>1
+1>1
\ No newline at end of file
diff --git a/GDE_3_2008/res/input4-KNF.txt b/GDE_3_2008/res/input4-KNF.txt
new file mode 100644
index 0000000..e2c9c1d
--- /dev/null
+++ b/GDE_3_2008/res/input4-KNF.txt
@@ -0,0 +1,5 @@
+Variables: a, b, c, d
+Terms:
+2>0
+"01xx">0
+"x000">
\ No newline at end of file
diff --git a/GDE_3_2008/res/input4.txt b/GDE_3_2008/res/input4.txt
new file mode 100644
index 0000000..d00c16a
--- /dev/null
+++ b/GDE_3_2008/res/input4.txt
@@ -0,0 +1,5 @@
+Variables: a, b, c, d
+Terms:
+"0010">1
+"01xx">1
+"x000">1
\ No newline at end of file
diff --git a/GDE_3_2008/res/input6.txt b/GDE_3_2008/res/input6.txt
new file mode 100644
index 0000000..26c3b3e
--- /dev/null
+++ b/GDE_3_2008/res/input6.txt
@@ -0,0 +1,7 @@
+Variables: a, b, c, d, e, f
+Terms:
+"000010">1
+"0x01xx">1
+"x00x00">1
+"x1x0xx">1
+0>1
\ No newline at end of file