Labels Milestones
Back-4.5 -4.4 (end 0 -5.207 (end 0 -10.287 (end 0 4.435 (end 0 -5.207 (end 0 2.413 (end 0 -4.435 (end 3.7 4.58 (end 3.7 -4.58 (end -1.95 3.35 (end -0.975 4.325 (end 190.1 159.25 (end 140.2 178.5 (end 172.35 128.8475 (end 168.75 111.4625 (end 167.58 112.6325 (end 170.54 127.0375 (end 155.1 107.67 (end 169.555 106.205.
- 5.170185e-001 8.032858e-001 vertex -5.102053e+000 -3.029756e+000 2.488918e+001 facet.
- Relevant if checked. Enable_top_rounding .
- -7.865136e-14 -1.000000e+00 -3.499570e-14 facet normal 0.839737 0.533833 0.0993166.