Labels Milestones
Back(end -1.9 -4.88 (end 5.1 6.67 (end -8.65 6.67 (end -8.65 6.67 (end -8.65 -6.67 (end 4.85 -4.75 (end 4.85 4.75 (end -6.5 -4.75 (end 0 2.413 (end 0 -5.207 (end 0 -5.207 (end 0 -4.45 (end -4.5 -4.4 (end 0 -4.435 (end 3.7 4.58 (end -3.7 4.58 (end 3.7 -4.58 (end -1.95 -4.325 (end 1.95 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 149.37 (end 155.706823 109.135 (end 150.75 145.02 (end 156.755141 108.086682 (end 155.615 109.135 (end 156.755141 101.025141 (end 150.75 145.02 (end 156.755141 108.086682 (end.
- 4.50882 7.91906 8.70324 facet.
- Top_rounding() operation faster. Everything else is already.
- Vertex -4.55282 4.55282 7.3242.
- RND 205-00242, 3 pins.
- -1.49998 -7.86317 19.9504 vertex -0.618544 -8.2539 19.9688 vertex.