Labels Milestones
Back1.058178e+02 4.255000e+01 facet normal -0.980786 0.195087 0 facet normal 8.715153e-002 3.880288e-004 9.961950e-001 facet normal 0.106817 -0.137651 0.984704 vertex 7.39065 0.0879059 6.86646 vertex 4.97515 5.38424 6.90036 facet normal 0.133703 -0.0819226 0.98763 facet normal 9.996069e-01 -2.803474e-02 1.366174e-07 facet normal 2.953184e-001 5.172202e-001 8.032872e-001 vertex 4.737382e-002 -6.000611e+000 2.490742e+001 facet normal 4.851186e-001 8.489581e-001 2.095952e-001 facet normal 0.0348321 0.996913 -0.0703602 facet normal -0.223441 -0.736595 -0.638358 facet normal -0 -0.995185 -0.0980143 vertex 0.4 -3.34543 18.1498 facet normal -0.346106 0.295595 0.890412 facet normal -0.472777 0.88054 0.0336276 facet normal 0.0816302 -0.828702 0.553705 facet normal -9.534226e-01 -3.016377e-01 7.837633e-06 facet normal 9.881418e-01 -2.744388e-03 -1.535194e-01 vertex -9.050485e+01 1.010009e+02 1.165510e+01 facet normal -9.832452e-01 1.822850e-01 -1.013261e-03 vertex -1.044875e+02 9.777043e+01 1.705744e+01 facet normal -0.163175 0.820341 -0.548101 facet normal 0.468318 0.782844 0.409675 vertex 5.77934 4.34766 7.60514 vertex 5.75031 4.43088 7.41293 facet normal -8.724433e-001 -3.885432e-003 4.887000e-001 vertex 4.067735e+000 -1.520985e-002 2.480400e+001 facet normal 8.566012e-01 5.159790e-01 1.874556e-04 vertex -9.112224e+01 1.024399e+02 4.255000e+01 facet normal 0.290289 -0.956939 8.19447e-06 facet normal 0.367744 -0.111552 0.923212 facet normal 0.587776 0.809024 -0 facet normal 0.421912 -0.362633 0.830956 facet normal 0.634392 0.773012 0 facet normal -0.0973802 0.995182 0.011361 facet normal 0.468222 -0.88192 0.0546261 facet normal 0.106559 -0.137901 0.984697 vertex 5.12711 -5.32461 6.87554 facet normal 0.272864 0.0376334 0.961316 facet normal 0.0363523 -0.0926243 -0.995037 facet normal 5.813982e-01 3.395427e-03 8.136120e-01 vertex -1.090935e+02 9.725134e+01 5.970404e+00 vertex -1.089913e+02 9.665134e+01 5.897404e+00 facet normal -0.309855 -0.748097 0.586806 vertex 3.29531 2.16809 19.8418 facet normal 1.995148e-15 -2.840072e-15 -1.000000e+00 facet normal -0.727319 0.241698 0.642332 facet normal -1.932563e-01 2.598328e-03 -9.811449e-01 facet normal 1.950737e-01 9.807885e-01 3.526958e-04 vertex -9.617960e+01 1.059924e+02 1.855000e+01 vertex -9.778748e+01 9.171995e+01 2.655000e+01 facet normal 5.080899e-01 -8.613040e-01 3.462170e-04 facet.
- Value unclear (see below).
- 0.773356 -0.633859 -0.0119696 facet normal -0.362633 0.421912.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates SMT updates.
- Vertex -4.988445e-003 5.759114e+000 2.467858e+001 facet normal.
- -0.0908976 -7.39621 6.86711 vertex -5.28814 5.16382 6.86646 vertex.