Labels Milestones
Back-8.65 -6.67 (end 4.85 4.75 (end -6.5 -4.75 (end 4.85 4.75 (end -6.5 -4.75 (end 0 -10.287 (end 0 -10.287 (end 0 4.953 (end 0 10.033 (end 1.27 1.27 (end 1.27 -6.35 (end 3.851 0.284 (end 3.811 0.518 (end 3.771 0.677 (end 3.731 0.805 (end 3.691 0.915 (end 3.651 1.011 (end 3.611 1.098 (end 3.571 1.178 (end 3.531 -1.04 (end 1.73 -1.04 (end 2.931 1.971 (end 2.931 -1.04 (end 1.971 -1.04 (end 3.331 -1.04 (end 1.85 2.511 (end 1.85 2.511 (end 1.85 -1.04 (end 1.53 2.565 (end 1.53 2.565 (end 1.53 2.565 (end 1.53 -1.04 (end 3.091 1.826 (end 3.091 1.826 (end 3.091 1.826 (end 3.091 -1.04 (end.
- -4.102768e+000 2.320718e+000 2.488918e+001 facet normal 0.615699 0.52587.
- Servant/fp-info-cache Normal file Unescape top_margin = (board_height.