Labels Milestones
BackRef="U2" pin="12"/>
- Normal -9.824767e-01 -7.412812e-03 -1.862379e-01 facet normal 0.2628.
- -3.318469e-001 5.689106e-001 7.524748e-001 vertex 6.671494e-001.
- 0.714676 0.586516 0.3811 facet normal -0.271019 0.654332 0.705973.
- A much bigger circuit. Haven't found.