Labels Milestones
BackVertex 2.92724 1.22816 18.7471 vertex 3.08346 1.31835 18.4724 vertex -0.4 3.34544 9.425 facet normal 0.736593 -0.223445 -0.63836 vertex 3.33342 4.98882 6.59 facet normal 6.013306e-01 -7.990003e-01 -3.390242e-04 vertex -1.018688e+02 9.327779e+01 1.855000e+01 vertex -1.042959e+02 9.691003e+01 3.455000e+01 facet normal 6.103586e-01 -3.383381e-03 7.921180e-01 vertex -1.054006e+02 9.665134e+01 1.046210e+01 vertex -1.055399e+02 9.725134e+01 1.037452e+01 vertex -1.057951e+02 9.695134e+01.
- 0.097575 0.0975568 vertex -8.82707 1.75581 3.82299.
- File 74231bd333 Port in fixes from v1.1 Checkpoint.