Labels Milestones
BackVertex -2.40512 2.43301 18.1498 vertex 3.13809 1.3499 17.6363 vertex -3.13809 -1.3499 6.59 facet normal 0.703596 0.707109 0.0703594 facet normal -0.950491 0.290292 0.11089 facet normal 0.353624 0.430898 0.830227 facet normal 9.862182e-01 -1.897927e-14 -1.654497e-01 facet normal 3.934400e-001 -6.745042e-001 6.246992e-001 vertex -2.746430e+000 3.073832e+000 2.484855e+001 facet normal 1.087044e-001 4.840526e-004.
- Normal -0.247458 0.963792 0.0993427.
- MCV_1,5/3-G-3.81; number of pins: 12; pin.
- User (44 Edge.Cuts user (45 "Margin.