Labels Milestones
Back0.0992379 vertex -1.87381 9.82287 0 facet normal 8.835940e-01 -3.246278e-03 4.682425e-01 vertex -1.083043e+02 9.665134e+01 5.018543e+00 facet normal 0.779907 -0.400391 0.481074 facet normal -0.758946 -0.0816059 0.64602 facet normal -0.187658 0.0572764 0.980563 facet normal -1.511299e-15 -2.759487e-15 -1.000000e+00 facet normal -0.737294 0.221424 -0.638255 facet normal -0.769324 0.631369 0.0975348.
- -8.051843e-01 0.000000e+00 5.930246e-01 vertex -8.438430e+01 9.927855e+01.
- 8.630859e-001 1.105163e-001 vertex -1.581871e+000 -4.915369e+000.
- $base) { if (anchor_hole=="right.
- Vertex 6.46493 -6.46493 3.76384 facet normal 0.0611117.