fixed a small bug in eval ehrhart
[polylib.git] / Test / others / francois2.out3
blobc455eeca6edcaaf4f35c4ac06a63566a0b4db5e0
1 31 15
2    1    0    0    0    0    0    0    0    0    0    0    0    1   -1   -1 
3    1    0    0    0    0    0    0    0    0    0    0    0    0    1   -1 
4    1    0    0    0    0    0    0    0    0    0    0    0    0   -1    5 
5    1    0    0    0    0    0    0    0   -1    0    0    1    0    0    0 
6    1    0    0    0    0    0    1   -1    0    0    0    0    0    0    0 
7    1    0    0    0   -4    4   -4    4    4    0   -1   -4    1    0    4 
8    1    0    0    0   -4    4   -4    4    4    0    1   -4   -1    0    4 
9    1    0    0    0    0    0    0    0    0    0    0    0   -1    0    5 
10    1    0    0    0    0    0    0    0    0    0   -1    0    0    0    5 
11    1    0    0    1    0    0    0    0    0    0    0   -1    0    0   -1 
12    1    0    1    0    0    0    0    0    0    0    0    0    0    0   -5 
13    1    0    0    0    0    0    0    0    0   -1    0    0    0    0    5 
14    1    1    0    0    0    0   -1    0    0    0    0    0    0    0   -1 
15    1    0    0    0    0    0    0    0    0   -1    1    0   -1    0    5 
16    1    0    0    1    0    0    0    0    0    0    0    0    0    0   -5 
17    1    1    0    0    0    0    0    0    0    0    0    0    0    0   -5 
18    1    0    0    0    1    0    0    0    0    0    0    0    0    0   -2 
19    1    0    0    0    0    0    1    0    0    0    0    0    0    0   -2 
20    1    0    1    0   -1    0    0    0    0    0    0    0    0    0   -1 
21    1    0    0    0    0    0    0    0    0    0    0    0    1    0   -1 
22    1    0    0    0    0    0    0    0    0    0    1    0    0    0   -1 
23    1    0    0    0    0    0    0    0    0    1    0    0    0    0   -1 
24    1    0    0    0    4   -4    4   -4   -4    1   -1    4    0    0    0 
25    1    0    0    0    1   -1    0    0    0    0    0    0    0    0    0 
26    1    0    0    0    0    0    0    0    0    1   -1    0    1    0   -1 
27    1   -1    0    0    0    0    0    0    0    0    0    0    0    0   33 
28    1    0   -1    0    0    0    0    0    0    0    0    0    0    0   33 
29    1    0    0   -1    0    0    0    0    0    0    0    0    0    0   33 
30    1    0    0    0    4   -4    4   -4   -4   -1    1    4    0    0    0 
31    1    0    0    0    0    0    0    0    0    0    0    1    0    0   -2 
32    1    0    0    0    0    0    1   -1    0    0    0    0    0    0   -1 
33 POLYHEDRON Dimension:13
34            Constraints:21  Equations:4  Rays:384  Lines:0
35 Constraints 21 15
36 Equality:   [   0    0    0    1   -1    0    0    0    0    0    0    0    0    0  ]
37 Equality:   [   0    0    0    0    0    1   -1    0    0    0    0    0    0   -1  ]
38 Equality:   [   0    0    0    0    0    0    0    1    0    0   -1    0    0    0  ]
39 Equality:   [   0    0    0    0    0    0    0    0    0    1    0   -1    0    0  ]
40 Inequality: [   0    0    0    0    0    0    0    0    0    0    0    1   -1   -1  ]
41 Inequality: [   0    0    0    0    0    0    0    0    0    0    0    0    1   -1  ]
42 Inequality: [   0    0    0    0    0    0    0    0    0    0    0   -1    0    5  ]
43 Inequality: [   0    0    1    0    0    0    0    0    0    0   -1    0    0   -1  ]
44 Inequality: [   0    1    0    0    0    0    0    0    0    0    0    0    0   -5  ]
45 Inequality: [   1    0    0    0    0    0   -1    0    0    0    0    0    0   -2  ]
46 Inequality: [   0    0    0    0    0    0    0    0   -1    0    0    0    0    5  ]
47 Inequality: [   0    0    1    0    0    0    0    0    0    0    0    0    0   -5  ]
48 Inequality: [   1    0    0    0    0    0    0    0    0    0    0    0    0   -5  ]
49 Inequality: [   0    0    0    0    1    0    0    0    0    0    0    0    0   -2  ]
50 Inequality: [   0    0    0    0    0    0    1    0    0    0    0    0    0   -1  ]
51 Inequality: [   0    1    0    0   -1    0    0    0    0    0    0    0    0   -1  ]
52 Inequality: [   0    0    0    0    0    0    0    0    1    0    0    0    0   -1  ]
53 Inequality: [  -1    0    0    0    0    0    0    0    0    0    0    0    0   33  ]
54 Inequality: [   0   -1    0    0    0    0    0    0    0    0    0    0    0   33  ]
55 Inequality: [   0    0   -1    0    0    0    0    0    0    0    0    0    0   33  ]
56 Inequality: [   0    0    0    0    0    0    0    0    0    0    1    0    0   -2  ]
57 Rays 384 15
58 Vertex: [  33    5    5    4    4   32   31    2    5    2    2    2    1  ]/1
59 Vertex: [  33   33   33    2    2    2    1    2    5    5    2    5    1  ]/1
60 Vertex: [  33    5    5    4    4   32   31    2    5    5    2    5    1  ]/1
61 Vertex: [  33   33   33    2    2    2    1    2    5    5    2    5    4  ]/1
62 Vertex: [  33   33   33    2    2   32   31    2    5    5    2    5    4  ]/1
63 Vertex: [  33   33   33   32   32    2    1    2    5    5    2    5    1  ]/1
64 Vertex: [  33   33   33    2    2   32   31    2    5    5    2    5    1  ]/1
65 Vertex: [   5    5    5    4    4    2    1    2    5    2    2    2    1  ]/1
66 Vertex: [  33   33   33   32   32    2    1    2    5    2    2    2    1  ]/1
67 Vertex: [  33    5    5    2    2    2    1    2    5    2    2    2    1  ]/1
68 Vertex: [  33   33   33    2    2   32   31    2    1    5    2    5    4  ]/1
69 Vertex: [  33   33   33    2    2    2    1    2    1    5    2    5    4  ]/1
70 Vertex: [  33   33   33    2    2   32   31    2    1    5    2    5    1  ]/1
71 Vertex: [  33   33   33   32   32    2    1    2    1    5    2    5    1  ]/1
72 Vertex: [  33   33   33   32   32    2    1    2    1    5    2    5    4  ]/1
73 Vertex: [  33   33   33   32   32   32   31    2    1    5    2    5    4  ]/1
74 Vertex: [  33   33   33   32   32   32   31    2    1    5    2    5    1  ]/1
75 Vertex: [  33   33   33    2    2    2    1    2    1    5    2    5    1  ]/1
76 Vertex: [  33   33   33   32   32    2    1    2    1    2    2    2    1  ]/1
77 Vertex: [  33   33   33    2    2   32   31    2    1    2    2    2    1  ]/1
78 Vertex: [  33   33   33   32   32   32   31    2    1    2    2    2    1  ]/1
79 Vertex: [  33   33   33    2    2    2    1    2    1    2    2    2    1  ]/1
80 Vertex: [  33   33   33    2    2    2    1    2    5    2    2    2    1  ]/1
81 Vertex: [   5   33   33   32   32    2    1    2    5    5    2    5    4  ]/1
82 Vertex: [   5   33   33   32   32    4    3    2    5    5    2    5    4  ]/1
83 Vertex: [   5   33   33    2    2    4    3    2    5    2    2    2    1  ]/1
84 Vertex: [  33    5    5    2    2    2    1    2    5    5    2    5    1  ]/1
85 Vertex: [   5   33   33   32   32    4    3    2    5    2    2    2    1  ]/1
86 Vertex: [   5   33   33   32   32    4    3    2    5    5    2    5    1  ]/1
87 Vertex: [  33    5    5    2    2    2    1    2    5    5    2    5    4  ]/1
88 Vertex: [  33    5    5    2    2   32   31    2    5    5    2    5    4  ]/1
89 Vertex: [   5   33   33    2    2    2    1    2    5    2    2    2    1  ]/1
90 Vertex: [   5    5    5    2    2    4    3    2    1    5    2    5    4  ]/1
91 Vertex: [   5   33   33    2    2    2    1    2    5    5    2    5    1  ]/1
92 Vertex: [   5   33   33    2    2    2    1    2    5    5    2    5    4  ]/1
93 Vertex: [   5   33   33    2    2    4    3    2    5    5    2    5    4  ]/1
94 Vertex: [  33    5    5    4    4    2    1    2    5    5    2    5    1  ]/1
95 Vertex: [  33    5    5    2    2   32   31    2    5    5    2    5    1  ]/1
96 Vertex: [   5   33   33   32   32    2    1    2    5    5    2    5    1  ]/1
97 Vertex: [   5   33   33    2    2    4    3    2    5    5    2    5    1  ]/1
98 Vertex: [   5   33   33   32   32    2    1    2    5    2    2    2    1  ]/1
99 Vertex: [   5    5    5    2    2    2    1    2    1    5    2    5    4  ]/1
100 Vertex: [  33    5    5    4    4    2    1    2    5    2    2    2    1  ]/1
101 Vertex: [   5   33   33    2    2    4    3    2    1    5    2    5    4  ]/1
102 Vertex: [   5   33   33    2    2    2    1    2    1    5    2    5    4  ]/1
103 Vertex: [   5   33   33    2    2    4    3    2    1    5    2    5    1  ]/1
104 Vertex: [   5   33   33   32   32    2    1    2    1    5    2    5    1  ]/1
105 Vertex: [   5   33   33   32   32    2    1    2    1    5    2    5    4  ]/1
106 Vertex: [   5   33   33   32   32    4    3    2    1    5    2    5    4  ]/1
107 Vertex: [   5   33   33   32   32    4    3    2    1    5    2    5    1  ]/1
108 Vertex: [   5   33   33    2    2    2    1    2    1    5    2    5    1  ]/1
109 Vertex: [   5   33   33   32   32    2    1    2    1    2    2    2    1  ]/1
110 Vertex: [   5   33   33    2    2    4    3    2    1    2    2    2    1  ]/1
111 Vertex: [   5   33   33   32   32    4    3    2    1    2    2    2    1  ]/1
112 Vertex: [   5   33   33    2    2    2    1    2    1    2    2    2    1  ]/1
113 Vertex: [   5    5    5    2    2    4    3    2    1    5    2    5    1  ]/1
114 Vertex: [   5    5    5    4    4    2    1    2    1    5    2    5    1  ]/1
115 Vertex: [   5    5    5    4    4    2    1    2    1    5    2    5    4  ]/1
116 Vertex: [  33    5   33    4    4    2    1    2    5    5    2    5    4  ]/1
117 Vertex: [  33    5   33    4    4   32   31    2    5    5    2    5    4  ]/1
118 Vertex: [  33    5   33    2    2   32   31    2    5    2    2    2    1  ]/1
119 Vertex: [   5    5    5    4    4    4    3    2    1    5    2    5    4  ]/1
120 Vertex: [  33    5   33    4    4   32   31    2    5    2    2    2    1  ]/1
121 Vertex: [  33    5    5    2    2   32   31    2    1    5    2    5    4  ]/1
122 Vertex: [  33    5   33    4    4   32   31    2    5    5    2    5    1  ]/1
123 Vertex: [  33    5    5    2    2    2    1    2    1    5    2    5    4  ]/1
124 Vertex: [  33    5    5    2    2   32   31    2    1    5    2    5    1  ]/1
125 Vertex: [  33    5   33    2    2    2    1    2    5    2    2    2    1  ]/1
126 Vertex: [  33    5    5    4    4    2    1    2    1    5    2    5    1  ]/1
127 Vertex: [  33    5    5    4    4    2    1    2    1    5    2    5    4  ]/1
128 Vertex: [  33    5   33    2    2    2    1    2    5    5    2    5    1  ]/1
129 Vertex: [  33    5    5    4    4   32   31    2    1    5    2    5    4  ]/1
130 Vertex: [  33    5   33    2    2    2    1    2    5    5    2    5    4  ]/1
131 Vertex: [  33    5   33    2    2   32   31    2    5    5    2    5    4  ]/1
132 Vertex: [  33    5    5    4    4   32   31    2    1    5    2    5    1  ]/1
133 Vertex: [  33    5   33    4    4    2    1    2    5    5    2    5    1  ]/1
134 Vertex: [  33    5   33    2    2   32   31    2    5    5    2    5    1  ]/1
135 Vertex: [  33    5    5    2    2    2    1    2    1    5    2    5    1  ]/1
136 Vertex: [  33    5   33    4    4    2    1    2    5    2    2    2    1  ]/1
137 Vertex: [  33    5    5    4    4    2    1    2    1    2    2    2    1  ]/1
138 Vertex: [  33    5    5    2    2   32   31    2    1    2    2    2    1  ]/1
139 Vertex: [  33    5    5    4    4   32   31    2    1    2    2    2    1  ]/1
140 Vertex: [  33    5    5    2    2    2    1    2    1    2    2    2    1  ]/1
141 Vertex: [  33    5   33    2    2   32   31    2    1    5    2    5    4  ]/1
142 Vertex: [  33    5   33    2    2    2    1    2    1    5    2    5    4  ]/1
143 Vertex: [  33    5   33    2    2   32   31    2    1    5    2    5    1  ]/1
144 Vertex: [  33    5   33    4    4    2    1    2    1    5    2    5    1  ]/1
145 Vertex: [  33    5   33    4    4    2    1    2    1    5    2    5    4  ]/1
146 Vertex: [  33    5   33    4    4   32   31    2    1    5    2    5    4  ]/1
147 Vertex: [  33    5   33    4    4   32   31    2    1    5    2    5    1  ]/1
148 Vertex: [  33    5   33    2    2    2    1    2    1    5    2    5    1  ]/1
149 Vertex: [  33    5   33    4    4    2    1    2    1    2    2    2    1  ]/1
150 Vertex: [  33    5   33    2    2   32   31    2    1    2    2    2    1  ]/1
151 Vertex: [  33    5   33    4    4   32   31    2    1    2    2    2    1  ]/1
152 Vertex: [  33    5   33    2    2    2    1    2    1    2    2    2    1  ]/1
153 Vertex: [   5    5   33    4    4    2    1    2    5    5    2    5    4  ]/1
154 Vertex: [   5    5   33    4    4    4    3    2    5    5    2    5    4  ]/1
155 Vertex: [   5    5   33    2    2    4    3    2    5    2    2    2    1  ]/1
156 Vertex: [   5    5   33    4    4    4    3    2    5    2    2    2    1  ]/1
157 Vertex: [  33   33   33   32   32   32   31    2    5    5    2    5    1  ]/1
158 Vertex: [   5    5   33    4    4    4    3    2    5    5    2    5    1  ]/1
159 Vertex: [   5    5   33    2    2    2    1    2    5    2    2    2    1  ]/1
160 Vertex: [  33   33   33   32   32   32   31    2    5    2    2    2    1  ]/1
161 Vertex: [   5    5   33    2    2    2    1    2    5    5    2    5    1  ]/1
162 Vertex: [   5    5   33    2    2    2    1    2    5    5    2    5    4  ]/1
163 Vertex: [   5    5   33    2    2    4    3    2    5    5    2    5    4  ]/1
164 Vertex: [   5    5   33    4    4    2    1    2    5    5    2    5    1  ]/1
165 Vertex: [   5    5   33    2    2    4    3    2    5    5    2    5    1  ]/1
166 Vertex: [   5    5   33    4    4    2    1    2    5    2    2    2    1  ]/1
167 Vertex: [   5    5    5    4    4    4    3    2    1    5    2    5    1  ]/1
168 Vertex: [   5    5   33    2    2    4    3    2    1    5    2    5    4  ]/1
169 Vertex: [   5    5   33    2    2    2    1    2    1    5    2    5    4  ]/1
170 Vertex: [   5    5   33    2    2    4    3    2    1    5    2    5    1  ]/1
171 Vertex: [   5    5   33    4    4    2    1    2    1    5    2    5    1  ]/1
172 Vertex: [   5    5   33    4    4    2    1    2    1    5    2    5    4  ]/1
173 Vertex: [   5    5   33    4    4    4    3    2    1    5    2    5    4  ]/1
174 Vertex: [   5    5   33    4    4    4    3    2    1    5    2    5    1  ]/1
175 Vertex: [   5    5   33    2    2    2    1    2    1    5    2    5    1  ]/1
176 Vertex: [   5    5   33    4    4    2    1    2    1    2    2    2    1  ]/1
177 Vertex: [   5    5   33    2    2    4    3    2    1    2    2    2    1  ]/1
178 Vertex: [   5    5   33    4    4    4    3    2    1    2    2    2    1  ]/1
179 Vertex: [   5    5   33    2    2    2    1    2    1    2    2    2    1  ]/1
180 Vertex: [  33   33    5   32   32    2    1    2    5    5    2    5    4  ]/1
181 Vertex: [  33   33    5   32   32   32   31    2    5    5    2    5    4  ]/1
182 Vertex: [  33   33    5    2    2   32   31    2    5    2    2    2    1  ]/1
183 Vertex: [  33   33    5   32   32   32   31    2    5    2    2    2    1  ]/1
184 Vertex: [  33   33   33    2    2   32   31    2    5    2    2    2    1  ]/1
185 Vertex: [  33   33    5   32   32   32   31    2    5    5    2    5    1  ]/1
186 Vertex: [   5    5    5    2    2    2    1    2    1    5    2    5    1  ]/1
187 Vertex: [  33   33    5    2    2    2    1    2    5    2    2    2    1  ]/1
188 Vertex: [   5    5    5    4    4    2    1    2    1    2    2    2    1  ]/1
189 Vertex: [  33   33    5    2    2    2    1    2    5    5    2    5    1  ]/1
190 Vertex: [   5    5    5    4    4    2    1    2    5    5    2    5    4  ]/1
191 Vertex: [   5    5    5    4    4    4    3    2    5    5    2    5    4  ]/1
192 Vertex: [  33   33   33   32   32   32   31    2    5    5    2    5    4  ]/1
193 Vertex: [  33   33    5    2    2    2    1    2    5    5    2    5    4  ]/1
194 Vertex: [  33   33    5    2    2   32   31    2    5    5    2    5    4  ]/1
195 Vertex: [   5    5    5    2    2    4    3    2    5    2    2    2    1  ]/1
196 Vertex: [  33   33    5   32   32    2    1    2    5    5    2    5    1  ]/1
197 Vertex: [  33   33    5    2    2   32   31    2    5    5    2    5    1  ]/1
198 Vertex: [  33   33   33   32   32    2    1    2    5    5    2    5    4  ]/1
199 Vertex: [  33   33    5   32   32    2    1    2    5    2    2    2    1  ]/1
200 Vertex: [   5    5    5    4    4    4    3    2    5    2    2    2    1  ]/1
201 Vertex: [   5    5    5    4    4    4    3    2    5    5    2    5    1  ]/1
202 Vertex: [  33   33    5    2    2   32   31    2    1    5    2    5    4  ]/1
203 Vertex: [  33   33    5    2    2    2    1    2    1    5    2    5    4  ]/1
204 Vertex: [  33   33    5    2    2   32   31    2    1    5    2    5    1  ]/1
205 Vertex: [  33   33    5   32   32    2    1    2    1    5    2    5    1  ]/1
206 Vertex: [  33   33    5   32   32    2    1    2    1    5    2    5    4  ]/1
207 Vertex: [  33   33    5   32   32   32   31    2    1    5    2    5    4  ]/1
208 Vertex: [  33   33    5   32   32   32   31    2    1    5    2    5    1  ]/1
209 Vertex: [  33   33    5    2    2    2    1    2    1    5    2    5    1  ]/1
210 Vertex: [  33   33    5   32   32    2    1    2    1    2    2    2    1  ]/1
211 Vertex: [  33   33    5    2    2   32   31    2    1    2    2    2    1  ]/1
212 Vertex: [  33   33    5   32   32   32   31    2    1    2    2    2    1  ]/1
213 Vertex: [  33   33    5    2    2    2    1    2    1    2    2    2    1  ]/1
214 Vertex: [   5    5    5    2    2    4    3    2    1    2    2    2    1  ]/1
215 Vertex: [   5    5    5    4    4    4    3    2    1    2    2    2    1  ]/1
216 Vertex: [   5   33    5   32   32    2    1    2    5    5    2    5    4  ]/1
217 Vertex: [   5   33    5   32   32    4    3    2    5    5    2    5    4  ]/1
218 Vertex: [   5   33    5    2    2    4    3    2    5    2    2    2    1  ]/1
219 Vertex: [   5   33    5   32   32    4    3    2    5    2    2    2    1  ]/1
220 Vertex: [   5   33    5   32   32    4    3    2    5    5    2    5    1  ]/1
221 Vertex: [   5    5    5    2    2    2    1    2    1    2    2    2    1  ]/1
222 Vertex: [   5   33    5    2    2    2    1    2    5    2    2    2    1  ]/1
223 Vertex: [   5    5    5    2    2    2    1    2    5    2    2    2    1  ]/1
224 Vertex: [   5   33    5    2    2    2    1    2    5    5    2    5    1  ]/1
225 Vertex: [   5   33    5    2    2    2    1    2    5    5    2    5    4  ]/1
226 Vertex: [   5   33    5    2    2    4    3    2    5    5    2    5    4  ]/1
227 Vertex: [   5    5    5    2    2    2    1    2    5    5    2    5    1  ]/1
228 Vertex: [   5   33    5   32   32    2    1    2    5    5    2    5    1  ]/1
229 Vertex: [   5   33    5    2    2    4    3    2    5    5    2    5    1  ]/1
230 Vertex: [   5    5    5    2    2    2    1    2    5    5    2    5    4  ]/1
231 Vertex: [   5   33    5   32   32    2    1    2    5    2    2    2    1  ]/1
232 Vertex: [   5    5    5    2    2    4    3    2    5    5    2    5    4  ]/1
233 Vertex: [   5    5    5    4    4    2    1    2    5    5    2    5    1  ]/1
234 Vertex: [   5   33    5    2    2    4    3    2    1    5    2    5    4  ]/1
235 Vertex: [   5   33    5    2    2    2    1    2    1    5    2    5    4  ]/1
236 Vertex: [   5   33    5    2    2    4    3    2    1    5    2    5    1  ]/1
237 Vertex: [   5   33    5   32   32    2    1    2    1    5    2    5    1  ]/1
238 Vertex: [   5   33    5   32   32    2    1    2    1    5    2    5    4  ]/1
239 Vertex: [   5   33    5   32   32    4    3    2    1    5    2    5    4  ]/1
240 Vertex: [   5   33    5   32   32    4    3    2    1    5    2    5    1  ]/1
241 Vertex: [   5   33    5    2    2    2    1    2    1    5    2    5    1  ]/1
242 Vertex: [   5   33    5   32   32    2    1    2    1    2    2    2    1  ]/1
243 Vertex: [   5   33    5    2    2    4    3    2    1    2    2    2    1  ]/1
244 Vertex: [   5   33    5   32   32    4    3    2    1    2    2    2    1  ]/1
245 Vertex: [   5   33    5    2    2    2    1    2    1    2    2    2    1  ]/1
246 Vertex: [   5    5    5    2    2    4    3    2    5    5    2    5    1  ]/1
247 Vertex: [  33    5    5    4    4    2    1    2    5    5    2    5    4  ]/1
248 Vertex: [  33    5    5    4    4   32   31    2    5    5    2    5    4  ]/1
249 Vertex: [  33    5    5    2    2   32   31    2    5    2    2    2    1  ]/1
250 Vertex: [  33    5    5    4    4   32   31    4    5    2    4    2    1  ]/1
251 Vertex: [  33   33   33    2    2    2    1   32    5    5   32    5    1  ]/1
252 Vertex: [  33    5    5    4    4   32   31    4    5    5    4    5    1  ]/1
253 Vertex: [  33   33   33    2    2    2    1   32    5    5   32    5    4  ]/1
254 Vertex: [  33   33   33    2    2   32   31   32    5    5   32    5    4  ]/1
255 Vertex: [  33   33   33   32   32    2    1   32    5    5   32    5    1  ]/1
256 Vertex: [  33   33   33    2    2   32   31   32    5    5   32    5    1  ]/1
257 Vertex: [   5    5    5    4    4    2    1    4    5    2    4    2    1  ]/1
258 Vertex: [  33   33   33   32   32    2    1   32    5    2   32    2    1  ]/1
259 Vertex: [  33    5    5    2    2    2    1    4    5    2    4    2    1  ]/1
260 Vertex: [  33   33   33    2    2   32   31   32    1    5   32    5    4  ]/1
261 Vertex: [  33   33   33    2    2    2    1   32    1    5   32    5    4  ]/1
262 Vertex: [  33   33   33    2    2   32   31   32    1    5   32    5    1  ]/1
263 Vertex: [  33   33   33   32   32    2    1   32    1    5   32    5    1  ]/1
264 Vertex: [  33   33   33   32   32    2    1   32    1    5   32    5    4  ]/1
265 Vertex: [  33   33   33   32   32   32   31   32    1    5   32    5    4  ]/1
266 Vertex: [  33   33   33   32   32   32   31   32    1    5   32    5    1  ]/1
267 Vertex: [  33   33   33    2    2    2    1   32    1    5   32    5    1  ]/1
268 Vertex: [  33   33   33   32   32    2    1   32    1    2   32    2    1  ]/1
269 Vertex: [  33   33   33    2    2   32   31   32    1    2   32    2    1  ]/1
270 Vertex: [  33   33   33   32   32   32   31   32    1    2   32    2    1  ]/1
271 Vertex: [  33   33   33    2    2    2    1   32    1    2   32    2    1  ]/1
272 Vertex: [  33   33   33    2    2    2    1   32    5    2   32    2    1  ]/1
273 Vertex: [   5   33   33   32   32    2    1   32    5    5   32    5    4  ]/1
274 Vertex: [   5   33   33   32   32    4    3   32    5    5   32    5    4  ]/1
275 Vertex: [   5   33   33    2    2    4    3   32    5    2   32    2    1  ]/1
276 Vertex: [  33    5    5    2    2    2    1    4    5    5    4    5    1  ]/1
277 Vertex: [   5   33   33   32   32    4    3   32    5    2   32    2    1  ]/1
278 Vertex: [   5   33   33   32   32    4    3   32    5    5   32    5    1  ]/1
279 Vertex: [  33    5    5    2    2    2    1    4    5    5    4    5    4  ]/1
280 Vertex: [  33    5    5    2    2   32   31    4    5    5    4    5    4  ]/1
281 Vertex: [   5   33   33    2    2    2    1   32    5    2   32    2    1  ]/1
282 Vertex: [   5    5    5    2    2    4    3    4    1    5    4    5    4  ]/1
283 Vertex: [   5   33   33    2    2    2    1   32    5    5   32    5    1  ]/1
284 Vertex: [   5   33   33    2    2    2    1   32    5    5   32    5    4  ]/1
285 Vertex: [   5   33   33    2    2    4    3   32    5    5   32    5    4  ]/1
286 Vertex: [  33    5    5    4    4    2    1    4    5    5    4    5    1  ]/1
287 Vertex: [  33    5    5    2    2   32   31    4    5    5    4    5    1  ]/1
288 Vertex: [   5   33   33   32   32    2    1   32    5    5   32    5    1  ]/1
289 Vertex: [   5   33   33    2    2    4    3   32    5    5   32    5    1  ]/1
290 Vertex: [   5   33   33   32   32    2    1   32    5    2   32    2    1  ]/1
291 Vertex: [   5    5    5    2    2    2    1    4    1    5    4    5    4  ]/1
292 Vertex: [  33    5    5    4    4    2    1    4    5    2    4    2    1  ]/1
293 Vertex: [   5   33   33    2    2    4    3   32    1    5   32    5    4  ]/1
294 Vertex: [   5   33   33    2    2    2    1   32    1    5   32    5    4  ]/1
295 Vertex: [   5   33   33    2    2    4    3   32    1    5   32    5    1  ]/1
296 Vertex: [   5   33   33   32   32    2    1   32    1    5   32    5    1  ]/1
297 Vertex: [   5   33   33   32   32    2    1   32    1    5   32    5    4  ]/1
298 Vertex: [   5   33   33   32   32    4    3   32    1    5   32    5    4  ]/1
299 Vertex: [   5   33   33   32   32    4    3   32    1    5   32    5    1  ]/1
300 Vertex: [   5   33   33    2    2    2    1   32    1    5   32    5    1  ]/1
301 Vertex: [   5   33   33   32   32    2    1   32    1    2   32    2    1  ]/1
302 Vertex: [   5   33   33    2    2    4    3   32    1    2   32    2    1  ]/1
303 Vertex: [   5   33   33   32   32    4    3   32    1    2   32    2    1  ]/1
304 Vertex: [   5   33   33    2    2    2    1   32    1    2   32    2    1  ]/1
305 Vertex: [   5    5    5    2    2    4    3    4    1    5    4    5    1  ]/1
306 Vertex: [   5    5    5    4    4    2    1    4    1    5    4    5    1  ]/1
307 Vertex: [   5    5    5    4    4    2    1    4    1    5    4    5    4  ]/1
308 Vertex: [  33    5   33    4    4    2    1   32    5    5   32    5    4  ]/1
309 Vertex: [  33    5   33    4    4   32   31   32    5    5   32    5    4  ]/1
310 Vertex: [  33    5   33    2    2   32   31   32    5    2   32    2    1  ]/1
311 Vertex: [   5    5    5    4    4    4    3    4    1    5    4    5    4  ]/1
312 Vertex: [  33    5   33    4    4   32   31   32    5    2   32    2    1  ]/1
313 Vertex: [  33    5    5    2    2   32   31    4    1    5    4    5    4  ]/1
314 Vertex: [  33    5   33    4    4   32   31   32    5    5   32    5    1  ]/1
315 Vertex: [  33    5    5    2    2    2    1    4    1    5    4    5    4  ]/1
316 Vertex: [  33    5    5    2    2   32   31    4    1    5    4    5    1  ]/1
317 Vertex: [  33    5   33    2    2    2    1   32    5    2   32    2    1  ]/1
318 Vertex: [  33    5    5    4    4    2    1    4    1    5    4    5    1  ]/1
319 Vertex: [  33    5    5    4    4    2    1    4    1    5    4    5    4  ]/1
320 Vertex: [  33    5   33    2    2    2    1   32    5    5   32    5    1  ]/1
321 Vertex: [  33    5    5    4    4   32   31    4    1    5    4    5    4  ]/1
322 Vertex: [  33    5   33    2    2    2    1   32    5    5   32    5    4  ]/1
323 Vertex: [  33    5   33    2    2   32   31   32    5    5   32    5    4  ]/1
324 Vertex: [  33    5    5    4    4   32   31    4    1    5    4    5    1  ]/1
325 Vertex: [  33    5   33    4    4    2    1   32    5    5   32    5    1  ]/1
326 Vertex: [  33    5   33    2    2   32   31   32    5    5   32    5    1  ]/1
327 Vertex: [  33    5    5    2    2    2    1    4    1    5    4    5    1  ]/1
328 Vertex: [  33    5   33    4    4    2    1   32    5    2   32    2    1  ]/1
329 Vertex: [  33    5    5    4    4    2    1    4    1    2    4    2    1  ]/1
330 Vertex: [  33    5    5    2    2   32   31    4    1    2    4    2    1  ]/1
331 Vertex: [  33    5    5    4    4   32   31    4    1    2    4    2    1  ]/1
332 Vertex: [  33    5    5    2    2    2    1    4    1    2    4    2    1  ]/1
333 Vertex: [  33    5   33    2    2   32   31   32    1    5   32    5    4  ]/1
334 Vertex: [  33    5   33    2    2    2    1   32    1    5   32    5    4  ]/1
335 Vertex: [  33    5   33    2    2   32   31   32    1    5   32    5    1  ]/1
336 Vertex: [  33    5   33    4    4    2    1   32    1    5   32    5    1  ]/1
337 Vertex: [  33    5   33    4    4    2    1   32    1    5   32    5    4  ]/1
338 Vertex: [  33    5   33    4    4   32   31   32    1    5   32    5    4  ]/1
339 Vertex: [  33    5   33    4    4   32   31   32    1    5   32    5    1  ]/1
340 Vertex: [  33    5   33    2    2    2    1   32    1    5   32    5    1  ]/1
341 Vertex: [  33    5   33    4    4    2    1   32    1    2   32    2    1  ]/1
342 Vertex: [  33    5   33    2    2   32   31   32    1    2   32    2    1  ]/1
343 Vertex: [  33    5   33    4    4   32   31   32    1    2   32    2    1  ]/1
344 Vertex: [  33    5   33    2    2    2    1   32    1    2   32    2    1  ]/1
345 Vertex: [   5    5   33    4    4    2    1   32    5    5   32    5    4  ]/1
346 Vertex: [   5    5   33    4    4    4    3   32    5    5   32    5    4  ]/1
347 Vertex: [   5    5   33    2    2    4    3   32    5    2   32    2    1  ]/1
348 Vertex: [   5    5   33    4    4    4    3   32    5    2   32    2    1  ]/1
349 Vertex: [  33   33   33   32   32   32   31   32    5    5   32    5    1  ]/1
350 Vertex: [   5    5   33    4    4    4    3   32    5    5   32    5    1  ]/1
351 Vertex: [   5    5   33    2    2    2    1   32    5    2   32    2    1  ]/1
352 Vertex: [  33   33   33   32   32   32   31   32    5    2   32    2    1  ]/1
353 Vertex: [  33    5    5    2    2   32   31    4    5    2    4    2    1  ]/1
354 Vertex: [   5    5   33    2    2    2    1   32    5    5   32    5    1  ]/1
355 Vertex: [   5    5   33    2    2    2    1   32    5    5   32    5    4  ]/1
356 Vertex: [   5    5   33    2    2    4    3   32    5    5   32    5    4  ]/1
357 Vertex: [  33    5    5    4    4   32   31    4    5    5    4    5    4  ]/1
358 Vertex: [  33    5    5    4    4    2    1    4    5    5    4    5    4  ]/1
359 Vertex: [   5    5   33    4    4    2    1   32    5    5   32    5    1  ]/1
360 Vertex: [   5    5   33    2    2    4    3   32    5    5   32    5    1  ]/1
361 Vertex: [   5    5   33    4    4    2    1   32    5    2   32    2    1  ]/1
362 Vertex: [   5    5    5    4    4    4    3    4    1    5    4    5    1  ]/1
363 Vertex: [   5    5   33    2    2    4    3   32    1    5   32    5    4  ]/1
364 Vertex: [   5    5   33    2    2    2    1   32    1    5   32    5    4  ]/1
365 Vertex: [   5    5   33    2    2    4    3   32    1    5   32    5    1  ]/1
366 Vertex: [   5    5   33    4    4    2    1   32    1    5   32    5    1  ]/1
367 Vertex: [   5    5   33    4    4    2    1   32    1    5   32    5    4  ]/1
368 Vertex: [   5    5   33    4    4    4    3   32    1    5   32    5    4  ]/1
369 Vertex: [   5    5   33    4    4    4    3   32    1    5   32    5    1  ]/1
370 Vertex: [   5    5   33    2    2    2    1   32    1    5   32    5    1  ]/1
371 Vertex: [   5    5   33    4    4    2    1   32    1    2   32    2    1  ]/1
372 Vertex: [   5    5   33    2    2    4    3   32    1    2   32    2    1  ]/1
373 Vertex: [   5    5   33    4    4    4    3   32    1    2   32    2    1  ]/1
374 Vertex: [   5    5   33    2    2    2    1   32    1    2   32    2    1  ]/1
375 Vertex: [  33   33    5   32   32    2    1    4    5    5    4    5    4  ]/1
376 Vertex: [  33   33    5   32   32   32   31    4    5    5    4    5    4  ]/1
377 Vertex: [  33   33    5    2    2   32   31    4    5    2    4    2    1  ]/1
378 Vertex: [  33   33    5   32   32   32   31    4    5    2    4    2    1  ]/1
379 Vertex: [  33   33   33    2    2   32   31   32    5    2   32    2    1  ]/1
380 Vertex: [  33   33    5   32   32   32   31    4    5    5    4    5    1  ]/1
381 Vertex: [   5    5    5    2    2    4    3    4    5    5    4    5    1  ]/1
382 Vertex: [   5    5    5    2    2    2    1    4    1    5    4    5    1  ]/1
383 Vertex: [  33   33    5    2    2    2    1    4    5    2    4    2    1  ]/1
384 Vertex: [   5    5    5    4    4    2    1    4    1    2    4    2    1  ]/1
385 Vertex: [  33   33    5    2    2    2    1    4    5    5    4    5    1  ]/1
386 Vertex: [   5    5    5    4    4    2    1    4    5    5    4    5    4  ]/1
387 Vertex: [   5    5    5    4    4    4    3    4    5    5    4    5    4  ]/1
388 Vertex: [  33   33   33   32   32   32   31   32    5    5   32    5    4  ]/1
389 Vertex: [  33   33    5    2    2    2    1    4    5    5    4    5    4  ]/1
390 Vertex: [  33   33    5    2    2   32   31    4    5    5    4    5    4  ]/1
391 Vertex: [   5    5    5    2    2    4    3    4    5    2    4    2    1  ]/1
392 Vertex: [  33   33    5   32   32    2    1    4    5    5    4    5    1  ]/1
393 Vertex: [  33   33    5    2    2   32   31    4    5    5    4    5    1  ]/1
394 Vertex: [  33   33   33   32   32    2    1   32    5    5   32    5    4  ]/1
395 Vertex: [  33   33    5   32   32    2    1    4    5    2    4    2    1  ]/1
396 Vertex: [   5    5    5    4    4    4    3    4    5    2    4    2    1  ]/1
397 Vertex: [   5    5    5    4    4    4    3    4    5    5    4    5    1  ]/1
398 Vertex: [  33   33    5    2    2   32   31    4    1    5    4    5    4  ]/1
399 Vertex: [  33   33    5    2    2    2    1    4    1    5    4    5    4  ]/1
400 Vertex: [  33   33    5    2    2   32   31    4    1    5    4    5    1  ]/1
401 Vertex: [  33   33    5   32   32    2    1    4    1    5    4    5    1  ]/1
402 Vertex: [  33   33    5   32   32    2    1    4    1    5    4    5    4  ]/1
403 Vertex: [  33   33    5   32   32   32   31    4    1    5    4    5    4  ]/1
404 Vertex: [  33   33    5   32   32   32   31    4    1    5    4    5    1  ]/1
405 Vertex: [  33   33    5    2    2    2    1    4    1    5    4    5    1  ]/1
406 Vertex: [  33   33    5   32   32    2    1    4    1    2    4    2    1  ]/1
407 Vertex: [  33   33    5    2    2   32   31    4    1    2    4    2    1  ]/1
408 Vertex: [  33   33    5   32   32   32   31    4    1    2    4    2    1  ]/1
409 Vertex: [  33   33    5    2    2    2    1    4    1    2    4    2    1  ]/1
410 Vertex: [   5    5    5    2    2    4    3    4    1    2    4    2    1  ]/1
411 Vertex: [   5    5    5    4    4    4    3    4    1    2    4    2    1  ]/1
412 Vertex: [   5   33    5   32   32    2    1    4    5    5    4    5    4  ]/1
413 Vertex: [   5   33    5    2    2    2    1    4    1    2    4    2    1  ]/1
414 Vertex: [   5   33    5   32   32    4    3    4    5    5    4    5    4  ]/1
415 Vertex: [   5   33    5   32   32    4    3    4    1    2    4    2    1  ]/1
416 Vertex: [   5   33    5    2    2    4    3    4    5    2    4    2    1  ]/1
417 Vertex: [   5   33    5    2    2    4    3    4    1    2    4    2    1  ]/1
418 Vertex: [   5   33    5   32   32    4    3    4    5    2    4    2    1  ]/1
419 Vertex: [   5   33    5   32   32    2    1    4    1    2    4    2    1  ]/1
420 Vertex: [   5   33    5   32   32    4    3    4    5    5    4    5    1  ]/1
421 Vertex: [   5   33    5    2    2    2    1    4    1    5    4    5    1  ]/1
422 Vertex: [   5    5    5    2    2    2    1    4    1    2    4    2    1  ]/1
423 Vertex: [   5   33    5    2    2    2    1    4    5    2    4    2    1  ]/1
424 Vertex: [   5    5    5    2    2    2    1    4    5    2    4    2    1  ]/1
425 Vertex: [   5   33    5   32   32    4    3    4    1    5    4    5    1  ]/1
426 Vertex: [   5   33    5    2    2    2    1    4    5    5    4    5    1  ]/1
427 Vertex: [   5   33    5   32   32    4    3    4    1    5    4    5    4  ]/1
428 Vertex: [   5   33    5    2    2    2    1    4    5    5    4    5    4  ]/1
429 Vertex: [   5   33    5   32   32    2    1    4    1    5    4    5    4  ]/1
430 Vertex: [   5   33    5    2    2    4    3    4    5    5    4    5    4  ]/1
431 Vertex: [   5   33    5   32   32    2    1    4    1    5    4    5    1  ]/1
432 Vertex: [   5    5    5    2    2    2    1    4    5    5    4    5    1  ]/1
433 Vertex: [   5   33    5   32   32    2    1    4    5    5    4    5    1  ]/1
434 Vertex: [   5   33    5    2    2    4    3    4    5    5    4    5    1  ]/1
435 Vertex: [   5   33    5    2    2    4    3    4    1    5    4    5    1  ]/1
436 Vertex: [   5    5    5    2    2    2    1    4    5    5    4    5    4  ]/1
437 Vertex: [   5   33    5    2    2    2    1    4    1    5    4    5    4  ]/1
438 Vertex: [   5   33    5   32   32    2    1    4    5    2    4    2    1  ]/1
439 Vertex: [   5    5    5    2    2    4    3    4    5    5    4    5    4  ]/1
440 Vertex: [   5    5    5    4    4    2    1    4    5    5    4    5    1  ]/1
441 Vertex: [   5   33    5    2    2    4    3    4    1    5    4    5    4  ]/1