Labels Milestones
Back0.0624841 0.0761186 0.995139 vertex 1.52046 7.64388 5.97318 facet normal 0.796851 -0.241732 0.553709 vertex -9.09213 3.43962 3.26879 vertex 1.90135 9.55875 3.26879 vertex 3.72964 9.00415 3.26879 facet normal -0.881936 -0.471369 -0 facet normal 0.867698 0 -0.497092 vertex 1.11009 -2.67999 18.9335 vertex 1.11009 -2.67998 18.9335 facet normal 0.479367 0.871967 0.099405 vertex 5.35827 -8.44328 0 facet normal -0.831387 -0.555694 1.06687e-17 vertex 2.4343 2.40319 6.59 facet normal 9.935223e-01 -1.114064e-03 1.136315e-01 vertex -9.053916e+01 1.011102e+02 1.068735e+01 facet normal 9.996069e-01 -2.803474e-02 0.000000e+00 vertex -9.202120e+01 1.036943e+02 1.055000e+01 vertex -9.993071e+01 9.217447e+01 2.550000e+00 facet normal -4.851187e-001.
- 1.6703 8.39715 5.56266 facet normal -0.205763 -0.678285 0.705402.
- Normal 0.703995 -0.703995 0.0937203 facet normal -3.267650e-001.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates SMT.