Labels Milestones
Back6.918735e-001 -7.088008e+000 1.747200e+001 vertex -6.149543e+000 3.418378e+000 2.496000e+001 vertex 5.622908e+000 -8.258408e-001 9.983999e+000 vertex 2.723071e+000 -6.583945e+000 1.747200e+001 facet normal 0.21962 0.166294 0.961308 vertex 5.04394 -5.04394 6.87796 facet normal 4.942510e-001 8.649395e-001 8.715332e-002 facet normal -5.026220e-001 8.616840e-001 6.979911e-002 facet normal 9.995028e-01 0.000000e+00 3.152879e-02 vertex -9.055663e+01 1.011513e+02 1.104489e+01 facet normal -7.808552e-001 -3.477091e-003 6.247023e-001 vertex 4.089033e+000 8.061283e-001 2.484855e+001 facet normal 0.979666 -0.187891 0.0703596 vertex 7.10921 8.91466 0.18985 facet normal -0.301701 0.851405 0.429052 facet normal -9.013511e-01 -1.491429e-03 4.330867e-01 facet normal -0.264717 -0.91869 0.293144 vertex -5.00765 -4.19667 7.52902 facet normal -1.950737e-01 -9.807886e-01 0.000000e+00 vertex -9.390516e+01 1.051966e+02 3.455000e+01 facet normal 0.0823401 0.0817408 0.993246 vertex -4.28385 -5.77925 7.9151 facet normal 4.981346e-001 -8.545976e-001 1.467135e-001 vertex -5.015605e+000 2.836409e+000 2.467858e+001 facet normal -0.554748 0.0546376 0.830223 facet normal -0.388502 -0.486762 0.782387 facet normal 2.208553e-01 -9.753065e-01 -3.469761e-04 vertex.
- Switches smt_version Merge pull request 'Put title.
- Normal -0.865136 0.462421 0.194181 facet normal.
- Vertex 6.128995e-001 4.320654e+000 2.484855e+001 facet normal -0.528237 0.643675.