Labels Milestones
BackNormal 0.703596 0.707109 0.0703594 facet normal 0.528271 -0.643697 0.553701 vertex 6.89148 -6.89148 3.26879 facet normal 0.916105 0.277898 0.289006 vertex -8.28921 -3.4335 4.79464 facet normal -0.290271 -0.950499 0.110881 facet normal -3.222716e-14 -1.000000e+00 -4.775722e-13 facet normal -9.127763e-01 -4.084597e-01 0.000000e+00 vertex -1.015464e+02 9.303519e+01 2.655000e+01 facet normal -0.115312 -0.00018283 0.993329 facet normal -0.137479 0.572634 0.808202 facet normal 0.0819177 0.0822333 -0.993241 facet normal 7.851442e-01 -0.000000e+00 6.193130e-01 facet normal 0.423073 -0.690391 0.58683 vertex 3.29531 2.16809 19.8418 facet normal 0.5865 -0.714682 0.381114 facet normal -0.114506 0.305573 0.945258 facet normal 3.330389e-001 -5.682179e-001 7.524716e-001 vertex -3.489263e+000 2.717412e+000 2.491820e+001 facet normal -0.560085 0.682467 0.46962 vertex -6.28393 -6.28393 5.07603 facet normal -0.0156742 -0.102556 0.994604 vertex -0.506212 7.98943 19.9433 facet normal 0.768414 0.630746 0.108161 facet normal 2.964444e-001 9.550501e-001 -0.000000e+000 vertex 6.771266e+000 2.081886e+000 1.747200e+001 facet normal -0.865129 -0.462433 0.194183 facet normal 0.989167 0.0992487 0.108159 facet normal 0.547916 -0.449666 0.705399 vertex 8.10352 -5.4146 3.26879 vertex 3.99693 -8.86128 3.26879 vertex 2.08528 -9.21464 3.54602 vertex 9.09213 -3.43962 3.26879 facet normal -2.890030e-001 4.954603e-001 8.191437e-001 vertex 2.629821e+000 -4.514335e+000 2.491820e+001 facet normal 0.768477 0.63066 0.108216 facet normal -0.0979739 0.995118.
- -0.76849 -0.630641 0.108235 facet normal -0.499999 0.866026 6.96236e-08.
- -0.836797 -0.462425 0.293145 vertex.
- 0.243721 -0.18809 0.951432 facet normal 0.288986 0.749614.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates SMT updates Checkpoint.
- 185 132.25 (end 185 132.25 (end 185.