Labels Milestones
Back-0.989339 -0.0974657 0.108209 facet normal 9.807580e-01 -1.766960e-03 -1.952194e-01 vertex -9.049876e+01 1.005513e+02 1.168708e+01 facet normal 7.417835e-07 -1.000000e+00 -5.217529e-07 facet normal -0.586516 0.714669 0.381113 vertex -7.0455 7.0455.
- SMT updates SMT updates.
- Normal 0.479705 0.847857 0.225879 vertex 4.29641.
- 0 7.79364 5.97318 facet normal 0.257305 -0.262695.
- 6.164997e-01 facet normal 0.260575 -0.962886 0.07036 facet.
- 3.318426e+000 4.564005e+000 2.496000e+001 vertex 3.086953e+000 4.721622e+000 1.747200e+001.