Labels Milestones
BackNormal 0.0974418 0.989341 0.10821 facet normal 0.946342 0.307486 0.0994494 facet normal 0.836804 0.462418 0.293136 vertex -6.50844 -0.573447 7.52902 vertex -5.03912 4.29172 7.34278 facet normal 2.167737e-001 -9.762219e-001 0.000000e+000 vertex -6.809373e+000 1.801893e+000 9.983999e+000 vertex -2.857563e-001 -5.687710e+000 9.983999e+000 vertex -6.778011e+000 -2.001570e+000 2.496000e+001 vertex -6.709746e+000 2.137466e+000 2.496000e+001 vertex 7.086258e+000 3.645680e-001 2.496000e+001 vertex -5.348437e+000 4.564150e+000 1.747200e+001 facet normal -0.901058.
- Normal -7.637863e-23 1.000000e+00 -2.838466e-08 vertex -8.524144e+01 1.011513e+02 2.550000e+00.
- Thickness*2; union() { difference(){ color([.1,.1,.1]) panel(width.