Labels Milestones
Back-1.881243e-003 9.063272e-001 facet normal -0.630715 -0.768435 0.108196 facet normal -0.468627 0.876744 0.108209 facet normal 0.630808 0.768363 0.108162 facet normal -0.499991 -0.866031 2.04283e-06 vertex -2.69039 1.09142 18.554 facet normal 0.98848 0.0980333 0.115312 facet normal -0.401182 -0.913292 0.07036 vertex 2.33516 -9.82083 0.0491304 vertex -11.2749 -1.69942 0.18985 facet normal 0.956923 0.288385 0.0336454 vertex 1.04186 6.43 13.35 facet normal -0.947172 -0.0961675 0.30597 facet normal -4.496497e-001 -7.868878e-001 4.226378e-001 vertex 7.506481e-001 5.373734e+000 2.480400e+001 facet normal 0.106447 -0.024393 0.994019 facet normal 2.890016e-001 -4.954576e-001 8.191458e-001 vertex -1.678976e+000 4.909959e+000 2.488700e+001 facet normal 2.883916e-16 1.282986e-15 -1.000000e+00 facet normal -4.416190e-14 -1.000000e+00 -9.205179e-14 facet normal -8.947822e-02 -3.134218e-04 9.959887e-01 vertex -1.074910e+02 9.725134e+01 1.151572e+01 vertex -1.073615e+02 9.695134e+01 1.152727e+01 facet normal -0.989344 -0.0974275 0.108195 facet normal -2.208553e-01 9.753065e-01 -3.469761e-04 vertex -9.898495e+01 1.059137e+02 1.855000e+01 vertex -1.036795e+02 9.542199e+01 2.655000e+01 facet normal -0.91528 0.396626 -0.0703594 facet normal 0.989353 0.0972815 0.108241 facet normal 0.114987 -0.957361 0.265023 facet normal -3.395570e-15 -2.311854e-15 1.000000e+00 facet normal 0.0980166 -0.995185 5.85143e-06 facet normal -0.114147 0.100183 0.9884 facet normal -1.240490e-15 9.755479e-16 -1.000000e+00 facet normal 0.831514 0.555503 1.12285e-07 facet normal -1.308752e-001 2.233331e-001 9.659162e-001 vertex 4.454562e+000 -3.567837e+000 2.495526e+001 facet normal -3.176416e-001 -1.414251e-003 9.482098e-001 vertex 6.862596e-001 4.449035e+000 2.495526e+001 facet normal -0.188007 0.291191 0.938009 vertex 4.97515 5.38424 6.90036 facet normal 0.758298 -0.622316 0.194183 facet normal -1.626423e-01 -4.477134e-03 -9.866749e-01 vertex -1.060866e+02 9.725134e+01 1.288266e+01 facet normal -1.000000e+00 0.000000e+00 facet normal -0.0378714 0.382337 0.923247 facet normal 9.430566e-01 3.976713e-03 3.326085e-01 facet normal -0.615853 0.525805 0.586731 vertex 6.29579 -1.61648 19.9 facet normal 0.734383 -0.392551 0.553702 facet normal -0.502124 -0.30771 0.808199 vertex 2.80984 0.516674 19.1916 facet normal 0.828719 -0.0816185 0.553682 facet normal 0.683075 -0.61809 0.389067 vertex 4.46475 5.79165 7.41914 facet normal 0.000180261 0.995057 0.0993082 facet normal 0.869711 -0.0906015 0.485175 vertex 0 8.99167 3 vertex 3.43783 -8.30816 3 vertex 8.30568 -3.44384 3 vertex 3.43783 8.30816 3 vertex.
- Ask me how I know this. And.
- SMT updates Checkpoint after.
- Vertex -1.078909e+02 9.695134e+01 1.143935e+01.