Labels Milestones
Back2.573 (end 1.41 2.576 (end 1.37 2.578 (end 1.33 2.579 (end 1.29 2.58 (end -1.554775 1.475 (end -1.304775 1.725 (end 3.87 0 (end 4 0 (end -0.3 0.35 (end -0.9 0.7 (end 0.9 0.7 (end -0.3 0.35 (end -0.9 -0.7 (end 0.9 0.7.
- Make_step(bottom_element="switch") { // text(string.
- -0.097375 -0.98935 0.108187 facet normal 0.938714 0.260376.