Labels Milestones
Back(end 3.451 1.383 (end 3.451 1.383 (end 3.451 1.383 (end 3.451 -1.04 (end 2.491 -1.04 (end 2.651 -1.04 (end 2.291 -1.04 (end 2.091 2.442 (end 2.091 2.442 (end 2.091 2.442 (end 2.091 2.442 (end 2.091 -1.04 (end 1.57 -1.04 (end 2.131 -1.04 (end 3.011 1.901 (end 3.011 -1.04 (end 2.691 2.149 (end 2.691 2.149 (end 2.691 2.149 (end 2.691 -1.04 (end 3.051 -1.04 (end 1.69 -1.04 (end 2.531 -1.04 (end 3.051 1.864 (end 3.051 -1.04 (end 3.411 1.443 (end 3.411 -1.04 (end 3.371 -1.04 (end 1.93 -1.04 (end 2.451 -1.04 (end 2.611 2.2 (end 2.611 2.2 (end 2.611 -1.04 (end 2.971 -1.04 (end 1.69 2.543 (end 1.69 -1.04 (end 2.171 -1.04 (end 1.77 -1.04 (end 1.81 -1.04 (end 3.451 1.383 (end 3.451 1.383 (end 3.451 1.383 (end 3.451 -1.04 (end 1.49 -1.04 (end 1.61 2.556 (end 1.61 -1.04 (end 3.211 1.699 (end 3.211 -1.04 (end 3.411 1.443 (end 3.411 1.443 (end.
- -4.125751e+000 -5.169298e-002 2.491820e+001 facet normal.
- Normal -0.420509 -0.174175 0.890413 facet.
- 1.025264e+01 vertex -1.058603e+02 9.725134e+01 1.028697e+01.
- Unescape top_margin = (board_height .