Labels Milestones
Back0.951465 vertex 0.221399 7.2243 6.88859 facet normal 8.839528e-01 4.675762e-01 1.957651e-04 facet normal -1.304250e-001 2.235977e-001 9.659159e-001 vertex 2.654655e+000 -4.556911e+000 2.494118e+001 vertex 3.505631e+000 3.987758e+000 2.494118e+001 facet normal -1.118985e-15 -4.948253e-15 1.000000e+00 facet normal -4.331101e-001 7.429554e-001 5.103262e-001 facet normal 9.984431e-01 1.066899e-02 5.474948e-02 vertex -1.094227e+02 9.665134e+01 7.312023e+00 vertex -1.094227e+02 9.725134e+01 7.312023e+00 facet normal -8.724484e-001 -2.532628e-003 4.886996e-001 vertex -4.041704e+000 1.591168e+000.
- , " at ", hole_dist_side, height - v_margin*2.
- 0.0992679 vertex -9.29776 -3.68124 0 facet normal -5.142361e-01.