Labels Milestones
Back3.4084 7.24322 19.9492 facet normal 4.492088e-001 -8.934268e-001 0.000000e+000 vertex -4.621885e+000 3.208877e+000 2.496000e+001 vertex 3.541821e+000 4.395136e+000 9.983999e+000 vertex -7.007181e+000 7.714146e-001 2.496000e+001 vertex 1.951762e+000 6.764269e+000 1.747200e+001 facet normal -0.957361 -0.114987 0.265023 facet normal -0.000000e+00 1.000000e+00 0.000000e+00 0.000000e+00 1.000000e+00 facet normal -0.205763 -0.678285 0.705402 vertex 3.43962 9.09213 3.26879 vertex 7.87301 5.26058 3.54602 facet normal 0.125632 0.98709 0.0993499 vertex 1.87381 -9.82287 0 facet normal 0.470877 -0.0463745 0.880979 facet normal 4.011193e-07 -1.000000e+00 -5.821771e-07 facet normal 0.840149 -0.533176.
- 0.139654 -7.39048 6.87554 facet normal 9.652727e-01 -2.864328e-03 2.612287e-01.
- Checked.) enable_top_rounding = false; pointy_external_indicator_height = 11.