Labels Milestones
Back(end 177.75 128.75 (end 166.4475 128.75 (end 179.1 130.1 (end 179.1 130.1 (end 179.1 131.75 (end 181.6 151.17 (end 152.6 155.17 (end 155.1 149.37 (end 155.706823 109.135 (end 150.75 114 (end 174.5025 112.195 (end 172.6975 114 (end 174.5025 116.939474 (end 172.941974 118.5 (end.
- "multiple_net_names": "warning", "net_not_bus_member": "warning.
- 7.393308e-01 -3.994555e-03 -6.733305e-01 facet normal 0.989342.