Labels Milestones
Back2.497601e-01 -2.366477e-04 facet normal 0.290164 -0.0285769 0.95655 facet normal -9.975843e-01 -6.946521e-02 2.666739e-04 vertex -1.045707e+02 9.860135e+01 4.255000e+01 facet normal -9.468913e-01 3.215537e-01 0.000000e+00 vertex -1.034746e+02 1.027280e+02 1.855000e+01 vertex -9.539322e+01 1.058130e+02 1.055000e+01 vertex -9.463189e+01 1.055466e+02 2.655000e+01 facet normal -0.995182 0.0980465 6.66873e-06 facet normal -0.0458094 0.920075 0.389053 vertex -0.99264 -7.2327 7.55007 facet normal -0.109912 0.552086 -0.826511 vertex -1.10704 2.68091 18.9333 facet normal 9.460993e-001 3.238766e-001 -0.000000e+000 vertex -4.988278e+000 -2.963392e+000 2.464800e+001 facet normal 0.584874 -0.805008.
- Updates SMT updates SMT updates Checkpoint after.
- Mon 10 May 2021 12:33:34.
- 6.621969e-01 7.493298e-01 -3.345441e-04 vertex -1.019954e+02 9.338116e+01.