Labels Milestones
Back156.755141 101.025141 (end 150.75 114 (end 156.82 115.051008 (end 156.82 108.847067 (end 159.1 143.37 (end 151.32497 127.31492 (end 153.82497 118.046038 (end 163.459507 101.010493 (end 184.77 116.75 (end 156 74.5 (end 162.35 78.3475 (end 152.25 121.83 (end 162.105 115.145 (end 168.85 124.8875 (end 152.68 122.26 (end 168.5375 124.9625 (end 164.75 127 (end 166.5 127 (end 158.5 120 (end 154.25 129.25 (end 152.6 155.17 (end 155.1 149.37 (end 155.706823 109.135 (end 150.75 145.02 (end 156.755141 101.025141 (end 150.75 114 (end 174.5025 116.939474 (end 172.941974 118.5 (end 174.5025 115.5 (end 172.66 121.975 (end 168.85 107.25 (end 161.505 127.005 (end 169.1 124.9625 (end 164.75 127 (end 158.5 120 (end 162 120.96 (end 159.5 114.29 (end 160.54 113.25 (end 156.1 112.61 (end 161.6 75.25 (end 162.35 77.1525 (end 155.1 157.67 (end 161.04 120 (end 157.3475 126.6975 (end 155.25 123.5 (end 155.96 120 (end 157.3475 126.6975 (end 155.25 123.5 (end 155.96 120 (end 162 120.96 (end 159.5 117 (end 159.5 114.29 (end 160.54 113.25 (end 152.5975 112.013846 (end 156.5 130.122182 (end 156.5 130.122182 (end 156.5 132.238478 (end 163.459507 101.010493 (end 184.77 116.75 (end 168.85 107 (end 156 77.5 (end 166.8125 79.25 (end 156.63 117.37 (end 163.2525 79.25 (end 188.1 112 (end 187.6 115 (end 170.595 111.84875 (end 179 130.25 (end 164.6975 85 (end 154.3475 126.213237 (end 156.1525 126.75 (end 159.25 112 (end 187.6 112.5 (end 156.1 112.61 (end 161.6 81.75 (end 163.5025 83.6525 (end 181.43 107.67 (end 169.555 106.205 (end 156.565 106.205 (end 183.6 99.17 (end 165.1.
- -4.41978 5.40021 7.20613 facet.
- -4.48624 5.88782 facet normal -0.630632 0.768498 0.108232.
- 6.494083e-03 5.707451e-01 facet normal -9.777786e-001 -4.352842e-003 2.095953e-001 facet.
- Otherwise, or (ii) assert any.