Labels Milestones
BackVertex 5.276588e+000 -4.782847e+000 9.983999e+000 vertex 6.528279e+000 2.738236e+000 2.496000e+001 vertex -5.271722e+000 -4.739358e+000 1.747200e+001 facet normal -7.413586e-01 -6.711090e-01 -3.299664e-04 vertex -9.218835e+01 9.392771e+01 2.550000e+00 facet normal -0.881923 -0.468218 0.0546202 vertex 6.73225.
- MCV_1,5/9-GF-3.81; number of pins: 11.
- -0.187658 0.980563 facet normal 0.952359 -0.288955 0.0975571.