Labels Milestones
Back-1.11009 2.67998 18.9335 facet normal -0.737294 -0.221424 -0.638255 facet normal 0.288584 -0.95132 0.108209 facet normal 9.964600e-01 8.406740e-02 -2.572556e-04 facet normal -1.950737e-01 -9.807886e-01 -0.000000e+00 facet normal -0.114117 -0.0998673 0.988435 facet normal 7.990206e-01 -6.013035e-01 -3.235123e-04 vertex -9.176074e+01 9.441686e+01 1.855000e+01 vertex -1.005050e+02 9.242089e+01 1.055000e+01 facet normal 0.0694492 -0.705407 0.705392 facet normal 0.290363 -0.956916 1.95466e-06 facet normal -2.475953e-01 7.020816e-03 -9.688381e-01 vertex -1.078264e+02 9.665134e+01 1.028031e+01 vertex -1.084024e+02 9.665134e+01 1.055388e+01 facet normal -0.502124 -0.30771 0.808199 vertex 2.80984 0.516674 19.1916 facet normal -0.0942416 -0.028588 0.995139 vertex 2.98249 7.20038 5.97318 facet normal -0.841034 -0.531802 0.0992375 facet normal -0.0821527 0.0555744 0.995069 facet normal -0.416182 -0.778621 0.469619 vertex -3.40084 8.21035 5.07603 facet normal 4.667715e-001 8.177221e-001 3.368307e-001 vertex -5.001678e+000 -2.971207e+000 2.473857e+001 facet normal 0.392539 -0.73439 0.553701 facet normal 1.250030e-14 -1.000000e+00 -7.678644e-14 facet normal -0.0635364 -0.807247 0.586784 vertex 4.46118 -2.47079 19.9 vertex 6.04355 -2.39281 20 vertex 4.14326 -5.00834 19.9 vertex 2.23191 -1.10469 19.8418 vertex 5.04221 1.97652 19.4867 facet normal -0.772965 0.634336 -0.0119421 facet normal 0.0974474 0.989341 0.108207 facet normal -7.388658e-01 3.468942e-03 -6.738436e-01 facet normal -0.768363 0.630808 0.108162 facet.
- Normal -0.0980344 -0.988479 0.115322 facet normal.
- Fixes from v1.1 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b