Labels Milestones
BackNormal -9.527696e-01 -3.036928e-01 8.499575e-04 vertex -9.059527e+01 1.012771e+02 2.655000e+01 facet normal 0.00017977 -0.116009 -0.993248 vertex 5.40722 0.82619 21.8351 facet normal 0.0376247 0.382437 0.923215 facet normal -8.506957e-01 1.781115e-03 5.256555e-01 vertex -1.084234e+02 9.665134e+01 1.113305e+01 facet normal -0.801127 -0.594344 0.0703596 facet normal 0.248691 -0.968583 0 facet normal 5.748339e-01 -8.182700e-01 -3.383229e-04 vertex -1.015466e+02 1.047674e+02 2.655000e+01 facet normal -2.890006e-001 4.954555e-001 8.191474e-001 facet normal 0.714665 0.586527 0.381104 vertex -7.15159 -7.15159 2.58057 vertex -9.92995 -0.344109 2.94279 vertex 5.53561 -8.28463 2.94279 facet normal 0.235679 -0.201291 0.950756 facet normal 0.0813285 0.0818837 0.993318 vertex 4.97411 -4.13072 7.83604 facet normal -4.589668e-01 -8.884534e-01 0.000000e+00 vertex -9.355766e+01 1.049916e+02 3.455000e+01 facet normal -0.706045 0.0555529 0.705985 vertex 2.34735 -0.325107 19.4867 vertex 5.62155 -1.68133 19.4867 vertex 6.7142 0.75193 19.8418 vertex 5.04221 -1.97652 19.4867 facet normal -3.261675e-01 -5.590515e-03 -9.452954e-01 vertex -1.056436e+02 9.695134e+01 1.279254e+01 facet normal 0.0981585 0.995171 0 facet normal 0.279018 0.0846387 0.956549 facet normal -0.0169529 0.828691 0.559449 facet normal 2.057506e-13 -1.000000e+00 -5.400756e-13 vertex -1.054006e+02 9.725134e+01 1.046210e+01 facet normal -0.60388 0.370041 0.705973 facet normal 4.803516e-01 8.770760e-01 -3.417321e-04 vertex -9.410620e+01 9.249908e+01 2.550000e+00 facet normal -9.891691e-001 -4.098506e-003 1.467232e-001 vertex 5.031457e+000 2.881145e+000 2.467858e+001 facet normal 0.877691 -0.469189 0.0975691 vertex -3.44415 8.31492 3 facet normal 4.084288e-01 9.127902e-01 -0.000000e+00 facet normal 0.884724 0.268377 0.381099 facet normal 0.962631 0.191482 -0.191512 facet normal -0.0729404 0.0676785 -0.995037 facet normal -0.114152 -0.990969 0.0703601 facet normal 0.277897 -0.916108 0.288995 facet normal -0.137354 -0.452791 0.880973 facet normal -0.124598 -0.886057 0.446518 facet normal -0.0127296 -0.705404 0.708692 facet normal -0.076128 -0.0624768 0.995139 vertex 5.51093 5.51093 5.97318 facet normal 1.771281e-15 -7.468524e-16 -1.000000e+00 facet normal 0.484683 0.0154455 0.874554 facet normal -0.995171 -0.0981585 0 vertex 3.16504 1.30691 6.59 vertex 2.42184 2.42184 6.59 facet normal 0.36774 0.111504 0.92322 facet normal -0.598708 0.491352 0.632552 vertex 4.86024 -7.27387 5.33536 facet normal 0.0950328 -0.0293136 -0.995042 facet normal -0.471413 0.881912 0 facet normal -0.181017 0.229826 0.956249 facet normal -4.648438e-001 -8.134771e-001 3.495358e-001 vertex 6.005185e-001 4.298988e+000 2.480400e+001 facet normal -0.0820856 0.0820533 -0.993242 facet normal -0.192217 0.421013 0.886454 facet normal 4.225682e-001 2.813813e-003 9.063268e-001 vertex -5.197335e+000 -2.117903e+000 2.494118e+001 facet normal 0.187549 -0.0570715 0.980596 vertex -0.180748 -7.38561 6.88312 facet normal -0.370051 -0.603866 0.70598 facet normal -9.975486e-001 -4.442590e-003 6.983596e-002 vertex 4.041743e+000 -8.365688e-001 2.470218e+001 facet normal 0.0980159 -0.995185 0 facet normal 0.643692 -0.528262 0.553714 facet normal 0.0998673 0.114117 0.988435 facet normal 9.777785e-001 4.353977e-003 2.095953e-001 vertex -4.016004e+000 -5.120441e-002 2.475471e+001 facet normal -0.0813397 -0.0812122 0.993372 vertex 4.29176 4.58792 7.81747 facet normal -0.302869.
- -9.992756e+01 9.217328e+01 4.255000e+01 facet normal -0.877691.
- Branch: You are also implicitly verifying.