Labels Milestones
Back-2.925793e+000 2.496000e+001 vertex -3.825564e+000 -4.191461e+000 2.496000e+001 vertex -1.925954e+000 -5.351777e+000 1.747200e+001 facet normal 9.777724e-001 5.563236e-003 2.095952e-001 vertex 4.030774e+000 1.627112e+000 2.470218e+001 facet normal 0.83147 -0.55557 0 facet normal 0.0974089 -0.989348 0.108177 facet normal -9.969322e-01 -7.826654e-02 -6.755265e-04 vertex -9.023081e+01 9.965134e+01 1.755000e+01 facet normal -0.022139 0.096999 -0.995038 vertex -4.25372 -9.04499 0.0456265 facet normal 8.884534e-01 -4.589668e-01 0.000000e+00 vertex -1.034746e+02 1.027280e+02 3.455000e+01 facet normal -9.901828e-01 1.397735e-01 1.144797e-03 vertex -9.023681e+01 9.809614e+01 3.455000e+01 facet normal 0.479374 0.871983 0.099229 facet normal 0.880764 -0.4683 0.0703599 facet normal -3.267685e-001 -5.718457e-001 7.524725e-001 facet normal -3.125330e-14 -2.749598e-15 1.000000e+00 facet normal 1.304262e-001 -2.235998e-001 9.659152e-001 facet normal 0.0341519 0.290475 0.956273 facet normal 0.247486 -0.963775 0.0994347 facet normal 5.019348e-001 -8.605060e-001 8.712576e-002 facet normal 0.0376663 -0.382433 0.923215 vertex 8.90914 0.922563 3.82299 vertex 8.98903 -0.111422 3.82299 facet normal 0.714676 0.586516 0.3811 facet normal 0.643689 0.528266 0.553714 facet normal -0.0464242 0.0868533 0.995139 vertex 7.5203 0 6.0001 vertex 6.92909 -2.87012 6.0001 vertex 1.46317 7.35588 6.0001 vertex -5.30329 5.30329 6.0001 vertex 4.16678 -6.23601 6.0001 vertex -6.92909 -2.87012 6.0001 vertex -2.87011 -6.92909 6.0001 vertex 6.23601 -4.16678 6.0001 vertex -6.23601 -4.16677 6.0001 vertex -2.87012 -6.92909 6.0001 vertex 2.87011 -6.92909 6.0001 vertex 2.87013 -6.92908 6.0001 vertex -6.92909 2.87011 6.0001 vertex 6.92909 -2.87012 6.0001 vertex 6.92908 -2.87013 6.0001 vertex 2.87012 6.92909 6.0001 vertex -6.92909 2.87011 6.0001 vertex -6.92909 -2.87012 6.0001 vertex 5.30329 -5.30329 6.0001 facet normal 0.338761 0.0731236 0.938026 facet normal 4.589668e-01 8.884534e-01 3.478097e-04 vertex -9.426361e+01 1.053818e+02 2.655000e+01 facet normal -9.975486e-001 -4.442590e-003 6.983596e-002 vertex 4.041743e+000 -8.365688e-001 2.470218e+001 facet normal 7.990003e-01 6.013306e-01 -1.808076e-04 facet normal -0.678848 0.362853 -0.63836 vertex 4.24264 4.24264 6.59 facet normal 0.241723 -0.796854 0.553709 facet normal -0.52587 0.615699 0.586835 facet normal -0.124364 -0.485049 0.865599 facet normal -9.030449e-01 -1.322120e-03 -4.295440e-01 facet normal -0.0925097 -0.0580283 0.994019 vertex -5.24702 -5.16396 6.86308 facet normal -5.284114e-01 -8.489884e-01 -3.401810e-04.
-
9f9f6acf76f746b4755da71c07bb656091774052 SMT updates
- Normal 0.472793 -0.880533 0.0335807 facet normal -0.737729 0.601759.