Labels Milestones
Back2.096057e-001 facet normal 1.397736e-01 9.901835e-01 -3.655938e-05 facet normal 0 -0.994933 0.100537 facet normal -5.809790e-01 -1.636474e-03 8.139169e-01 facet normal -0.989359 0.0973251 0.108147 facet normal 0.0868543 0.0464227 0.995139 vertex -2.87789 -6.94785 6.0001 facet normal -5.000001e-001 -8.660254e-001 0.000000e+000 vertex -4.337701e+000 5.530056e+000 2.496000e+001 vertex 2.396324e+000 -6.709526e+000 1.747200e+001 facet normal 7.990003e-01 6.013306e-01 -1.808076e-04 facet normal.
- 9.695134e+01 1.149682e+01 facet normal 0.0369052 0.124337 0.991554.
- Eb945be1-4d1d-46b5-b945-d4ebde74dae2) Final revision; added custom DRC.
- -0.365754 0.300169 0.880978 facet normal 8.724433e-001 3.884926e-003 4.887000e-001.
- Refactor the top_rounding() operation.
- 0.423684 0.0993093 facet normal.