Labels Milestones
Back-3.562745e-001 6.107877e-001 7.071116e-001 vertex 3.494093e+000 -3.958628e+000 2.488700e+001 facet normal 0.284757.
- -0.116114 0.00043693 0.993236 facet normal 4.391218e-002 -7.528201e-002 9.961950e-001.
- X0= 0; x1 = hsh > 0.
-3.562745e-001 6.107877e-001 7.071116e-001 vertex 3.494093e+000 -3.958628e+000 2.488700e+001 facet normal 0.284757.