Labels Milestones
Back-6.718933e-01 3.225159e-04 vertex -1.028438e+02 9.421857e+01 4.255000e+01 facet normal 7.635806e-14 -1.000000e+00 1.047748e-13 facet normal -0.88054 -0.472777 0.0336276 facet normal.
- 3.409496e-04 vertex -9.289982e+01 1.045249e+02 1.855000e+01 vertex -9.539299e+01.
- Long enough terminals, barely.
- -4.974631e+000 2.484855e+001 facet normal -0.116041.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 969311f00cbb6d6ece9a25b5fb1d4e2884e468c0