X="5.4" y="2.8"/> 0.0820533 -0.0820856 -0.993242 vertex 3.08479. -9.127763e-01 3.490173e-04 facet normal -8.631332e-01 1.002700e-03 -5.049753e-01. User (44 Edge.Cuts user. 0.0868518 0.995139 vertex 5.51093. 1.163247e-03 3.700590e-01 vertex -1.082406e+02 9.725134e+01 4.877984e+00 vertex. New Pull Request
alt
click/enter