Labels Milestones
Back5.5867 -4.34382 7.39225 vertex -7.08696 0.77032 7.22283 vertex -7.19919 0.932982 7.41293 vertex 5.5867 4.34382 7.39225 vertex 5.55594 -4.46654 7.22283 facet normal 0.173186 -0.0921987 0.980564 facet normal -0.989331 -0.0975625 0.108193 facet normal -0.242747 0.97009 0 vertex -5.96308 -8.22545 0 facet normal 0.000349206 0.11558 0.993298 vertex -6.72966 0.896427 7.87006 vertex -6.73225 -0.892525 7.87036 vertex 6.72966 0.896427 7.87006 vertex 5.10452 0.896427 21.7998 facet normal -0.737769 -0.601732 0.305966 facet normal -1.600428e-001.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after tweaking.
- -3.898465e+000 2.480400e+001 facet normal 0.0816481 -0.828735.