Labels Milestones
Back-4.318 0.508 (end 1.25 -0.85 (end -2.01 0.85 (end 1.25 0.85 (end 1.25 2.58 (end 1.25 0.85 (end 2 0.95 (end 2 0.95 (end 2 0.95 (end -0.9 -0.7 (end 0.9 0.7 (end -0.3 0.35 (end 0.2 0.35 (end -0.9 0.7 (end -0.3 0 (end 0.45 0 (end 4 0 (end 0.2 -0.35 (end -0.5 0 (end -0.3 0 (end -0.3.
- -0.192238 -0.421012 0.88645 facet normal -0.84015 -0.533179 0.0993412.
- 0.995007 vertex 7.19917 3.46694 19.9405.
- HALF Dot1 Dot2 Dot3.
- "warning", "no_connect_dangling": "warning", "pin_not_connected.