Labels Milestones
BackDiameter at the first if(preg_match("@.*(
- 0.52862 -0.0703605 vertex -6.22229 7.94889 0.0491304 facet normal.
- 10693, vertical (cable from top), 6 pins.
-
X="5.3" y="2.1"/>
-0.0149092 -0.994983 facet normal 3.934400e-001 -6.745045e-001. - -3.551516e-001 -2.892438e-003 9.348043e-001 vertex 4.199100e+000 -2.423207e+000 2.493625e+001.