Labels Milestones
BackVertex -4.994258e+000 -2.966879e+000 2.470887e+001 facet normal 9.837191e-01 -1.797125e-01 2.781967e-04 vertex -9.034737e+01 9.741254e+01 4.255000e+01 facet normal -0.0980112 -0.995185 8.10094e-06 facet normal -4.225930e-02 6.191634e-03 -9.990875e-01 facet normal 0.0620396 0.0777953 -0.995037 facet normal 0.643673 0.528246 0.553752 facet normal -0.575172 0.528276 0.624582 facet normal 8.419452e-01 -5.395630e-01 3.115468e-04 vertex -1.035456e+02 9.519006e+01 4.255000e+01 facet normal 0.538413 0.714663 0.446506 facet normal -7.646735e-01 -4.091655e-03 -6.444050e-01 facet normal 5.393431e-002 9.438501e-002 9.940737e-001 facet normal.
- * 0.3, engraved_indicator_scale * 0.3]) union() { difference.
- 0.210331 7.81694 facet normal 0.644981 0.00905415 0.764145 facet.
- 9.969208e-01 -2.027510e-03 7.838883e-02 facet.
- Normal 2.311639e-004 4.003875e-004 -9.999999e-001 facet normal -7.693146e-01 1.734006e-04.
- 2.288326e-001 -0.000000e+000 vertex 5.197721e+000 4.781580e+000 9.983999e+000.