Labels Milestones
BackVertex -1.093972e+02 9.725134e+01 1.132910e+01 vertex -1.094165e+02 9.665134e+01 1.111946e+01 facet normal -0.250125 0.625096 0.739387 facet.
- -4.376429e+000 2.496000e+001 vertex 5.504529e+000 -4.517184e+000 2.496000e+001.
-
Ref="J1" pin="8"/>
4.372466e+000 3.435654e+000 2.491820e+001 facet normal.