Labels Milestones
Back-0.181189 -0.229615 0.956268 facet normal 0.900359 -0.423669 0.0992904 vertex 7.43821 -2.945 20 facet normal 3.934383e-001 -6.745008e-001 6.247039e-001 facet normal -0.0316549 0.0148778 0.999388 vertex 7.01508 -3.85657 19.9472 facet normal 0.528271 0.643697 0.553701 facet normal -7.241379e-01 -6.896552e-01 0.000000e+00 facet normal -0.757656 -0.64885 -0.0703637 vertex -0.663325 -10.0728 0.0491304 vertex 8.79099 4.40735 1.49673 vertex 8.91331 -4.48913 0.0389554 facet normal -1.304261e-001 2.235997e-001 9.659152e-001 facet normal 0.90035 0.423684 0.0993093 facet normal 0.638679 0.741926 0.204047 vertex 4.33969 5.83811 7.81812 facet normal -9.824021e-01 -4.998544e-03 1.867113e-01 facet normal 0.0985702 -0.99513 1.41413e-05 facet normal -0.156321 -0.0122986 0.98763 vertex 4.1763 0.113982 18.7299 vertex 4.19688 0.147574 18.7299 facet normal 0.000195511 0.116119 0.993235 facet normal 0.129484 0.780815 0.611197 vertex -0.693269 -6.94378 7.20613 facet normal 0.403622 0.491816 0.771496 facet normal 0.0754488 0.766032 -0.63836 facet normal -2.885566e-001 9.574628e-001 0.000000e+000 vertex -4.726331e+000 -3.123942e+000 1.747200e+001 facet normal 0.956873 -0.290264 -0.0119204 facet normal -1.600438e-001 2.743760e-001 9.482108e-001 facet normal -0.161832 0.533413 0.83023 facet normal 0.772981 0.634316 -0.0119415 facet normal -0.507857 0.489735 0.708689 vertex -5.69935 4.54285 7.24096 vertex -7.28862 -0.671124 7.09583 vertex 5.54018 -4.83492 6.98312 facet normal 0.634483 0.772937 -0 facet normal 0.0822176 0.0560551 -0.995037 vertex -6.08298 -7.91194 0.0389647 facet normal 0.0366054 -0.152473 0.987629 vertex 5.11046 0.230843 18.8084 vertex 3.68954 -0.230843 18.8084 vertex 4.47758 0.23878 18.7299 facet normal 0.590397 -0.80404 -0.0703616 facet normal 0.875977 0.471404 0.102188 facet normal 0.46415 -0.23112 0.855072 vertex 4.78839 5.45272 6.97207 vertex -5.5107 4.61666 7.08096 facet normal -0.0980238 -0.995184 -0 facet normal -0.257305 0.262695 0.929939 facet normal 0.0982303 0.0149446 0.995051 vertex -7.75279 1.99403 19.9467 facet normal -7.748049e-001 6.322004e-001 0.000000e+000 vertex -2.272202e+000 5.142284e+000 9.983999e+000 vertex 6.868123e+000 1.745502e+000 9.983999e+000 vertex 1.808561e-001 5.623660e+000 2.496000e+001 vertex 5.609102e+000 8.483483e-001 2.496000e+001 vertex 5.358002e+000 -1.912462e+000 9.983999e+000 vertex 4.427276e+000 5.493920e+000 9.983999e+000 vertex -5.497466e+000 -4.471825e+000 9.983999e+000 vertex -7.050429e+000 -2.769859e-001 9.983999e+000 vertex 2.260702e-001 7.029575e+000 2.496000e+001 vertex 6.105788e+000 -3.657241e+000 9.983999e+000 vertex 6.771266e+000 2.081886e+000 2.496000e+001 vertex 3.756590e+000 4.215425e+000 2.496000e+001 vertex 3.318426e+000 4.564005e+000 1.747200e+001 facet normal 4.561123e-001 -7.804182e-001 4.276787e-001 vertex -5.037910e+000 2.849154e+000 2.476740e+001 facet normal -5.393331e-002 -9.438337e-002 9.940739e-001 vertex 1.435524e+000 -4.095611e+000 2.495526e+001 facet normal -0.400414 0.779905 0.481058 vertex 4.81447 4.25586 7.51797 facet normal -0.421013 -0.192217 0.886454 vertex -4.68184 4.87063 7.03353 facet normal -0.962691 -0.191173 -0.191515 facet normal -0.0221408 0.097011 -0.995037 facet normal -1.575939e-001 -2.757894e-001 9.482111e-001 vertex 2.804504e+000 3.190207e+000 2.494118e+001 facet normal 9.916058e-01 -1.292925e-01 -1.184565e-03 vertex -1.045378e+02 9.815134e+01 1.755000e+01 facet normal 3.176416e-001 1.414251e-003 9.482098e-001 vertex -4.161525e+000 -8.730952e-001 2.494118e+001 facet normal -0.111553 -0.367742 0.923213 vertex -3.33701 -8.34742 3.82299 facet normal -0.76572 0.435817 0.473008 vertex 6.5979 0.528493 7.34278 vertex 4.17623 5.20841 7.5439 facet.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates SMT updates SMT updates.
- -0.0433596 0.995069 vertex -5.16066.