Labels Milestones
BackSymbols K switch normally-open pushbutton push-button Lamp D Push button switch, generic, two pins
- -7.200824e-01 facet normal 5.763901e-001 -8.171747e-001.
- -9.449638e-01 6.305657e-04 -3.271744e-01 vertex -1.084626e+02 9.695134e+01.