Labels Milestones
Back0.995043 vertex -6.89956 -6.40186 20.0916 facet normal 0.773009 -0.634395 0 facet normal -0.201288 0.235679 0.950757 facet normal -4.075203e-001 -7.106009e-001 5.735623e-001 vertex 4.315806e+000 3.336501e+000 2.480400e+001 facet normal 0.976878.
- 8.842057e+00 vertex -1.065849e+02 9.725134e+01 8.832685e+00.
- Fee is hereby granted.
- === NULL) { if (two_holes_type .