Labels Milestones
BackNormal 0.976242 -0.096139 0.194186 facet normal 0.980785 0.195093 0 vertex -1.21798 -6.38487 19.9 facet normal 0.0980465 0.995182 6.66873e-06 facet normal 0.979666 0.187893 0.0703599 vertex 7.45736 -3.59127 19.9688 facet normal 0.417286 -0.223044 0.880979 facet normal -0.462425 0.865137 0.194169 vertex 3.89968 -9.41467 2.19603 vertex 8.40938 5.61897 2.58057 facet normal 0.112453 0.551187 -0.826769 vertex -1.10704 2.68091 18.9333 facet normal 5.13299e-06 -0.113204 0.993572 vertex -0.808218 7.32071 6.91141 facet normal -0.643692 -0.528262 0.553714 facet normal -8.314602e-01 -5.555843e-01 -0.000000e+00 facet normal 9.999901e-001 4.452774e-003 -0.000000e+000 vertex 4.977315e+000 2.693898e+000 2.496000e+001 vertex -3.666691e+000 -6.082386e+000 9.983999e+000 vertex 6.573270e+000 -2.717840e+000 1.747200e+001 facet normal 0.049734 0.0862121 0.995035 vertex -3.40844 7.24331 19.9481 facet normal 9.659165e-001 4.300596e-003 2.588180e-001 facet normal 2.823787e-15 -1.000000e+00 1.114886e-14 facet normal 5.477162e-002 -9.389922e-002 9.940739e-001 vertex 1.399291e+000 4.041589e+000 2.495526e+001 facet normal -4.949282e-001 -8.661245e-001 6.981780e-002 facet normal -0.388731 0.815358 0.429045 facet normal -4.803516e-01 -8.770760e-01 -3.417321e-04 vertex -9.410620e+01 9.249908e+01 2.550000e+00 facet normal -0.29701 0.135092 0.94527 facet normal 0.471388 0.881926 6.69388e-06 facet normal 0.595017 -0.488315 -0.63836 vertex -4.24264 4.24264 6.59 facet normal 0.773053 0.634341 -1.43199e-05 facet normal -0.000135683 -0.115801 -0.993272 vertex -5.10452 -0.896427 21.7998 facet normal 0.76572 0.435817 0.473008 facet normal 0.844738 -0.44206 0.301663 facet normal -0.225353 0.544079 0.808204 vertex 5.04221 1.97652 19.4867 vertex 5.62155 -1.68133 19.4867 vertex 5.15907 -1.48976 19.1916 facet normal 5.7231e-05 -0.113358 0.993554 facet normal -0.0818475 0.0808324 0.993362 vertex -4.12613 4.97321 7.83559 facet normal 9.734656e-001 2.288332e-001 0.000000e+000 facet normal 0.288583 0.95132 0.108209 vertex 1.13596 5.71086 21.335 facet normal.
- 7.16813 19.9688 facet normal 3.103493e-01 3.586279e-03.
- -0.831466 -3.46482e-07 vertex -1.99279 2.70852 6.59 facet normal.
- -0.264755 0.293113 vertex -4.13938 -5.6469 10.3435.
- Normal 0.94716 0.0961108 0.306023 facet normal 9.468913e-01 -3.215537e-01.
-
9f9f6acf76f746b4755da71c07bb656091774052 SMT updates