Labels Milestones
Back0.773011 0.0735069 vertex 6.57068 0.759029 7.85151 vertex 6.56738 0.762348 7.85113 facet normal 0.836797 0.462425 0.293145 vertex -6.45034 -0.596366 7.73103 facet normal 9.609584e-001 2.766931e-001 -0.000000e+000 vertex 6.948225e+000 1.404741e+000 9.983999e+000 vertex -5.513827e+000 1.169443e+000 1.747200e+001 facet normal 0.625115 0.33413 0.7054 vertex -7.99026 -5.04122 3.54602 facet normal 0.081813 -0.0823699 0.993238 vertex -4.18518 5.59382 7.89166 facet normal 1.397736e-01 9.901835e-01 0.000000e+00 vertex -8.524144e+01 1.011513e+02 1.561034e+01 vertex -1.095272e+02 1.011513e+02 1.561034e+01 vertex -1.095272e+02 1.011513e+02 2.550000e+00 facet normal -0.665684 0.586535 0.461347 facet normal 0 -0.995043 0.0994409 vertex 0.627905 9.98027 0 facet normal -1.47372e-05 -0.113205 0.993572 vertex.
- -3.517064e-07 -1.000000e+00 6.278123e-07 vertex -1.043265e+02 9.725134e+01 5.903821e+00 facet.
- Wall(h=6, w=height-hole_dist_top*3-4); // color([1,0,0] .
- Normal 0.416179 0.778618 0.469626 facet.
- Normal -7.425920e-001 6.697441e-001 0.000000e+000.
- -0.469754 6.97207 facet normal.