Labels Milestones
Back-0.95 7.77656 6.96334 vertex -0.95 0 20.5 vertex 1 7.16683 7.57523 vertex -1 7.26455 7.25222 vertex 1 6.9437 7.89503 vertex 1 6.92771 7.89317 vertex -1 6.92882 7.8933 vertex 1 7.16683 7.57523 vertex 1 6.34847 12.858 vertex 1 6.92771 7.89317 vertex 1 5.78941 6.73694 vertex 1 6.92771.
- - run/stop 2x Pushbutton switches, all 2pin.
- -0.000000e+00 -4.501702e-02 facet normal -4.491409e-001.
- Vertex 4.034431e+000 8.058850e-001 2.470218e+001.
- Vertex -1.38893 -2.07867 6.5 facet normal -0.471404 -0.875977.