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