Labels Milestones
Back5.14541 4.97595 6.88072 vertex 4.7897 5.06488 6.94018 vertex -5.16004 -4.76054 6.94563 vertex -5.14541 4.97595 6.88072 vertex -5.06488 -4.7897 6.94018 facet normal -0.552322 -0.106057 -0.826857 vertex.
- "warning", "pin_not_connected": "error", "pin_not_driven.
- -0.99044 0.0975513 0.0975338 facet normal.