Labels Milestones
Back-0.0868543 0.995139 facet normal -4.084597e-01 9.127763e-01 0.000000e+00 vertex -1.008634e+02 9.260606e+01 1.855000e+01 vertex -1.041734e+02 1.012768e+02 1.055000e+01 vertex -9.055258e+01 1.011513e+02 1.114574e+01 facet normal -0.47938 -0.871977 0.0992491 vertex -3.40623 -7.23862 20 facet normal 9.513109e-001 -3.082331e-001 0.000000e+000 vertex -2.733144e+000 -6.561450e+000 1.747200e+001 facet normal -0.000195511 0.116119 0.993235 vertex -7.37473 -0.0747576 6.86461 facet normal 0.467997 0.312516 -0.826627 vertex 2.92547 -1.22714 18.7502 facet normal 0.629653 0.76827 0.115322 facet normal 0.0154455 -0.484683 0.874554 facet normal 3.331023e-001 5.832561e-001 7.408476e-001 vertex -5.079425e+000 -3.016558e+000 2.486861e+001 facet normal -0.106347 0.024206 0.994034 facet normal -0.365096 0.683048 0.632574 vertex 7.27387 4.86024 5.33536 facet normal 0.88194 0.471362 3.9939e-07 facet normal -0.165337 -0.688668 0.705975 facet normal -0.187658 -0.0572764 0.980563 facet normal 0.875976 0.471404 0.102197 facet normal -0.77078 -0.0759133 0.632562 vertex 1.70669 -8.58011 5.33536 facet normal 3.318494e-001 -5.689145e-001 7.524708e-001 facet normal 0.665267 0.39254 0.635084 facet normal 0.192839 -0.747986 0.635083 facet normal 0.468298 -0.312748 -0.826369 vertex 2.06806 -2.03063 18.9318 facet normal -4.078850e-02 -3.939388e-03 -9.991600e-01 vertex -1.066064e+02 9.725134e+01 1.291646e+01 facet normal 0.956943 -0.290276 0 facet normal 0.32036 0.220665 0.921236 facet normal 0.0942412 -0.028589 0.995139 facet normal -0.106559 -0.137901 0.984697 vertex -5.29418 5.16563.
- -4.038048e+000 7.699408e-001 2.480400e+001 facet.
- -4.077532e-001 6.994046e-001 5.870013e-001 facet normal -0.615853 0.525805 0.586731.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint.