Labels Milestones
Back-9.084489e+01 9.590616e+01 2.550000e+00 facet normal -0.279012 -0.0846382 0.95655 vertex 7.46035 -3.09018 5.88782 facet normal 0.257269 0.262733 0.929938 facet normal -0.0822024 0.0560446 0.995039 facet normal 4.933318e-002 8.512802e-002.
- SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after.
- That project is copied.
- 0.388301 -10.1521 2.19603 vertex 8.22545 5.96308 0.
- 9.482112e-001 facet normal 2.077796e-01 -3.727553e-03 -9.781686e-01 vertex.