Labels Milestones
Back-4.102768e+000 2.320718e+000 2.488918e+001 facet normal 9.998640e-001 -1.649078e-002 0.000000e+000 vertex 5.276588e+000 -4.782847e+000 1.747200e+001 facet normal -0.0974419 -0.989341 0.108207 facet normal 8.244231e-16 -2.375573e-15 -1.000000e+00 facet normal -5.080899e-01 8.613040e-01 3.462170e-04 vertex -1.015466e+02 1.047674e+02 2.655000e+01 facet normal -0.0906015 -0.869711 0.485175 facet normal 0.584875 -0.805024 0.09928 vertex 4.28661 6.75462 20 facet normal 0.183013 0.980589 0.0703596 facet normal -0.307712 -0.502116 0.808204 vertex 5.04221 1.97652 19.4867 facet normal 0.652501 0.754514 -0.0703644 vertex 1.9454 8.52337 12.4333 facet normal -6.696355e-01 3.723880e-03 -7.426806e-01 vertex -1.083707e+02 9.695134e+01 1.051604e+01 facet normal -8.972304e-01 4.415627e-01 -3.153929e-04 vertex -9.084489e+01 9.590616e+01 2.550000e+00 facet normal -5.735893e-001 -2.553552e-003 8.191390e-001.
- Vertex -2.799755e+000 3.165253e+000 2.494118e+001 facet normal -0.820339.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b
- Vertex 8.81921 -1.75094 3.
- 8.713581e-002 facet normal -9.975843e-01 -6.946521e-02 2.666739e-04.