Labels Milestones
Back-0.070358 vertex -3.60287 -9.4298 0.0491304 facet normal 0.14487 0.0600084 0.987629 vertex 4.4 -1.22459 18.9636 vertex 5.0656 0.339142 18.8084 facet normal 0.46863 -0.876742 0.108209 facet normal 0.472777 -0.88054 0.0336276 facet normal 0.0620348.
- 2.945889e+000 2.493625e+001 facet normal 8.191569e-001 3.647550e-003 5.735579e-001 vertex.
- -0.292559 0.0546222 facet normal -0.29034 -0.956924 -9.5392e-07.
- -3.416150e-04 vertex -1.008637e+02 1.051965e+02 2.655000e+01.
- 2.931 1.971 (end 2.931.
- V1.1 SMT updates Checkpoint after fixes but.