Labels Milestones
BackSize? If(preg_match("@.*(
- 4.792335e-001 8.386592e-001 2.588163e-001 vertex -3.371434e+000.
- GMSTBA_2,5/7-G; number of pins: 06; pin pitch.
- -6.000611e+000 2.490742e+001 facet normal 0.0950328 0.0293136.
- 0.898705 0.427228 0.0990185 vertex 9.29776 -3.68124 0 facet.
- Normal -2.796393e-02 9.996089e-01 -2.490456e-06 facet normal.