X="5.35" y="1.7"/> 0.464582 -0.5482 vertex 2.63805 1.98496 18.4724 facet normal. -7.172400e-001 0.000000e+000 vertex -2.186515e+000 -5.249160e+000 1.747200e+001. -0.288896 0.0975692 vertex 8.80936 -1.81418 4.51215 facet. Updates SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint. New Pull Request
alt
click/enter