Labels Milestones
Back170.373606 128.025 (end 160.9725 128.025 (end 171.39 114.1125 (end 174.5025 115.5 (end 172.66 122.66 (end 170 115 (end 187.6 114.5 (end 155.5975 110.1525 (end 187.6 115 (end 170 113.876166 (end 163.5 114.510001 (end 183.1975 125.75 (end 187.1 125.75 (end 187.1 125.75 (end 186.5 70.5 (end 187 74 (end 188 79.45 (end 188.1 120.08 (end 162.5025 80 (end 158.5 127 (end 158.5 80 (end 159.88 117.37 (end 152.25 121.75 (end 162.105 115.145 (end 168.85 106.357184 (end 178.35 116.75 (end 168.85 124.8875 (end 152.68 122.26 (end 168.5375 124.9625 (end 164.75.
- 0.881857 0.471366 -0.0119411 facet normal -0.382438.
- - cone_indents_cutdepth; for (z = [0 : cone_indents_count.