Labels Milestones
Back-2.45196 -0.487725 6.5 vertex 2.5 0 6.7 vertex 0 -6.2584 7.81508 facet normal -5.035290e-001 -2.242178e-003 8.639754e-001 facet normal 0.000000e+00 0.000000e+00 -1.000000e+00 6.954550e-14 facet normal -0.84015 0.533181.
- "mirror") { module title(string, size=12.
- 804-107 45Degree pitch 5mm size 10x9mm^2.
- 0.929883 facet normal -0.584885 0.805014 0.0993115 facet normal.