Labels Milestones
Back-1.000000e+00 -6.131717e-16 vertex -1.084402e+02 9.665134e+01 1.109822e+01 vertex -1.084398e+02 9.665134e+01 1.062078e+01 vertex -1.084653e+02 9.665134e+01 1.069591e+01 vertex -1.084784e+02 9.695134e+01 1.075295e+01 facet normal 9.342429e-01 3.566373e-01 3.159233e-04 vertex -9.073916e+01 1.016540e+02 1.055000e+01 facet normal 1.787923e-14 -1.000000e+00 -2.202951e-14 facet normal 2.964451e-001 9.550499e-001 -0.000000e+000 vertex 2.847970e+000 4.867598e+000 1.747200e+001 facet normal -0.502124 -0.30771 0.808199 vertex 2.80984 -0.516674 19.1916 facet normal 0.284755 -0.938725 0.194192 facet normal 0.22956 0.181238 0.956271 vertex 0.173952 -7.18562 6.88408 vertex 7.01491 -0.282485 6.94563 vertex 5.14541 -4.97595 6.88072 facet normal 5.127229e-14 -1.000000e+00 1.556656e-14 facet normal 7.640264e-01 6.451849e-01 0.000000e+00 vertex -1.005050e+02 9.242089e+01 3.455000e+01 vertex -1.034745e+02 9.507449e+01 1.855000e+01 vertex -9.500882e+01 1.056905e+02 1.855000e+01 vertex -9.229821e+01 9.381542e+01 2.655000e+01 facet normal 0.630656 0.76848 0.108218 facet normal -0.165337 -0.688668 0.705975 facet normal -0.95681 0.29047 -0.0119413 facet normal -7.011925e-01 -3.483989e-03 7.129634e-01 vertex -1.047732e+02 9.665134e+01 9.412657e+00 facet normal 0.392538 0.734384 0.55371 vertex -3.99693 8.86128 3.26879 vertex 7.0455 -7.0455 2.94279 facet normal 0.491347 -0.598712 0.632551 facet normal 0.801144 -0.59432 -0.0703636 facet normal 0.629654 0.768263 0.115357 facet normal -0.451284 0.84429 0.288993 vertex -7.46009 -4.98467 4.79464 facet normal 0.502121 -0.307708.
- SPDT toggle switches smt_version Merge pull request.
- 4.839895e-004 9.940740e-001 vertex -4.210863e+000 7.691713e-001 2.495526e+001.