Labels Milestones
BackNormal 9.442197e-01 -0.000000e+00 3.293163e-01 vertex -1.080794e+02 9.725134e+01 4.440930e+00 facet normal -9.643665e-01 -2.511020e-03 2.645580e-01 facet normal 0.464678 0.695445 -0.548115 vertex -1.28613 3.10499 18.4724 facet normal 0.828628 0.0822158 0.55373 facet normal -0.630641 0.76849 0.108235 facet normal -0.992162 0.101047 0.0735128 facet normal 0.555577 -0.831465 0 facet normal -0.532833 0.843291 -0.070358 vertex -3.60287 -9.4298 0.0491304 facet normal -0.880482 0.468837 -0.0703026 vertex 7.86116 3.78574 12.5787 facet normal -0.25505 -0.430913 0.8656 facet normal -0.584872 0.805011 0.0994117 vertex -4.28661 6.75462 20 facet normal -0.734381 -0.392549 0.553705 facet normal -0.980785 0.195093 -6.4466e-07 vertex 3.21351 -1.06324 6.59 facet normal -9.891674e-001 -4.709916e-003 1.467164e-001 vertex 5.057285e+000 -2.919529e+000 2.467858e+001 facet normal -0.0626028 0.0782151 0.994969 vertex 5.83823 5.47753 19.9426 facet normal 0.634593 0.772847 -1.35691e-05 facet normal -9.675132e-01 -2.528205e-01 0.000000e+00 vertex -9.463166e+01 9.225620e+01 3.455000e+01 vertex -1.045318e+02 9.970655e+01 2.655000e+01 facet normal 0.417286 -0.223044 0.880979 facet normal 4.127358e-001 -7.075843e-001 5.735622e-001 facet normal -0.297032 -0.243844 0.923208 facet normal -0.241719 -0.796857 0.553706 facet normal 0.0426235 0.554793 0.830896 vertex 7.3363 -0.49869 6.98312 vertex 4.83932 -5.54554 6.98393 facet normal -0.993092 -0.0625041 0.0993092 facet normal -0.248691 0.968583 0 facet normal -8.724432e-001 -3.884926e-003 4.887000e-001 facet normal 1.304262e-001 -2.235998e-001 9.659152e-001 facet normal -4.127371e-001 7.075877e-001 5.735571e-001 vertex 2.587998e+000 -4.442636e+000 2.484855e+001 facet normal 0.189023 0.787332 0.586838 facet normal 0.88192 0.4714 -2.43656e-06 facet normal 0.584875 0.805024 0.09928 facet normal -0.685181 -0.343415 0.642334 facet normal -8.332741e-17 -1.495187e-15 -1.000000e+00 facet normal 0.189023 -0.787332 0.586838 vertex 5.10533 2.36877 19.9 vertex -0.408138 6.48717 19.9 vertex -6.29579 1.61648 19.9 facet normal 0.714665 -0.586527 0.381104 vertex 7.15159 7.15159 2.58057 vertex -8.06528 -5.8029 2.94279 facet normal -0.828696 -0.0816193 0.553715 vertex -0.344109 -9.92995 2.94279 vertex 1.90135 -9.55875 3.26879 facet normal -4.044963e-001 6.938726e-001 5.957547e-001 facet normal -0.828666 -0.0815498 0.55377 facet normal 0.081207 0.0813448 0.993372 vertex 4.42206 4.42206 7.81454.
- -8.364368e-001 2.480400e+001 facet normal -0.0754488 0.766032.
- Vertex -3.463951e+000 -4.070879e+000 2.494118e+001 facet normal -9.996064e-01.
- 5.413272e+00 vertex -1.074403e+02 9.725134e+01 5.581992e+00 facet normal.
- Normal 0.07297 0.0676954 0.995034 facet normal -0.137351.
- Updates SMT updates b1fcba1e78f37669542b35a3e32a5257c5c0240c