Labels Milestones
BackNormal -0.989357 0.0973162 0.108179 facet normal 8.244231e-16 -2.375573e-15 -1.000000e+00 facet normal -0.946356 -0.3075 0.0992725 facet normal -0.39254 -0.734385 0.553707 facet normal 0.768482 0.630652 0.108225 facet normal 0.564081 -0.273132 0.779238 facet normal 0.284751 -0.938727 0.194185 facet normal 0.0992487 0.989167 0.108159 facet normal -0.618219.
- */ wall(h=10, w=height-hole_dist_top*2-32); .
- 7.38561 6.88312 facet normal 0.114495 -0.30557.
- -0.0464246 0.995139 vertex -7.3758 1.46714 6.0001 facet.
- 6298fd8aa3 Gunnerkrigg and cleanup.
- Vertex 1.015835e+000 5.537292e+000 9.983999e+000.