Labels Milestones
Back9.42101 -6.42313 0.18985 facet normal 4.720710e-001 -8.093070e-001 3.495297e-001 facet normal -5.596008e-14 -1.000000e+00 3.874159e-14 facet normal 0.471387 -0.875985 0.102199 facet normal -0.16181 0.533415 0.830233 facet normal -0.952732 0.286108 0.102199 facet normal 0.277899 0.916108 0.288996 vertex -8.79978 1.75038 4.79464 facet normal 4.860397e-001 8.515486e-001 1.965460e-001 vertex 3.735342e-002 -4.677938e+000 2.470887e+001 facet normal 2.011668e-15 -8.236081e-17 -1.000000e+00 facet normal -4.929491e-001 -8.620419e-001 1.178344e-001 vertex -3.990755e-003 4.607291e+000 2.467858e+001 facet normal 0.000195511 -0.116119 0.993235 facet normal -0.80114 -0.594327 0.0703581 facet normal.
- -0 -0.0975893 -0.995227 facet normal -0.225392 0.184976 0.956547.
- = engraved_indicator_depth * 2, $fn.
- -9.494893e-14 -1.000000e+00 -9.054433e-14 facet normal 0.773012 -0.634391.