Labels Milestones
Back8.716752e-002 vertex 5.052179e+000 -1.045711e+000 2.470218e+001 facet normal 2.508444e-15 1.449967e-15 -1.000000e+00 vertex -1.103843e+02 1.002513e+02 1.512829e+01 vertex -8.438430e+01 9.755134e+01 2.550000e+00 facet normal 0.772957 0.634346 -0.0119446 facet normal -0.479365 0.871967 0.0994153 facet normal 0.995186 -0.0980092 3.9263e-06 facet normal 0.471394 -0.881923 0 vertex 1.75581 8.82707 0 vertex -3.4666 -8.83276 6.17308 vertex -5.16065 6.47126 19.9688 facet normal 0.0363523 -0.0926243 -0.995037 facet normal -0.988479.
- 0.0993427 facet normal -4.720716e-001 8.093097e-001 3.495229e-001 facet normal.
- DEF SW_Push_DPDT SW 0 20.