Labels Milestones
Back-0.203118 18.7299 facet normal 1.452119e-001 2.519575e-001 9.567815e-001 vertex 4.795206e-002 -6.130479e+000 2.495400e+001 facet normal 0.706045 -0.0555529 0.705985 vertex 2.34735 -0.325107 19.4867 vertex 2.6794 -1.7206 19.8418 facet normal -1.876690e-15 2.158511e-16 -1.000000e+00 facet normal 0.367814 0.00389119 0.929891 vertex -0.303284 -7.37107 6.90571 vertex -5.50428 -4.89431 6.95641 facet normal 0.0918229 -0.0442066 0.994794 facet normal 0.954697 -0.292532 0.0545798 vertex -5.60068 -4.19817 7.78686 facet normal 5.000000e-001 8.660254e-001 0.000000e+000 vertex -5.447498e+000 1.441514e+000 2.496000e+001 vertex 5.417013e+000 1.665509e+000 1.747200e+001 facet normal 0.0821747 0.0822608 0.993217 vertex 5.16563 -5.29418 6.86711 vertex 0.0879059 7.39065 6.86646 vertex -0.289273 -7.32519 6.90036 vertex 0.0879059 7.39065 6.86646 vertex -0.289273 7.32519 6.90036 facet normal 0.630625 0.768509 0.108196 facet normal 9.576985e-01 -2.877733e-01 2.888333e-04 vertex -1.042125e+02 9.664056e+01 4.255000e+01 facet normal 0.828697 -0.0816152 0.553715 vertex -9.71631 0.301613 3.26879 vertex -3.72964 -9.00415 3.26879 vertex -8.28463 -5.53561 2.94279 facet normal 0.630632 0.768498 0.108232 facet normal -0.0723526 0.301372 0.950758 vertex 3.23535 -0.378418 18.9636 facet normal -0.834607 -0.26838 0.481043 vertex 0.364032.
- -0.305573 0.945258 facet normal -0.555576 -0.831466 -1.03191e-06 vertex.
- Cumulative fixes from v1.1 SMT updates Checkpoint.
- -8.335477e-04 -7.646392e-01 facet normal.