Labels Milestones
Back0.631363 0.769325 0.0975683 facet normal 3.983023e-001 6.974492e-001 5.957515e-001 vertex 4.702512e-002 -5.922276e+000 2.484593e+001 facet normal -0.382459 -0.447822 0.808195 vertex 5.58228 -1.18228 19.1916 facet normal 0.163175 -0.820344 -0.548096 vertex 0.4 3.005 9.425 facet normal -0.772847.
- Normal 0.31635 0.464833 -0.826954 vertex -2.0532 2.04871.
- Center=true); echo("Putting a hole with radius.
- 0.486762 0.782387 vertex 4.767 -4.767.