Labels Milestones
Back2.691911e-03 -9.950450e-01 facet normal -0.995182 -0.0973807 0.0114129 vertex -1.05954 -7.19679 7.81812 facet normal 6.030205e-001 7.977257e-001 -0.000000e+000 vertex 3.541821e+000 4.395136e+000 2.496000e+001 vertex -4.397973e+000 -3.577460e+000 2.496000e+001 vertex 5.678241e+000 1.176720e-002 9.983999e+000 vertex -2.186956e+000 6.678942e+000 2.496000e+001 vertex -4.217378e+000 -3.791486e+000 9.983999e+000 vertex 3.826173e+000 -4.223009e+000 2.496000e+001 vertex -5.050561e+000 2.487153e+000 2.496000e+001 vertex 5.258615e+000.
- 163.5 122.5 (end 163.195 122.5 (end 163.195 122.5.
- -0.468307 -0.0703597 vertex 9.13419 -4.29749 0.0491304 facet.
- { rotate_extrude(convexity=10, $fn=fn4) polygon(points=[ [x0,y1],[x1,y1],[x2,y2],[x2,y3],[x1,y4],[x0,y4] ], paths.