Labels Milestones
BackVertex 8.81921 -1.75094 3 vertex -1.75419 -8.81889 3 vertex -8.81921 1.75094 3 vertex -8.82707 -1.75581 0 vertex 2.40611 -1.85105 6.59 facet normal 0.0974598 -0.995174 0.0114215 vertex -7.19679 1.05954 7.81812 facet normal 6.417350e-001 7.669265e-001 -0.000000e+000 vertex 6.221643e+000 3.367373e+000 9.983999e+000 vertex -5.777357e+000 4.011096e+000 9.983999e+000 vertex 4.427276e+000 5.493920e+000 1.747200e+001 facet normal 0.338927 0.181147 0.923209 facet normal -4.673565e-01 0.000000e+00 8.840690e-01 vertex -1.050340e+02 9.715134e+01 9.208996e+00 facet normal -0.845944 0.52861 0.0703598 vertex -3.09288 7.88052 17.8205 facet normal -4.910126e-15 -1.000000e+00 -9.925449e-15 facet normal -0.0285886 -0.0942435 0.995139 vertex -4.32991 -6.48017 5.97318 facet normal -0.594612 -0.488851 -0.638327 facet normal -0.88192 -0.471399 -4.52508e-06 facet normal 9.907067e-001 4.411430e-003 1.359438e-001 facet normal 0.11537 -0.000246232 0.993323 facet normal -0.00905415 -0.644981 0.764145 facet normal 0.479685 -0.847874 0.225859 facet normal 0.0950804 -0.0293273 -0.995038 vertex -4.25372 -9.04499 0.0456265 facet normal 0.665695 0.586529 0.46134 facet normal 0.129484 0.780815 0.611197 facet normal -0.0363869 -0.0926168 0.995037 facet normal -0.630625 -0.768509 0.108196 facet normal -0.828719 -0.0816185 0.553682 facet normal 9.770165e-14 -1.000000e+00 -4.840890e-14 facet normal -1.091949e-15 6.579115e-16 -1.000000e+00 facet normal 0.063536 0.807242 0.586791 vertex 4.01935 -2.40334 19.8418 facet normal -0.181148 0.3389 0.923218 vertex 8.83147 -1.71116 3.82299 facet normal 0.644985 -0.00906568 0.764141 vertex -5.07598 4.42088 7.17947 vertex 6.8561 0.38016.
- -3.046293e-14 1.000000e+00 facet normal 7.393308e-01 -3.994555e-03 -6.733305e-01.
- { Cumulative fixes from v1.1 SMT updates Checkpoint.
- Normal 0.00125685 0.115521 0.993304 vertex -1.05741 -7.11568 7.9151.