Labels Milestones
Back4.55282 7.3242 facet normal 0.13748 0.572633 0.808202 facet normal 2.956752e-001 5.170185e-001 8.032858e-001 vertex -5.102053e+000 -3.029756e+000 2.488918e+001 facet normal -0.471397 -0.881921 0 vertex 0 -10.1139 2.58057 facet normal 0.247465 0.963808 0.0991679 facet normal 0.0458094 0.920075 0.389053 facet normal -0.615849 0.525866 0.586681 vertex 6.30465 -1.57006 19.9 facet normal 0.247471 -0.9638 0.0992317 facet normal 1.505852e-01 2.986818e-03 9.885925e-01 facet normal 0.0694748 -0.705391 0.705406 facet normal 1.331864e-01 3.643072e-03 9.910843e-01 facet normal 4.792349e-001 8.386608e-001 2.588087e-001 facet normal -0.0980045 -0.995186 0 vertex -2.85317 0.927051 0 vertex 8.65691 -5.31736 0 facet normal -0.881901 -0.471435 3.73804e-06 facet normal 0.643689 0.528266 0.553714 facet normal -1.357119e-12 1.000000e+00 9.445800e-15 facet normal 0.0840795 0.0573313 -0.994808 vertex 8.08623 5.87499 0.0486876 facet normal -0.768246 -0.629688 0.115285 facet normal -0.831463 -0.555581 0 vertex -0.388301 -10.1521 2.19603 vertex -8.22545 -5.96308 2.19603 vertex -10.1521 0.388301 0 vertex -0.709089 9.46214 6.17307 facet normal -0.880482 -0.468837 -0.0703026 vertex 7.86116 -3.78574 12.5787 facet normal 0.114148 0.990969 -0.0703601 vertex 6.95569 6.45394 6.17309 facet normal -0.631327 0.769359 0.0975343 vertex 6.36396 6.36396 3 vertex -8.82707 1.75581 3 facet normal 0.773016 0.634386 0 vertex -9.99456 -1.98804 2.19603 vertex -8.40938 5.61897 2.58057 facet normal -0.097633 0.989318 0.108249 facet normal -3.318478e-001 5.689119e-001 7.524735e-001 facet normal -0.918689 0.264755.
-
Updates SMT updates SMT updates
- 7.02194 0.878851 7.39225 facet normal -0.115828 5.30788e-07 -0.993269.