Labels Milestones
Back4.542677e+000 2.495526e+001 facet normal -0.63062 -0.768512 0.108202 facet normal -0.125985 -0.987055 0.0992526 facet normal 0.362853 0.678848 -0.63836 facet normal -9.659234e-001 -3.105468e-003 2.588096e-001 vertex 5.056751e+000 -2.072245e+000 2.470218e+001 facet normal 0.468635 -0.876739 0.108209 vertex 3.23494 4.84143 21.335 facet normal -0.362975 0.678811 -0.638329 facet normal 0.223046 0.417288 0.880977 vertex -7.69994 3.18942 5.74921 facet normal 0.980847 0.194778 -4.93453e-07 vertex -3.16429 -1.31069 18.1498 facet normal -2.406782e-02 -3.765237e-03 -9.997032e-01 facet normal 4.939041e-001 8.649893e-001 8.861334e-002 vertex -1.265497e+000 -3.932295e+000 2.470218e+001 facet normal 0.124559 -0.036638 0.991535 facet normal 6.938886e-01 0.000000e+00 -7.200824e-01 facet normal -0.111553 -0.367742 0.923213 facet normal -9.507957e-01 8.916102e-03 -3.096902e-01 facet normal -0.282974 0.360201 0.888921 vertex 4.83683 4.97711 6.93683 facet normal 2.011668e-15 -8.236081e-17 -1.000000e+00 facet normal 0.0728387 0.0677121 0.995043 vertex -6.89956 6.40186 20.0916 facet normal 0.265169 0.618852 0.739397 facet normal -0.0808324 0.0818475 0.993362 vertex -5.1829 4.10478 7.85113 facet normal 0.695569 -0.464483 -0.548123 facet normal 0.634593 0.772847 -1.35691e-05 facet normal 0.989314 0.0976537.
- -0.956708 2.3097 6.5 facet normal.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 5 and 6 // manual reset.