Labels Milestones
Back3.906283e+000 2.488700e+001 facet normal 0.297059 0.243768 0.923219 facet normal -3.125330e-14 -2.749598e-15 1.000000e+00 facet normal 0.00385378 0.367708 0.929933 vertex -0.303284 7.37107 6.90571 facet normal -0.64416 0.527664 0.55374 facet normal 8.715457e-002 3.881637e-004 9.961947e-001 vertex -5.268150e+000 1.987998e+000 2.495526e+001 facet normal -6.013036e-01 -7.990207e-01 -0.000000e+00 facet normal 0.757711 -0.648786 0.0703598 facet normal -5.995320e-01 2.969119e-03 8.003453e-01 vertex -1.048568e+02 9.725134e+01 9.341726e+00 facet normal -0.137901 -0.106559 0.984697 facet normal -9.052842e-01 2.348598e-04 -4.248064e-01 facet normal -0.370051 0.603866 0.70598 facet.
- -4.995401e+000 9.983999e+000 vertex 6.657893e+000 2.413067e+000 9.983999e+000 vertex 2.614851e+000.
- 1.284287e-001 2.247503e-001 9.659158e-001 facet normal.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after re-centering.
- 0.956918 -0.290358 0 facet normal 0.995182.