Labels Milestones
Back3.155970e+000 2.491820e+001 facet normal -1.165816e-14 -1.000000e+00 6.113595e-15 facet normal -0.772555 -0.634846 0.0113566 facet normal -0.00385378 -0.367708 0.929933 vertex -7.37107 0.303284 6.90571 facet normal 5.019348e-001 -8.605060e-001 8.712576e-002 facet normal -0.0645475 -0.533422 0.843383 facet normal 0.748157 -0.309808 0.586754 vertex 2.06904 -0.821707 19.9 vertex 6.04355 2.39281 19.9 facet normal -9.484077e-01 -5.089065e-03 -3.170125e-01 vertex -1.070522e+02 9.695134e+01 4.786180e+00 facet normal -4.075203e-001 -7.106009e-001 5.735623e-001 vertex 4.315806e+000.
-
If (h < four_hole_threshold) { if (preg_match("@.*?(
- -7.091035e-03 -1.392666e-01 vertex -1.094084e+02 9.695134e+01 1.123457e+01 facet.
- -8.31492 0 vertex -9.06712 -2.79684 6.17307.