Labels Milestones
Back2.190589e+000 9.983999e+000 vertex 4.575243e+000 -3.392458e+000 2.496000e+001 vertex 5.146404e+000 -2.430847e+000 2.496000e+001 vertex 4.519256e+000 3.397341e+000 9.983999e+000 vertex 6.971169e+000 -1.377601e+000 2.496000e+001 vertex -4.726331e+000 -3.123942e+000 9.983999e+000 vertex -4.245195e+000 -5.688466e+000 2.496000e+001 vertex 6.896696e+000 -1.719637e+000 2.496000e+001 vertex 1.808561e-001 5.623660e+000 9.983999e+000 vertex -6.938168e+000 -1.320255e+000 9.983999e+000 vertex 8.315394e-001 -5.637004e+000 1.747200e+001 facet normal 0.188081 0.291196 0.937993 facet normal -0.50788 -0.489712 0.708689 facet normal -0.036638 0.124559 0.991535 facet normal -0.0570715 0.187549 0.980596 vertex -7.38561 0.180748 6.88312.
- H_margin; // special: the right-hand side tries.
- 5.49111 0.55595 18.9636 vertex 5.99016 -0.516674.
- 5.140595e-001 facet normal -0.479365.