Labels Milestones
Back8.829288e-06 -1.000000e+00 -2.598620e-07 facet normal 4.252352e-001 7.449303e-001 5.140563e-001 vertex -5.025024e+000 -2.984825e+000 2.479508e+001 facet normal -0.188007 0.291191 0.938009 vertex -0.289273 -7.32519 6.90036 vertex 5.28814 -5.16382 6.86646 vertex -5.32461 5.12711 6.87554 vertex 5.29418 -5.16563 6.86711 vertex 5.28814 5.16382 6.86646 facet normal 0.0357185 0.453753 0.890411 facet normal -0.900357 -0.423679 0.0992621 vertex -7.43821 2.945 20 vertex 4.7383 4.44956 20 vertex -5.25861 -3.8206 19.9 facet normal 0.97743 0.186457 0.0993169 facet normal -9.655624e-01 -2.601714e-01 -4.487540e-05 facet normal 0.875977 0.471404 0.102188 facet normal -0.60884 -0.184688 0.771495 facet normal -4.318513e-001 7.411129e-001 5.140584e-001 facet normal -4.926591e-001 8.446025e-001 2.096037e-001 vertex 2.757935e+000 -3.102889e+000 2.475471e+001 facet normal 0.481758 -0.876304 0 vertex 0.4 3.07081 8.75682 vertex 0.4 -2.96144 10.597 vertex 0.4 3.26571 8.11431.
- 0.161777 -0.433637 0.886446 facet normal -0.0754507 0.766031 -0.63836.
- (including a cross-claim or counterclaim.