Labels Milestones
Back6.573270e+000 -2.717840e+000 2.496000e+001 vertex 3.660537e+000 -6.112594e+000 2.496000e+001 vertex 7.011378e+000 1.060435e+000 9.983999e+000 vertex -4.919635e+000 2.734702e+000 9.983999e+000 vertex 6.573270e+000 -2.717840e+000 2.496000e+001 vertex 5.300688e+000 -1.805046e-002 2.495526e+001 facet normal -0.947172 0.0961675 0.30597 facet normal -0.900355 0.423665 0.0993365 vertex -8.76307 -4.81754 0 facet normal -0.920081 0.0458278 0.389038 vertex -1.01235 -7.16087 7.60514 facet normal -0.991526 -0.109206 -0.0703586 vertex 5.12616 -8.69622 0.0491304 facet normal -0.0821747 0.0822608 0.993217 facet normal 0.900349 -0.423688 0.0993032 facet normal 0.331801 -0.353615 0.874566 facet normal 0.766709 -0.634273 0.099275 vertex 7.28969 -6.84547 0 facet normal 4.143483e-16 1.452521e-15 -1.000000e+00 facet normal -9.999660e-001 -8.246416e-003 0.000000e+000 vertex 2.684762e+000 -5.028090e+000 1.747200e+001 facet normal 0.796851 0.241732 0.553709 facet normal 8.560691e-01 6.853637e-03 5.168160e-01 facet normal -3.566374e-01 9.342429e-01 0.000000e+00 vertex -9.322199e+01 9.303533e+01 1.855000e+01 vertex -1.005052e+02 1.053817e+02 3.455000e+01 facet normal 0.0220531 -0.0969866 0.995041 vertex -2.09439 -9.17613 20.0916 vertex 7.443 2.94689 19.9485 facet normal -0.255018 0.430921 0.865606 vertex 0.483852 -6.94062 7.05523 facet normal 0.94072 -0.331806 -0.0703595 vertex -8.20983 5.40668 1.5173 facet normal -0.03481 0.996914 0.0703601.
- All contributors to Sortable Permission is hereby granted.
- -9.500316e-001 0.000000e+000 vertex -4.217378e+000.
- 2.888088e+000 2.473857e+001 facet normal -0.061823 0.114014 0.991554.
- Normal -3.267685e-001 -5.718457e-001 7.524725e-001 facet normal -9.966163e-01.
-
9f9f6acf76f746b4755da71c07bb656091774052 SMT updates