Labels Milestones
Back(end 1.25 2.58 (end -1.554775 1.475 (end -1.304775 1.725 (end 3.87 0 (end 0.2 -0.35 (end -0.5 0 (end 0.45 0 (end -0.883605 1.0875 (end -0.633605 1.3375 (end 3.75 0 (end -0.261252 -0.735 (end -1.88 -0.98 (end -1.88 0.98 (end 1.88 0.98 (end -1 -0.625 (end -1 -0.625 (end -1 -0.625 (end -1 -0.625 (end -1 -0.625 (end -1.
- -0.766708 0.634279 0.0992472 facet normal -0.869711 -0.0906015 0.485175.
- Size 4.8x2.5mm^2 diameter 2.0mm 2.
- Summaries.ods pushed tag v1.
- 5.00013 3.82299 facet normal.