Labels Milestones
Back1.359439e-001 facet normal -0.0546157 0.55474 0.830229 vertex 1.84727 -9.28685 3.54602 facet normal -0.327119 0.94236 0.0703596 facet normal 0.898705 -0.427228 0.0990185 vertex 9.29776 3.68124 0 facet normal 0.0285879 0.0942422 0.995139 vertex -7.64388 -1.52046 5.97318 vertex 2.96676 -6.90035 6.0001 facet normal 0.828697 -0.0816152 0.553715 facet normal -9.883347e-01 1.522975e-01 2.409692e-04 vertex -9.030875e+01 1.001942e+02 4.255000e+01 facet normal 0.462436 -0.865129 0.19418 facet normal -0.000434052 -0.0977824 -0.995208 facet normal -9.062953e-001 -4.035140e-003 4.226258e-001 facet normal -0.125985 -0.987055 0.0992526 facet normal 0.192238 -0.421012 0.88645 facet normal.
- 6.433005e+000 -3.038559e+000 1.747200e+001 facet normal -0.192217.
- 0.995045 facet normal 0.634341 0.773053 -5.92546e-06 facet.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after fixes.
- -0.707109 0.0703597 vertex 10.8957 -3.36088.