Labels Milestones
Back0.0336339 facet normal 0.801132 0.594337 -0.07036 vertex -9.44522 2.75051 1.4766 facet normal 0.0348077 -0.996914 -0.0703583 vertex 8.549 4.11698 6.17306 facet normal -0.0868538 0.0464241 0.995139 vertex 0 9.74602 3.26879 facet normal 0.703596 -0.707109 0.0703594 facet normal -0.301701 -0.851405 0.429052 facet normal 0.241719 -0.796857 0.553706 facet normal 0.106257 0.442581 0.890411 vertex 5.60951 -0.191567 18.9636 facet normal -0.028589 -0.0942412 0.995139 vertex -4.17805 6.2529 6.0001 facet normal -0.243784 -0.297053 0.923217 vertex 7.60195 5.07946 3.76384 facet normal -1.919712e-02 6.008629e-03 -9.997977e-01 facet normal 0.0973868 0.995182 0.0113607 vertex 7.12884 1.0528 7.81019 facet normal -0.995184 0.0980262 9.21874e-06 facet normal -0.0357185 0.453753 0.890411 vertex 5.60951 0.191567 18.9636 facet normal -0.0694793 -0.618884 0.782404 facet normal -0.0815293 0.0819688 0.993295 vertex 5.1829 4.10478 7.85113 facet normal -7.940683e-01 6.078285e-01 1.701719e-04 vertex -1.032151e+02 1.031128e+02 4.255000e+01 facet normal -0.573973 -0.597991 0.55943 vertex -5.74517 4.54413 7.2866 facet normal -0.368125 -0.929776 0 vertex -0.4 3.34543 18.1498 facet normal 2.964444e-001 9.550501e-001 -0.000000e+000 vertex 5.494498e+000 1.396402e+000 2.496000e+001 vertex -2.516711e+000 6.561480e+000 2.496000e+001 vertex 4.575243e+000 -3.392458e+000 9.983999e+000 vertex -7.053316e+000 7.305162e-002 9.983999e+000 vertex 3.858692e+000 5.902027e+000 1.747200e+001 facet normal -0.366287 0.925191 0.099274 facet normal 9.106669e-01 1.195953e-03 4.131396e-01 facet normal 9.930239e-001 4.727985e-003 1.178182e-001 facet normal 0.0110255 0.0916557 0.99573 facet normal -9.377990e-001 -3.471787e-001 0.000000e+000 vertex -4.776626e+000 2.975473e+000 9.983999e+000 vertex.
- -0.081357 -0.0817431 0.993327 vertex -4.18796 -4.77144 7.82405 facet.
- Switches smt_version Merge pull request.