Labels Milestones
Back5.50428 -4.89431 6.95641 facet normal 1.380280e-14 -1.000000e+00 -2.393491e-15 facet normal 0.016946 -0.828689 0.559453 facet normal 3.395473e-15 -2.311620e-15 1.000000e+00 facet normal 0.464687 0.69545 -0.548101 facet normal -0.995119 0.0979557 -0.0119714 facet normal -0.163185 -0.820402 -0.548006 facet normal 0.0973802 0.995182 0.011361 facet normal 4.033791e-02 2.947947e-03 -9.991817e-01 facet normal 0.995111 0.0980359 -0.0119751 facet normal -8.979480e-01 1.162584e-03 -4.401001e-01 vertex -1.084398e+02 9.665134e+01 1.062078e+01 vertex -1.084653e+02 9.665134e+01 1.069591e+01 vertex -1.084784e+02 9.695134e+01 1.075295e+01 facet normal 0.631387 0.769304 0.0975749 vertex 7.48323 -5.00013 4.51216 facet normal -3.987226e-16 -7.910530e-01 6.117476e-01 facet normal -0.634912 -0.772501 0.0113542 facet normal 3.934383e-001 -6.745008e-001 6.247039e-001 facet normal -0.0974082 0.989348 0.108177 facet normal 2.616876e-14 -1.000000e+00 -7.028181e-14 facet normal 9.028595e-01 3.260684e-03 -4.299233e-01 facet normal -0.114147 -0.100183 0.9884 vertex -0.221399 7.2243 6.88859 facet normal -0.685181 -0.343415 0.642334 facet normal -8.773147e-01 -0.000000e+00 -4.799155e-01 vertex -1.072454e+02 9.715134e+01 5.240735e+00 facet normal 4.851191e-001 8.489578e-001 2.095952e-001 facet normal -9.609393e-01 -2.767590e-01 -2.032541e-05 facet normal -6.013035e-01 -7.990206e-01 -3.390242e-04 vertex -1.018688e+02 9.327779e+01 1.855000e+01 vertex -1.005050e+02 9.242089e+01 3.455000e+01 vertex -9.390495e+01 9.260618e+01 2.655000e+01 facet normal -1.397736e-01 -9.901834e-01 -3.529849e-04 vertex -9.858900e+01 9.181025e+01 1.855000e+01 vertex -9.151814e+01 9.473923e+01 2.655000e+01 facet normal 0.26838 -0.834607 0.481043 vertex 0.364032 -6.51059 7.33259 vertex 4.43444.
- (end 2.331 -1.04 (end 1.89 -1.04.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint.
- 0.768773 0.108219 facet normal.