Labels Milestones
Back0.714673 -0.538408 0.446497 vertex -6.63594 0.72986 7.5439 vertex -5.22414 -4.27288 7.35649 facet normal -0.901636 0.420949 0.0992679 facet normal 0.92061 0.302887 0.246448 facet normal -0.704821 -0.704821 0.0803382 facet normal -0.0908696 -0.0438181 -0.994898 vertex -9.29416 -3.67731 0.046549 vertex -9.29343 3.67953 0.0465801 facet normal 0.247473 -0.963792 0.0993122 facet normal -0.172853 0.0217758 0.984707 facet normal 0.392055 -0.2628 0.881606 facet normal -9.807886e-01 1.950737e-01 0.000000e+00 vertex -1.045657e+02 9.930452e+01 2.655000e+01 facet normal 0.301701.
- (rev "2 beta" (attr exclude_from_pos_files.
- 0.338901 -0.181187 0.92321 facet normal 0.94635 -0.307486.