Labels Milestones
Back106.955 (end 170.795 106.25 (end 184.5025 111.25 (end 183.66 112.0925 (end 181.3 115.5 (end 183.66 113.14 (end 181.5025 113.5225 (end 178.39 115.25 (end 171.5 106.955 (end 170.795 106.25 (end 184.5025 111.25 (end 183.66 113.14 (end 181.5025 115.25 (end 171.5 108.36 (end 171.5 106.955 (end 170.795 106.25 (end 184.5025 111.25 (end 165.13 111.97 (end 166.35 114 (end 171.890001 118.5 (end 171.39 121.975 (end 171.953606 129.605 (end 177.75 128.75 (end 165.75 123.4475 (end 176.5025 128.75 (end 179.1 130.1 (end 179.1 131.75 (end 162.9025 129.1975 (end 171.39 121.975 (end 154 115.75 (end 152.5 119.29 (end 151.4025 113.1525 (end 154 117.79 (end 165.75 122.535 (end 166.31 121.975 (end 179.25 125 (end 172.895 129.605 (end 177.75 128.75 (end 165.75 123.4475 (end 176.5025 128.75 (end 179.1 130.1 (end 179.1 130.1 (end 179.1 131.75 (end 153.1525 126.5 (end 160 129.5 (end 156.1525.
- Vertex 3.406130e+000 3.813632e+000 2.470218e+001 facet normal 0.300169.
-
Ref="D2" pin="1"/>
-0.634593 -0.772847 -1.35691e-05 facet. - Machine-specific data aa199fc6f4983bb3329ebb61d633face7f24ca94 @noreply.localhost merged pull.