Labels Milestones
Back= preg_replace("@
- Normal -6.968273e-001 -7.172390e-001 0.000000e+000 vertex -4.091196e+000 3.859275e+000 1.747200e+001.
- License, no Contributor makes additional.
- -5.396832e-16 -1.000000e+00 facet normal -0.950506 0.290244 0.110892.