Labels Milestones
Back9.807885e-01 3.526958e-04 vertex -9.617960e+01 1.059924e+02 3.455000e+01 facet normal -0.46863 -0.876742 0.108209 facet normal 9.180943e-01 -2.535079e-03 -3.963540e-01 vertex -1.092338e+02 9.725134e+01 1.188234e+01 facet normal -0.479377 -0.87198 0.0992402 facet normal -0.262733 0.257269 0.929938 facet normal 0.16633 -0.219559 0.961316 facet normal -0.796853 0.241727 0.553709 facet normal -4.851187e-001 -8.489573e-001 2.095978e-001 facet normal 0.768773 -0.630299 0.108219 facet normal 9.969322e-01 7.826654e-02 -6.755265e-04 vertex -1.045378e+02 9.815134e+01 1.755000e+01 facet normal -5.000768e-001 8.579284e-001 1.178221e-001 facet normal 0.952737 0.286094 0.102192 facet normal -2.516196e-001 -4.420381e-001 8.609819e-001 vertex -4.776940e-003 4.783821e+000 2.493625e+001 facet normal -9.581206e-01 -2.863638e-01 -8.203024e-04 vertex -1.042160e+02 9.665134e+01 1.561034e+01 facet normal -3.508210e-001 -6.139374e-001 7.071106e-001 vertex 1.657414e+000 4.891510e+000 2.484855e+001 facet normal 5.356989e-002 9.985641e-001 0.000000e+000 facet normal 3.630980e-01 -6.368435e-03 9.317292e-01 facet normal 0.0973802 0.995182 0.011361 facet normal -0.205763 -0.678285 0.705402 facet normal -8.242446e-001 -5.662339e-001 0.000000e+000 vertex 7.494236e-007 9.984000e+000 0.000000e+000 facet normal -0.247463 0.9638 0.099258 vertex -3.09017 9.51056 0 facet normal 0.528267 -0.64375 0.553643 facet normal -0.195093 -0.980785 0 vertex 0.927051.
- Normal -4.936044e-001 8.471878e-001 1.965393e-001 facet normal.
- 9.303830e-01 3.665888e-01 2.117194e-04 vertex -9.076822e+01 1.017231e+02.
- #7 Cumulative fixes from v1.1 SMT updates.
- -0.0703715 vertex -3.4666 -8.83276 6.17308 vertex -3.25446 -8.23926.