Labels Milestones
BackRef="J8" pin="3"/>
- 1.801893e+000 9.983999e+000 vertex -6.938168e+000.
- -4.319433e-14 -1.000000e+00 -1.821337e-15 facet normal -0.19571 -0.980662 0.
- 0.367708 0.929933 vertex -7.37107.
- 8.9566925" d="m 3.5236174,8.8582672 h -0.19685.