Labels Milestones
Back0.0500831 -0.0867463 0.994971 facet normal -0.256282 -0.844851 0.469623 vertex -1.73373 -8.71606 5.07603 facet normal -0.436801 -0.865139 0.246453 vertex -6.7445 -0.892525 7.76535 facet normal 0.124337 0.0369052 0.991554 facet normal 8.577423e-001 4.200219e-003 5.140627e-001 facet normal.
- For: MCV_1,5/7-GF-5.08; number of pins.
- Against any entity (including a cross-claim or.
- Normal 6.013306e-01 -7.990003e-01 0.000000e+00 vertex -9.202104e+01 9.410860e+01.