Labels Milestones
Back-8.884534e-01 -0.000000e+00 facet normal -0.0989222 0.0149092 -0.994983 facet normal -0.15129 -0.0100873 0.988438 facet normal 0.0816517 0.0813929 0.993332 vertex 4.19228 -4.77321 7.82455 facet normal 0.0998673 0.114117 0.988435 facet normal -0.0620211 0.0778225 0.995036 vertex -0.618544 8.2539 19.9688 facet normal -0.115649 -0.00128232 0.993289 facet normal 0.463914 -0.883081 0.0703597 facet normal -0.156322 -0.0123067.
- With radius: ", hole_r .
- 9.975497e-001 4.442017e-003 6.982002e-002 vertex -4.004743e+000 -5.115412e-002 2.470218e+001 facet.