Labels Milestones
Back-0.191515 facet normal -4.395886e-001 7.536196e-001 4.886914e-001 facet normal 0.876742 -0.46863 0.108209 facet normal 0.876745 0.468624 0.108209 facet normal 0.0950838 0.0293292 -0.995037 vertex 9.99509 1.41421 0.0491304 facet normal 0.622313 0.758301 0.19418 facet normal 4.648452e-001 8.134778e-001 3.495323e-001 facet normal 0.451284 0.844291 0.288991 vertex 6.34429 -6.34429 4.79464 facet normal 0.768481 -0.630653 0.10823 facet normal -9.777724e-001 -5.563238e-003 2.095952e-001 vertex -4.012057e+000 1.591300e+000 2.470218e+001 facet normal 0.527664 0.64416 0.55374 facet normal 0.705398 -0.0694843 0.705398 facet normal -2.408570e-001 9.705606e-001 0.000000e+000 vertex 5.258615e+000 -2.174272e+000 9.983999e+000 vertex 5.494498e+000 1.396402e+000 1.747200e+001 facet normal 0.156434 0.987688 -0 vertex -1.75581 8.82707 0 vertex 1.31069 -3.16429 6.59 facet normal 0.491592 0.262765 0.830236 facet normal 0.962629 -0.191474 -0.191527 facet normal -0.587092 -0.0461938 0.808201 vertex 6.07199 0 19.1916 vertex 4.20843 1.20951 18.9636 vertex 3.64093 1.48976 19.1916 facet normal -0.273132 -0.564081 0.779238 facet normal -0.0817958 -0.0819182 -0.993277 vertex -4.24331 2.97557 21.7998 vertex 4.94225 0.762348 21.7809 facet normal -0.644985 0.00906568 0.764141 vertex 4.42088 5.07598 7.17947 vertex 0.38016 -6.8561 7.04537 facet normal 0.125632 0.98709 0.0993499 vertex 1.87381 -9.82287 0 facet normal -0.952737 -0.286094 0.102192 facet normal 0.634391 0.773012 -0 vertex -1.76336 2.42705 9.999 facet normal -2.935467e-16 -1.741197e-15 -1.000000e+00 facet normal -0.0285897 0.0942433 0.995139 vertex 2.98249 -7.20038 5.97318 vertex 6.3004 -4.08919 6.0001 facet normal -0.995186 0.0980092 3.9263e-06 facet normal -4.496505e-001 -7.868879e-001 4.226369e-001 facet normal 0.703592 -0.707112 0.0703598 facet normal -9.507957e-01 8.916102e-03 -3.096902e-01 facet normal -0.768435 -0.630715 0.108196 facet normal 0.241804 -0.796836 0.553699 facet normal 0.000246232 0.11537 0.993323 vertex -6.43421 0.598972 7.83559 vertex -4.97411 -4.13072 7.83604 facet normal -8.706134e-01 -4.919677e-01 3.074473e-04 facet normal -0.695475 -0.464692 -0.548065 facet normal 0.0896374 0.043167 0.995039 vertex -5.04736 6.32918 19.9509 facet normal 9.966023e-001 8.236405e-002 -0.000000e+000 vertex 2.286077e+000 6.660499e+000 9.983999e+000 vertex 5.197721e+000 4.781580e+000 1.747200e+001 facet normal -0.55557.
- Normal 7.990206e-01 -6.013035e-01 3.312517e-04 facet.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates.