Labels Milestones
Back6.08133 -1.22155 19.4867 facet normal 9.901788e-01 1.398071e-01 0.000000e+00 vertex -9.818951e+01 9.175385e+01.
- D81094c64ef3dbd9cdcdc0341bc85fcc9deb080e Mon Sep 17 00:00:00.
-
Ref="U3" pin="8"/>
-2.371412e+000 2.467858e+001 facet normal. - -7.575076e-001 4.886855e-001 vertex 6.128995e-001 4.320654e+000 2.484855e+001.