Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/

Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples-ine/kkd27_5.ine b/third_party/cddlib/examples-ine/kkd27_5.ine
new file mode 100644
index 0000000..708d9aa
--- /dev/null
+++ b/third_party/cddlib/examples-ine/kkd27_5.ine
@@ -0,0 +1,35 @@
+* kkd27_5.ine
+* This must be computed with rational arithmetic.
+H-representation
+begin
+27 6 integer
+1172039901841798080   -1758060515119739835   -12306436783413558955   
+-72080893223436992535   -406122552605284841587   -2275777153240670950215
+6   -15   -85   -435   -2269   -12195
+6   -9   -67   -393   -2179   -12009
+6   -3   -37   -279   -1789   -10743
+6   3   5   -57   -739   -6057
+6   9   59   309   1475   6549
+6   15   125   855   5501   34455
+6   21   203   1617   12131   88641
+6   27   293   2631   22301   184407
+6   33   395   3933   37091   342093
+6   39   509   5559   57725   587799
+6   45   635   7545   85571   954105
+6   51   773   9927   122141   1480791
+6   57   923   12741   169091   2215557
+6   63   1085   16023   228221   3214743
+6   69   1259   19809   301475   4544049
+6   75   1445   24135   390941   6279255
+6   81   1643   29037   498851   8506941
+6   87   1853   34551   627581   11325207
+6   93   2075   40713   779651   14844393
+6   99   2309   47559   957725   19187799
+6   105   2555   55125   1164611   24492405
+6   111   2813   63447   1403261   30909591
+6   117   3083   72561   1676771   38605857
+6   123   3365   82503   1988381   47763543
+6   129   3659   93309   2341475   58581549
+-1172039901841798079   1758060515119739835   12306436783413558955   
+72080893223436992535   406122552605284841587   2275777153240670950215
+end