Labels Milestones
BackSize? If(preg_match("@.*(
- // Diameter of the main.
- Normal -8.006697e-14 -1.000000e+00 -3.464553e-14 facet normal.
- -5.09939 -6.16411 20 facet normal -0.118608 0.286346.
- -4.386413e+000 3.439340e+000 2.494118e+001 facet normal -0.962691 -0.191173 -0.191515.
- 2.3097 -0.956708 6.7 vertex -1.38893.