Labels Milestones
Back8.639711e-001 vertex -3.484193e+000 -2.849256e+000 2.494118e+001 facet normal 0.297024 -0.135125 0.945261 vertex 0.422769 -7.15425 6.96188 vertex 0.359534 -7.07772 6.95295 vertex -5.2649 4.9518 6.88859 facet normal -0.815355 -0.435833 0.38111 vertex -9.04239 4.11794 2.94279 facet normal -0.470877 0.0463745 0.880979 facet normal 0.977432 0.186453 0.0993111 facet normal -0.452792 -0.137352 0.880973 vertex -8.33435 0 5.74921 vertex 8.17421 1.62595 5.74921 facet normal -0.000482808 0.116004 0.993249 vertex -1.0528 -7.12884 7.81019 facet normal -0.435831 -0.815356 0.381112 vertex -5.61897 -8.40938 2.58057 vertex 7.20568 -7.20568 2.19603 facet normal 0.0221096 0.172853 0.984699 facet normal -0.0979808 0.995188 0 facet normal 2.900381e-001 -4.948519e-001 8.191456e-001 vertex -7.922568e-001 5.427185e+000 2.488700e+001 facet normal -6.330675e-06 -1.000000e+00 2.387000e-07 facet normal -0.257143 -0.137446 0.956549 vertex 1.57536 -7.91987 5.88782 facet normal -0.644981 -0.00905415 0.764145 facet normal -0.189025 0.787315 0.586859 vertex 5.10533 2.36877 19.9 facet normal 0.634912 0.772501 0.0113542 facet normal 0.24747 -0.963812 0.0991233 facet normal 0.766813 0.634148 0.0992721 vertex 5.83175 -5.47638 20 vertex 2.76756 5.88138 20 vertex 6.54872 -1.35564 20 vertex 2.47214 -7.60845 20 facet normal -1.087091e-001 -4.840734e-004 9.940735e-001 vertex 4.247864e+000 -1.656895e+000 2.495526e+001 facet normal -9.702348e-01 -2.421662e-01 -7.119102e-06 facet normal -7.176975e-16 0.000000e+00 1.000000e+00 facet normal 8.613040e-01 5.080899e-01 -0.000000e+00 facet normal -4.866834e-001 8.343590e-001 2.588132e-001 vertex 4.334138e+000 -3.361386e+000 2.475471e+001 facet normal 0.462515.
- -3.879294e-003 1.965280e-001 vertex 4.049431e+000.
- Updates SMT updates Checkpoint after fixes but before.