Labels Milestones
BackPreg_replace("@
- Normal -1.452129e-001 -2.519592e-001 9.567810e-001 vertex -6.272084e-003 6.047359e+000.
- -0.0600064 0.144869 0.98763 facet normal -0.0458387 0.92006.
- (end 3.091 -1.04 (end.
- Vertex -4.012057e+000 1.591300e+000 2.470218e+001.