Labels Milestones
Back-0.000000e+00 1.000000e+00 vertex -9.132204e+01 9.890134e+01 2.550000e+00 facet normal -0.796836 0.241804 0.553699 facet normal 5.955815e-001 2.856946e-003 8.032898e-001 facet normal 9.936172e-01 -0.000000e+00 1.128049e-01 facet normal 0.769325 -0.631363 0.0975683 facet normal 2.571775e-01 1.650539e-03 9.663628e-01 vertex -1.058099e+02 9.665134e+01 1.146144e+01 vertex -1.056805e+02 9.665134e+01 1.142699e+01 facet normal -0.685181 0.343415 0.642334 vertex -4.77601 4.54597 7.16505 facet normal 0.114971 -8.78678e-05 0.993369 facet normal 0.572633 -0.137482 0.808202 facet normal -8.878836e-16 -1.000000e+00 1.046208e-14 facet normal.
- Thickness*2; union() { difference(){ color([.1,.1,.1]) panel(width); // Top.
- -0.416179 -0.778618 0.469626 facet.
- 0.481043 vertex -6.45682 0.18558.