Labels Milestones
Back-3.557177e-01 facet normal -3.946980e-001 6.737704e-001 6.246974e-001 vertex 3.504650e+000 -2.753122e+000 2.488700e+001 facet normal 4.866833e-001 -8.343585e-001 2.588152e-001 facet normal -0.000168634 -0.113093 0.993584 vertex 0.130917 7.12888 6.88955 facet normal 8.393471e-02 9.964713e-01 0.000000e+00 vertex -1.045770e+02 9.890126e+01 3.455000e+01 vertex -9.617936e+01 9.181029e+01 1.055000e+01 facet normal -0.630299 0.768773 0.108219 facet normal 4.493219e-01 -7.207481e-03 8.933408e-01 facet normal 0.900346 0.423674 0.0993863 vertex 7.43821 -2.945 20 facet normal -0.261482 0.103782 0.959613 facet normal 0.772981 -0.634316 -0.0119415 facet normal 0.295598 -0.346102 0.890413 vertex 3.84405 1.09111 18.9636 facet normal -9.318321e-01 3.433637e-03 -3.628734e-01 facet normal -9.653280e-01 2.610399e-01 2.267875e-04 vertex -9.049593e+01 1.009714e+02 4.255000e+01 facet normal -0.772589 0.634804 0.0114014 facet normal 0.831468 0.555573 -2.91184e-08 vertex -2.4343 -2.40319 6.59 facet normal 0.0973966 0.989347 0.108199 facet normal -5.011260e-001 8.639780e-001 4.914060e-002 facet normal 0.0973966 -0.989347 0.108199 facet normal -2.727314e-001 -9.620902e-001 0.000000e+000 vertex 6.105788e+000 -3.657241e+000 9.983999e+000 vertex 6.382745e+000 3.056598e+000 1.747200e+001 facet normal 0.95694 0.290287 0 vertex 2.07867 1.38893 6.5 vertex -2.07867 -1.38893 6.7 vertex 2.3097 -0.956708 6.7 vertex 2.3097 -0.956708 6.5 vertex 0.487725 -2.45196 6.5 vertex -1.38893 2.07867 6.7 vertex -1.38893 -2.07867 6.5 facet normal -0.631369 0.76932.
- -0.994983 facet normal 8.560691e-01 -6.853637e-03.
- -0.000209061 0.115803 0.993272 facet normal 0.881901 0.471435 3.73804e-06.
- SMT updates Checkpoint after tweaking.