Labels Milestones
Back-4.19531 7.56202 vertex 6.96854 -0.953609 7.5827 vertex 4.13797 5.40019 7.76535 vertex -0.991719 -6.92883 7.78686 facet normal 0.485049 0.124364 0.865599 vertex 4.56563 -5.2499 7.05523 facet normal -0.938714 0.260376 0.225876.
- 162.724088 107.974089 (end 162.724088.
- 4.02975 -3.69322 21.8414 facet normal 0.0994789.
- ($rel[0]=='#' || $rel[0]=='?') { return $this->mangle_article($article); .
- -1.043966e+02 9.730070e+01 1.855000e+01 vertex -9.355766e+01 1.049916e+02 1.055000e+01 vertex.