Labels Milestones
Back7.15159 2.58057 vertex 7.20568 -7.20568 0 facet normal -2.081135e-15 -5.505530e-15 1.000000e+00 facet normal -0.353627 0.43089 0.83023 facet normal -4.589668e-01 -8.884534e-01 0.000000e+00 vertex -1.034746e+02 1.027280e+02 3.455000e+01 facet normal 0.12243 0.987495 0.0993177 facet normal -0.538413 0.714663 0.446506 facet normal 0.243768 0.297059 0.923219 vertex 5.7167 -6.89515 3.82299 facet normal -0.0816481 0.828735 0.553653 facet normal 0.90035 0.423684 0.0993093 facet normal 0.0331712 -0.780265 0.624569 facet normal -0.587092 -0.0461938 0.808201 vertex 6.08133 1.22155 19.4867 vertex 2.6794 1.7206 19.8418 facet normal 0.40114 0.91331 -0.0703624 vertex 4.96807 8.78749 0.0491304 facet normal -3.508287e-001 -6.139494e-001 7.070965e-001 facet normal -0.901636 0.420949 0.0992679 facet normal -0.977692 -0.185114 0.0992544 facet normal 6.444580e-01 -8.335477e-04 -7.646392e-01.
- { cylinder(r=hole_r, h=thickness*2); echo("Putting a hole with radius.
- 7.990207e-01 -6.013036e-01 0.000000e+00 vertex.