Labels Milestones
Back4.330867e-01 vertex -1.084402e+02 9.725134e+01 1.109822e+01 facet normal -0.115822 -2.37262e-05 -0.99327 facet normal 0.081922 0.0818425 0.993273 facet normal -0.367832 0.00399982 0.929883 facet normal -0.449653 0.547907 0.705415 facet normal -0.956672 0.290933 -0.0117085 facet normal -0.24746 -0.963801 0.0992579 vertex -3.09017 9.51056 0 facet normal -7.825419e-002 -9.969335e-001 0.000000e+000 vertex -5.709703e+000 -4.193455e+000 2.496000e+001 vertex 2.091881e+000 5.232259e+000 1.747200e+001 facet normal 7.028667e-01 -7.113215e-01 -3.321552e-04 vertex -1.024704e+02 1.039873e+02 1.055000e+01 vertex -1.013535e+02 1.048997e+02 2.550000e+00 facet normal 0.288339 -0.956937 0.0336393 facet normal 0.000000e+00 -4.578607e-16 -1.000000e+00 facet normal 3.561311e-01 3.436078e-03 -9.344297e-01 facet normal 0.290264 0.956873 -0.0119204 facet normal -0.00746153 0.0992384 0.995036 facet normal -0.633162 0.0623602 0.771503 facet normal -0.635858 0.771715 -0.0118532 facet normal 0.0546376 0.554748 0.830223 facet normal 9.901828e-01 -1.397735e-01 1.144797e-03 vertex -1.045318e+02 9.809589e+01 2.655000e+01 facet normal 0.489712 0.50788 0.708689 vertex 4.60319 -5.70811 7.20554 facet normal 0.028589 0.0942412 0.995139 vertex -5.31765 -5.31765 6.0001 facet normal -0.55213 0.109736 -0.826505 vertex -2.90049 -0.00317369 18.9333 facet normal -0.0376663 0.382433 0.923215 vertex 8.98903 0.111422 3.82299 facet normal 0.734385 0.39254 0.553707 facet normal -0.7054 0.06948 0.705395 facet normal -0.956432 0.291712 -0.0119451 facet normal -0.0316549 -0.0148778 0.999388 vertex 7.01508 3.85657 19.9472 facet normal -9.457311e-16 -4.798497e-15 1.000000e+00 facet normal -0.0635194 0.807211 0.586836 vertex 4.01273 -2.44513 19.9 facet normal 0.114195 0.990964 -0.070358 facet normal 0.635858 -0.771715 -0.0118532.
- 0.0846398 0.956549 vertex -4.48624 -6.71414 5.88782.
- SMT updates Checkpoint after tweaking footprints some.
- Vertex 5.170141e+000 -2.984018e+000 2.488918e+001.