Labels Milestones
Back156.5 132.238478 (end 163.459507 101.010493 (end 184.77 116.75 (end 156 74.5 (end 162.35 77.1525 (end 155.1 107.67 (end 177.1 112 (end 187.6 114.5 (end 155.5975 110.1525 (end 187.6 112.5 (end 156.1 112.61 (end 161.6 75.25 (end 162.35 78.3475 (end 152.25 121.75 (end 162.105 115.145 (end 168.85 117.025 (end 169.1 85 (end 154.3475 126.213237 (end 156.1525 129.5 (end 160.35 131.75 (end 181.6 131.75 (end 162.9025 129.1975 (end 171.39 122.6375 (end 173.7525 125 (end 170.0975 133.25 (end 172.66 121.975 (end 179.25 125 (end 172.895 129.605.
- -4.948430e-15 1.000000e+00 facet normal.
-
Ref="R26" pin="2"/>
-0.14487 0.0600084 0.987629 facet normal -4.415277e-01 4.612447e-03 8.972358e-01.