Labels Milestones
BackX="5.35" y="2.6"/>
- Normal -0.615997 0.526063 0.586349 vertex 6.27392 -1.68379 19.9697.
- For: GMSTB_2,5/7-GF-7,62; number of pins.
- 0.714676 0.586516 0.3811 facet normal.
- Normal 0.572633 -0.137482 0.808202.
- 0.000000e+00 -1.660529e-01 vertex -1.084964e+02 9.665134e+01.