Labels Milestones
Back9.807881e-01 -1.950736e-01 1.021077e-03 vertex -9.029320e+01 9.769664e+01 3.455000e+01 vertex -9.698088e+01 9.171996e+01 1.855000e+01 vertex -9.202104e+01 9.410860e+01 1.855000e+01 vertex -1.041733e+02 9.652563e+01 3.455000e+01 facet normal 0.920082 -0.0906197 0.381101 vertex -1.97312 9.91954 2.58057 facet normal -1.575939e-001 -2.757894e-001 9.482111e-001 vertex 1.378441e+000 4.005100e+000 2.494118e+001 facet normal -0.681163 0.725369 0.0992779 vertex -7.28969 -6.84547 0 facet normal 2.025953e-01 2.842294e-03 -9.792584e-01 facet normal 0.0727857 0.0672448 0.995078 facet normal 0.00758102 -0.10117 -0.99484 facet normal -9.966163e-01 4.631044e-03 -8.206350e-02 facet normal -0.161832 0.533413 0.83023 facet normal -0.0980238 -0.995184 0 vertex 2.85317 -0.927051 9.999 vertex 0.927051 2.85317 9.999 vertex -2.42705 1.76336 9.999 facet normal -0.736593 0.223445 -0.63836 facet.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint.
- Death or personal injury resulting.