Labels Milestones
Back-9.145491e-001 0.000000e+000 vertex -2.407443e+000 -6.689721e+000 9.983999e+000 vertex -3.396157e+000 -4.550773e+000 1.747200e+001 facet normal -0.552085 -0.110591 -0.826421 vertex 2.89821 0.0265122 18.9317 facet normal -9.952711e-01 9.713563e-02 2.477278e-04 vertex -9.020897e+01 9.940098e+01 4.255000e+01 vertex -9.435317e+01 9.365127e+01 2.550000e+00 vertex -9.132204e+01 9.890134e+01 4.255000e+01 vertex -1.045596e+02 9.940074e+01 4.255000e+01 facet normal -5.735852e-001 -2.554333e-003 8.191419e-001 facet normal -1.662431e-01 9.860847e-01 -3.475564e-04 vertex -9.599162e+01 1.059579e+02 2.550000e+00 facet normal -0.0820554 -0.0808315 0.993344 vertex 4.10946 -5.18289 7.85151 vertex 6.56738 -0.762348 7.85113 facet.
- Difference() { union() { difference(){ color([.1,.1,.1]) panel(width.
- Rendering") ? 0.1 : quality == "fast preview.