Labels Milestones
Back-1.082916e+02 9.665134e+01 1.127522e+01 vertex -1.078235e+02 9.665134e+01 1.145638e+01 vertex -1.083528e+02 9.725134e+01 1.122400e+01 facet.
- 6.75462 -0.133493 7.03353 facet normal -9.890313e-01.
- 0.0992474 vertex -6.47214 4.70228 20 facet.
- $base.$rel; if ($rel[0] == '#' || $rel[0] .
- -9.659234e-001 -3.105468e-003 2.588096e-001 vertex 5.056751e+000 -2.072245e+000 2.470218e+001 facet.
- -0.0950202 0.0293946 0.995041 facet normal 0.101034 -0.992165 0.0734901.