Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples-ine/kkd18_4.ine b/third_party/cddlib/examples-ine/kkd18_4.ine
new file mode 100644
index 0000000..22a4560
--- /dev/null
+++ b/third_party/cddlib/examples-ine/kkd18_4.ine
@@ -0,0 +1,26 @@
+* kkd18_4.ine
+* This must be computed with rational arithmetic.
+H-representation
+begin
+18 5 integer
+3976210973720 -5964591245895 -33802508475500 -161110322828670
+-745886931169976
+5 -10 -50 -220 -974
+5 -5 -35 -185 -899
+5 0 -10 -90 -574
+5 5 25 95 301
+5 10 70 400 2146
+5 15 125 855 5501
+5 20 190 1490 11026
+5 25 265 2335 19501
+5 30 350 3420 31826
+5 35 445 4775 49021
+5 40 550 6430 72226
+5 45 665 8415 102701
+5 50 790 10760 141826
+5 55 925 13495 191101
+5 60 1070 16650 252146
+5 65 1225 20255 326701
+-3976210973719 5964591245895 33802508475500 161110322828670
+745886931169976
+end