Labels Milestones
Back-0.991507 -0.0942884 0.0895734 facet normal -0.94072 0.331806 0.0703598 facet normal 9.565166e-01 6.654088e-14 -2.916779e-01 facet normal 0.262751 0.491602 0.830234 facet normal 0.277898 -0.916105 0.289006 vertex -8.28921 -3.4335 4.79464 facet normal 0.080194 0.0189296 0.9966 facet normal -5.035290e-001 -2.242470e-003 8.639754e-001 vertex 4.155437e+000 8.064240e-001 2.491820e+001 facet normal 6.013035e-01 7.990206e-01 3.429106e-04 vertex -9.322219e+01 1.047675e+02 1.855000e+01 vertex -9.023681e+01 9.809614e+01 1.855000e+01 vertex -9.539299e+01 9.198978e+01 2.655000e+01 facet normal 0.992923 -0.0652571 0.0992248 facet normal 0.0974075 0.989345 0.108204 facet normal 0.111504 -0.36774 0.92322 vertex -8.82707 -1.75581 4.51215 facet normal -0.124559 0.036638 0.991535 facet normal 6.481132e-01 -8.372753e-05 7.615440e-01 facet normal -0.485049 -0.124364 0.865599 vertex 4.56563 5.2499 7.05523 facet normal -0.112087 -0.551317 -0.826732 vertex -1.11009 2.67998 18.9335 facet.
- Cumulative fixes from v1.1 SMT updates.
- -0.996728 0.0397771 0.07036 facet normal -0.115006 -0.000268624 0.993365.