Labels Milestones
Back(end 166.31 114.04 (end 166.35 112.805 (end 170.76005 108.25 (end 162.724089 107.974089 (end 162.724088 107.974089 (end 162.724088 107.974089 (end 162.724088 107.974089 (end 163.4 110.1525 (end 184.5 70.5 (end 187 74 (end 188 75 (end 178.5375 76.4625 (end 152.35 113.4 (end 177.85 73 (end 175.26 73.75 (end 162.6 108.098177 (end 163 109.7525 (end 162.6 108.098177 (end 163 109.7525 (end 162.6 73.75 (end 162.6 108.098177 (end 163 108.25 (end 167.07 112.085 (end 168.25 108.25 (end 162.724089 107.974089 (end 163.4 110.1525 (end 184.5 70.5 (end 187 74 (end 188 75 (end 178.5375 76.4625 (end 188.1 112 (end 158 113.25 (end 156.1 110.1525 (end 184.5 70.5 (end 188 79.45 (end 188.1 115 (end 187.6 115 (end 170.595 111.84875 (end 179 130.25 (end 164.6975 85 (end 170.595 111.84875 (end 179 130.25 (end 164.6975 85 (end 170.595 111.84875 (end 179 130.25 (end 164.6975 85 (end 170.595 111.84875 (end 179 130.25 (end 151.1 118 (end 154.3475 126.5 (end 160 129.5 (end 160.35 131.75 (end 153.1525 126.5 (end 160 129.5 (end.
- @todo Make the top_rounding() operation faster.
- -6.586177e-001 -2.932776e-003 7.524720e-001 vertex 4.123455e+000.