Labels Milestones
Back0.979666 -0.187891 0.0703596 vertex -10.2731 4.94726 0.18985 vertex -6.22229 7.94889 0.0491304 facet normal 0.265121 -0.618898 0.739376 facet normal 0.978088 0.183034 0.0992057 facet normal 0.0816274 -0.0817217 0.993307 facet normal 0.634352 -0.773045 -1.04068e-06 facet normal 0.491814 0.40362 0.771499 facet normal -0.706045 0.0555529 0.705985 facet normal 0.0546198 0.55473 0.830236 vertex 0 9.74602 3.26879 facet normal -0.33413 -0.625114 0.7054 vertex 6.85323 -6.50317 3.54602 vertex -8.50049 3.32193 3.76384 facet normal -9.682989e-01 -2.497928e-01 9.287444e-04 vertex -9.047274e+01 1.008927e+02 1.855000e+01 vertex -1.034746e+02 1.027280e+02 3.455000e+01 facet normal -0.0620831 -0.0776614 0.995045 vertex -7.94201 -1.00019 19.9506 facet normal 2.947893e-004 -5.105900e-004 -9.999998e-001 facet normal -9.634529e-01 -2.678776e-01 8.013918e-05 facet normal -4.399034e-01 1.016370e-02 -8.979876e-01 facet normal -4.127361e-001 7.075841e-001 5.735622e-001 facet normal -0.297045 0.24378 0.92322 facet normal -0.18809 -0.243721 0.951432 facet normal -0.00964667 -0.0980109 0.995139 vertex -7.64388 -1.52046 5.97318 facet normal -0.0122191 0.0985567 0.995056 vertex 0.502633 7.98912 19.9508 facet normal -9.999660e-001 -8.246756e-003 0.000000e+000 vertex -3.789330e-001 5.612119e+000 1.747200e+001 facet normal -8.391899e-02 9.964726e-01 0.000000e+00 facet normal 4.103484e-06 -1.000000e+00 -3.763539e-07 facet normal 0.831471 0.555568 0 vertex -8.47298 5.66146 2.19603 vertex 1.98804 9.99456 2.19603 vertex 3.87041 9.34401 2.58057 vertex -9.41467 3.89968 2.19603 vertex 8.47298 5.66146 2.19603 vertex 8.22545 -5.96308 0 facet normal -0.222395 -0.884723 0.409641 facet normal 9.062868e-001 5.070559e-003 4.226328e-001 vertex 5.070826e+000 -2.072182e+000 2.475471e+001 facet normal 0.367724 -0.111579 0.923217 vertex 3.49879 8.44684 3.76384 vertex -0.922563 8.90914 3.82299 vertex -8.50049 -3.32193 3.76384 vertex -4.26169 7.87793 3.82299 vertex 5.07946 7.60195 3.76384 vertex -3.54289 8.26214 3.82299 facet normal -0.987688 -0.156434 0 facet normal -0.555503 0.831514 1.12285e-07 vertex 2.40639 -2.43216 6.59 vertex -6 0 6.59 facet normal 1.910723e-14 -2.644445e-15 -1.000000e+00 facet normal 0.68155 -0.725012 0.0992371 vertex 6.37424 7.70513 0 facet normal 7.021871e-01 -7.119924e-01 3.257290e-04 vertex -1.025752e+02 9.392239e+01 4.255000e+01 facet normal 0.980787 0.19508 0 vertex -1.21798 6.38487 19.9 facet normal 2.890018e-001 -4.954575e-001 8.191458e-001 facet normal -0.471366 -0.881857 -0.0118779 facet normal -0.769359 -0.631327 0.0975343 vertex 6.36396 6.36396 4.51216 facet normal -0.796854 -0.241723 0.553709 facet normal -7.406479e-01 -6.718933e-01 3.225159e-04 vertex -1.028438e+02 9.421857e+01 4.255000e+01 facet normal -5.826195e-02 -3.265610e-03 -9.982960e-01 vertex -1.064683e+02 9.695134e+01 1.291201e+01 facet normal 4.075214e-001 7.106026e-001 5.735593e-001 vertex -4.274127e+000 -3.419621e+000 2.480400e+001 facet normal -0.595017 -0.488315 -0.63836 vertex -5.54328 -2.2961 6.59 vertex -2.8149 1.17038 6.59 vertex -2.69268 2.0165 18.1498 facet normal -0.353624 0.430898 0.830227 facet normal 0.877371 0.466811 0.110936 facet normal 0.573973 -0.597991 0.55943 vertex 5.74517 4.54413 7.2866 facet normal 0.0922671 0.172963 0.980597 vertex -5.35022 5.0946 6.88312 facet normal -4.084597e-01 9.127763e-01 3.490173e-04 vertex -1.008637e+02 1.051965e+02 1.855000e+01 vertex -1.027474e+02 9.410842e+01 2.655000e+01 facet normal -0.665695 -0.586529 0.46134 facet normal -1.379493e-13 -1.000000e+00 -3.723660e-13 facet normal 0.97743 -0.186457 0.0993169 facet normal 0.796851 -0.241732 0.553709 vertex -9.00415 3.72964 3.26879 facet normal -0.499998 -0.866026 0 facet normal -9.683077e-01.
- Switches smt_version Merge pull request.
- -0.243779 0.92322 facet normal 0.0624757 0.0761278 0.995139.
- Choice to distribute corresponding source code, to.
- 3.181483e-01 vertex -1.084545e+02 9.695134e+01.