Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples-ext/reg600-5.ext b/third_party/cddlib/examples-ext/reg600-5.ext
new file mode 100644
index 0000000..6782ec8
--- /dev/null
+++ b/third_party/cddlib/examples-ext/reg600-5.ext
@@ -0,0 +1,608 @@
+* filename: reg600-5.ine
+* The vertices of a 4-dim regular polytope with 600 vertices.
+* Hull computation for finding all 120 facets.
+V-representation
+begin
+ 600 5 real
+ 1 -2. -2. 0 0
+ 1 -2. 0 -2. 0
+ 1 -2. 0 0 -2.
+ 1 -2. 0 0 2.
+ 1 -2. 0 2. 0
+ 1 -2. 2. 0 0
+ 1 0 -2. -2. 0
+ 1 0 -2. 0 -2.
+ 1 0 -2. 0 2.
+ 1 0 -2. 2. 0
+ 1 0 0 -2. -2.
+ 1 0 0 -2. 2.
+ 1 0 0 2. -2.
+ 1 0 0 2. 2.
+ 1 0 2. -2. 0
+ 1 0 2. 0 -2.
+ 1 0 2. 0 2.
+ 1 0 2. 2. 0
+ 1 2. -2. 0 0
+ 1 2. 0 -2. 0
+ 1 2. 0 0 -2.
+ 1 2. 0 0 2.
+ 1 2. 0 2. 0
+ 1 2. 2. 0 0
+ 1 -1. -1. -1. -2.236067977
+ 1 -1. -1. -1. 2.236067977
+ 1 -1. -1. 1. -2.236067977
+ 1 -1. -1. 1. 2.236067977
+ 1 -1. -1. -2.236067977 -1.
+ 1 -1. -1. -2.236067977 1.
+ 1 -1. -1. 2.236067977 -1.
+ 1 -1. -1. 2.236067977 1.
+ 1 -1. 1. -1. -2.236067977
+ 1 -1. 1. -1. 2.236067977
+ 1 -1. 1. 1. -2.236067977
+ 1 -1. 1. 1. 2.236067977
+ 1 -1. 1. -2.236067977 -1.
+ 1 -1. 1. -2.236067977 1.
+ 1 -1. 1. 2.236067977 -1.
+ 1 -1. 1. 2.236067977 1.
+ 1 -1. -2.236067977 -1. -1.
+ 1 -1. -2.236067977 -1. 1.
+ 1 -1. -2.236067977 1. -1.
+ 1 -1. -2.236067977 1. 1.
+ 1 -1. 2.236067977 -1. -1.
+ 1 -1. 2.236067977 -1. 1.
+ 1 -1. 2.236067977 1. -1.
+ 1 -1. 2.236067977 1. 1.
+ 1 1. -1. -1. -2.236067977
+ 1 1. -1. -1. 2.236067977
+ 1 1. -1. 1. -2.236067977
+ 1 1. -1. 1. 2.236067977
+ 1 1. -1. -2.236067977 -1.
+ 1 1. -1. -2.236067977 1.
+ 1 1. -1. 2.236067977 -1.
+ 1 1. -1. 2.236067977 1.
+ 1 1. 1. -1. -2.236067977
+ 1 1. 1. -1. 2.236067977
+ 1 1. 1. 1. -2.236067977
+ 1 1. 1. 1. 2.236067977
+ 1 1. 1. -2.236067977 -1.
+ 1 1. 1. -2.236067977 1.
+ 1 1. 1. 2.236067977 -1.
+ 1 1. 1. 2.236067977 1.
+ 1 1. -2.236067977 -1. -1.
+ 1 1. -2.236067977 -1. 1.
+ 1 1. -2.236067977 1. -1.
+ 1 1. -2.236067977 1. 1.
+ 1 1. 2.236067977 -1. -1.
+ 1 1. 2.236067977 -1. 1.
+ 1 1. 2.236067977 1. -1.
+ 1 1. 2.236067977 1. 1.
+ 1 -2.236067977 -1. -1. -1.
+ 1 -2.236067977 -1. -1. 1.
+ 1 -2.236067977 -1. 1. -1.
+ 1 -2.236067977 -1. 1. 1.
+ 1 -2.236067977 1. -1. -1.
+ 1 -2.236067977 1. -1. 1.
+ 1 -2.236067977 1. 1. -1.
+ 1 -2.236067977 1. 1. 1.
+ 1 2.236067977 -1. -1. -1.
+ 1 2.236067977 -1. -1. 1.
+ 1 2.236067977 -1. 1. -1.
+ 1 2.236067977 -1. 1. 1.
+ 1 2.236067977 1. -1. -1.
+ 1 2.236067977 1. -1. 1.
+ 1 2.236067977 1. 1. -1.
+ 1 2.236067977 1. 1. 1.
+ 1 -1.618033989 -1.618033989 -1.618033989 -0.3819660113
+ 1 -1.618033989 -1.618033989 -1.618033989 0.3819660113
+ 1 -1.618033989 -1.618033989 -0.3819660113 -1.618033989
+ 1 -1.618033989 -1.618033989 -0.3819660113 1.618033989
+ 1 -1.618033989 -1.618033989 0.3819660113 -1.618033989
+ 1 -1.618033989 -1.618033989 0.3819660113 1.618033989
+ 1 -1.618033989 -1.618033989 1.618033989 -0.3819660113
+ 1 -1.618033989 -1.618033989 1.618033989 0.3819660113
+ 1 -1.618033989 -0.3819660113 -1.618033989 -1.618033989
+ 1 -1.618033989 -0.3819660113 -1.618033989 1.618033989
+ 1 -1.618033989 -0.3819660113 1.618033989 -1.618033989
+ 1 -1.618033989 -0.3819660113 1.618033989 1.618033989
+ 1 -1.618033989 0.3819660113 -1.618033989 -1.618033989
+ 1 -1.618033989 0.3819660113 -1.618033989 1.618033989
+ 1 -1.618033989 0.3819660113 1.618033989 -1.618033989
+ 1 -1.618033989 0.3819660113 1.618033989 1.618033989
+ 1 -1.618033989 1.618033989 -1.618033989 -0.3819660113
+ 1 -1.618033989 1.618033989 -1.618033989 0.3819660113
+ 1 -1.618033989 1.618033989 -0.3819660113 -1.618033989
+ 1 -1.618033989 1.618033989 -0.3819660113 1.618033989
+ 1 -1.618033989 1.618033989 0.3819660113 -1.618033989
+ 1 -1.618033989 1.618033989 0.3819660113 1.618033989
+ 1 -1.618033989 1.618033989 1.618033989 -0.3819660113
+ 1 -1.618033989 1.618033989 1.618033989 0.3819660113
+ 1 -0.3819660113 -1.618033989 -1.618033989 -1.618033989
+ 1 -0.3819660113 -1.618033989 -1.618033989 1.618033989
+ 1 -0.3819660113 -1.618033989 1.618033989 -1.618033989
+ 1 -0.3819660113 -1.618033989 1.618033989 1.618033989
+ 1 -0.3819660113 1.618033989 -1.618033989 -1.618033989
+ 1 -0.3819660113 1.618033989 -1.618033989 1.618033989
+ 1 -0.3819660113 1.618033989 1.618033989 -1.618033989
+ 1 -0.3819660113 1.618033989 1.618033989 1.618033989
+ 1 0.3819660113 -1.618033989 -1.618033989 -1.618033989
+ 1 0.3819660113 -1.618033989 -1.618033989 1.618033989
+ 1 0.3819660113 -1.618033989 1.618033989 -1.618033989
+ 1 0.3819660113 -1.618033989 1.618033989 1.618033989
+ 1 0.3819660113 1.618033989 -1.618033989 -1.618033989
+ 1 0.3819660113 1.618033989 -1.618033989 1.618033989
+ 1 0.3819660113 1.618033989 1.618033989 -1.618033989
+ 1 0.3819660113 1.618033989 1.618033989 1.618033989
+ 1 1.618033989 -1.618033989 -1.618033989 -0.3819660113
+ 1 1.618033989 -1.618033989 -1.618033989 0.3819660113
+ 1 1.618033989 -1.618033989 -0.3819660113 -1.618033989
+ 1 1.618033989 -1.618033989 -0.3819660113 1.618033989
+ 1 1.618033989 -1.618033989 0.3819660113 -1.618033989
+ 1 1.618033989 -1.618033989 0.3819660113 1.618033989
+ 1 1.618033989 -1.618033989 1.618033989 -0.3819660113
+ 1 1.618033989 -1.618033989 1.618033989 0.3819660113
+ 1 1.618033989 -0.3819660113 -1.618033989 -1.618033989
+ 1 1.618033989 -0.3819660113 -1.618033989 1.618033989
+ 1 1.618033989 -0.3819660113 1.618033989 -1.618033989
+ 1 1.618033989 -0.3819660113 1.618033989 1.618033989
+ 1 1.618033989 0.3819660113 -1.618033989 -1.618033989
+ 1 1.618033989 0.3819660113 -1.618033989 1.618033989
+ 1 1.618033989 0.3819660113 1.618033989 -1.618033989
+ 1 1.618033989 0.3819660113 1.618033989 1.618033989
+ 1 1.618033989 1.618033989 -1.618033989 -0.3819660113
+ 1 1.618033989 1.618033989 -1.618033989 0.3819660113
+ 1 1.618033989 1.618033989 -0.3819660113 -1.618033989
+ 1 1.618033989 1.618033989 -0.3819660113 1.618033989
+ 1 1.618033989 1.618033989 0.3819660113 -1.618033989
+ 1 1.618033989 1.618033989 0.3819660113 1.618033989
+ 1 1.618033989 1.618033989 1.618033989 -0.3819660113
+ 1 1.618033989 1.618033989 1.618033989 0.3819660113
+ 1 -0.6180339887 -0.6180339887 -0.6180339887 -2.618033989
+ 1 -0.6180339887 -0.6180339887 -0.6180339887 2.618033989
+ 1 -0.6180339887 -0.6180339887 0.6180339887 -2.618033989
+ 1 -0.6180339887 -0.6180339887 0.6180339887 2.618033989
+ 1 -0.6180339887 -0.6180339887 -2.618033989 -0.6180339887
+ 1 -0.6180339887 -0.6180339887 -2.618033989 0.6180339887
+ 1 -0.6180339887 -0.6180339887 2.618033989 -0.6180339887
+ 1 -0.6180339887 -0.6180339887 2.618033989 0.6180339887
+ 1 -0.6180339887 0.6180339887 -0.6180339887 -2.618033989
+ 1 -0.6180339887 0.6180339887 -0.6180339887 2.618033989
+ 1 -0.6180339887 0.6180339887 0.6180339887 -2.618033989
+ 1 -0.6180339887 0.6180339887 0.6180339887 2.618033989
+ 1 -0.6180339887 0.6180339887 -2.618033989 -0.6180339887
+ 1 -0.6180339887 0.6180339887 -2.618033989 0.6180339887
+ 1 -0.6180339887 0.6180339887 2.618033989 -0.6180339887
+ 1 -0.6180339887 0.6180339887 2.618033989 0.6180339887
+ 1 -0.6180339887 -2.618033989 -0.6180339887 -0.6180339887
+ 1 -0.6180339887 -2.618033989 -0.6180339887 0.6180339887
+ 1 -0.6180339887 -2.618033989 0.6180339887 -0.6180339887
+ 1 -0.6180339887 -2.618033989 0.6180339887 0.6180339887
+ 1 -0.6180339887 2.618033989 -0.6180339887 -0.6180339887
+ 1 -0.6180339887 2.618033989 -0.6180339887 0.6180339887
+ 1 -0.6180339887 2.618033989 0.6180339887 -0.6180339887
+ 1 -0.6180339887 2.618033989 0.6180339887 0.6180339887
+ 1 0.6180339887 -0.6180339887 -0.6180339887 -2.618033989
+ 1 0.6180339887 -0.6180339887 -0.6180339887 2.618033989
+ 1 0.6180339887 -0.6180339887 0.6180339887 -2.618033989
+ 1 0.6180339887 -0.6180339887 0.6180339887 2.618033989
+ 1 0.6180339887 -0.6180339887 -2.618033989 -0.6180339887
+ 1 0.6180339887 -0.6180339887 -2.618033989 0.6180339887
+ 1 0.6180339887 -0.6180339887 2.618033989 -0.6180339887
+ 1 0.6180339887 -0.6180339887 2.618033989 0.6180339887
+ 1 0.6180339887 0.6180339887 -0.6180339887 -2.618033989
+ 1 0.6180339887 0.6180339887 -0.6180339887 2.618033989
+ 1 0.6180339887 0.6180339887 0.6180339887 -2.618033989
+ 1 0.6180339887 0.6180339887 0.6180339887 2.618033989
+ 1 0.6180339887 0.6180339887 -2.618033989 -0.6180339887
+ 1 0.6180339887 0.6180339887 -2.618033989 0.6180339887
+ 1 0.6180339887 0.6180339887 2.618033989 -0.6180339887
+ 1 0.6180339887 0.6180339887 2.618033989 0.6180339887
+ 1 0.6180339887 -2.618033989 -0.6180339887 -0.6180339887
+ 1 0.6180339887 -2.618033989 -0.6180339887 0.6180339887
+ 1 0.6180339887 -2.618033989 0.6180339887 -0.6180339887
+ 1 0.6180339887 -2.618033989 0.6180339887 0.6180339887
+ 1 0.6180339887 2.618033989 -0.6180339887 -0.6180339887
+ 1 0.6180339887 2.618033989 -0.6180339887 0.6180339887
+ 1 0.6180339887 2.618033989 0.6180339887 -0.6180339887
+ 1 0.6180339887 2.618033989 0.6180339887 0.6180339887
+ 1 -2.618033989 -0.6180339887 -0.6180339887 -0.6180339887
+ 1 -2.618033989 -0.6180339887 -0.6180339887 0.6180339887
+ 1 -2.618033989 -0.6180339887 0.6180339887 -0.6180339887
+ 1 -2.618033989 -0.6180339887 0.6180339887 0.6180339887
+ 1 -2.618033989 0.6180339887 -0.6180339887 -0.6180339887
+ 1 -2.618033989 0.6180339887 -0.6180339887 0.6180339887
+ 1 -2.618033989 0.6180339887 0.6180339887 -0.6180339887
+ 1 -2.618033989 0.6180339887 0.6180339887 0.6180339887
+ 1 2.618033989 -0.6180339887 -0.6180339887 -0.6180339887
+ 1 2.618033989 -0.6180339887 -0.6180339887 0.6180339887
+ 1 2.618033989 -0.6180339887 0.6180339887 -0.6180339887
+ 1 2.618033989 -0.6180339887 0.6180339887 0.6180339887
+ 1 2.618033989 0.6180339887 -0.6180339887 -0.6180339887
+ 1 2.618033989 0.6180339887 -0.6180339887 0.6180339887
+ 1 2.618033989 0.6180339887 0.6180339887 -0.6180339887
+ 1 2.618033989 0.6180339887 0.6180339887 0.6180339887
+ 1 -1. 0 -2.618033989 -0.3819660113
+ 1 -1. 0 -2.618033989 0.3819660113
+ 1 -1. 0 2.618033989 -0.3819660113
+ 1 -1. 0 2.618033989 0.3819660113
+ 1 -1. -0.3819660113 0 -2.618033989
+ 1 -1. -0.3819660113 0 2.618033989
+ 1 -1. 0.3819660113 0 -2.618033989
+ 1 -1. 0.3819660113 0 2.618033989
+ 1 -1. -2.618033989 -0.3819660113 0
+ 1 -1. -2.618033989 0.3819660113 0
+ 1 -1. 2.618033989 -0.3819660113 0
+ 1 -1. 2.618033989 0.3819660113 0
+ 1 0 -1. -0.3819660113 -2.618033989
+ 1 0 -1. -0.3819660113 2.618033989
+ 1 0 -1. 0.3819660113 -2.618033989
+ 1 0 -1. 0.3819660113 2.618033989
+ 1 0 1. -0.3819660113 -2.618033989
+ 1 0 1. -0.3819660113 2.618033989
+ 1 0 1. 0.3819660113 -2.618033989
+ 1 0 1. 0.3819660113 2.618033989
+ 1 0 -0.3819660113 -2.618033989 -1.
+ 1 0 -0.3819660113 -2.618033989 1.
+ 1 0 -0.3819660113 2.618033989 -1.
+ 1 0 -0.3819660113 2.618033989 1.
+ 1 0 0.3819660113 -2.618033989 -1.
+ 1 0 0.3819660113 -2.618033989 1.
+ 1 0 0.3819660113 2.618033989 -1.
+ 1 0 0.3819660113 2.618033989 1.
+ 1 0 -2.618033989 -1. -0.3819660113
+ 1 0 -2.618033989 -1. 0.3819660113
+ 1 0 -2.618033989 1. -0.3819660113
+ 1 0 -2.618033989 1. 0.3819660113
+ 1 0 2.618033989 -1. -0.3819660113
+ 1 0 2.618033989 -1. 0.3819660113
+ 1 0 2.618033989 1. -0.3819660113
+ 1 0 2.618033989 1. 0.3819660113
+ 1 1. 0 -2.618033989 -0.3819660113
+ 1 1. 0 -2.618033989 0.3819660113
+ 1 1. 0 2.618033989 -0.3819660113
+ 1 1. 0 2.618033989 0.3819660113
+ 1 1. -0.3819660113 0 -2.618033989
+ 1 1. -0.3819660113 0 2.618033989
+ 1 1. 0.3819660113 0 -2.618033989
+ 1 1. 0.3819660113 0 2.618033989
+ 1 1. -2.618033989 -0.3819660113 0
+ 1 1. -2.618033989 0.3819660113 0
+ 1 1. 2.618033989 -0.3819660113 0
+ 1 1. 2.618033989 0.3819660113 0
+ 1 -0.3819660113 -1. -2.618033989 0
+ 1 -0.3819660113 -1. 2.618033989 0
+ 1 -0.3819660113 0 -1. -2.618033989
+ 1 -0.3819660113 0 -1. 2.618033989
+ 1 -0.3819660113 0 1. -2.618033989
+ 1 -0.3819660113 0 1. 2.618033989
+ 1 -0.3819660113 1. -2.618033989 0
+ 1 -0.3819660113 1. 2.618033989 0
+ 1 -0.3819660113 -2.618033989 0 -1.
+ 1 -0.3819660113 -2.618033989 0 1.
+ 1 -0.3819660113 2.618033989 0 -1.
+ 1 -0.3819660113 2.618033989 0 1.
+ 1 0.3819660113 -1. -2.618033989 0
+ 1 0.3819660113 -1. 2.618033989 0
+ 1 0.3819660113 0 -1. -2.618033989
+ 1 0.3819660113 0 -1. 2.618033989
+ 1 0.3819660113 0 1. -2.618033989
+ 1 0.3819660113 0 1. 2.618033989
+ 1 0.3819660113 1. -2.618033989 0
+ 1 0.3819660113 1. 2.618033989 0
+ 1 0.3819660113 -2.618033989 0 -1.
+ 1 0.3819660113 -2.618033989 0 1.
+ 1 0.3819660113 2.618033989 0 -1.
+ 1 0.3819660113 2.618033989 0 1.
+ 1 -2.618033989 -1. 0 -0.3819660113
+ 1 -2.618033989 -1. 0 0.3819660113
+ 1 -2.618033989 0 -0.3819660113 -1.
+ 1 -2.618033989 0 -0.3819660113 1.
+ 1 -2.618033989 0 0.3819660113 -1.
+ 1 -2.618033989 0 0.3819660113 1.
+ 1 -2.618033989 1. 0 -0.3819660113
+ 1 -2.618033989 1. 0 0.3819660113
+ 1 -2.618033989 -0.3819660113 -1. 0
+ 1 -2.618033989 -0.3819660113 1. 0
+ 1 -2.618033989 0.3819660113 -1. 0
+ 1 -2.618033989 0.3819660113 1. 0
+ 1 2.618033989 -1. 0 -0.3819660113
+ 1 2.618033989 -1. 0 0.3819660113
+ 1 2.618033989 0 -0.3819660113 -1.
+ 1 2.618033989 0 -0.3819660113 1.
+ 1 2.618033989 0 0.3819660113 -1.
+ 1 2.618033989 0 0.3819660113 1.
+ 1 2.618033989 1. 0 -0.3819660113
+ 1 2.618033989 1. 0 0.3819660113
+ 1 2.618033989 -0.3819660113 -1. 0
+ 1 2.618033989 -0.3819660113 1. 0
+ 1 2.618033989 0.3819660113 -1. 0
+ 1 2.618033989 0.3819660113 1. 0
+ 1 0 -2.236067977 -1.618033989 -0.6180339887
+ 1 0 -2.236067977 -1.618033989 0.6180339887
+ 1 0 -2.236067977 1.618033989 -0.6180339887
+ 1 0 -2.236067977 1.618033989 0.6180339887
+ 1 0 2.236067977 -1.618033989 -0.6180339887
+ 1 0 2.236067977 -1.618033989 0.6180339887
+ 1 0 2.236067977 1.618033989 -0.6180339887
+ 1 0 2.236067977 1.618033989 0.6180339887
+ 1 0 -1.618033989 -0.6180339887 -2.236067977
+ 1 0 -1.618033989 -0.6180339887 2.236067977
+ 1 0 -1.618033989 0.6180339887 -2.236067977
+ 1 0 -1.618033989 0.6180339887 2.236067977
+ 1 0 -0.6180339887 -2.236067977 -1.618033989
+ 1 0 -0.6180339887 -2.236067977 1.618033989
+ 1 0 -0.6180339887 2.236067977 -1.618033989
+ 1 0 -0.6180339887 2.236067977 1.618033989
+ 1 0 0.6180339887 -2.236067977 -1.618033989
+ 1 0 0.6180339887 -2.236067977 1.618033989
+ 1 0 0.6180339887 2.236067977 -1.618033989
+ 1 0 0.6180339887 2.236067977 1.618033989
+ 1 0 1.618033989 -0.6180339887 -2.236067977
+ 1 0 1.618033989 -0.6180339887 2.236067977
+ 1 0 1.618033989 0.6180339887 -2.236067977
+ 1 0 1.618033989 0.6180339887 2.236067977
+ 1 -2.236067977 0 -0.6180339887 -1.618033989
+ 1 -2.236067977 0 -0.6180339887 1.618033989
+ 1 -2.236067977 0 0.6180339887 -1.618033989
+ 1 -2.236067977 0 0.6180339887 1.618033989
+ 1 -2.236067977 -1.618033989 0 -0.6180339887
+ 1 -2.236067977 -1.618033989 0 0.6180339887
+ 1 -2.236067977 -0.6180339887 -1.618033989 0
+ 1 -2.236067977 -0.6180339887 1.618033989 0
+ 1 -2.236067977 0.6180339887 -1.618033989 0
+ 1 -2.236067977 0.6180339887 1.618033989 0
+ 1 -2.236067977 1.618033989 0 -0.6180339887
+ 1 -2.236067977 1.618033989 0 0.6180339887
+ 1 2.236067977 0 -0.6180339887 -1.618033989
+ 1 2.236067977 0 -0.6180339887 1.618033989
+ 1 2.236067977 0 0.6180339887 -1.618033989
+ 1 2.236067977 0 0.6180339887 1.618033989
+ 1 2.236067977 -1.618033989 0 -0.6180339887
+ 1 2.236067977 -1.618033989 0 0.6180339887
+ 1 2.236067977 -0.6180339887 -1.618033989 0
+ 1 2.236067977 -0.6180339887 1.618033989 0
+ 1 2.236067977 0.6180339887 -1.618033989 0
+ 1 2.236067977 0.6180339887 1.618033989 0
+ 1 2.236067977 1.618033989 0 -0.6180339887
+ 1 2.236067977 1.618033989 0 0.6180339887
+ 1 -1.618033989 0 -2.236067977 -0.6180339887
+ 1 -1.618033989 0 -2.236067977 0.6180339887
+ 1 -1.618033989 0 2.236067977 -0.6180339887
+ 1 -1.618033989 0 2.236067977 0.6180339887
+ 1 -1.618033989 -2.236067977 -0.6180339887 0
+ 1 -1.618033989 -2.236067977 0.6180339887 0
+ 1 -1.618033989 2.236067977 -0.6180339887 0
+ 1 -1.618033989 2.236067977 0.6180339887 0
+ 1 -1.618033989 -0.6180339887 0 -2.236067977
+ 1 -1.618033989 -0.6180339887 0 2.236067977
+ 1 -1.618033989 0.6180339887 0 -2.236067977
+ 1 -1.618033989 0.6180339887 0 2.236067977
+ 1 -0.6180339887 0 -1.618033989 -2.236067977
+ 1 -0.6180339887 0 -1.618033989 2.236067977
+ 1 -0.6180339887 0 1.618033989 -2.236067977
+ 1 -0.6180339887 0 1.618033989 2.236067977
+ 1 -0.6180339887 -2.236067977 0 -1.618033989
+ 1 -0.6180339887 -2.236067977 0 1.618033989
+ 1 -0.6180339887 2.236067977 0 -1.618033989
+ 1 -0.6180339887 2.236067977 0 1.618033989
+ 1 -0.6180339887 -1.618033989 -2.236067977 0
+ 1 -0.6180339887 -1.618033989 2.236067977 0
+ 1 -0.6180339887 1.618033989 -2.236067977 0
+ 1 -0.6180339887 1.618033989 2.236067977 0
+ 1 0.6180339887 0 -1.618033989 -2.236067977
+ 1 0.6180339887 0 -1.618033989 2.236067977
+ 1 0.6180339887 0 1.618033989 -2.236067977
+ 1 0.6180339887 0 1.618033989 2.236067977
+ 1 0.6180339887 -2.236067977 0 -1.618033989
+ 1 0.6180339887 -2.236067977 0 1.618033989
+ 1 0.6180339887 2.236067977 0 -1.618033989
+ 1 0.6180339887 2.236067977 0 1.618033989
+ 1 0.6180339887 -1.618033989 -2.236067977 0
+ 1 0.6180339887 -1.618033989 2.236067977 0
+ 1 0.6180339887 1.618033989 -2.236067977 0
+ 1 0.6180339887 1.618033989 2.236067977 0
+ 1 1.618033989 0 -2.236067977 -0.6180339887
+ 1 1.618033989 0 -2.236067977 0.6180339887
+ 1 1.618033989 0 2.236067977 -0.6180339887
+ 1 1.618033989 0 2.236067977 0.6180339887
+ 1 1.618033989 -2.236067977 -0.6180339887 0
+ 1 1.618033989 -2.236067977 0.6180339887 0
+ 1 1.618033989 2.236067977 -0.6180339887 0
+ 1 1.618033989 2.236067977 0.6180339887 0
+ 1 1.618033989 -0.6180339887 0 -2.236067977
+ 1 1.618033989 -0.6180339887 0 2.236067977
+ 1 1.618033989 0.6180339887 0 -2.236067977
+ 1 1.618033989 0.6180339887 0 2.236067977
+ 1 -2. -1. -1.618033989 -0.6180339887
+ 1 -2. -1. -1.618033989 0.6180339887
+ 1 -2. -1. 1.618033989 -0.6180339887
+ 1 -2. -1. 1.618033989 0.6180339887
+ 1 -2. 1. -1.618033989 -0.6180339887
+ 1 -2. 1. -1.618033989 0.6180339887
+ 1 -2. 1. 1.618033989 -0.6180339887
+ 1 -2. 1. 1.618033989 0.6180339887
+ 1 -2. -1.618033989 -0.6180339887 -1.
+ 1 -2. -1.618033989 -0.6180339887 1.
+ 1 -2. -1.618033989 0.6180339887 -1.
+ 1 -2. -1.618033989 0.6180339887 1.
+ 1 -2. -0.6180339887 -1. -1.618033989
+ 1 -2. -0.6180339887 -1. 1.618033989
+ 1 -2. -0.6180339887 1. -1.618033989
+ 1 -2. -0.6180339887 1. 1.618033989
+ 1 -2. 0.6180339887 -1. -1.618033989
+ 1 -2. 0.6180339887 -1. 1.618033989
+ 1 -2. 0.6180339887 1. -1.618033989
+ 1 -2. 0.6180339887 1. 1.618033989
+ 1 -2. 1.618033989 -0.6180339887 -1.
+ 1 -2. 1.618033989 -0.6180339887 1.
+ 1 -2. 1.618033989 0.6180339887 -1.
+ 1 -2. 1.618033989 0.6180339887 1.
+ 1 -1. -2. -0.6180339887 -1.618033989
+ 1 -1. -2. -0.6180339887 1.618033989
+ 1 -1. -2. 0.6180339887 -1.618033989
+ 1 -1. -2. 0.6180339887 1.618033989
+ 1 -1. 2. -0.6180339887 -1.618033989
+ 1 -1. 2. -0.6180339887 1.618033989
+ 1 -1. 2. 0.6180339887 -1.618033989
+ 1 -1. 2. 0.6180339887 1.618033989
+ 1 -1. -1.618033989 -2. -0.6180339887
+ 1 -1. -1.618033989 -2. 0.6180339887
+ 1 -1. -1.618033989 2. -0.6180339887
+ 1 -1. -1.618033989 2. 0.6180339887
+ 1 -1. -0.6180339887 -1.618033989 -2.
+ 1 -1. -0.6180339887 -1.618033989 2.
+ 1 -1. -0.6180339887 1.618033989 -2.
+ 1 -1. -0.6180339887 1.618033989 2.
+ 1 -1. 0.6180339887 -1.618033989 -2.
+ 1 -1. 0.6180339887 -1.618033989 2.
+ 1 -1. 0.6180339887 1.618033989 -2.
+ 1 -1. 0.6180339887 1.618033989 2.
+ 1 -1. 1.618033989 -2. -0.6180339887
+ 1 -1. 1.618033989 -2. 0.6180339887
+ 1 -1. 1.618033989 2. -0.6180339887
+ 1 -1. 1.618033989 2. 0.6180339887
+ 1 1. -2. -0.6180339887 -1.618033989
+ 1 1. -2. -0.6180339887 1.618033989
+ 1 1. -2. 0.6180339887 -1.618033989
+ 1 1. -2. 0.6180339887 1.618033989
+ 1 1. 2. -0.6180339887 -1.618033989
+ 1 1. 2. -0.6180339887 1.618033989
+ 1 1. 2. 0.6180339887 -1.618033989
+ 1 1. 2. 0.6180339887 1.618033989
+ 1 1. -1.618033989 -2. -0.6180339887
+ 1 1. -1.618033989 -2. 0.6180339887
+ 1 1. -1.618033989 2. -0.6180339887
+ 1 1. -1.618033989 2. 0.6180339887
+ 1 1. -0.6180339887 -1.618033989 -2.
+ 1 1. -0.6180339887 -1.618033989 2.
+ 1 1. -0.6180339887 1.618033989 -2.
+ 1 1. -0.6180339887 1.618033989 2.
+ 1 1. 0.6180339887 -1.618033989 -2.
+ 1 1. 0.6180339887 -1.618033989 2.
+ 1 1. 0.6180339887 1.618033989 -2.
+ 1 1. 0.6180339887 1.618033989 2.
+ 1 1. 1.618033989 -2. -0.6180339887
+ 1 1. 1.618033989 -2. 0.6180339887
+ 1 1. 1.618033989 2. -0.6180339887
+ 1 1. 1.618033989 2. 0.6180339887
+ 1 2. -1. -1.618033989 -0.6180339887
+ 1 2. -1. -1.618033989 0.6180339887
+ 1 2. -1. 1.618033989 -0.6180339887
+ 1 2. -1. 1.618033989 0.6180339887
+ 1 2. 1. -1.618033989 -0.6180339887
+ 1 2. 1. -1.618033989 0.6180339887
+ 1 2. 1. 1.618033989 -0.6180339887
+ 1 2. 1. 1.618033989 0.6180339887
+ 1 2. -1.618033989 -0.6180339887 -1.
+ 1 2. -1.618033989 -0.6180339887 1.
+ 1 2. -1.618033989 0.6180339887 -1.
+ 1 2. -1.618033989 0.6180339887 1.
+ 1 2. -0.6180339887 -1. -1.618033989
+ 1 2. -0.6180339887 -1. 1.618033989
+ 1 2. -0.6180339887 1. -1.618033989
+ 1 2. -0.6180339887 1. 1.618033989
+ 1 2. 0.6180339887 -1. -1.618033989
+ 1 2. 0.6180339887 -1. 1.618033989
+ 1 2. 0.6180339887 1. -1.618033989
+ 1 2. 0.6180339887 1. 1.618033989
+ 1 2. 1.618033989 -0.6180339887 -1.
+ 1 2. 1.618033989 -0.6180339887 1.
+ 1 2. 1.618033989 0.6180339887 -1.
+ 1 2. 1.618033989 0.6180339887 1.
+ 1 -1.618033989 -2. -1. -0.6180339887
+ 1 -1.618033989 -2. -1. 0.6180339887
+ 1 -1.618033989 -2. 1. -0.6180339887
+ 1 -1.618033989 -2. 1. 0.6180339887
+ 1 -1.618033989 -1. -0.6180339887 -2.
+ 1 -1.618033989 -1. -0.6180339887 2.
+ 1 -1.618033989 -1. 0.6180339887 -2.
+ 1 -1.618033989 -1. 0.6180339887 2.
+ 1 -1.618033989 1. -0.6180339887 -2.
+ 1 -1.618033989 1. -0.6180339887 2.
+ 1 -1.618033989 1. 0.6180339887 -2.
+ 1 -1.618033989 1. 0.6180339887 2.
+ 1 -1.618033989 2. -1. -0.6180339887
+ 1 -1.618033989 2. -1. 0.6180339887
+ 1 -1.618033989 2. 1. -0.6180339887
+ 1 -1.618033989 2. 1. 0.6180339887
+ 1 -1.618033989 -0.6180339887 -2. -1.
+ 1 -1.618033989 -0.6180339887 -2. 1.
+ 1 -1.618033989 -0.6180339887 2. -1.
+ 1 -1.618033989 -0.6180339887 2. 1.
+ 1 -1.618033989 0.6180339887 -2. -1.
+ 1 -1.618033989 0.6180339887 -2. 1.
+ 1 -1.618033989 0.6180339887 2. -1.
+ 1 -1.618033989 0.6180339887 2. 1.
+ 1 -0.6180339887 -2. -1.618033989 -1.
+ 1 -0.6180339887 -2. -1.618033989 1.
+ 1 -0.6180339887 -2. 1.618033989 -1.
+ 1 -0.6180339887 -2. 1.618033989 1.
+ 1 -0.6180339887 -1. -2. -1.618033989
+ 1 -0.6180339887 -1. -2. 1.618033989
+ 1 -0.6180339887 -1. 2. -1.618033989
+ 1 -0.6180339887 -1. 2. 1.618033989
+ 1 -0.6180339887 1. -2. -1.618033989
+ 1 -0.6180339887 1. -2. 1.618033989
+ 1 -0.6180339887 1. 2. -1.618033989
+ 1 -0.6180339887 1. 2. 1.618033989
+ 1 -0.6180339887 2. -1.618033989 -1.
+ 1 -0.6180339887 2. -1.618033989 1.
+ 1 -0.6180339887 2. 1.618033989 -1.
+ 1 -0.6180339887 2. 1.618033989 1.
+ 1 -0.6180339887 -1.618033989 -1. -2.
+ 1 -0.6180339887 -1.618033989 -1. 2.
+ 1 -0.6180339887 -1.618033989 1. -2.
+ 1 -0.6180339887 -1.618033989 1. 2.
+ 1 -0.6180339887 1.618033989 -1. -2.
+ 1 -0.6180339887 1.618033989 -1. 2.
+ 1 -0.6180339887 1.618033989 1. -2.
+ 1 -0.6180339887 1.618033989 1. 2.
+ 1 0.6180339887 -2. -1.618033989 -1.
+ 1 0.6180339887 -2. -1.618033989 1.
+ 1 0.6180339887 -2. 1.618033989 -1.
+ 1 0.6180339887 -2. 1.618033989 1.
+ 1 0.6180339887 -1. -2. -1.618033989
+ 1 0.6180339887 -1. -2. 1.618033989
+ 1 0.6180339887 -1. 2. -1.618033989
+ 1 0.6180339887 -1. 2. 1.618033989
+ 1 0.6180339887 1. -2. -1.618033989
+ 1 0.6180339887 1. -2. 1.618033989
+ 1 0.6180339887 1. 2. -1.618033989
+ 1 0.6180339887 1. 2. 1.618033989
+ 1 0.6180339887 2. -1.618033989 -1.
+ 1 0.6180339887 2. -1.618033989 1.
+ 1 0.6180339887 2. 1.618033989 -1.
+ 1 0.6180339887 2. 1.618033989 1.
+ 1 0.6180339887 -1.618033989 -1. -2.
+ 1 0.6180339887 -1.618033989 -1. 2.
+ 1 0.6180339887 -1.618033989 1. -2.
+ 1 0.6180339887 -1.618033989 1. 2.
+ 1 0.6180339887 1.618033989 -1. -2.
+ 1 0.6180339887 1.618033989 -1. 2.
+ 1 0.6180339887 1.618033989 1. -2.
+ 1 0.6180339887 1.618033989 1. 2.
+ 1 1.618033989 -2. -1. -0.6180339887
+ 1 1.618033989 -2. -1. 0.6180339887
+ 1 1.618033989 -2. 1. -0.6180339887
+ 1 1.618033989 -2. 1. 0.6180339887
+ 1 1.618033989 -1. -0.6180339887 -2.
+ 1 1.618033989 -1. -0.6180339887 2.
+ 1 1.618033989 -1. 0.6180339887 -2.
+ 1 1.618033989 -1. 0.6180339887 2.
+ 1 1.618033989 1. -0.6180339887 -2.
+ 1 1.618033989 1. -0.6180339887 2.
+ 1 1.618033989 1. 0.6180339887 -2.
+ 1 1.618033989 1. 0.6180339887 2.
+ 1 1.618033989 2. -1. -0.6180339887
+ 1 1.618033989 2. -1. 0.6180339887
+ 1 1.618033989 2. 1. -0.6180339887
+ 1 1.618033989 2. 1. 0.6180339887
+ 1 1.618033989 -0.6180339887 -2. -1.
+ 1 1.618033989 -0.6180339887 -2. 1.
+ 1 1.618033989 -0.6180339887 2. -1.
+ 1 1.618033989 -0.6180339887 2. 1.
+ 1 1.618033989 0.6180339887 -2. -1.
+ 1 1.618033989 0.6180339887 -2. 1.
+ 1 1.618033989 0.6180339887 2. -1.
+ 1 1.618033989 0.6180339887 2. 1.
+end
+