Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples-ext/irbox200-4.ext b/third_party/cddlib/examples-ext/irbox200-4.ext
new file mode 100644
index 0000000..564f236
--- /dev/null
+++ b/third_party/cddlib/examples-ext/irbox200-4.ext
@@ -0,0 +1,206 @@
+* File name: ibox200-4.ext
+* Randomly generated 200 integral points in [-100..100]^3
+V-representation
+begin
+ 200 4 integer
+ 1 12 -49 2
+ 1 -38 25 -3
+ 1 -26 39 -7
+ 1 -25 28 44
+ 1 -20 -41 -31
+ 1 49 45 28
+ 1 -42 12 -25
+ 1 -9 -31 -20
+ 1 49 5 33
+ 1 15 34 30
+ 1 -18 -3 31
+ 1 34 8 6
+ 1 -19 31 -4
+ 1 23 -44 -25
+ 1 17 -14 -16
+ 1 36 -14 -20
+ 1 15 -7 42
+ 1 39 33 -39
+ 1 -30 33 15
+ 1 -46 -1 0
+ 1 33 30 47
+ 1 14 14 5
+ 1 -28 45 -13
+ 1 17 18 -7
+ 1 41 -13 27
+ 1 -24 -27 -36
+ 1 5 37 5
+ 1 -2 27 -11
+ 1 7 47 -28
+ 1 -26 -49 20
+ 1 24 34 0
+ 1 21 0 -35
+ 1 -23 20 -39
+ 1 13 -12 28
+ 1 -44 -20 -35
+ 1 33 4 -12
+ 1 46 -39 -25
+ 1 2 7 -47
+ 1 41 -34 49
+ 1 -36 -11 -49
+ 1 33 -37 34
+ 1 -16 34 -15
+ 1 -1 -39 -45
+ 1 8 23 -8
+ 1 -12 29 21
+ 1 2 13 -23
+ 1 39 10 -13
+ 1 -36 -37 43
+ 1 -34 -46 -41
+ 1 -34 -32 -2
+ 1 -33 -49 10
+ 1 -48 -15 -5
+ 1 -14 33 4
+ 1 -10 -7 -21
+ 1 31 29 -42
+ 1 2 -18 21
+ 1 29 -29 -18
+ 1 -34 -15 -6
+ 1 -41 0 -2
+ 1 -32 16 14
+ 1 14 32 15
+ 1 -25 33 -49
+ 1 19 -31 33
+ 1 -26 8 -24
+ 1 2 -10 -44
+ 1 9 42 -12
+ 1 -19 21 8
+ 1 12 37 43
+ 1 -44 45 -6
+ 1 3 -36 -40
+ 1 -31 27 42
+ 1 33 -47 25
+ 1 33 21 43
+ 1 17 45 1
+ 1 43 -2 41
+ 1 49 -42 34
+ 1 -13 -11 5
+ 1 45 -49 -7
+ 1 38 -43 -11
+ 1 -18 10 2
+ 1 -8 28 -19
+ 1 -16 12 -17
+ 1 -40 -4 -45
+ 1 -46 -36 -49
+ 1 5 -43 -2
+ 1 -3 -44 5
+ 1 -18 -7 43
+ 1 36 -12 44
+ 1 -20 -24 -49
+ 1 18 7 10
+ 1 -29 48 -10
+ 1 0 -17 -48
+ 1 33 -8 -2
+ 1 37 -4 10
+ 1 38 -49 17
+ 1 -14 -2 22
+ 1 41 28 -35
+ 1 35 15 2
+ 1 29 44 27
+ 1 30 13 -15
+ 1 -8 33 -16
+ 1 30 -16 15
+ 1 31 -32 -42
+ 1 -20 -44 3
+ 1 39 43 3
+ 1 6 -20 -49
+ 1 -20 -29 29
+ 1 -5 -44 -5
+ 1 46 34 -11
+ 1 24 15 -48
+ 1 -41 -43 35
+ 1 -8 37 -30
+ 1 -42 19 -13
+ 1 -34 48 -8
+ 1 18 37 -15
+ 1 -27 -5 13
+ 1 -27 23 33
+ 1 -48 -32 39
+ 1 -3 -35 23
+ 1 34 38 -10
+ 1 36 47 -4
+ 1 22 -11 -17
+ 1 41 -3 -47
+ 1 -22 12 -49
+ 1 18 -18 37
+ 1 -46 3 -17
+ 1 17 26 -44
+ 1 1 28 -26
+ 1 -9 -25 -11
+ 1 -35 -40 -23
+ 1 3 46 -26
+ 1 49 18 12
+ 1 -18 9 -40
+ 1 -16 37 21
+ 1 -15 5 -46
+ 1 -27 9 6
+ 1 4 -23 -16
+ 1 10 27 -38
+ 1 34 -31 -14
+ 1 -27 -17 -4
+ 1 -1 35 -8
+ 1 22 34 -40
+ 1 -15 -33 19
+ 1 -5 0 6
+ 1 -33 34 -37
+ 1 -30 -43 21
+ 1 26 11 48
+ 1 -40 -28 26
+ 1 -29 -43 44
+ 1 6 -21 -23
+ 1 -48 27 -38
+ 1 -7 0 46
+ 1 2 34 -36
+ 1 -28 -21 13
+ 1 27 -5 -1
+ 1 39 14 5
+ 1 11 -9 -33
+ 1 9 0 -11
+ 1 -14 20 -5
+ 1 -20 -22 23
+ 1 6 -21 0
+ 1 18 21 49
+ 1 14 -25 34
+ 1 27 -4 -37
+ 1 -8 -26 7
+ 1 39 -36 -27
+ 1 -4 24 13
+ 1 11 -15 -36
+ 1 -49 20 33
+ 1 -4 49 -38
+ 1 -31 6 -10
+ 1 18 -25 -38
+ 1 18 39 -13
+ 1 2 17 32
+ 1 14 -41 -44
+ 1 -27 48 -31
+ 1 -5 -6 43
+ 1 -42 -44 -22
+ 1 -29 -44 48
+ 1 -45 1 47
+ 1 -34 19 4
+ 1 5 -11 28
+ 1 17 -43 17
+ 1 -46 8 -15
+ 1 35 -26 -6
+ 1 41 -3 -8
+ 1 -39 41 34
+ 1 -46 49 40
+ 1 -18 -29 46
+ 1 -20 -25 -2
+ 1 -22 -9 -32
+ 1 31 46 5
+ 1 10 14 11
+ 1 -22 17 -29
+ 1 12 3 -5
+ 1 -44 -5 40
+ 1 -2 4 32
+ 1 -18 8 31
+ 1 -27 40 -48
+ 1 -31 -29 -23
+end