Labels Milestones
BackNormal -9.837131e-01 -1.797458e-01 2.781967e-04 vertex -1.044212e+02 9.741230e+01 4.255000e+01 facet normal -0.747986 0.192839 0.635083 facet normal -0.940721 -0.331802 0.0703595 facet normal 7.990003e-01 6.013306e-01 0.000000e+00 vertex -9.019160e+01 9.890135e+01 1.855000e+01 facet normal 0.111553 -0.367742 0.923213 vertex 9.14279 0 3.76384 facet normal -1.064903e-14 -1.000000e+00 -1.490231e-14 facet normal -0.435817 -0.76572 0.473008 vertex -6.50844 0.573447 7.52902 facet normal -0.114014 -0.061823 0.991554 facet normal -8.031607e-001 -3.785077e-003 5.957504e-001 vertex 5.100596e+000 2.921475e+000 2.484593e+001 facet normal -0.0376652 -0.382444 0.923211 vertex 0.0330347 8.99675 3.82299 facet normal 6.034096e-17 -5.396832e-16 -1.000000e+00 facet normal -8.091787e-01 1.313994e-03 -5.875612e-01 vertex -1.084108e+02 9.695134e+01 1.056618e+01 facet normal -0.277899 -0.916108 0.288996 vertex 8.79978 1.75038 4.79464 facet normal 0.768482 0.630652 0.108225 facet normal -3.869899e-01 -4.664121e-03 -9.220722e-01 vertex -1.054471e+02 9.695134e+01 1.272474e+01 facet normal -0.0974082 0.989348 0.108177 facet normal -0.24746 -0.963801 0.0992579 vertex -3.09017 -9.51056 0 facet normal -0.392549 -0.734381 0.553705 facet normal 9.250155e-02 6.790486e-03 9.956894e-01 vertex -1.076467e+02 9.665134e+01 8.863766e+00 facet normal -0.000209061 -0.115803 0.993272 facet normal -2.294227e-004 3.933168e-004 -9.999999e-001 facet normal 0.0980237 0.995112 -0.0119421 facet normal 5.212690e-001 8.533924e-001 -0.000000e+000 vertex 7.390471e-001 5.579846e+000 9.983999e+000 vertex 1.828861e+000 5.328399e+000 2.496000e+001 vertex -5.569738e+000 4.292930e+000 9.983999e+000 vertex -4.217378e+000 -3.791486e+000 2.496000e+001 vertex 5.919638e+000.
- 7.71954 facet normal -6.013035e-01 -7.990206e-01 -3.390242e-04 vertex.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after fixes.