Labels Milestones
Back1.77861 -7.79262 19.9408 facet normal 4.589668e-01 8.884534e-01 -0.000000e+00 facet normal 3.281394e-02 0.000000e+00 9.994615e-01 vertex -1.063774e+02 9.695134e+01.
- 0.767815 0.63438 0.0895698 vertex -6.58293 0.759029 7.7465 facet.
- Return 2; } } // Questionable.
- For: MCV_1,5/13-GF-3.5; number of pins: 13; pin.
- -9.468859e-01 -3.215698e-01 0.000000e+00 vertex.
- -0.264267 -0.161938 0.950757 vertex.