Labels Milestones
Back(end 1.73 2.536 (end 1.73 2.536 (end 1.73 2.536 (end 1.73 -1.04 (end 2.571 -1.04 (end 1.49 2.569 (end 1.49 2.569 (end 1.49 2.569 (end 1.49 2.569 (end 1.49 -1.04 (end 3.371 -1.04 (end 2.331 2.348 (end 2.331 2.348 (end 2.331 -1.04 (end 1.93 -1.04 (end 3.011 -1.04 (end 3.291 -1.04 (end 2.451 -1.04 (end 2.211 2.398 (end 2.211 2.398 (end 2.211 2.398 (end 2.211 -1.04 (end 1.81 2.52 (end 1.81 2.52 (end 1.81 2.52.
- 1.728287e-15 0.000000e+00 -1.000000e+00 6.954550e-14 facet normal 0.18301.
- -0.4548 -0.0546159 0.888917 facet normal 0.471362 -0.88194 3.9939e-07.
- False) { if (anchor_hole=="right" || anchor_hole=="both.