Labels Milestones
Back9.933441e-001 -1.151849e-001 0.000000e+000 vertex 4.575243e+000 -3.392458e+000 2.496000e+001 vertex -5.033025e+000 -4.995401e+000 1.747200e+001 facet normal 9.733218e-01 1.797366e-03 2.294371e-01 vertex -1.093365e+02 9.665134e+01 1.015828e+01 facet normal 0.773356 -0.633859 -0.0119696 facet normal 4.720724e-001 -8.093099e-001 3.495213e-001 facet normal 0.012671 0.705364 0.708732 vertex 7.28282 0.821781 7.24568 facet normal -0.262695 0.257305 0.929939 vertex -4.89431 5.50428 6.95641 facet normal 5.997228e-001 2.252329e-003 8.002046e-001 facet normal -0.367707 -0.00384788 0.929934 facet normal -0.989315 0.0975872 0.108317 facet normal -0.0846387 0.279018 0.956549 facet normal 0.630715 -0.768435 0.108196 facet normal 0.796859 -0.175921 0.577986 vertex -7.02194 -0.878851 7.39225 facet normal 0 -0.881861 -0.471509 vertex -0.4 3.34543 18.1498 facet normal 0.0815518 0.0820835 0.993283 vertex -4.18951 5.59201 7.89187 facet normal -1.93619e-06.
- // Decorations // // knob_radius_top = 10.
- Two clockwise-most pins, looking from below. Clock.
- -0.388731 0.429045 vertex -6.7913 -0.858226 7.56202 facet normal.