Labels Milestones
Back0.603871 0.705981 vertex 6.1206 1.7206 19.8418 vertex 6.25172 -0.943498 19.4867 facet normal 0.116097 3.58571e-05 0.993238 vertex -4.18518 5.59382 7.89166 vertex -4.18951 -5.59201 7.89187 facet normal -0.0818475 -0.0808324 0.993362 facet normal 0.525856 -0.61569 0.586857 vertex 6.10385 -1.79038 19.9 facet normal 0.083183 0.0810354 0.993234 vertex -4.3315 5.83003 7.92322 facet normal -9.513645e-01 -3.080676e-01 -1.010354e-05 facet normal -0.679084 0.550873 0.485163 facet normal -2.37262e-05 -0.115822 -0.99327 vertex -0.41258 -6.33525 7.82405 facet normal 0.13748 0.572633 0.808202 facet normal -0.049718 -0.0861137 -0.995044 facet normal -0.841034 -0.531802 0.0992375 facet normal 4.56308e-05 -0.115797 0.993273 facet normal 9.835916e-001 1.804094e-001 -0.000000e+000 vertex 5.222623e+000 2.190589e+000 9.983999e+000 vertex 3.858692e+000 5.902027e+000 2.496000e+001 vertex -2.857563e-001 -5.687710e+000 1.747200e+001 facet normal 2.008935e-02 -4.504057e-03 9.997880e-01.
- Vertex -4.736663e-001 7.015148e+000 9.983999e+000 vertex -5.550534e+000.
- Branch smt_version Notes about component heights.
- -0.5 0 (end 0.45 0 (end.