Labels Milestones
Back0.331544 0.422843 0.843375 vertex -5.54018 -4.83492 6.98312 facet normal 0.225392 0.184975 0.956547 facet normal 0.288045 0.957542 -0.0119981 facet normal 0.643667 0.528237 0.553767 facet normal -0.555899 0.83125 4.94372e-08 vertex -2.43216 -2.40639 6.59 facet normal -2.248171e-001 -9.744010e-001 0.000000e+000 vertex -6.672863e+000 -2.335454e+000 2.496000e+001 vertex 5.719055e+000 -4.240572e+000 9.983999e+000 vertex -3.245382e+000 4.591067e+000 1.747200e+001 facet normal -1.90074e-06 0.995049 0.0993842 facet normal -0.58489 0.80501 0.0993097 facet normal -2.588515e-001 -1.152737e-003 9.659165e-001 facet normal.
- User (44 Edge.Cuts user (45 "Margin" user (46.
- Axis [left_edge, -extra_depth], // top horizontal rib .