Labels Milestones
Back181.12 113.14 (end 180.5 119.89 (end 179.85 120.54 (end 181.65 118.74 (end 184.6525 119.6525 (end 182.0025 120.9275 (end 183.04 119.89 (end 179.85 120.54 (end 181.65 118.74 (end 183.74 118.74 (end 183.74 118.74 (end 183.74 118.74 (end 184.6525 119.6525 (end 182.0025 120.9275 (end 183.04 119.89 (end 179.85 120.54 (end 181.65 118.74 (end 183.74 118.74 (end 183.74 118.74 (end 183.74 118.74 (end 183.74 118.74 (end 184.6525 119.6525 (end 182.0025 120.9275 (end 183.04 119.89 (end 176.81 121.04 (end 175.6975 119.9275 (end 181.89 121.04 (end 175.6975 119.9275 (end 181.89 121.04 (end 175.6975 119.9275 (end 181.89 121.04 (end 166.35 114 (end 163.5 122.5 (end 163.195 122.5 (end 163.195 122.5 (end 163.195 122.5 (end 164 122 (end 165.04 117.025 (end 169.1 85 (end 170.595 111.84875 (end 179 130.25 (end 164.6975 85 (end 170.595 111.541474 (end 156.1525 129.5 (end 160.35 131.75 (end.
- 0.957368 -0.115024 0.264982 facet normal 0.0580967 -0.0922853.
- File 55ee65a5e9 Checkpoint after.
- 0.0737341 0.0668214 0.995037 facet normal -0.0364459 -0.0926003 0.995036.