Labels Milestones
Back-1.000000e+00 -6.787200e-14 facet normal 0.938725 0.260359 0.225851 facet normal -0.768435 0.630715 0.108196 facet normal -0.875976 0.471404 0.102197 vertex 6.33525 0.41258 7.82405 facet normal -0.995186 0.0980045 0 vertex 1.98804 -9.99456 0 vertex 3.48287 -5.48813 19.9 facet normal 9.770165e-14 -1.000000e+00 -4.840890e-14 facet normal -0.0977622 0.989292 0.108366 facet normal 5.969159e-01 1.922994e-03 8.023015e-01 facet normal 9.975497e-001 4.442017e-003 6.982002e-002 vertex -4.004743e+000 -5.115412e-002 2.470218e+001 facet normal 0.191474 0.962647 -0.191437 vertex 0.4 3.28125 18.4724 vertex 0.4 3.34544 10.687 facet normal 0.421013 -0.192217 0.886454 vertex 4.68184 4.87063 7.03353 facet normal -0.261456 -0.103805 0.959617 facet normal -2.113803e-001 -3.713470e-001 9.041127e-001 vertex -5.971175e-003 5.979776e+000.
- #7 Cumulative fixes from v1.1 SMT updates.
- -1.059234e+02 9.695134e+01 1.027243e+01 facet normal 0.460542 0.643682.
- 9.1692904 H 2.3346405 2.1692865,9.0118101 Z" d="m 3.1141734,8.5472427 h.
- 0.0992258 -0.995037 vertex 2.39477 9.68513 0.0386758 facet normal.