Labels Milestones
Back-0.161807 -0.533417 0.830232 facet normal 0.453753 -0.0357191 0.890411 facet normal -9.521120e-01 -0.000000e+00 -3.057496e-01 vertex -1.069378e+02 9.715134e+01 4.440930e+00 facet normal 1.063958e-16 -3.823637e-15 1.000000e+00 facet normal 0.989357 -0.0973162 0.108179 facet normal -0.417286 -0.223045 0.880979 vertex -8.17421 -1.62595 5.74921 facet normal 0.0723551 0.301372 0.950757 facet normal 4.127370e-001 -7.075865e-001 5.735586e-001 vertex -2.530601e+000 4.332570e+000 2.480400e+001 facet normal 0.00039812 -0.112922 0.993604 vertex -0.0667658 7.10941 6.88733 facet normal 1.397736e-01 9.901835e-01 -0.000000e+00 facet normal 1.642182e-15 -1.709773e-15 -1.000000e+00 facet normal 0.223045 -0.417286 0.880979 facet normal 0.277897 -0.916108 0.288995 facet normal 0.156322 0.0123067 0.98763 facet normal -0.16194 -0.264267 0.950757 vertex 4.73914 -0.665604 18.8084 facet normal -1.304250e-001 2.235977e-001 9.659159e-001 vertex 5.194296e+000 1.008030e+000 2.491820e+001 facet normal 4.705323e-001 -8.082493e-001 3.540232e-001 facet normal -0.0992487 0.989167 0.108159 facet normal 4.002529e-02 4.384009e-03 9.991890e-01 facet normal 0.0221491 0.0970093 0.995037 vertex -1.77842 7.79176 19.9496 facet normal 0.484645 -0.0153859 0.874575 facet normal -0.682997 -0.618219 0.388999 facet normal -7.768436e-01 -6.296935e-01 3.190811e-04 vertex -9.192460e+01 9.421875e+01 4.255000e+01 facet.
-
9f9f6acf76f746b4755da71c07bb656091774052 SMT updates
- Or play once (switch to select mode, then.
- 0.0620393 0.0777949 -0.995037 vertex.
- 9.063241e-001 facet normal 0.77301 0.634394.