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