Labels Milestones
Back-0.0461938 0.808201 vertex 6.07199 0 19.1916 vertex 3.04733 0.982774 19.1916 facet normal 3.318494e-001 -5.689145e-001 7.524708e-001 vertex -2.052556e+000 3.514187e+000 2.488700e+001 facet normal -0.0908696 0.0438181 -0.994898 facet normal 0.382478 -0.447795 0.808202 vertex 3.41722 -1.35267 19.1916 facet normal 0.900364 0.423669 0.099239 facet normal -0.36774 -0.111504 0.92322 vertex 6.46493 -6.46493 3.76384 facet normal -5.393416e-002 -9.438483e-002 9.940737e-001 vertex 2.854274e+000 -3.268050e+000 2.495526e+001 facet normal -9.576888e-01 -2.878057e-01 2.888333e-04 vertex -1.042125e+02 9.664056e+01 4.255000e+01 facet normal 0.816087 -0.545278 -0.191503 vertex -2.65784 1.99639 18.3555 facet normal -0.957361 0.114987 0.265023 facet normal -0.0546157 -0.55474 0.830229 vertex -1.59974 -9.31122 3.54602 facet normal 0.828628 -0.0822158 0.55373 facet.
- -0.156322 0.98763 facet normal 0.643667.
- 9.981389e-01 -3.527984e-03 -6.087880e-02 vertex -1.094189e+02.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates.