Labels Milestones
BackVertex 3.812092e-002 -4.850317e+000 2.493625e+001 facet normal 0.439084 -0.687856 0.577979 vertex 4.54285 -5.69935 7.24096 vertex -5.55594 4.46654 7.22283 vertex 7.19919 0.932982 7.41293 vertex -5.77934 4.34766 7.60514 vertex -5.81619 -4.41238 7.55007 facet normal -0.547909 -0.449652 0.705414 vertex 6.69544 6.69544 3.54602 facet normal 0.362633 0.421912 0.830956 vertex 5.62591 -4.72589 7.07423 vertex -7.3363 0.49869 6.98312 facet normal -0.29028 -0.956942 0 facet normal 0.957361 0.114987 0.265023 facet normal -0.0285886 -0.0942435 0.995139 vertex -5.51093 -5.51093 5.97318 facet normal 0.081933 0.133696 0.98763 facet normal 8.244231e-16 -2.375573e-15 -1.000000e+00 facet normal 0.533422 -0.0645475 0.843383 vertex -7.16112 0.632185 7.08096.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after converting.
- -4.711695e-001 8.820427e-001 0.000000e+000 vertex.
- { Initial stab at.