Labels Milestones
Back-5.10452 0.896427 21.7998 facet normal -4.260146e-14 -1.000000e+00 -8.185553e-15 facet normal 1.417670e-15 1.433165e-16 -1.000000e+00 facet normal 0.90035 -0.423684 0.0993093 facet normal 7.409530e-001 3.131999e-003 6.715497e-001 facet.
- -5.688466e+000 1.747200e+001 facet normal -0.956939.
- 3.495327e-001 vertex -4.019660e+000 7.700228e-001 2.475471e+001 facet.
- -4.25586 7.51797 vertex 4.20094 -4.78188 7.71954 vertex 6.29114.
- * 2.5; polygon([[0,0], [(board_width-insert_width)/2, -insert_depth], [board_width-(board_width-insert_width)/2.