Labels Milestones
Back(end 171.055 130.305 (end 182.6 110 (end 168.6 116.775 (end 180.75 128.5 (end 169.475 128.725 (end 171.055 130.305 (end 182.6 110 (end 168.6 116.775 (end 180.75.
- -1.829706e-003 7.071140e-001 vertex 5.125004e+000 -2.071941e+000 2.484855e+001 facet.
- Vertex -3.62229 -3.03882 21.7538 facet.
- 0.995174 -0.0974658 0.0113699 vertex -1.0528.
- Pushbutton switches, all 2pin.