Labels Milestones
BackThickness+3]); cylinder(h=thickness+standoff_height+3, r=hole_radius, $fn=360); vertex 0 -6.2584 7.81508 facet normal 0.000176263 0.115309 0.99333 vertex -0.41258 -6.33525 7.82405 facet normal -0.734384 -0.392538 0.55371 facet normal 7.266487e-01 6.870092e-01 0.000000e+00 vertex -8.438430e+01 9.755134e+01 2.550000e+00 facet normal 4.225826e-001 1.881288e-003 9.063225e-001 facet normal -9.085862e-01 4.176973e-01 2.038530e-04 vertex -9.093526e+01 1.020864e+02 4.255000e+01 facet.