Labels Milestones
Back-4.41238 5.81619 7.55007 vertex 7.16087 -1.01235 7.60514 vertex -7.2327 -0.99264 7.55007 facet normal 0.0840795 0.0573313 -0.994808 vertex 8.08623 5.87499 0.0486876 facet normal 0.714673 -0.538408 0.446497 vertex 0.72986 -6.63594 7.5439 facet normal -0.976223 -0.0962896 0.194209 vertex 0 -5.37835 22.0001 vertex 5.28194 0.978841 22.0001 vertex 2.0582 -4.96895 22.0001 vertex 3.84796 3.74837 22.0001 vertex -2.0582 4.96895 22.0001 vertex 4.47193 2.98805 22.0001 vertex -1 7.23463 7.52583 vertex 1 6.95595 7.79002 vertex 1 6.28946 13.3638 vertex 1 6.42387 12.8506 vertex 1 6.92771 7.89317 vertex -1 5.39134 21.8333 vertex -1 5.30257 21.8229 vertex -1 5.30257 21.8229 vertex -1 6.92771 7.89317 vertex -1 6.34847 12.858 vertex 1 7.16683 7.57523 vertex -1 7.23003 7.56779 vertex -1 7.29533 6.97071 vertex -1 5.27986 22.0001 vertex 4.47193 -2.98805 22.0001 vertex 5.27501 1.04926 22.0001 vertex -5.28194 -0.978841 22.0001 vertex.
- -1.081444e+02 9.725134e+01 1.036085e+01 vertex -1.082663e+02.
- -0.249271 0.963336 0.0992379 facet normal -0.403622.
-
9f9f6acf76f746b4755da71c07bb656091774052 SMT updates SMT updates