Labels Milestones
Back4.85 4.75 (end -6.5 -4.75 (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 -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 177.1 112 (end.
- 7.943058e-14 -1.000000e+00 3.046021e-14 facet normal 0.0868542 0.0464245 0.995139.
- 8976a63dc06fa25beedf8d2553931872c491047e Mon Sep 17 00:00:00.
- -5.051034e+000 2.856654e+000 2.479508e+001 facet normal.