Labels Milestones
Back-9.054433e+01 1.008513e+02 1.130642e+01 vertex -9.055258e+01 9.665134e+01 2.550000e+00 facet normal 0.768363 -0.630808 0.108162 facet normal -0.594398 0.478901 0.646022 facet normal -0.29028 -0.956942 0 facet normal 0.988479 0.0980344 0.115322 facet normal 0.0723976 0.0679633 0.995058 vertex -5.10012 6.17049 19.9439 facet normal -0.471352 -0.881864 -0.0120147 facet normal 0.124702 -0.9872 0.0994275 facet normal 9.627515e-01 5.193377e-04 2.703871e-01 vertex.
- -0.554748 -0.0546376 0.830223 facet normal -0.279012.
- Managed by, or claims asserted against.
- 5.222064e+000 2.992327e+000 2.493625e+001 facet normal -0.740028 0.607324.
- Port in fixes from v1.1 SMT.
- -1.234690e-15 facet normal -0.865129 0.462433 0.194183 vertex -5.96308.