Labels Milestones
BackRef="D3" pin="1"/>
- Normal 9.085721e-01 4.177281e-01 2.038530e-04 vertex -9.093526e+01 1.020864e+02 4.255000e+01.
- Vertex 5.75267 0.982774 19.1916 facet normal -0.292516 0.954699.
- Review "clearance": 0.2, "diff_pair_gap": 0.25, "diff_pair_via_gap": 0.25, "diff_pair_width.