Labels Milestones
Back118.5 (end 174.5025 116.939474 (end 172.941974 118.5 (end 171.39 117.999999 (end 162.25 131.75 (end 162.85 126.3475 (end 164.0975 127.595 (end 176.35 128.9025 (end 162.85 122.845 (end 163.5 112.6525 (end 165.13 112.78 (end 164.1225 111.97 (end 166.35 111.25 (end 165.13 112.78 (end 164.1225 111.97 (end 165.85 111.25 (end 189.3 123.55 (end 183.1975 125.75 (end 186.5 70.5 (end 188 79.45 (end 188.1 112 (end 175.9475 112 (end 158 113.25 (end 152.5975 112.013846 (end 156.5 130.122182 (end 165.1 76.29 (end 161.6 75.25 (end 162.35 77.1525 (end 155.1 149.37 (end 155.706823 109.135 (end 150.75 114 (end 163.5 114.510001 (end 183.1975 126.0525 (end 173.239949 130.25 (end 151.1 118 (end 154.3475 126.5 (end 154.5975 126.75 (end 168.90625 113.5375 (end 168.6 116.775 (end 180.75.
- H_wall(h=1.6, l=right_rib_x); // one more vertical to.
- -3.598969e+000 2.488700e+001 facet normal 8.406740e-02.