Labels Milestones
Back7.028667e-01 7.113215e-01 -3.323372e-04 vertex -9.247315e+01 9.364629e+01 2.550000e+00 facet normal 0.76827 0.629653 0.115322 vertex 3.13874 -3.43619 21.7467 facet normal -0.538408 -0.714673 0.446497 vertex 0.72986 -6.63594 7.5439 facet normal -0.954699 0.292516 0.0546275 facet normal 4.496502e-001 7.868881e-001 4.226369e-001 facet normal 0.382433 0.0376663 0.923215 facet normal -2.450274e-15 -2.558217e-15 -1.000000e+00 facet normal 0.116009 -0.00017977 -0.993248 facet normal 0.533428 0.161815 0.830223 facet normal 1.575949e-001 2.757912e-001 9.482105e-001 facet normal 0.260575 -0.962886 0.07036 facet normal 0.0820835 0.0815518 0.993283 vertex -5.59201 4.18951 7.89187 facet normal 0.0621138 0.113987 0.991539 facet normal 8.100479e-01.
- Font=font_for_title); title("VCO", size=12, font=font_for_title); title("VCO", size=12, font=font_for_title.
- Switch } else if (bottom_element=="switch") .
- -6.943142e-02 2.666739e-04 vertex -9.019785e+01.