Labels Milestones
Back-3.68 -15.76 (end -3.18 4.1 (end -2.18 5.1 (end -3.18 4.1 (end -2.18 5.1 (end -3.18 4.1 (end -2.18 5.1 (end -3.18 4.1 (end -2.18 5.1 (end -3.18 4.1 (end -2.18 5.1 (end -3.18 -3.03 (end -1.98 -14.07 (end 4.52 3.91 (end 5.83 -15.37 (end 5.83 -15.37 (end 5.83 -15.37 (end -3.29 -15.37 (end 5.83 5.21 (end -1.98 -3.03 (end 5.72 -15.26 (end 5.72 5.1 (end -1.33 0 (end -0.261252 0.735 (end 0.261252 0.735 (end 0.261252 0.735 (end 0 -12.827 (end 0 2.413 (end 0 -4.45 (end 4.5 6 (end 0.8 6 (end -1.23 -6.85 (end.
- "warning", "no_connect_connected": "warning", "no_connect_dangling": "warning", "pin_not_connected.
- 3.815345e+000 2.480400e+001 facet normal -0.00905415 -0.644981 0.764145.