Labels Milestones
BackVertex 6 0 6.59 vertex -2.2961 5.54328 6.59 facet normal -9.407388e-01 3.391319e-01 -3.084939e-04 vertex -1.041734e+02 1.012768e+02 3.455000e+01 facet normal 1.884999e-06 -1.000000e+00.
- -0.0813916 0.0816537 0.993332 vertex 4.58534 4.28788 7.81694 facet.
- 4.649372e-03 -3.374233e-01 facet normal.
- Symbols K switch normally-open pushbutton push-button.