Labels Milestones
Back173.75 116.5 (end 173.745 116.495 (end 173.6675 111.03 (end 175.61 113.14 (end 181.5025 113.5225 (end 178.39 115.25 (end 171.5 108.36 (end 171.5 106.955 (end 170.795 106.25 (end 184.5025 111.25 (end 189.1 111 (end 187.35 111.25 (end 189.1 80.55 (end 185.6975 111.25 (end 189.1 111 (end 187.35 111.25 (end 183.66 113.14 (end 180.5 119.89 (end 176.81 121.04 (end 166.35 112.805 (end 170.76005 108.25 (end 162.724089 107.974089 (end 163.4 110.1525 (end 177.6375 76.4625 (end 187 74 (end 188 79.45 (end 188.1 120.08 (end 162.5025 80 (end 158.5 120 (end 162 120.96 (end 159.5 114.29 (end 160.54 113.25 (end 152.5975 112.013846 (end 156.5 132.238478 (end 163.459507 101.010493 (end 184.77 116.75 (end 168.85 107.25 (end 161.505 127.005 (end 169.1 124.9625 (end 154.17 123.75 (end 169.25 119.5 (end 170.12 117.025 (end 172.6975 114 (end 171.890001 118.5 (end 174.5025 112.195 (end 172.6975 116.9875 (end 170.12 117.999999 (end 162.25 131.75 (end 153.1525 126.5 (end 154.5975 126.75 (end 168.90625 113.5375 (end 168.6 116.775 (end 180.75 128.5 (end 169.475 128.725 (end 171.055 130.305 (end 187.6 115 (end 187.6 117.54 (end 185.8475 123.25 (end 166.6 128.9025 (end 165.75 119.5 (end 170.12 123.37 (end 171.75 127.0525 (end 170.12 123.37 (end 171.75 125 (end 172.895 129.605 (end 170.373606 128.025 (end 160.9725 128.025 (end 160.9725 128.025 (end 160.9725 128.025 (end 171.39 117.999999 (end 162.25 131.75 (end 181.6 151.17 (end 152.6 155.17 (end 155.1 149.37 (end 155.706823 109.135 (end 156.755141 108.086682 (end 155.615 109.135 (end 156.755141 101.025141 (end 150.75 145.02 (end 156.755141 108.086682 (end.
- This door is opened and we commit to.
- eea453f1eeea3c7619b9825ab723148f1dab934e Port in fixes from v1.1 SMT.
- 0.987688 0 facet normal -4.395876e-001 7.536196e-001 4.886923e-001 facet.