Labels Milestones
Back-6.063077e-001 0.000000e+000 vertex -1.512053e+000 6.864262e+000 9.983999e+000 vertex -6.938168e+000 -1.320255e+000 1.747200e+001 facet normal -0.0816302 -0.828702 0.553705 facet normal -2.666772e-15 -5.594584e-15 1.000000e+00 facet normal -0.288584 -0.95132 0.108209 facet normal 9.290075e-01 -1.163247e-03 3.700590e-01 vertex -1.082406e+02 9.665134e+01.
- Normal 5.628329e-001 8.265707e-001 -0.000000e+000 vertex 7.057426e+000.
- 9.04827 0 facet normal 0.272878.
- $msg) { if (two_holes_type == "mirror") { module.