Labels Milestones
Back2.528 (end 1.77 -1.04 (end 3.371 1.5 (end 3.371 -1.04 (end 3.171 -1.04 (end 3.291 -1.04 (end 1.85 2.511 (end 1.85 2.511 (end 1.85 -1.04 (end 3.451 1.383 (end 3.451 1.383 (end 3.451 1.383 (end 3.451 1.383 (end 3.451 -1.04 (end 2.691 2.149 (end 2.691 2.149 (end 2.691 -1.04 (end 3.491 -1.04 (end 3.371 1.5 (end 3.371 1.5 (end 3.371 1.5 (end 3.371 -1.04 (end 1.69 2.543 (end 1.69 2.543 (end 1.69 -1.04 (end 2.651 2.175 (end 2.651 2.175 (end 2.651 2.175 (end 2.651 2.175 (end 2.651 -1.04.
- 24; hole_left = slider_center - 13; hole_bottom.
- Normal -0.0975625 0.989331 0.108193 facet normal -1.662431e-01 -9.860847e-01.