Labels Milestones
Back4.43088 7.41293 facet normal -0.0973393 -0.995186 0.0113559 vertex -5.71699 -1.07374 21.335 vertex -6.91995 1.06598 10.3435 vertex 1.07374 5.71699 21.335 facet normal -0.48503 0.124395 0.865605 facet normal -4.891628e-001 8.376552e-001 2.430093e-001 facet normal -0.956924 0.29034 -9.5392e-07 vertex -6.92909 2.87012 6.0001 vertex -7.49999 0 6.0001 facet normal 0.844291 -0.451284 0.288991 facet normal 0.181238 -0.22956 0.956271 vertex 7.15688 -0.119821 6.88072 vertex -0.194578 -6.96824 6.94018 facet normal 2.890023e-001 -4.954587e-001 8.191449e-001 facet normal 0.0822608 -0.0821747 0.993217 vertex 5.23616 5.23616 6.86814 facet normal 0.223441 0.736595 -0.638358 vertex 5.54328 2.2961 6.59 vertex 3.16429 -1.31069 6.59 facet normal 0.690376 -0.423091 0.586835 vertex 2.36512 -1.4028 19.9 facet normal 5.011261e-001 -8.639795e-001 4.911378e-002 facet normal -3.534176e-01 8.635605e-03 -9.354258e-01 vertex -1.055858e+02 9.665134e+01 1.277435e+01 facet normal -3.534176e-01 -8.635605e-03 -9.354258e-01 vertex -1.055858e+02 9.725134e+01 1.277435e+01 facet normal -0.682464 0.560089 0.46962 facet normal -0.634395 -0.773009 0 vertex 7.20568 -7.20568 0 facet normal 0.634347 0.772955 -0.0119928 facet normal 9.468859e-01 3.215698e-01 -0.000000e+00 facet normal 0.980977 0.194125 -4.03034e-07 vertex 1.2887 -3.16866 6.59 facet normal -7.748049e-001 6.322004e-001 0.000000e+000 vertex 6.896696e+000 -1.719637e+000 1.747200e+001 facet normal 0.189025 -0.787315.
- Normal 0.952735 -0.286109 0.102165 facet normal -0.768578.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.