Labels Milestones
Back155.1 157.67 (end 161.04 118.54 (end 156.25 129.25 (end 152.6 155.17 (end 155.1 107.67 (end 166.35 112.805 (end 170.76005 108.25 (end 167.07 112.085 (end 168.25 108.25 (end 167.07 112.085 (end 168.25 108.25 (end 162.724089 107.974089 (end 163.4 110.1525 (end 177.6375 76.4625 (end 188.1 112 (end 158 113.25 (end 161.04 118.54 (end 156.25 129.25 (end 158.5 80 (end 158.5.
- Vertex 4.42536 -4.42536 7.81508 facet normal.
- Right_rib_thickness; //} module make_surface(filename, h) { .