Labels Milestones
Back-1.079020e+02 9.665134e+01 8.909213e+00 facet normal 0.000000e+00 -4.578607e-16 -1.000000e+00 facet normal 0.820341 0.163177 -0.548101 facet normal -4.705319e-001 8.082495e-001 3.540233e-001 facet normal 4.926592e-001 -8.446022e-001 2.096043e-001 vertex -2.015217e+000 3.450173e+000 2.475471e+001 facet normal -1.326702e-08 -1.000000e+00 -7.842617e-07 facet normal 7.498114e-001 3.519637e-003 6.616423e-001 facet normal -0.77301 0.634394 -3.15376e-06 facet normal -0.768498 -0.630636 0.108209 facet normal -4.851193e-001 -8.489584e-001 2.095921e-001 vertex 2.017459e+000 3.468129e+000 2.475471e+001 vertex 1.304427e+000 3.875576e+000 2.475471e+001 facet normal 0.991524 0.109224 0.0703598 facet normal -0.679084 0.550873 0.485163 facet normal 4.986628e-001 -8.542891e-001 1.467161e-001 facet normal -0.417288 0.223046 0.880977 vertex 7.69994 -3.18942 5.74921 facet normal -0.0825968 -0.0807457 0.993307 vertex 5.26759 -5.16186 6.86461 vertex 5.23616 -5.23616 6.86814 facet normal 3.519677e-001 6.132856e-001 7.071065e-001 vertex -4.289604e+000 -3.446705e+000 2.484855e+001 facet normal 2.113857e-001 3.713560e-001 9.041077e-001 vertex 4.765115e-002 -6.062895e+000 2.493625e+001 facet normal -0.828672 -0.0815232 0.553766 facet normal 0.956937 -0.288339 0.0336393 facet normal 0.0169529 0.828691 0.559449 vertex 7.28282 0.821781 7.24568 facet normal 0.584903 -0.805014.
- 9.833611e-01 vertex -1.076894e+02 9.695134e+01 8.869634e+00.
- SMT updates Checkpoint after converting most things.