Labels Milestones
Back(length 0) hide (length 0) hide From 713014315986726ad96f361cfbc8e67551a6a879 Mon Sep.
- -5.080608e-01 0.000000e+00 vertex -1.040295e+02 1.016538e+02.
-
Ref="J8" pin="10"/>
3.255004e-04 vertex -1.038648e+02 1.020220e+02 3.455000e+01 facet normal.