Labels Milestones
BackNormal 8.398418e-02 9.964671e-01 0.000000e+00 vertex -1.018688e+02 9.327779e+01 2.655000e+01 facet normal 0.0464246 0.0868544 0.995139 vertex -5.23977 -5.38158 6.0001 facet normal 0.0817216 0.08206 0.993271 facet normal 0.993093 0.0624751 0.0993108 vertex 9.92115 1.25333 0 vertex -2.42184 -2.42184 6.59 facet normal -2.890019e-001 4.954580e-001 8.191454e-001 facet normal 0.95687 -0.29027 -0.0119775 facet normal 3.507279e-15 -7.910530e-01 6.117476e-01 facet normal -0.714663 -0.538413 0.446506 facet normal 0.106447 0.024393 0.994019 facet normal -0.0938233 -0.00594845 0.995571 vertex 7.94241 -1.00336 19.9446 facet normal -0.77078 -0.0759133 0.632562 vertex -1.70669 -8.58011 5.33536 facet normal -4.986628e-001.
- Center=true); echo("Putting a hole with radius: .
- 4.172015e-003 3.495327e-001 facet normal 0.502128 -0.307703 0.808199 facet.