Labels Milestones
Back-9.219327e+01 9.392257e+01 4.255000e+01 facet normal 0.144955 -0.617512 0.77309 vertex 4.98874 -4.61842 7.03804 vertex 6.63876 -0.319077 7.17054 vertex 4.54597 -4.77601 7.16505 facet normal -1.625347e-01 0.000000e+00 9.867028e-01 facet normal 2.845789e-001 4.980133e-001 8.191444e-001 facet normal 4.395860e-001 -7.536160e-001.
- Normal 0.618852 0.265169 0.739397 facet normal -0.956916 -0.290363.
- Implicitly verifying that all code.