Labels Milestones
Back-2.883916e-16 1.282986e-15 -1.000000e+00 facet normal 9.961873e-001 4.435372e-003 8.712709e-002 facet normal 0.0818837 -0.0813285 0.993318 vertex 4.97411 -4.13072 7.83604 facet normal -0.772994 -0.63014 0.0735159 vertex 0.896427 -6.72966 7.87006 facet normal -0.29705 0.243786 0.923217 facet normal 0.223441 -0.736595 -0.638358 facet normal 0.084637 0.279012 0.95655 vertex -7.46035 -3.09018 5.88782 facet normal 0.499978 0.866038 2.70167e-05 facet normal 0.734381 0.392549 0.553705 facet normal 0.665267 -0.39254 0.635084 facet normal -0.109912 0.552086 -0.826511 vertex -1.10704 -2.68091 18.9333 facet normal -5.555561e-01 -8.314790e-01 3.447075e-04 facet normal 0.768482 0.630652 0.108225 facet normal 9.369178e-001 4.171484e-003 3.495247e-001 vertex -4.030734e+000 -8.725132e-001 2.480400e+001 facet normal -7.217078e-01 6.921978e-01 1.520020e-04 vertex -1.027117e+02 1.037339e+02 4.255000e+01 facet normal -0.471385 -0.881927 0 facet normal 0.192238 0.421012 0.88645 facet normal -0.452792 -0.137352 0.880973 vertex -3.18942 7.69994 5.74921 facet normal 0.114014 0.061823 0.991554 facet normal 0.554748 0.0546376 0.830223 facet normal 0.0419816 0.554754 0.830954 facet normal -5.278075e-01 -8.493640e-01 3.363658e-04 vertex -1.013490e+02 9.290001e+01 4.255000e+01 facet normal -0.249271 0.963336 0.0992379 facet normal -0.766713 0.634279 0.0992069 facet normal -9.551477e-01 -2.961298e-01 -5.749133e-05 facet normal 9.547249e-01 9.154788e-06 2.974900e-01 facet normal -5.035335e-001 -2.241906e-003 8.639728e-001 facet normal -6.451849e-01 7.640264e-01 3.407870e-04 vertex -1.024704e+02 1.039873e+02 2.655000e+01 facet normal 1.029044e-01 -6.892302e-03 9.946674e-01 facet normal -0.360201 0.282974 0.888921 facet normal 0.681165 0.725369 0.0992665 facet normal -2.665685e-01 5.249985e-03 9.638017e-01 vertex -1.081512e+02 9.665134e+01 1.136574e+01 vertex -1.078235e+02 9.725134e+01 1.145638e+01 facet normal 0.909897 -0.284746 0.301674 vertex -6.35181 -0.410784 7.71954 facet normal -0.353627 -0.43089 0.83023 facet normal -0.362853 0.678848 -0.63836 facet normal -0.773011 -0.630119 0.0735069 vertex 0.759029 -6.58293 7.7465 vertex -0.596366 -6.43809 7.83604 facet normal -1.375729e-14 -1.000000e+00 -2.054442e-15 vertex -1.042907e+02 9.725134e+01 1.146857e+01 facet normal 0.0980238 -0.995184 0 facet normal -0.124716 0.987214 0.0992685 facet normal 0.982288 0.187376 0 vertex 1.3184 3.15913 6.59 facet normal -0.268373 0.884719 0.381114 facet normal -0.796849 0.241718 0.553718 vertex 1.94385 9.77239 2.94279 vertex -9.91954 1.97312 2.58057 vertex -8.06528 5.8029.
- -0.821781 7.24568 facet normal 2.890023e-001 -4.954587e-001 8.191449e-001.
- SMT updates 13c8bcac477b612d33e1b1cfe89a6f9adc0a8935
- Vertex 4.034687e+000 2.310470e+000 2.473857e+001.