Labels Milestones
Back-1.397929e+000 -6.975894e+000 2.496000e+001 vertex -3.666691e+000 -6.082386e+000 9.983999e+000 vertex 2.286077e+000 6.660499e+000 9.983999e+000 vertex 4.952763e+000 5.031641e+000 2.496000e+001 vertex 5.756167e-001 7.010823e+000 1.747200e+001 facet normal 0.302869 0.92061 0.246468 facet normal 0.115847 6.62301e-05 -0.993267 facet normal 0.466832 0.877365 0.110898 facet normal -0.595015 -0.488318 -0.638359 vertex -4.98882 -3.33342 6.59 vertex -2.69268 2.0165 12.8417 vertex -2.69268 2.0165 6.59 vertex 0 9 4.51215 vertex -9 0 4.51215 vertex 0 -6.27065 7.71007 vertex 0 9 3.82299 vertex 8.81404 -1.79875 3.82299 facet normal -2.415963e-07 -1.000000e+00 -6.394572e-07 facet normal -0.175905 -0.796857 0.577993 facet normal 0.478923 -0.594346 0.646054 facet normal -4.416190e-14 -1.000000e+00 -9.205179e-14 facet normal 0.000000e+00 -3.657632e-15 1.000000e+00 facet normal 4.926593e-001 -8.446044e-001 2.095953e-001 facet normal -4.127379e-001 7.075872e-001 5.735571e-001 facet normal -2.786468e-02 9.996117e-01 -2.481595e-06 facet normal 0.262751 0.491602 0.830234 vertex -8.44684 -3.49879 3.76384 facet normal 0.400391 0.779907 0.481074 facet normal 3.874216e-001 6.779875e-001 6.246899e-001 facet normal -0.528246 0.643673 0.553752 facet normal 8.100479e-01 3.569934e-03 5.863528e-01 vertex -1.091137e+02 9.665134e+01 9.685153e+00 facet normal -9.469393e-01 -2.035554e-03 -3.214060e-01 facet normal -0.144952 -0.617515 0.773087 vertex -5.07598 -4.42088 7.17947 facet normal 8.477229e-01 -3.604418e-03 5.304271e-01 facet normal -0.684547 -0.728968 -0 facet normal -0.952376 -0.288901 0.0975479 facet normal 4.926594e-001 -8.446024e-001 2.096031e-001 facet normal 5.477271e-002 -9.390102e-002 9.940737e-001 vertex -4.261518e+000 2.411432e+000 2.496000e+001 vertex -4.056728e+000 5.738834e+000 2.496000e+001 vertex -4.567763e+000 -3.354764e+000 2.496000e+001 vertex -2.857563e-001 -5.687710e+000 1.747200e+001 facet normal -2.429559e-02 1.331102e-03 9.997039e-01 facet normal 0.974929 -0.222515 0 vertex -6.44874.
- Updates SMT updates Checkpoint after converting most things.
- Vertex -4.047133e+000 -2.403676e+000 2.484593e+001 facet normal -0.22241.