Labels Milestones
Back-1.042169e-13 -1.000000e+00 3.864439e-14 facet normal 1.257392e-01 7.007453e-03 -9.920386e-01 facet normal 5.011261e-001 -8.639795e-001 4.911378e-002 facet normal -1.397736e-01 -9.901835e-01 -0.000000e+00 facet normal -0.45399 -0.891007 0 facet normal -0.366306 -0.925189 0.09922 facet normal -0.290276 0.956943 0 vertex 7.48323 -5.00013 4.51216 facet normal -0.430913 -0.25505 0.8656 facet normal -0.634391 0.773012.
- -7.75279 -1.99403 19.9467 vertex -7.73568 -2.38614 19.9509 vertex.
- -8.28883 -5.76169 0.0491304 vertex -7.83991.
- Worldwide, (ii) for the Executable Form If.