Labels Milestones
BackIf(preg_match("@.*(
- Normal -4.258956e-001 -7.445480e-001 5.140634e-001 vertex -5.170339e-003 5.799919e+000.
- 9.268907e+01 4.255000e+01 facet normal 3.183944e-15 -1.000000e+00.
- 0.147387 0.937721 vertex -7.0162 -3.85359 19.9497.
If(preg_match("@.*(