Labels Milestones
Back-3.765237e-03 -9.997032e-01 facet normal 1.672296e-15 8.097122e-16 -1.000000e+00 facet normal 0.286109 -0.952735 0.102165 facet normal 0.703593 0.707111 0.0703601 facet normal 3.987226e-16 -7.910530e-01 6.117476e-01 facet normal 0.0502428 -0.08702 0.994939 vertex -4.28928 6.75883 19.9502 facet normal 0.0555716 -0.706052 0.705976 facet normal 0.479376 -0.871973 0.0993049 facet normal 0.844291 -0.451284 0.288991 facet normal 0.13748 0.572633 0.808202 facet normal -0.367898 0.00384978 0.929858 facet normal 0.0623605 -0.633165 0.771501 vertex -8.56166 0 5.56266 vertex 8.39715 -1.6703 5.56266 facet normal 7.393308e-01 3.994555e-03 -6.733305e-01 vertex -1.053362e+02 9.695134e+01 1.051485e+01 facet normal 0.0985702 -0.99513 1.41413e-05 facet normal 0.554737 -0.0546401 0.83023 facet normal -0.845944 -0.52861 0.0703598 facet normal -2.845744e-001 -4.980052e-001 8.191509e-001 vertex 2.567783e+000 4.415591e+000 2.488700e+001 facet normal -0.195085 -0.980786 -2.51488e-06 vertex -0.982998 3.22947 6.59 facet normal 0.980785 0.195093 -6.7267e-08 vertex -3.16821 -1.29095 18.1498 facet normal -5.418452e-01 -6.316620e-03 8.404546e-01 facet normal -9.942604e-001 -1.069870e-001 0.000000e+000 vertex -2.516711e+000 6.561480e+000 1.747200e+001 facet normal -7.696457e-13 -1.000000e+00 -1.800274e-12 vertex -1.083509e+02 9.665134e+01 1.049666e+01 facet normal 0 0.0982693 0.99516 facet normal 0.195084 -0.980787 -1.39475e-05 facet normal 0.183013 -0.98059 0.0703589 facet normal -0.877731 -0.469113 0.0975757 vertex 5.00013 -7.48323 0 vertex 2.69268 -2.0165 6.59 vertex -3.13809 1.3499 6.59 facet normal -0.11537 0.000246232 0.993323 facet normal 0.0818475 0.0808324 0.993362 vertex -4.10946 5.18289 7.85151 facet normal 1.397736e-01 9.901835e-01 -0.000000e+00 facet normal 4.792325e-001 8.386572e-001 2.588249e-001 vertex -2.480144e+000 -4.418283e+000 2.475471e+001 facet normal 0.952359 -0.288955 0.0975571 vertex -1.75581 -8.82707 3 vertex -4.9955 7.4763 3 vertex 5.00013 7.48323 4.51216 facet normal 0.284801 -0.909897 0.301622 facet normal -0.849615 -0.233255 0.473018 facet normal 0.0914036 -0.463056 0.881604 facet normal 0.0620393 -0.0777949 -0.995037 vertex -8.39166 5.61087 0.0491304 facet normal -2.601221e-15 -2.080301e-15 -1.000000e+00 facet normal -0.815359 -0.388724 0.429049 facet normal -0.881916 0.471406 0 facet normal 0.365754 -0.300169 0.880978 facet normal 0.308981 0.0243251 0.950757 facet normal -0.875985 -0.471387 0.102199 facet normal 0.0814915 0.0817041 0.993319 vertex -4.77321 4.19228 7.82455 vertex 6.33525 0.41258 7.82405 facet normal 0.0729058 0.338907 0.937991 facet normal -0.865129 0.462436 0.19418 facet normal 0.353597 -0.430898 0.830239 facet normal 0.114148 0.990969 -0.0703601 vertex 6.95569 6.45394 6.17309 facet normal -0.816 0.545404 -0.191516 facet normal 0.615699 0.52587 0.586835 facet normal -0.643675 -0.528237 0.553758 facet normal 0.111553 -0.367742 0.923213 facet normal -3.566057e-01 -9.342549e-01 -3.489961e-04 vertex -9.500859e+01 9.211231e+01 3.455000e+01 vertex -9.738418e+01 9.170864e+01 2.655000e+01 facet normal -3.306557e-001 5.696047e-001 7.524741e-001 facet normal -0.678283 0.205751 0.705407 vertex 9.09213 3.43962 3.26879 vertex 9.74602 0 3.26879 facet normal -0.308981 -0.0243251 0.950757 facet.
- For branch bugfix/v1.1 Add position.
- { Cumulative fixes from v1.1 SMT updates Checkpoint.
- Normal 0.952735 0.286109 0.102165 facet normal.