Labels Milestones
Back-4.69512 5.64771 7.09873 vertex 4.60319 -5.70811 7.20554 facet normal -0.0348208 0.996914 0.0703598 vertex -8.35846 7.75552 0.18985 facet normal -0.137901 -0.106559 0.984697 facet normal 8.332741e-17 -1.495187e-15 -1.000000e+00 facet normal 0.828691 -0.0169529 0.559449 facet normal 0.741889 0.638745 0.203973 vertex 5.82788 4.38745 7.61242 facet normal 0.362608 0.422016 0.830914 vertex -4.69512 5.64771 7.09873 facet normal 1.510160e-01 -2.163423e-03 9.885290e-01 vertex -1.077753e+02 9.725134e+01 8.883403e+00 facet normal 0.0819688 0.0815293 0.993295 vertex -4.12472 5.39246 7.87006 vertex -6.73225 -0.892525 7.87036 vertex 6.92883 -0.991719 7.78686 vertex 6.91658 0.991719 7.89187 facet normal -0.466839 0.877362 0.110891 facet normal -6.869846e-01 -7.266719e-01 3.388247e-04 facet normal 0.0895678 -0.0430285 0.995051 vertex -7.44297 -2.94688 19.9488 facet normal -0.241719 0.796857 0.553706 facet normal 1.581503e-001 2.754714e-001 9.482110e-001 vertex -2.090380e+000 3.579033e+000 2.494118e+001 vertex 1.767937e+000 -5.074136e+000 2.494118e+001 facet normal -0.734383 0.392551 0.553702 facet normal 4.589969e-01 -8.884379e-01 0.000000e+00 vertex -9.047118e+01 1.005513e+02 7.486783e+00 vertex -9.041086e+01 1.006638e+02 6.078580e+00 vertex -9.044012e+01 1.007757e+02 6.078580e+00 vertex -9.038341e+01 1.005513e+02 6.078580e+00 vertex -9.041086e+01 1.006638e+02 7.486783e+00 facet normal 0.956934 0.288348 0.0336403 facet normal -0.421912 -0.362633 0.830956 facet normal 0.851409 -0.301695 0.429048 facet normal 7.942002e-02 4.702208e-03 9.968302e-01 facet normal 0.0973251 -0.989359 0.108147 facet normal 7.741848e-01 1.163684e-03 -6.329586e-01 vertex -1.053126e+02 9.725134e+01 1.053895e+01 facet normal 5.555843e-01 -8.314602e-01 0.000000e+00 vertex -9.698255e+01 1.060828e+02 1.855000e+01 facet normal -0.163185 -0.820402 -0.548006 facet normal 0.630119 0.773011 0.0735069 vertex 0.759029 -6.57068.
- 2.640404e+000 4.542677e+000 2.495526e+001 facet normal.
- 0.0815518 -0.0820835 0.993283 vertex.
- $para_element->appendChild($title_element); } Clean up code formatting.