Labels Milestones
Back-4.58534 -4.28788 7.81694 facet normal -9.832457e-01 -1.822821e-01 -1.015564e-03 vertex -1.044170e+02 1.004099e+02 1.656905e+01 facet normal -0.0820554 -0.0808315 0.993344 vertex -5.39153 -4.12931 7.87036 facet normal 3.382782e-001 -5.802586e-001 7.408561e-001 vertex -5.128460e+000 2.900898e+000 2.488918e+001 facet normal 0.995174 -0.0974658 0.0113699 facet normal -0.0221408 -0.097011 -0.995037 vertex -5.70114 -9.87467 0.18985 vertex -9.06712 -2.79684 6.17307 vertex -9.44522 -2.75051 1.4766 vertex -8.34127 2.57294 12.5464 facet normal -0.124621 -0.886065 0.446496 facet normal 0.161815 -0.533428 0.830223 facet normal 0.256282 -0.844851 0.469623 vertex -3.40084 -8.21035 5.07603 facet normal -9.700106e-001 -4.799378e-003 2.430151e-001 vertex 5.035938e+000 2.883759e+000 2.470887e+001 facet normal 0.0570302 -0.0726013 0.995729 facet normal -0.00906568 0.644985 0.764141 vertex -4.40436 5.23815 7.19149 vertex -4.42088 -5.07598 7.17947 facet normal -4.064200e-001 -7.112353e-001 5.735565e-001 facet normal 0.00384788 0.367707 0.929934 facet normal 0.111504 -0.36774 0.92322 vertex -1.79875 8.81405 3.82299 facet normal 0.915281 -0.396623 0.0703598 facet normal 4.866829e-001 -8.343584e-001 2.588163e-001 facet normal -0.695453 -0.464714 -0.548075 vertex 2.92724 1.22816 18.7471 vertex 3.08346 -1.31835 18.4724 vertex 0.4 3.34544 10.687 facet normal -6.451849e-01 7.640264e-01 3.407870e-04 vertex -1.024704e+02 1.039873e+02 1.055000e+01 vertex -1.025803e+02 9.392771e+01 2.550000e+00 facet normal 2.126180e-001 3.706505e-001 9.041083e-001 vertex -5.180384e+000 -3.075447e+000 2.493625e+001 facet normal 1.575936e-001 2.757886e-001 9.482114e-001 facet normal 9.589329e-01 1.423803e-02 -2.832756e-01 vertex -9.044806e+01 1.008049e+02 1.188057e+01 facet normal -3.794548e-01 -9.252102e-01 3.420165e-04 vertex -1.002975e+02 9.232502e+01 4.255000e+01 facet normal 0.297059 -0.243768 0.923219 vertex 5.03481 7.45476 3.82299 facet normal 6.586127e-001 2.932371e-003 7.524764e-001 facet normal -1.372543e-01 3.822440e-04 9.905358e-01 facet normal -9.996063e-01 -2.805777e-02 0.000000e+00 facet normal 0.028588 -0.0942416 0.995139 vertex.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after re-centering.
- 2015-04-27 01:31:45 -07:00 From.