Labels Milestones
Back-0.144955 0.617512 0.77309 vertex 4.98874 -4.61842 7.03804 vertex 6.63876 0.319077 7.17054 facet normal 9.880752e-01 -7.937486e-03 1.537671e-01 vertex -1.093606e+02 9.725134e+01 1.026077e+01 facet normal -8.878836e-16 -1.000000e+00 1.046208e-14.
- Normal -0.950491 -0.290292 0.11089 facet normal 0.247514 0.963781.
- 9.652563e+01 1.055000e+01 facet normal 9.460989e-001 3.238778e-001.
- } else if (two_holes_type == "mirror") .