Labels Milestones
Back0.993369 vertex 6.2584 0 7.81508 vertex -6.25374 0 7.81454 facet normal -0.622326 -0.758285 0.194199 vertex -7.20568 -7.20568 2.19603 facet.
- Normal -0.000195511 0.116119 0.993235.
- 52a45927-621d-4774-9080-e26ba88e3d95) Final revision; added custom DRC.