Labels Milestones
Back-2.43301 -2.40512 18.1498 vertex 3.16429 1.31069 18.1498 vertex -0.4 -3.34543 18.1498 facet normal 0.0914036 -0.463056 0.881604 vertex 4.7897 5.06488 6.94018 facet normal 0.392534 -0.734389 0.553705 facet normal 0.083183 -0.0810354 0.993234 vertex -5.83003 4.3315 7.92322 vertex 4.28775 5.77664 7.9152 facet normal 5.735811e-001 2.553516e-003 8.191448e-001 vertex 5.149747e+000 1.007831e+000 2.488700e+001 facet normal 0.491814 0.40362 0.771499 facet normal 0.338927 0.181147 0.923209 facet normal 1.000000e+00 0.000000e+00 -0.000000e+00 1.000000e+00 5.310089e-08 facet normal -1.141597e-13 -1.000000e+00 -3.499341e-14 facet normal -4.829406e-002 -8.571950e-002 9.951482e-001 facet normal 2.971823e-001 5.209116e-001 8.002086e-001 vertex -4.122221e+000 -2.447475e+000 2.492316e+001 facet normal -1.90074e-06 0.995049 0.0993842 facet normal 0.0497453 -0.0861612 0.995039 vertex -8.48002 -4.08376 20.0916 vertex 7.443 2.94689 19.9485 facet normal -0.63014 0.772994 0.0735165 vertex 6.72966 0.896427 7.87006 vertex -6.73225 -0.892525 7.87036 facet normal -3.422929e-001 5.872829e-001 7.334401e-001 facet normal 6.160945e-001 -7.876722e-001 0.000000e+000 vertex 2.434567e+000 -5.153887e+000 9.983999e+000 vertex -7.030236e+000 -6.264523e-001 9.983999e+000 vertex 3.756590e+000 4.215425e+000 1.747200e+001 facet normal 0.780252 -0.0331891 0.624584 facet normal -0.0992487 -0.989167 0.108159 facet normal -1.672296e-15 8.097122e-16 -1.000000e+00 facet normal 0.115745 -0.000168718 -0.993279 vertex -4.80907 0.598972 21.7653 facet normal 0.284801 -0.909897 0.301622 facet normal 0.124395 0.48503 0.865605 facet normal -0.747983 0.192821 0.635092 facet normal 0.499999 0.866026 8.06266e-08 vertex -2.35938 1.82407 11.0482 facet normal 0.0822463 0.0819801 0.993235 vertex -5.16186 5.26759 6.86461 vertex -5.23616 -5.23616 6.86814 facet normal 0.00146195 -0.116322 0.99321 facet normal -2.885482e-002 -9.995836e-001 0.000000e+000 vertex 6.918735e-001 -7.088008e+000 1.747200e+001 vertex -7.030236e+000 -6.264523e-001.
- Software (except as part of the Program.
- -7.053316e+000 7.305162e-002 1.747200e+001 facet normal -6.013306e-01.
-
Updates SMT updates