Labels Milestones
BackNum="1" name="NULL" type="input"/> if (preg_match("@.*(
- -1.822850e-01 -1.013261e-03 vertex -1.044875e+02 9.777043e+01 1.705744e+01 facet normal.
- Step count, 1-10 steps.
- Normal -0.0974854 -0.989339 0.108192 facet normal.
Num="1" name="NULL" type="input"/> if (preg_match("@.*(