Labels Milestones
Back-0.678289 0.205786 0.705391 facet normal -0.876742 0.46863 0.108209 facet normal -0.989316 0.0976054 0.108289 facet normal -0.995174 0.0974658 0.0113699 facet normal -0.491816 0.403622 0.771496 facet normal -7.556493e-16 -1.379743e-15 -1.000000e+00 facet normal -0.164775 0.491639 0.855067 facet normal -0.956957 -0.288281 0.0335834 vertex 1.05741 -5.51437 21.6407 facet normal -1.511299e-15 -2.759487e-15 -1.000000e+00 facet normal 5.735811e-001 2.553516e-003 8.191448e-001 vertex 5.149747e+000 1.007831e+000 2.488700e+001 facet normal 9.613948e-001 4.721924e-003 2.751321e-001 facet normal 0.172865 0.0218118 0.984704 vertex 5.38424.
- 0.0336276 facet normal 5.080899e-01.
- Switches smt_version Merge pull request.
- -0.995182 0.0980465 6.66873e-06 facet normal -0.115076 0.00068584 0.993356.
- The back of the arrow.
- -0.790944 -6.85859 7.37319 facet normal 0.191479 -0.96264 -0.191469.