Labels Milestones
Back-9.720735e-01 -2.346750e-01 -9.051373e-04 vertex -1.043264e+02 9.701936e+01 1.608622e+01 facet normal 0.560081 -0.682453 0.469646 facet.
- -2.942353e-03 8.748103e-01 vertex -1.092005e+02 9.665134e+01 6.037139e+00 facet.
- MCV_1,5/2-GF-3.5; number of pins.