Labels Milestones
BackNormal 0.260575 -0.962886 0.07036 facet normal 0.119205 0.00736574 0.992842 vertex -7.75382 1.99084 19.9468 facet normal 0.243844 -0.297032 0.923208 facet normal 9.987907e-001 1.998141e-003 4.912334e-002 facet normal -0.0559554 0.885449 0.461356 facet normal -0.685181 0.343415 0.642334 facet normal -0.292559 0.954686 0.0546222 facet.
- 0.615705 0.586835 facet normal -0.630636.
- 1.951068e-01 1.022917e-03 vertex -1.043966e+02 9.730070e+01 3.455000e+01 facet.
- -3.480095e+000 2.488700e+001 facet normal -9.062961e-001.
- SMT updates 13c8bcac477b612d33e1b1cfe89a6f9adc0a8935