Labels Milestones
Back9.075080e+00 facet normal 2.571775e-01 -1.650539e-03 9.663628e-01 facet normal -1.333467e-01 -3.798083e-03 -9.910622e-01 vertex -1.076661e+02 9.665134e+01 1.024875e+01 facet normal -0.875985 -0.471387 0.102199 vertex 0.598972 -6.43421 7.83559 facet normal 0.491639 -0.164775 0.855067 facet normal 0.0694573 -0.618899 0.782394 facet normal -0.876744 0.468627 0.108209 facet normal -0.36771 -0.111577 0.923223 vertex 8.32455 3.41238 3.82299 facet normal 1.226457e-001 1.291214e-003 9.924497e-001 facet normal 0.900364 0.423669 0.099239 facet normal 9.402255e-01 -3.405524e-01 2.938192e-04 vertex -1.040763e+02 9.626458e+01 4.255000e+01 facet normal -1.943379e-06 -1.000000e+00 -4.845342e-07 vertex -1.043047e+02 9.665134e+01 1.154046e+01 facet normal 0.334131 0.625113 0.705401 vertex 3.72964 9.00415 3.26879 facet normal 3.426986e-001 -5.870507e-001 7.334365e-001 vertex -4.122493e+000 2.331989e+000 2.490742e+001 facet normal 0.388527 -0.486758.
- Vertex -5.77664 4.28775 7.9152 facet normal 2.497929e-01.
- V1.1 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after converting.