Labels Milestones
Back175.6975 111.75 (end 165.1 107.67 (end 177.1 112 (end 187.6 115 (end 170 113.876166 (end 163.5 117.5975 (end 162.78 113.28 (end 167.5 95.706712 (end 159.1 87.306712 (end 163 108.25 (end 173 107.48995 (end 171.78995 108.7 (end 165.25 115.840001 (end 165.04 116.050001 (end 165.25 115.840001 (end 165.04 116.050001 (end 165.25 115.840001 (end 165.04 117.025 (end 172.6975 114 (end 156.82 108.847067 (end 159.1 134.838478 (end 159.1 134.838478 (end 159.1 134.838478 (end 159.1 143.37 (end 151.32497 118.046038 (end 154.132232 130.122182 (end 156.5 130.122182 (end 165.1 107.67 (end 166.35 111.25 (end 166.31 121.975 (end 171.953606.
- 4.740363e-001 -8.135349e-001 3.368241e-001 vertex -5.027568e+000 2.843245e+000 2.473857e+001.
- On 20240124 Final tweaks, version submitted.