Labels Milestones
Back-6.326880e-01 facet normal -9.807815e-01 -1.951068e-01 1.022917e-03 vertex -9.037196e+01 1.005020e+02 2.655000e+01 facet normal -0.243844 0.297032 0.923208 facet normal 1.575925e-001 2.757876e-001 9.482119e-001 vertex -2.058129e+000 -3.664150e+000 2.494118e+001 facet normal -0.260565 -0.962889 -0.0703605 vertex -0.657102 -8.76841 12.0101 facet normal -1.896480e-21 -1.000000e+00 1.134057e-06 facet normal 0.768426 -0.630721 0.108223 facet normal 0.03414 0.0621913 0.99748 vertex -3.4113 7.24174 19.9481 facet normal -0.124364 -0.485049 0.865599 facet normal 4.344169e-001 9.007119e-001 0.000000e+000 facet normal 2.823787e-15 -1.000000e+00 1.114886e-14 facet normal 0.0980056 0.995115 -0.0118632 facet normal -9.258192e-14 -1.000000e+00 7.056682e-14 facet normal 0.479355 0.871971 0.0994281 facet normal -3.199750e-001 -9.474260e-001 0.000000e+000 vertex -1.851797e+000 6.779951e+000 1.747200e+001 facet normal -0.533422 -0.0645475 0.843383 vertex -7.16112 0.632185 7.08096 vertex 7.04362 -0.568952 7.06725 vertex 0.469754 -7.24156 6.97207 facet normal 0.95132 0.288584 0.108209 facet normal -0.703598 0.707106 -0.0703595 vertex 8.66595 1.30618 12.2548 facet normal 4.282516e-16 -1.042696e-15 -1.000000e+00 facet normal 5.917222e-02 -3.775003e-03 9.982407e-01 vertex -1.072673e+02 9.695134e+01 8.833620e+00 facet normal 3.983023e-001 6.974492e-001 5.957515e-001 vertex 4.702512e-002 -5.922276e+000 2.484593e+001 facet normal 9.966023e-001 8.236405e-002 0.000000e+000 facet normal -3.508234e-001 -6.139411e-001 7.071062e-001 facet normal -0.081619 -0.828696 0.553716 facet normal -0.343403 0.6852 0.64232 facet normal -0.876739 0.468635 0.108209 vertex 1.87874 5.48554 21.335 vertex 2.22827 -5.37951 21.335 facet normal -0.0814915 0.0817041 0.993319.
- Normal 0.264278 0.161928 0.950756 vertex 5.26591 -0.865913 18.9636.
- However, in accepting such obligations, You.
- 2.80984 0.516674 19.1916 vertex 5.15907 -1.48976.
- #7 Cumulative fixes from v1.1 SMT updates.