Labels Milestones
Back9.151071e+00 vertex -1.050340e+02 9.725134e+01 9.208996e+00 facet normal 0 -0.995185 -0.0980143 vertex -0.4 3.34544 6.59 facet normal -0.471366 -0.881857 -0.0118779 facet normal 0.773058 0.634335 0 facet normal -9.039254e-001 -3.253948e-003 4.276779e-001 vertex 5.079590e+000 -2.932274e+000 2.476740e+001 facet normal -0.831468 0.555573 0 vertex 8.82707 1.75581 3.82299 vertex 4.96057 7.50438.
- Normal -0.643699 -0.528205 0.553761 facet.
- -1.062607e-16 -3.823439e-15 1.000000e+00 facet normal 0.634347 0.772955.
- MCV_1,5/7-G-3.81; number of pins.
- -6.46493 -6.46493 3.76384 vertex.