Labels Milestones
Back3.962210e+000 4.025312e+000 2.496000e+001 vertex -6.778011e+000 -2.001570e+000 2.496000e+001 vertex 1.951762e+000 6.764269e+000 9.983999e+000 vertex -1.209642e+000 5.491410e+000 2.496000e+001 vertex 2.937280e+000 6.404036e+000 9.983999e+000 vertex 3.559962e+000 6.084497e+000 2.496000e+001 vertex -7.007181e+000 7.714146e-001 9.983999e+000 vertex 2.928430e+000 -4.890075e+000 9.983999e+000 vertex 5.021640e+000 -2.681558e+000 1.747200e+001 facet normal 0.000107246 0.115912 0.993259 facet normal -6.059723e-02 5.494638e-03 9.981472e-01 vertex -1.063183e+02 9.725134e+01 8.848868e+00 facet normal 0.880764 -0.4683 0.0703599 facet normal 0 -0.95694 -0.290284 vertex -0.4 -2.86172 18.9065 facet normal -0.0221424 0.0970097 -0.995037 facet normal 1.028882e-001 9.946929e-001 0.000000e+000 facet normal 2.721685e-01.
- 3.314663e-04 facet normal -0.652551 -0.754471 0.0703597 facet normal.
- = hp_mm(h); } else if (bottom_element=="switch") .