Labels Milestones
Back0.0735129 facet normal 9.094771e-001 4.157541e-001 -0.000000e+000 vertex 1.828861e+000 5.328399e+000 2.496000e+001 vertex -6.892284e+000 1.461804e+000 1.747200e+001 facet normal -0.584885 -0.805014 0.0993115 facet normal -0.181245 0.229572 0.956267 vertex -0.173952 7.18562 6.88408 vertex 4.75047 5.25893 6.95295 facet normal -0.0729388 0.0676773 -0.995038 vertex -6.37165 7.70201 0.0405665 facet normal 0.940719 0.33181 -0.0703594 vertex 8.9219 -4.12097 1.53167 facet normal -4.233350e-13 -1.000000e+00 1.282173e-14 facet normal 8.23967e-05 -0.113203 0.993572 facet normal -4.847907e-001 8.302385e-001 2.751038e-001 facet normal 0.877362 0.466839 0.110891 facet normal 0.0433039 -0.0700998 0.9966 vertex 5.19298 -5.19298 6.86102 facet normal 0.0729619 -0.338843 0.938009 vertex -7.27143 -0.26034 6.89409 facet normal 0.0621138 0.113987 0.991539 facet normal 0.000275588 0.115008 0.993365 vertex -6.33525 0.41258 7.82405 facet normal 0.468073 -0.31275 -0.826496 vertex -2.48005 -1.89374 18.7502 facet normal 0.547909 -0.449652.
- 0.191173 -0.191515 facet normal 2.488500e-001 9.685420e-001 0.000000e+000.
- */ wall(h=10, w=height-hole_dist_top*2-32); // decoration?
- 3.491 -1.04 (end 3.051 -1.04 (end 1.61.