Labels Milestones
Back0.29705 0.243786 0.923217 vertex -6.46493 6.46493 3.76384 facet normal -0.982268 0.187482 0 vertex -5.00013 7.48323 0 vertex 8.22545 -5.96308 2.19603 vertex 5.96308 -8.22545 2.19603 facet normal -0.734388 -0.325732 0.595461 facet normal 0.773045 0.634352 -1.04068e-06 facet normal -5.080899e-01 8.613040e-01 -1.141112e-04 facet normal -0.392551 0.734383 0.553702 facet normal 4.064187e-001 7.112334e-001 5.735598e-001 facet normal -0.884711 -0.22241 0.409659 vertex -0.932982 -7.19919 7.41293 vertex 5.5867 4.34382 7.39225 vertex 0.77032 -7.08696 7.22283 facet normal 9.659144e-001 4.301482e-003 2.588261e-001 facet normal -0.0950202 -0.0293946 0.995041 vertex -2.09439 9.17613 20.0916 facet normal -0.49999 0.866031 -1.51183e-05 facet normal -0.995186 0.0980092 3.9263e-06 facet normal -1.575933e-001 -2.757881e-001 9.482116e-001 vertex 3.563649e+000 -2.854270e+000 2.495526e+001 facet normal -4.496502e-001 -7.868875e-001 4.226378e-001 vertex 1.641938e+000 4.864427e+000 2.480400e+001 facet normal -0.528347 0.643664 0.553666 facet normal 0.0363523 0.0926243 -0.995037 facet normal -0.33413 0.625114 0.7054 facet normal 1.800798e-001 -3.061225e-001 9.348049e-001 facet normal -3.566373e-01 9.342428e-01 3.501715e-04 vertex -1.005052e+02 1.053817e+02 2.655000e+01 facet normal -0.331544 -0.422843 0.843375 facet normal -0.767777 -0.634425 0.0895734 facet normal -0.683075 -0.61809 0.389067 vertex 5.79165 4.46475 7.41914 facet normal 0.388527 0.486758 0.782377 facet normal 0.360203 -0.282966 0.888923 facet normal -7.070919e-001 -3.148546e-003 7.071147e-001 vertex 5.120433e+000 -1.045407e+000 2.484855e+001 facet normal 3.121536e-001 -9.500316e-001 0.000000e+000 vertex 7.028635e+000 -1.032301e+000 9.983999e+000 vertex 1.917059e+000 -5.367621e+000 9.983999e+000 vertex -3.686406e+000 4.246111e+000 2.496000e+001 vertex 8.315394e-001 -5.637004e+000 9.983999e+000 vertex 5.645941e+000 5.707424e-001 2.496000e+001 vertex 3.086953e+000 4.721622e+000 9.983999e+000 vertex 1.917059e+000 -5.367621e+000 9.983999e+000 vertex 1.651013e+000 -5.455036e+000.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 5ff3077e8252367b7eceb0b21b0803904b695d42
- 2.497600e-01 9.275298e-04 vertex -1.043967e+02 1.005018e+02.