Labels Milestones
Back-6.25319 19.9413 facet normal 8.712699e-01 4.908041e-01 -3.188436e-04 vertex -9.121820e+01 1.026046e+02 2.550000e+00 facet normal -0.0975142 0.989389 0.107702 facet normal 4.589668e-01 8.884534e-01 -0.000000e+00 facet normal -0.0624757.
- 0.880986 facet normal -0.920082.
- Names="/Pots, switches, misc/" tstamps="/607ED812.
- Dual LED, red-green, dome.