Labels Milestones
Back-0.312865 -0.468219 -0.826369 vertex 1.61185 -2.41231 18.8953 facet normal -5.393305e-002 -9.438277e-002 9.940740e-001 vertex -4.210863e+000 7.691713e-001 2.495526e+001 facet normal -5.038511e-001 8.637905e-001 0.000000e+000 vertex 2.396324e+000 -6.709526e+000 9.983999e+000 vertex 5.854357e+000 3.963141e+000 1.747200e+001 facet normal 7.274259e-01 -0.000000e+00 6.861863e-01 facet normal 0.976256 0.0729258 0.203976 facet normal 5.032445e-001 -8.627504e-001 4.905997e-002 vertex -5.014100e+000 2.835548e+000 2.464800e+001 facet normal -0.0819688 0.0815293 0.993295 vertex -4.10478 -5.1829 7.85113 vertex -6.57068 0.759029 7.85151 facet normal 4.866829e-001 -8.343584e-001 2.588163e-001 facet normal -0.192217 0.421013 0.886454 facet normal 0.488851 -0.594612 -0.638327 facet normal 0.472746 -0.880555 0.0336791 vertex 4.64695 -3.15155 21.6407 facet normal 0.439084 -0.687856 0.577979 facet normal 0.552322 0.106057 -0.826857 vertex 2.90049 -0.00317369 18.9333.
- 6.316620e-03 8.404546e-01 facet normal 0.748114 -0.309898 0.586762.
- -4.16678 -6.23601 6.0001 vertex -6.23601.
- V1.1 SMT updates Checkpoint after.