Labels Milestones
Back-3.13809 1.3499 6.59 facet normal -0.778622 -0.416181 0.469619 facet normal -0.980917 0.194428 0 vertex -1.21798 -6.38487 19.9 facet normal 0.115847 -6.62301e-05 -0.993267 facet normal -2.340998e-01 0.000000e+00 9.722126e-01 vertex -1.057894e+02 9.665134e+01 8.925305e+00 vertex -1.056213e+02 9.695134e+01 8.965788e+00 facet normal 0.241723 -0.796854 0.553709 facet normal 4.808466e-001 8.424486e-001 2.430369e-001 vertex 4.669177e-002 -5.847422e+000 2.470887e+001 facet.
- Normal 1.876690e-15 2.158511e-16 -1.000000e+00 facet.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint.
- Shaped hole you can use one on.