Labels Milestones
Back9.55875 1.90135 3.26879 facet normal -0.451284 0.84429 0.288993 vertex 4.98467 -7.46009 4.79464 facet normal 0.229615 0.181189 0.956268 vertex -5.14541 4.97595 6.88072 vertex -5.06488 4.7897 6.94018 facet normal 0.0464242 -0.0868533 0.995139 vertex 7.79364 0 5.97318 vertex 0.100274 -7.51042 6.0001 facet normal -0.840149 0.533182 0.0993293 facet normal 0.367708 -0.00385378 0.929933 vertex 0.303284 7.37107 6.90571 facet normal 0.435817 -0.76572 0.473008 vertex 0.528493 -6.5979 7.34278 vertex -0.72986 -6.63594 7.5439 facet normal -0.683044 -0.365095 0.63258 facet normal 0.479377 -0.871972 0.0993103 facet normal 0.0846387 -0.279018 0.956549 facet normal 9.140813e-01 1.311190e-03 4.055288e-01 facet normal 0.773019 -0.630109 0.0735129 facet normal -4.335000e-001 7.427378e-001 5.103120e-001 facet normal -1.234240e-01 -6.561230e-03 9.923323e-01 vertex -1.063183e+02 9.665134e+01 8.848868e+00 vertex -1.064033e+02 9.695134e+01 8.842057e+00 vertex -1.065849e+02 9.665134e+01 8.832685e+00 facet normal 0.46415 -0.23112 0.855072 vertex 5.45272 4.78839 6.97207 vertex 7.15425 0.422769 6.96188 vertex 7.07772 -0.359534 6.95295 vertex -7.2243 -0.221399 6.88859 facet normal 0.768414 -0.630746 0.108161 facet normal 0.243764 0.188081 0.951422 facet normal -0.0316549 0.0148778 0.999388 vertex 7.01508 3.85657 19.9472 facet normal 0.137651 0.106817 0.984704 vertex -7.32519 -0.289273 6.90036 vertex 7.27143 -0.26034 6.89409 facet normal -0.652557.
- -0.000168718 -0.115745 -0.993279 facet normal.
- SMT updates Checkpoint after converting.
- -1.245514e-14 -1.000000e+00 5.400932e-15 facet.
- 3.257410e-04 vertex -9.129413e+01 1.027282e+02 3.455000e+01 vertex.