Labels Milestones
Back-1.090780e+000 2.484855e+001 facet normal 0.499978 0.866038 2.70167e-05 facet normal -9.052842e-01 2.348598e-04 -4.248064e-01 facet normal -0.44206 -0.844738 0.301663 facet normal 1.000000e+000 -0.000000e+000 0.000000e+000 facet normal 0.0464241 0.0868538 0.995139 vertex 0.
- Fixes from v1.1 SMT updates.
- Normal 7.409568e-001 3.466066e-003 6.715438e-001 facet normal 6.933023e-15 -1.000000e+00.