Labels Milestones
Back-extra_depth], // bottom horizontal rib // h_wall(h=1.6, l=right_rib_x); // middle-bottom h rib // h_wall(h=1.6, l=right_rib_x); // bottom horizontal rib.
- -0.489735 0.708689 vertex 5.64771 4.69512 7.09873.
- -4.25779 -9.04827 0 facet normal 9.581206e-01 2.863638e-01.
- -9.14279 0 3.76384 facet normal -1.407510e-13.