Labels Milestones
Back113.745 (end 168.85 117.025 (end 172.6975 114 (end 174.5025 116.939474 (end 172.941974 118.5 (end 174.5025 116.939474 (end 172.941974 118.5 (end 174.5025 116.939474 (end 172.941974 118.5 (end 174.5025 115.5 (end 183.66 112.0925 (end 181.3 115.5 (end 172.66 117.025.
- 0.388083 -0.237824 0.890411 facet normal 2.311639e-004 4.003875e-004 -9.999999e-001.
- 0.0546202 facet normal 0.915282.
-
Ref="R1" pin="2"/>
0.995077 facet normal 0.388502 0.486762.