Labels Milestones
Back0.865139 -0.436801 0.246453 vertex 6.92883 -0.991719 7.78686 vertex -5.60181 -4.2532 7.5827 facet normal -0.0822024 0.0560446 0.995039 facet normal -4.851188e-001 -8.489580e-001 2.095952e-001 facet normal 0.796849 -0.241718 0.553718 vertex 9.77239 -1.94385 2.94279 vertex 1.97312 9.91954 2.58057 vertex 5.53561 8.28463 2.94279.
- 3.018998e-15 -5.520364e-15 1.000000e+00 facet normal 4.926594e-001.
- SMT updates 13c8bcac477b612d33e1b1cfe89a6f9adc0a8935 Adding.