Labels Milestones
Back9.774870e+00 facet normal 9.349033e-001 -3.549024e-001 0.000000e+000 vertex 2.063766e+000 -6.818795e+000 9.983999e+000 vertex 3.962210e+000 4.025312e+000 1.747200e+001 facet normal -7.814949e-16 -4.641879e-15 1.000000e+00 facet normal 0.690378 -0.423065 0.586851 facet normal -0.573948 -0.598005 0.559441 facet normal 5.742227e-01 -8.186991e-01 3.340390e-04 vertex -9.341938e+01.
- 9.063225e-001 vertex -5.157188e+000 -6.461623e-002 2.491820e+001 facet.
- SPDT switches Subject: [PATCH 12/13.