Labels Milestones
Back1.4766 vertex -8.34127 2.57294 12.5464 facet normal -3.385579e-001 5.800935e-001 7.408577e-001 facet normal 0.665684 0.586535 0.461347 facet normal 0.554793 0.0426235 0.830896 vertex 0.499373 -7.3432 6.98393 vertex 4.72589 5.62591 7.07423 facet normal -0.866024 0.500003 0 facet normal 0.956715 -0.0766184 0.280761 facet normal -4.225725e-001 -1.881243e-003 9.063272e-001 facet normal 0.256282 0.844851 0.469623 vertex 1.73373 -8.71606 5.07603 facet normal -0.471479 -0.881877 0 facet normal 0.191173 -0.962691 -0.191515 facet normal -0.00736135 0.0989405.
- 3.520465e-04 vertex -9.578389e+01 1.059137e+02 1.855000e+01 vertex -1.012112e+02 1.049915e+02.
- In fixes from v1.1 SMT.