Labels Milestones
Back-0.367773 -0.111478 0.923209 facet normal -0.828735 0.0816481 0.553653 facet normal -0.362608 -0.422016 0.830914 vertex -5.64771 4.69512 7.09873 vertex -5.70811 4.60319 7.20554 facet normal 0.24747 -0.963812 0.0991233 facet normal 7.393308e-01 -3.994555e-03 -6.733305e-01 facet normal -0.106261 0.442582 0.89041 facet normal -2.129164e-001 3.650182e-001 9.063268e-001 facet normal -0.615691 -0.525861 0.586851 vertex 6.30465 -1.57006 19.9 facet normal -4.084597e-01 9.127763e-01 3.490173e-04 vertex -1.008637e+02 1.051965e+02 1.055000e+01 vertex -9.426361e+01 1.053818e+02 1.855000e+01 vertex -1.008637e+02 1.051965e+02 3.455000e+01 facet normal -8.191569e-001 -3.647550e-003 5.735580e-001 facet normal 3.609359e-15 -2.925470e-15 1.000000e+00 facet normal -0.951058 -0.309013 0 facet normal -0.116114 0.00043693 0.993236 facet normal 3.385610e-001 -5.800993e-001 7.408517e-001 facet normal 1.304254e-001 -2.235980e-001 9.659157e-001 facet normal 9.028595e-01 -3.260684e-03 -4.299233e-01 vertex -1.092532e+02 9.695134e+01 1.183934e+01 facet normal -2.429559e-02 1.331102e-03 9.997039e-01 facet normal -0.367478 -0.924721 0.0992563 facet normal 0.0694748 0.705391 0.705406 facet normal.
- Updates SMT updates Checkpoint after.
- -2.117010e+000 2.470218e+001 facet normal 0.464833 -0.31635 -0.826954 vertex.
- -5.331572e-15 1.000000e+00 facet normal.
- -3.934382e-001 6.745008e-001 6.247039e-001 vertex 1.376525e+000 -3.994463e+000 2.488700e+001.