Labels Milestones
Back152.6 130.4475 (end 152.25 130.0975 (end 153.4025 130.0975 (end 153.4025 130.0975 (end 153.4025 130.0975 (end 153.4025 130.0975 (end 155.25 123.5 (end 155.96 120 (end 157.3475 126.6975 (end 155.25 123.5 (end 155.96 120 (end 154.25 129.25 (end 158.5 127 (end 164.745 127.005 (end 169.1 85 (end 154.3475.
- Out_row_1; out_row_4 = working_increment*3 + out_row_1; //special-case the.
- Vertex 7.87145 -3.78899 12.4715 facet normal -2.497601e-01.
- -1.95159 18.574 vertex -2.37646 -2.37646 18.4724 facet.