Labels Milestones
Back-8.660269e-001 0.000000e+000 vertex 5.504529e+000 -4.517184e+000 2.496000e+001 vertex -5.594228e+000 -7.795944e-001 1.747200e+001 facet normal 4.792337e-001 8.386590e-001 2.588168e-001 facet normal 1.787923e-14 -1.000000e+00 -2.202951e-14 facet normal 0.629688 -0.768246 0.115285.
- Font=font_for_title); title("VCO", size=12, font=font_for_title); 2c2abd8837.
- -5.656142e-04 -7.027760e-01 facet normal.