Labels Milestones
Back-6.34429 4.79464 facet normal -2.331188e-01 1.106869e-03 -9.724476e-01 vertex -1.058330e+02 9.725134e+01 1.284087e+01 facet normal 0.115482 -0.00124902 0.993309 facet normal 0.55208 0.109816 -0.826528 vertex -1.60745 -2.41466 18.8956 vertex -1.11009 2.67998 18.9335 facet normal 0.097575 -0.990435 0.0975568 vertex 1.75581 8.82707 4.51215 facet normal 0.466839 0.877362 0.110891 facet normal 0.586535 -0.665684 0.461347 facet normal 5.080899e-01 -8.613040e-01 -3.436777e-04 vertex -1.012109e+02 9.281104e+01 1.055000e+01 facet normal -0.00384412 0.367707 0.929934 facet normal 7.372668e-07 -1.000000e+00 4.950934e-07 facet normal -0.0357185 0.453753 0.890411 facet normal 1.452119e-001 2.519575e-001 9.567815e-001 vertex 4.795206e-002 -6.130479e+000 2.495400e+001 facet normal -0.0868538 0.0464241 0.995139 vertex -1.46714 -7.3758 6.0001 facet normal -2.614944e-15 -7.910530e-01 6.117476e-01 facet normal -1.782618e-15 -1.159613e-15 -1.000000e+00 facet normal 0.584875 -0.805024 0.09928 vertex 4.28661 6.75462 20 facet normal 9.883295e-01 1.523309e-01 2.409692e-04 vertex -9.030875e+01 1.001942e+02 4.255000e+01 facet normal -0.0980148 -0.995185 -3.67514e-06 facet normal -0.302869 0.92061 0.246468 facet normal 0.11511 -7.7227e-05 0.993353 vertex 0 -2.5 6.5 vertex -2.45196 0.487725 6.7 vertex -0.487725 -2.45196 6.7 vertex 1.38893 2.07867 6.5 facet normal -0.101834 0.119237 0.98763 facet normal -0.705391 -0.0694748 0.705406 facet normal -0.779905 0.400414 0.481058 vertex -4.34627 -4.86109 7.33259 vertex 4.69689 4.43444 7.32632 facet normal 9.460989e-001 3.238778e-001 -0.000000e+000 vertex 1.015835e+000 5.537292e+000 9.983999e+000 vertex 5.655164e+000 -5.476652e-001 2.496000e+001 vertex 5.106196e+000 2.445278e+000 2.496000e+001 vertex 2.937280e+000 6.404036e+000 2.496000e+001 vertex -5.493214e+000 -1.330315e+000 1.747200e+001 facet normal 8.972304e-01 4.415627e-01 -3.156530e-04 vertex -1.037469e+02 9.554692e+01 2.550000e+00 facet normal 0.401121 0.913319 -0.0703645 vertex 4.50882 -7.91906 8.70324 vertex 4.36742 7.5646 12.498 facet normal 2.096599e-001 3.669046e-001 9.063243e-001 vertex -1.681371e+000 -5.089495e+000 2.494118e+001 facet normal 0.695465 0.464653 -0.548112 facet normal 8.613212e-01 -5.080607e-01 -3.157564e-04 vertex -1.036795e+02 9.542199e+01 3.455000e+01 vertex -1.036795e+02 9.542199e+01 1.055000e+01 facet normal 1.474511e-001 -2.506561e-001 9.567809e-001 facet normal 9.901835e-01 -1.397736e-01 0.000000e+00 vertex -1.041734e+02 1.012768e+02 1.855000e+01 facet normal -0.101047 0.992162 0.0735128 facet normal 0.0728432 0.0676094 0.995049 vertex -5.83308 5.48186 19.9508 facet normal 0.247473 0.963792 0.0993122 facet normal -4.004260e-15 -1.000000e+00 -6.370551e-14 vertex -1.042522e+02 9.725134e+01 1.111324e+01 facet normal -0.995185 -0.0980166 5.85143e-06 facet normal 5.221212e-01 1.080461e-02 -8.528029e-01 vertex -1.085511e+02 9.715134e+01 1.258937e+01 facet normal -0.471711 -0.881672 -0.0119957 facet normal 7.143574e-001 6.997811e-001 0.000000e+000 facet normal -9.989862e-01 0.000000e+00 -4.501702e-02 facet normal -1.934024e-01 9.811195e-01 3.622710e-05 vertex -9.619016e+01 1.059942e+02 4.255000e+01 facet normal 0.364903 0.547893 0.752767 facet normal 0.100183 -0.114147 0.9884 facet normal 7.851442e-01 -0.000000e+00 6.193130e-01 facet normal 0.956891 -0.290201 -0.0119544 facet normal 8.106579e-01 -5.855200e-01 3.154248e-04 vertex -9.167280e+01 9.452941e+01 4.255000e+01 facet normal -0.881816 0.471442 -0.011941 facet normal -0.956715 0.0766184 0.280761 facet normal -0.491817 -0.403621 0.771496 vertex 4.7566 -7.11876.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.
- -6.139373e-001 7.071109e-001 facet normal -0.0568312 0.0727061.