Add DIS inputs as used in Joshua's PRP

8 files changed, 8 insertions, 0 deletions

diff --git a/dis/original/inputs/Transitive/in1 b/dis/original/inputs/Transitive/in1
new file mode 100644
index 0000000..aed634e
--- /dev/null
+++ b/dis/original/inputs/Transitive/in1
@@ -0,0 +1 @@
+800 5000 -2 
diff --git a/dis/original/inputs/Transitive/in2 b/dis/original/inputs/Transitive/in2
new file mode 100644
index 0000000..163072d
--- /dev/null
+++ b/dis/original/inputs/Transitive/in2
@@ -0,0 +1 @@
+800 500000 -2 
diff --git a/dis/original/inputs/Transitive/in3 b/dis/original/inputs/Transitive/in3
new file mode 100644
index 0000000..fa5aecf
--- /dev/null
+++ b/dis/original/inputs/Transitive/in3
@@ -0,0 +1 @@
+1000 5000 -2 
diff --git a/dis/original/inputs/Transitive/in4 b/dis/original/inputs/Transitive/in4
new file mode 100644
index 0000000..02b3317
--- /dev/null
+++ b/dis/original/inputs/Transitive/in4
@@ -0,0 +1 @@
+1000 500000 -2 
diff --git a/dis/original/inputs/Transitive/in5 b/dis/original/inputs/Transitive/in5
new file mode 100644
index 0000000..f109f00
--- /dev/null
+++ b/dis/original/inputs/Transitive/in5
@@ -0,0 +1 @@
+1000 990000 -2 
diff --git a/dis/original/inputs/Transitive/in6 b/dis/original/inputs/Transitive/in6
new file mode 100644
index 0000000..ff64c1f
--- /dev/null
+++ b/dis/original/inputs/Transitive/in6
@@ -0,0 +1 @@
+1250 5000 -2 
diff --git a/dis/original/inputs/Transitive/in7 b/dis/original/inputs/Transitive/in7
new file mode 100644
index 0000000..d1b5c2f
--- /dev/null
+++ b/dis/original/inputs/Transitive/in7
@@ -0,0 +1 @@
+1250 500000 -2 
diff --git a/dis/original/inputs/Transitive/in8 b/dis/original/inputs/Transitive/in8
new file mode 100644
index 0000000..8ac5dfd
--- /dev/null
+++ b/dis/original/inputs/Transitive/in8
@@ -0,0 +1 @@
+1250 900000 -2