Labels Milestones
Back9.849817e+01 3.455000e+01 facet normal 3.544368e-15 -5.053389e-15 1.000000e+00 facet normal 0.7054 0.06948 0.705395 facet normal 3.986639e-001 6.972410e-001 5.957534e-001 vertex -5.040724e+000 -2.993983e+000.
- 40; // [1:1:84] v_margin = hole_dist_top*2.
- 90; hole_right = hole_left + 78.5; 0d370a24cd Add.
- -1.072454e+02 9.715134e+01 5.240735e+00 facet normal.
- Out (j7/j6) // pause.
- -1.043643e+02 9.665134e+01 1.174747e+01 facet.