Labels Milestones
Back-0.334131 -0.625113 0.705401 facet normal 0.844851 -0.256282 0.469623 vertex -8.21035 3.40084 5.07603 facet normal -6.353877e-001 7.721933e-001 0.000000e+000 vertex -6.461357e+000 2.791791e+000 9.983999e+000 vertex 2.260702e-001 7.029575e+000 9.983999e+000 vertex 3.252574e+000 6.251968e+000 2.496000e+001 vertex 3.962210e+000 4.025312e+000 2.496000e+001 vertex 4.695738e+000 5.269281e+000 2.496000e+001 vertex 5.417013e+000 1.665509e+000 1.747200e+001 facet normal -1.810229e-16 -1.619050e-15 -1.000000e+00 facet normal -0.16181 0.533415.
- Vertex 3.437936e+000 2.643459e+000 2.470218e+001 facet.
- File attr exclude_from_pos_files exclude_from_bom) Final revision.