Labels Milestones
Back-0.353629 -0.430896 0.830226 facet normal -9.958040e-01 -5.082092e-03 9.137079e-02 facet normal -2.218318e-16 -3.986640e-15 1.000000e+00 facet normal -0.0464227 0.0868543 0.995139 vertex -7.3758 -1.46714 6.0001 facet normal -0.478901 -0.594398 0.646022 facet normal -6.451590e-01 -7.640483e-01 -3.363650e-04 vertex -9.289963e+01 9.327794e+01 2.655000e+01 facet normal -0.290276 0.956943 0 facet normal 0.88053 0.472795 0.0336363 facet normal 0.63056 -0.768557 0.108238 facet normal -0.768425 0.630723 0.108218 facet normal 0.991524 -0.109217 0.0703647 facet normal 4.589668e-01 8.884534e-01 3.478097e-04 vertex -9.426361e+01 1.053818e+02 1.055000e+01 vertex -9.578389e+01 1.059137e+02 1.055000e+01 vertex -9.322219e+01 1.047675e+02 3.455000e+01 facet normal 9.964601e-01 8.406740e-02 0.000000e+00 vertex -9.617936e+01 9.181029e+01 2.655000e+01 facet normal -0.995185 -0.0980171 1.13576e-06 facet normal -0.115076 0.00068584 0.993356 facet normal 0.45481 -0.0546005 0.888913 facet normal 9.460993e-001 3.238766e-001 0.000000e+000 facet normal -0.137651 -0.106817 0.984704 vertex -0.0879059 -7.39065 6.86646 vertex -0.139654 7.39048 6.87554 facet normal -0.586516 -0.714676 0.3811 facet normal 0.990927 -0 0.134403 facet normal -0.367707 -0.00384412 0.929934 facet normal 0.547893 -0.364903 0.752767 facet normal 0.247473 -0.963792 0.0993122 facet normal 0.392539 -0.73439 0.553701 facet normal 1.723289e-13 -1.000000e+00 -2.839372e-14 facet normal -0.282966 0.360203 0.888923 facet normal 0.885449 0.0559554 0.461356 facet normal 0.0943295 0.991506 0.089547 facet normal -0.678283 -0.205751 0.705407 vertex 9.09213 -3.43962 3.26879 facet normal -0.634346 0.772956 -0.0119928 facet normal -0.000213667 -0.116081 -0.99324 vertex -4.94225 -0.762348 21.7809 facet normal 0.876739 -0.468635 0.108208 facet normal -0.049752 0.0861726 -0.995037 facet normal -0.940721 0.331802 0.0703595 facet normal 1.662431e-01 9.860847e-01 -3.475954e-04 vertex -9.838217e+01 1.060245e+02 2.550000e+00 facet normal -0.187658 0.0572764 0.980563 facet normal 0.991524 0.109221 0.0703601 facet normal 0.290271 -0.950499 0.110881 facet normal -9.816959e-02 5.216674e-03 9.951560e-01 facet normal 0.368125 0.929776 0 vertex -5.00013 7.48323 3.82299 facet normal 0.0363633 0.0926524 -0.995034 vertex 3.08871 9.50606 0.0473591 facet normal 6.869846e-01 7.266720e-01 -0.000000e+00 facet normal -0.181017 0.229826 0.956249 vertex 0.119821 7.15688 6.88072 facet normal -0.778622 -0.416181 0.469619 facet normal -0.954699 0.292521 0.0546087 vertex -4.19817 -5.60068 7.78686 vertex 5.60181 4.2532 7.5827 facet normal -0.900355 -0.423665 0.0993365 facet normal 0.773011 -0.630119 0.0735069 facet normal 0.741889 -0.638745 0.203973 vertex 5.83103 -4.37272 7.67586 facet normal -5.035381e-001 -2.241926e-003 8.639701e-001 facet normal -0.0729418 0.0676799 -0.995037 facet normal 7.768649e-01 -6.296672e-01 3.190811e-04 vertex -1.030956e+02 9.452922e+01 4.255000e+01 facet normal -0.995186 0.0973393 0.0113559 vertex -5.71699 1.07374 21.335 vertex -6.91995 -1.06598 10.3435 facet normal 0.993102 -0.0624781 0.0992224 facet normal -0.451284 -0.844291 0.288991 facet normal -0.801127 0.594344 0.0703596 facet normal -0.00965279 0.0980097 0.995139 vertex 6.48017 -4.32991 5.97318 facet normal -0.594398 0.478901 0.646022 facet normal -0.191173 0.962691 -0.191515 facet normal -0.0817216 0.08206 0.993271 facet normal -0.608831 -0.184688 0.771502 vertex 7.90994 3.27641 5.56266 facet normal -0.834578 0.268415 0.481075 facet normal -0.801128 0.594344 0.0703587.
- 7.669265e-001 -0.000000e+000 vertex 4.604934e-001 5.608658e+000 9.983999e+000 vertex -7.053316e+000.
- 3.477112e-003 6.246964e-001 facet normal -9.777785e-001 -4.353410e-003 2.095954e-001 facet.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after fixes.