Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples-ext/cyclic16-10.ext b/third_party/cddlib/examples-ext/cyclic16-10.ext
new file mode 100644
index 0000000..a95b933
--- /dev/null
+++ b/third_party/cddlib/examples-ext/cyclic16-10.ext
@@ -0,0 +1,23 @@
+* 9-dim cyclic polytope with 16 vertices
+* Number of facets (outputs) =660
+* This must be computed with exact arithmetic
+V-representation
+begin
+16 10 integer
+ 1 1 1 1 1 1 1 1 1 1
+ 1 2 4 8 16 32 64 128 256 512
+ 1 3 9 27 81 243 729 2187 6561 19683
+ 1 4 16 64 256 1024 4096 16384 65536 262144
+ 1 5 25 125 625 3125 15625 78125 390625 1953125
+ 1 6 36 216 1296 7776 46656 279936 1679616 10077696
+ 1 7 49 343 2401 16807 117649 823543 5764801 40353607
+ 1 8 64 512 4096 32768 262144 2097152 16777216 134217728
+ 1 9 81 729 6561 59049 531441 4782969 43046721 387420489
+ 1 10 100 1000 10000 100000 1000000 10000000 100000000 1000000000
+ 1 11 121 1331 14641 161051 1771561 19487171 214358881 2357947691
+ 1 12 144 1728 20736 248832 2985984 35831808 429981696 5159780352
+ 1 13 169 2197 28561 371293 4826809 62748517 815730721 10604499373
+ 1 14 196 2744 38416 537824 7529536 105413504 1475789056 20661046784
+ 1 15 225 3375 50625 759375 11390625 170859375 2562890625 38443359375
+ 1 16 256 4096 65536 1048576 16777216 268435456 4294967296 68719476736
+end