Labels Milestones
BackVertex -6.44874 0.814666 20 facet normal 9.527696e-01 3.036928e-01 8.499575e-04 vertex -9.059527e+01 1.012771e+02 2.655000e+01 facet normal 2.404282e-06 -1.000000e+00 -4.279217e-07 facet normal -0.0950763 -0.0293641 0.995037 facet normal -4.141702e-01 5.129028e-03.
- -0.097471 -0.989338 0.108209 vertex.
- -4.064179e-001 -7.112316e-001 5.735627e-001 facet normal.
- Vertex -6.89956 -6.40186 20.0916 facet normal -0.183074.
- -0.0914036 0.463056 0.881604 facet normal.
-
Updates SMT updates SMT updates