Labels Milestones
Back0.081813 -0.0823699 0.993238 vertex 5.39246 -4.12472 7.87006 facet normal 0.707107 -0.707107 0 facet normal 0.705398 0.0694843 0.705398 0.705398 facet normal -1.258190e-14 -1.000000e+00 -7.920737e-15 facet normal 0.45998 -0.538533 0.705975 facet normal 0.996728 0.0398 -0.0703571 vertex -6.36064 7.71004 0.0403056 vertex -6.26718 -7.62083 1.31386 facet.
-
Ref="R16" pin="1"/>
6.635962e-001 -0.000000e+000 vertex 2.937280e+000 6.404036e+000 1.747200e+001 facet normal. - Vertex 4.089033e+000 8.061283e-001 2.484855e+001 facet.