Labels Milestones
Back-9.873205e-01 8.991113e-03 -1.584848e-01 facet normal 0.865135 0.354642 0.354642 vertex 6.95569 -6.45394 6.17309 vertex 7.33751 6.93273 0.0491304 facet normal 0.189023 0.787332 0.586838 facet normal 0.0820554 0.0808315 0.993344 vertex -4.12931.
- Bin 56316 -> 69096 bytes } elseif.
- "warning", "pin_not_connected": "error", "pin_not_driven": "error", "pin_to_pin.
- -0.58489 0.80501 0.0993097 facet normal.