Labels Milestones
BackX="4.9" y="4.3"/>
- -4.38745 7.61242 vertex -1.03118 -7.21514 7.67586 facet.
- -1.000000e+00 -4.728938e-15 facet normal -1.041895e-01.
- 8.576617e-001 0.000000e+000 vertex -6.577143e-001 5.585604e+000 1.747200e+001 facet.
X="4.9" y="4.3"/>