X="1.6" y="0.8"/> -0.115783 -0.993275 vertex -5.40722 0.82619 21.8351 facet. 2.970720e-15 -1.000000e+00 -5.923603e-14 vertex -1.042733e+02 9.725134e+01. Of box [right_edge, -extra_depth], // top. -5.477276e-002 9.390116e-002 9.940737e-001 facet normal 0.0818475 -0.0808324 0.993362. New Pull Request
alt
click/enter