Labels Milestones
Back112 (end 187.6 117.54 (end 185.8475 123.25 (end 166.6 128.9025 (end 162.85 122.845 (end 163.5 114.510001 (end 183.1975 126.0525 (end 173.239949 130.25 (end 151.1 122.965737 (end 157.807501 128.725 (end 171.055 130.305 (end 182.6 110 (end 172.136474 110 (end 168.6 113.6875 (end 161.6 75.25 (end 162.35 78.3475 (end 152.25 130.0975 (end 153.4025 130.0975 (end 155.25 123.5 (end 155.96 122.79 (end 155.96 120 (end 154.25 129.25 (end 158.5.
- 0.210331 21.7467 vertex -3.27291 3.27291 21.7443 facet normal.
- Module pot_wh148() { module label(string.