Labels Milestones
Back0.552444 -0.826275 vertex 0.4 2.96144 10.597 vertex 0.4 3.07081 15.6068 vertex 0.4 3.34543 14.8152 vertex -1.31069 3.16429 11.8737 vertex -0.800782 3.26571 11.5393 vertex -1.45059 3.07081 15.6068 vertex 1.31069 3.16429 16.275 vertex -0.4 3.34544 9.425 facet normal -0.468349 0.312814 -0.826315 vertex -2.27697 -1.77649 18.9096 facet normal 0.0502428 0.08702 0.994939 vertex -4.28928 6.75883 19.9502 facet normal -5.010448e-001 8.583336e-001 1.105329e-001 vertex 3.440327e+000 -3.866453e+000 2.470218e+001 facet normal -0.0868542 -0.0464245 0.995139 vertex 7.79364 0 5.97318 facet normal 9.527700e-01 3.036929e-01 -2.293352e-04 facet normal 0.0821747 -0.0822608 0.993217 facet normal 0.782844 0.468318 0.409675 vertex -4.34766 5.77934 7.60514 facet normal 4.792325e-001 8.386572e-001 2.588249e-001 vertex -1.588854e+000 -4.927590e+000 2.475471e+001 facet normal 0.366288 0.925175 0.0994222 facet normal -9.547711e-01 -2.973418e-01 -1.116194e-05 facet normal 7.216844e-01 6.922223e-01 1.520020e-04 vertex -9.233385e+01 1.040227e+02 4.255000e+01 facet normal -0.630723 -0.768425 0.108218 facet normal 0.222395 0.884723 0.409641 facet normal 4.084288e-01 9.127902e-01 -0.000000e+00 facet normal 0.779905 -0.400414 0.481058 vertex.
- LICENSE file in Source Code Form License.
- 6.678942e+000 2.496000e+001 vertex 6.805400e+000 -2.057571e+000 9.983999e+000 vertex -8.426925e-001.
- SMT updates 13c8bcac477b612d33e1b1cfe89a6f9adc0a8935 Adding.
- -0.423091 0.586835 vertex 2.36512.
- -0.210331 21.7467 facet normal -4.078850e-02 -3.939388e-03 -9.991600e-01.