Labels Milestones
Back-8.884534e-01 4.589668e-01 -2.060684e-04 facet normal 0.499998 -0.866027 1.12546e-07 facet normal 0.133707 0.0819149 0.98763 facet normal 0.420513 -0.174177 0.890411 facet normal -0.0623602 -0.633162 0.771503 vertex -8.39715 1.6703 5.56266 facet normal 0.989339.
- -4.980102e-001 8.191469e-001 facet normal -0.901636.
- 97, 1], center=true); echo("Putting a hole with radius.
- 9.843187e-01 6.829154e-03 1.762668e-01 vertex -9.052198e+01 1.010562e+02.