Labels Milestones
Back-4.78839 -5.45272 6.97207 vertex 7.15425 0.422769 6.96188 vertex -4.75047 -5.25893 6.95295 facet normal 0.956941 -0.290281 1.92409e-06 facet normal 4.667715e-001 8.177221e-001 3.368307e-001 vertex -5.001678e+000 -2.971207e+000 2.473857e+001 facet normal -0.297024 -0.135125 0.945261 vertex 0.422769 -7.15425 6.96188 vertex -4.57828 -5.3829 7.06725 vertex 0.469754 -7.24156 6.97207 facet normal 2.104677e-001 3.664394e-001 9.063253e-001 vertex 4.428093e+000 -3.522460e+000 2.494118e+001 facet normal -5.735811e-001 -2.554048e-003 8.191448e-001 vertex -5.117209e+000 9.621161e-001 2.488700e+001 facet normal 9.407388e-01 -3.391319e-01 -3.084939e-04 facet normal 9.991298e-01 4.170739e-02 2.542647e-04 vertex -1.045763e+02 9.900120e+01 4.255000e+01 facet normal -0.629624 -0.768293 0.115323 vertex 3.27291.
- -4.084597e-01 3.193598e-04 facet normal.
- -2.548137e-001 -4.466464e-001 8.576578e-001 facet normal 0.598691 0.491338.
- V1.1 SMT updates Checkpoint after.
- -1.535194e-01 vertex -9.050485e+01 1.010009e+02.