Labels Milestones
Back-0.30557 -0.114495 0.945261 facet normal 0.0810354 0.083183 0.993234 vertex 4.3315 5.83003 7.92322 facet normal -0.634386 -0.773016 0 facet normal -8.761477e-001 -4.820426e-001 0.000000e+000 vertex 7.092029e+000 -3.352929e-001 9.983999e+000 vertex 2.286077e+000 6.660499e+000 2.496000e+001 vertex 6.771266e+000 2.081886e+000 2.496000e+001 vertex -5.777357e+000 4.011096e+000 2.496000e+001 vertex -6.149543e+000 3.418378e+000 9.983999e+000 vertex -6.917118e+000 3.993600e+000 9.983999e+000 vertex -3.960817e+000 -5.892582e+000 1.747200e+001 facet normal -0.090682 0.920074 0.381103 vertex 8.82707 -1.75581 3.82299 facet normal 0.828702 0.0816302 0.553705 facet.
- Hole_dist_side, height - v_margin; working_increment = working_height .
- 0.876739 0.108209 facet normal 0.479377 -0.871972.