Labels Milestones
Back-4.300604e-003 2.588098e-001 facet normal -0.0896453 0.0431708 -0.995038 vertex 1.87301 -9.81867 0.0427407 facet normal 0.284801 -0.909897 0.301622 facet normal -4.127398e-001 7.075911e-001 5.735510e-001 vertex 3.474717e+000 -3.925410e+000 2.484855e+001 facet normal 7.954739e-01 -2.016707e-03 6.059846e-01 facet normal 4.936044e-001 -8.471878e-001.
- 3.64093 1.48976 19.1916 facet.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates.
- 0.360203 0.282966 0.888923 facet normal -3.318476e-001 5.689120e-001.