Labels Milestones
BackHp_mm(h); difference() { union() { z_position = height - v_margin - title_font_size*2; saw_out = [third_col, third_row, 0.
- -3.191522e+000 2.488700e+001 facet normal 0.0393762 -0.305317 0.951436 vertex.
- Vertex 5.7099 5.7099 5.88782 facet normal -0.991526 0.109206.
- -1.000000e+00 -3.809693e-13 facet normal 8.660254e-01 5.000000e-01 0.000000e+00 facet.
- 1.76336 9.999 facet normal 2.561793e-15 -1.455906e-15 -1.000000e+00.