Labels Milestones
BackNormal -0.0837833 -0.0570902 0.994847 vertex 6.47614 4.70519 19.9505 facet normal -0.297053 0.243784 0.923217 vertex -1.78758 -8.81743.
- == 'graphic')")) # edge.
-
Ref="R11" pin="2"/>
[1,0,4],[4,0,7],[7,8,4], [8,7,9],[10,9,7], [10,7,6],[6,7,0],[3,6,0], [2,1,4],[3,2,6],[10,6,9],[8,9,4], [4,5,2],[2,5,6],[6,5,9],[9,5,4.