Labels Milestones
BackNormal -0.643673 -0.528246 0.553752 facet normal 9.290075e-01 1.163247e-03 3.700590e-01 vertex -1.082406e+02 9.665134e+01 4.877984e+00 facet normal -4.505506e-001 -7.863768e-001 4.226295e-001 vertex 4.304404e+000 3.316545e+000 2.475471e+001 facet normal 0.747986 -0.192839 0.635083 facet normal 0.0819649 0.0819028 -0.993264 vertex -3.13874 3.43619 21.7467 facet normal 0.995174 -0.0974658 0.0113699 vertex -1.0528 7.12884 7.81019 facet normal 9.196532e-01 -3.452139e-03 -3.927162e-01 facet normal 2.845767e-001 4.980093e-001 8.191476e-001 vertex -2.548207e+000 -4.537391e+000 2.491820e+001 facet normal 2.835344e-001 4.986055e-001 8.191463e-001 vertex -7.656270e-001 -5.556008e+000 2.491820e+001 facet normal -0.097633 0.989318 0.108249 facet normal -0.564052 -0.273151 0.779252 facet normal -0.241727 -0.796853 0.553709 facet normal 1.413055e-15 -1.598987e-15 -1.000000e+00 facet normal 0.156321 -0.0122986 0.98763 vertex 4.54757 -0.203118 18.7299 facet normal 0.46392 -0.883079 0.0703598 facet normal 0.361949 -0.422682 0.830862 vertex 5.62591 4.72589 7.07423 vertex 0.49869 -7.3363 6.98312 vertex 5.5107 4.61666 7.08096 facet normal 0.0694573 -0.618899 0.782394 facet normal -0.262751 0.491602 0.830234 facet normal 2.129167e-001 -3.650190e-001 9.063264e-001 vertex -2.588141e+000 4.431215e+000 2.491820e+001 facet normal 1.398071e-01 -9.901787e-01 3.531486e-04 facet normal 0.528205 0.643699 0.553761 facet normal 1.600429e-001 -2.743735e-001 9.482117e-001 vertex 2.123724e+000 -3.645529e+000 2.494118e+001 facet normal -5.731627e-004 -2.552190e-006 -9.999998e-001 facet normal 0.08206 -0.0817216 0.993271 facet normal -4.225725e-001 -1.881243e-003 9.063272e-001 facet normal 0.14487 -0.0600084 0.987629 vertex 3.66217 -0.11686 18.8084 facet normal 0.439079 -0.687862 0.577975 vertex -5.5867 -4.34382 7.39225 vertex -7.08696 -0.77032 7.22283 facet normal 0.0766184 0.956715 0.280761 facet normal -0.191479 0.96264 -0.191469 facet normal 0.84016 0.533176 0.099273 facet normal -9.503701e-01 3.145957e-03 -3.111057e-01 facet normal 0.097973 0.0149337 0.995077 facet normal -0.643709 -0.528256 0.553701 facet normal 0.265169 -0.618852 0.739397 facet normal -0.0572764 0.187658 0.980563 facet normal -0.2628 -0.392055 0.881606 facet normal 0.0982303 -0.0149446 0.995051 vertex -7.75279 1.99403 19.9467 facet normal -0.290283 -0.956941 -0 facet normal -7.825419e-002 -9.969335e-001 0.000000e+000 vertex -5.422409e+000 -1.601256e+000 1.747200e+001 facet normal 9.460993e-001 3.238766e-001 0.000000e+000 facet normal 0.327118 0.94236 -0.0703587.
- 0.758952 0.0816197 0.646011 facet normal 0.0726013 -0.0570302 0.995729.
- 0.981021 -0.0701403 vertex 7.86658.
- Port in fixes from v1.1 SMT.