Labels Milestones
Back-3.606953e+000 9.983999e+000 vertex -8.646397e+000 4.992000e+000 0.000000e+000 vertex 4.575243e+000 -3.392458e+000 9.983999e+000 vertex -5.422409e+000 -1.601256e+000 1.747200e+001 facet normal -0.0942412 0.028589 0.995139 vertex -2.78147 -6.9771 6.0001 facet normal -0.547907 -0.449653 0.705415 facet normal -0.50788 0.489712 0.708689 vertex 4.54285 5.69935 7.24096 facet normal -0.0808324 0.0818475 0.993362 vertex -4.12613 4.97321 7.83559 facet normal -1.418057e-13 -1.000000e+00 2.131053e-13 facet normal 0.547909 0.449652 0.705414 vertex -6.69544 -6.69544 3.54602 facet normal -0.367478 -0.924721 0.0992563 facet normal -9.522213e-01 -3.054087e-01 1.360595e-05 facet normal -0.435818 0.815358 0.381123 vertex -5.53561 -8.28463 2.94279 facet normal -0.768426 -0.630721 0.108223 facet normal 1.951069e-01 -9.807820e-01 0.000000e+00 vertex -1.042160e+02 9.665134e+01 1.561034e+01 facet normal 0.950499 -0.290271 0.110881 facet normal 0.45399 -0.891007 0 facet normal -0.770773 -0.0759145 0.63257 facet normal -0.915274 -0.396639 -0.0703619 facet normal 0.39254 -0.665267 0.635084 facet normal -0.665695 -0.586529 0.46134 facet normal -0.528267 -0.64375 0.553643 facet normal 0.0458094 -0.920075 0.389053 vertex 7.2327 0.99264 7.55007 vertex 1.01235 -7.16087 7.60514 facet normal -7.499905e-01 4.160305e-03 6.614355e-01 vertex -1.083551e+02 9.695134e+01 1.122183e+01 facet normal -8.104236e-01 1.684634e-04 5.858443e-01 vertex -1.046242e+02 9.695134e+01 9.573475e+00 vertex -1.045610e+02 9.665134e+01 9.661099e+00 facet normal -0.484683 0.0154455 0.874554 facet normal -0.83205 -0.5547 0 vertex 5.00013 -7.48323 3 vertex -3.44415 8.31492 3 facet normal 2.94821e-05 -0.956933 -0.290308 vertex 1.31069 3.16429 6.59 vertex 2.81683 -1.16677 6.59 vertex -2.53249 -1.69705 6.59 vertex 2.42184 -2.42184 18.1498 facet normal 0.952737 0.286094 0.102192 facet normal -0.0602554 -0.0859333 0.994477 vertex 5.83593 5.4803 19.9427 facet normal -0.32036 0.220665 0.921236 facet normal -0.885456 -0.0559778 0.46134 vertex 5.20841 -4.17623 7.5439 vertex 6.71541 -0.672644 7.35649 vertex 4.29172 5.03912 7.34278 facet normal -2.890011e-001 4.954567e-001 8.191465e-001 vertex 8.073070e-001 5.472888e+000 2.491820e+001 facet normal 0.0922671 -0.172963 0.980597 vertex -5.0946 5.35022 6.88312 facet normal -0.749604 -0.288937 0.59549 vertex -5.40021 -4.41978 7.20613 facet normal 0.772981 0.634316 -0.0119415 facet normal -4.395876e-001 7.536196e-001 4.886923e-001 facet normal 0.918689 -0.264755 0.293113 vertex 4.20094 -4.78188 7.71954 vertex -6.29114 0.209414 7.71246 facet normal -0.115745 0.000168718 -0.993279 facet normal -0.915274 -0.396639 -0.0703619 facet normal 0.119229 0.101845 0.987629 facet normal 0.989345 0.0974075 0.108204 facet normal -1.000000e+00 0.000000e+00 facet normal 0.0285817 0.29018 0.956545 vertex -7.91987 1.57536 5.88782 facet normal -3.934399e-001 6.745046e-001 6.246988e-001 facet normal -0.0728683 -0.0676734 -0.995043 vertex -6.37314 -7.70061 0.0405804 facet normal -0.469113 0.877731 0.0975757 vertex 7.48323 5.00013 3 facet normal -0.468222 -0.88192 0.0546261 facet normal 0.0819011 -0.0819033 -0.993269 facet normal -0.364881 0.54795 0.752737 facet normal -9.961866e-001 -4.435369e-003 8.713581e-002 facet normal 0.552431 0.109936 -0.826277 vertex -2.83126 1.17275 18.8241 facet normal -0.237828 0.388082 0.89041 vertex 4.91667 1.59016 19.1916 facet normal -0.840154 0.533177 0.0993123 facet normal -3.508289e-001 -6.139492e-001 7.070965e-001 vertex 2.548704e+000 4.382203e+000 2.484855e+001 facet normal.
- -9.964601e-01 -8.406740e-02 -0.000000e+00 vertex.
- Switches smt_version Merge pull request.
- 0.725376 0.0991921 facet normal 4.639141e-001 8.140082e-001 3.495346e-001 vertex.