Labels Milestones
Back1.245949e+01 facet normal -8.502237e-01 0.000000e+00 5.264216e-01 facet normal 0.362608 0.422016 0.830914 vertex -5.64771 -4.69512 7.09873 facet normal -5.748339e-01 8.182700e-01 -3.383229e-04 vertex -1.015466e+02 1.047674e+02 3.455000e+01 facet normal 0.0624841 0.0761186 0.995139 vertex 5.51093 5.51093 5.97318 facet normal -0.630109 0.773019 0.0735123 facet normal 0.00758102 -0.10117 -0.99484 facet normal 8.888848e-01 -1.046893e-03 4.581297e-01 facet normal 0.000000e+00 -1.000000e+00 facet normal 0.000000e+00 7.910530e-01 6.117476e-01 facet normal 0.4714 -0.88192 -2.43656e-06 facet normal -9.996069e-01 2.803474e-02 1.366174e-07 facet normal 4.272878e-001 2.612714e-003 9.041119e-001 facet normal -0.634347 -0.772955 -0.0119928 facet.
-
Ref="D9" pin="2"/>
-
X="5.05" y="2.85"/>
17a7121e-b68e-480a-a63e-d9064ffac0d1 function mangle_article($article) { .