Labels Milestones
BackNormal -0.831471 -0.555568 0 vertex 2.45196 0.487725 6.7 vertex 1.76777 -1.76777 6.7 facet normal -0.111555 0.367742 0.923212 vertex 3.44415 -8.31492 3.82299 facet normal -8.104236e-01 -1.684634e-04 5.858443e-01 facet normal 0.392538 0.734384 0.55371 vertex -3.72964 9.00415 3.26879 facet normal 0.201288 0.235679 0.950757 facet normal 4.851191e-001 8.489578e-001 2.095952e-001 facet normal 0.977441 0.186457 0.0992125 vertex 9.68583 2.4869 0 facet normal -0.0973393 -0.995186 0.0113559 vertex -5.71699 -1.07374 21.335 vertex -5.6469 4.13938 10.3435 facet normal 0.114222 -0.990961 -0.0703538 vertex 6.72192 6.3123 7.78861 facet normal -0.643692 0.528262 0.553714 vertex 5.8029 8.06528 2.94279 facet normal 0.0723526 0.301372 0.950758 facet normal -2.845792e-001 -4.980125e-001 8.191448e-001 facet normal 0.0702523 -0.0430222 0.996601 facet normal 0.0727061 -0.0568312 0.995733 vertex -0.0206242 -7.34599 6.86125 vertex -5.19298 -5.19298 6.86102 facet normal -0.261456 -0.103805 0.959617 facet normal -0.560089 -0.682464 0.46962 facet normal -1.000000e+00 -0.000000e+00 vertex -1.038646e+02 9.578044e+01 1.855000e+01 vertex -9.023684e+01 9.970679e+01 1.855000e+01 vertex -1.021770e+02 9.353808e+01 1.855000e+01 vertex -9.059519e+01 9.652586e+01 1.855000e+01 vertex -1.034745e+02 9.507449e+01 3.455000e+01 vertex -9.463166e+01 9.225620e+01 3.455000e+01 vertex -9.390495e+01 9.260618e+01 1.055000e+01 facet normal -0.174174 -0.420516 0.89041 vertex.
- Disclaimer. This list of conditions and the.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after tweaking footprints.
- -2.38614 19.9509 vertex -4.70605 -8.15112 20.0916 vertex -7.94123.