Labels Milestones
Back3.49795 8.28616 4.51215 facet normal 0.468222 0.88192 0.0546261 facet normal 0.956944 -0.288318 0.0336339 facet.
- Normal 0.980847 0.194778 -4.93453e-07 vertex -3.16429 1.31069.
- 1.009513e+01 vertex -9.041295e+01 1.006720e+02 1.017208e+01 vertex -9.046598e+01.
- -3.668982e-001 9.063278e-001 facet normal -9.777786e-001 -4.353409e-003 2.095953e-001 vertex.
- 4.886952e-001 vertex -2.005620e+000 -3.572258e+000.
- SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after tweaking footprints.