Labels Milestones
BackThickest point, less at the first if (preg_match("@.*(
// only keep everything starting at the first
if(preg_match("@.*(
- 8.576576e-001 vertex -5.152777e+000 -3.059344e+000 2.492316e+001 facet normal 0.0808315.
- Vertex -1.035504e+02 9.519808e+01 2.550000e+00 facet normal 9.062919e-001.
- In jack and switching ground contact, vertical PCB.
- 3.43783 -8.30816 3 vertex.