Labels Milestones
Back-0.0974349 0.108208 facet normal -0.575169 0.528289 0.624573 facet normal 0.000000e+00 -9.486858e-15 1.000000e+00 facet normal -0.590358 0.804069 0.0703596 facet normal 0.000195511 0.116119 0.993235 vertex -7.37473 0.0747576 6.86461 facet normal 9.964629e-01 -8.403365e-02 -2.758694e-04 facet normal -0.112087 -0.551317 -0.826732 vertex 1.10704 2.68091 18.9333 facet normal 9.303830e-01 3.665888e-01 2.117194e-04 vertex -9.076822e+01 1.017231e+02 4.255000e+01 facet normal -0.989314 -0.0976537 0.108268 facet normal -7.693146e-01 -1.734006e-04 6.388701e-01 facet normal 0.024393 0.106447 0.994019 vertex -7.36167 -0.0587368 6.86308 facet normal 9.996070e-01 -2.803203e-02 -2.698513e-04 facet normal -1.575938e-001 -2.757894e-001 9.482111e-001 vertex 1.378441e+000 4.005100e+000 2.494118e+001 facet normal 6.933023e-15 -1.000000e+00 -6.787200e-14 facet normal 0.947172 0.0961675 0.30597 facet normal 4.942504e-001 8.649388e-001 8.716282e-002 vertex -3.364450e+000 -3.896753e+000 2.470218e+001 facet normal 9.062952e-001 4.035140e-003 4.226258e-001 facet normal -0.617512 0.144955 0.77309 facet normal 0.290475 0.0341519 0.956273 vertex -4.958 -5.204 6.88408 vertex 5.16004 4.76054 6.94563 vertex 5.14541 -4.97595 6.88072 facet normal -4.648441e-001 -8.134775e-001 3.495343e-001 facet normal 0.952403 0.288805 0.0975683 vertex -3.44415 -8.31492 4.51215 facet normal -0.247465 -0.963798 0.0992709 facet normal -0.736595 -0.223441 -0.638358 facet normal 0.0942435 -0.0285886 0.995139 vertex -6.3004 4.08919 6.0001 facet normal 0.264256 -0.161947 0.950759 facet normal 0.528246 0.643673 0.553752 facet normal -0.362853 0.678848 -0.63836 facet normal 0.0426235 0.554793 0.830896 vertex -7.3432 0.499373 6.98393 vertex -5.62591 4.72589 7.07423 facet normal 0.382337 0.0378714 0.923247 vertex 8.83032 1.72277 3.82299 vertex 7.38374 5.12136 3.82299 facet normal 0.28858 0.951321 0.108209 vertex 5.48554 1.87874 21.335 facet normal 9.028595e-01 3.260684e-03 -4.299233e-01 facet normal -9.992821e-01 3.956343e-03 3.767823e-02 vertex -1.042410e+02 9.665134e+01 1.087013e+01 facet normal -0.816068 -0.545294 -0.191538 vertex 3.08508 1.31929 18.4628 facet normal 0.834578 0.268415 0.481075 facet normal 0.0822158 0.828628 0.55373 facet normal -0.0819182 0.0817958 -0.993277 facet normal 0.946485 -0.307054 0.0994239 vertex 7.74866 -1.98952 20 facet normal -0.989331 0.0975625 0.108193 facet normal 9.901835e-01 -1.397736e-01 0.000000e+00 vertex -9.539299e+01 9.198978e+01 3.455000e+01 vertex -9.073906e+01 9.614893e+01 1.055000e+01.
- 1.067734e+01 facet normal 2.605896e-15.
-
Updates SMT updates
- -9.101271e-01 -1.810032e-03 -4.143253e-01 facet normal -0.946359 -0.307495 0.0992551.