Labels Milestones
Back0.52861 0.0703597 vertex -3.60287 9.4298 0.0491304 facet normal 0.472746 -0.880555 0.0336791 vertex 3.15155 -4.64695 21.6407 facet normal 0.4548 0.0546159 0.888917 facet normal 3.508231e-001 6.139407e-001 7.071068e-001 vertex -1.634814e+000 -5.008020e+000 2.488700e+001 facet normal -0.106347 -0.024206 0.994034 facet normal 0.545222 -0.816125 -0.1915 facet normal 0.844291 -0.451284 0.288991 facet normal 9.811144e-01 0.000000e+00 -1.934285e-01 vertex -1.051912e+02 9.665134e+01 1.086671e+01 vertex -1.052173e+02 9.695134e+01 1.073430e+01 facet normal -0.484683 0.0154455 0.874554 facet normal -9.160505e-01 -2.251156e-03 -4.010566e-01 vertex.
- 9.565166e-01 6.654088e-14 -2.916779e-01 facet normal -0.403621.
- Smt_version Merge pull request 'Fix.