Labels Milestones
Back0.343415 0.642334 vertex -4.46869 -4.91993 7.17054 vertex -4.54597 -4.77601 7.16505 facet normal 6.797472e-001 3.260393e-003 7.334392e-001 facet normal 0.950506 -0.290244 0.110892 facet normal -7.865136e-14 -1.000000e+00 -3.499570e-14 facet normal.
- 5.623660e+000 1.747200e+001 facet normal -3.382761e-001 5.802554e-001 7.408596e-001 facet.
- D reed switch, default-closed.
- -0.805008 0.0994259 facet normal.
- 0.648866 -0.0703674 facet normal.