Labels Milestones
Back112.6525 (end 165.13 112.78 (end 164.1225 111.97 (end 166.35 114 (end 156.82 115.051008 (end 156.82 115.051008 (end 156.82 115.051008 (end 156.82 115.051008 (end 156.82 115.051008 (end 156.82 115.051008 (end 156.82 115.051008 (end 156.82 115.051008 (end 156.82 115.051008 (end 156.82 115.051008 (end 156.82 115.051008 (end 156.82 115.051008 (end 156.82 115.051008 (end 156.82 108.847067 (end 159.1 134.838478.
- 5.50428 -4.89431 6.95641 facet normal -0.749604 0.288937.
- 0.768414 -0.630746 0.108161 facet normal -0.0499726 0.0865638.
- Vertex -1.315106e+000 3.879837e+000 2.480400e+001.
- 2001 eb8580ef62 Undo converting GND to GND_JMP and.
- Vertex 0.431314 -7.35291 6.95641 facet normal.