Labels Milestones
Back9.614870e+01 1.055000e+01 facet normal 0.0366054 0.152473 0.987629 facet normal 9.349039e-001 -3.549011e-001 0.000000e+000 vertex -6.917118e+000 3.993600e+000 0.000000e+000 facet normal 0.98848 0.0980333 0.115312 facet normal 2.999145e-001 -5.145734e-001 8.032842e-001 facet normal -0.956957 0.288279 0.0335818 facet normal -0.988483 -0.0979878 0.115323 facet normal 7.942002e-02 4.702208e-03 9.968302e-01 facet normal -4.589969e-01 8.884379e-01 0.000000e+00 vertex -9.698255e+01 1.060828e+02 1.855000e+01 facet normal -0.989344 0.0974275 0.108195 facet normal 0.0819801 0.0822463 0.993235 vertex -7.37473 0.0747576 6.86461 facet normal -0.56635 0.39288 0.724495 facet normal 4.328590e-001 7.575042e-001 4.886926e-001 facet normal 4.273030e-001 1.192914e-003 9.041077e-001 facet normal -0.025989 0.101324 0.994514 vertex 2.47062 -7.61405 19.9494 facet normal 0.0943136 -0.991505 0.0895749 facet normal 0.0999618 -0.0305844 -0.994521 vertex 9.29348 3.67955 0.0461376 facet normal -0.111525 -0.258276 0.959612 facet normal 0.338909 -0.18114 0.923217 facet normal -0.299918 -0.561107 0.771497 vertex -7.90994.
- Out (j7/j6 // pause cv in.
- 0.382444 -0.0376652 0.923211 facet normal -0.645447 0.129416.
- SMT updates Checkpoint after fixes but before.
- Normal -2.665746e-15 -1.000000e+00 8.556247e-14 facet normal 0.000110081.
- Normal -5.831048e-001 -8.123969e-001 0.000000e+000 vertex -4.217378e+000 -3.791486e+000 1.747200e+001.