Labels Milestones
Back""; } if(preg_match("@.*(
- -0.0942884 0.0895734 facet normal.
- Normal 0.0818475 -0.0808324 0.993362 vertex.
- MCV_1,5/7-GF-5.08; number of pins: 13; pin.
- Normal 1.683442e-15 -5.331701e-15 1.000000e+00 facet normal.
""; } if(preg_match("@.*(