Labels Milestones
Back-1.000000e+00 2.131053e-13 facet normal 0.205712 -0.591982 0.779256 facet normal -7.990207e-01 6.013036e-01 0.000000e+00 vertex -9.129413e+01 1.027282e+02 1.055000e+01 vertex -1.003011e+02 9.232659e+01 2.550000e+00 facet normal -9.972529e-01 3.897737e-04 -7.407153e-02 facet normal -0.0975476 0.99044 0.0975398 vertex -1.69511 8.83305 4.51215 facet normal -0.507679 -0.48977 0.708793 facet normal -0.081929 -0.133699 0.98763 vertex 4.51398 0.223703 18.7299 vertex 4.22247 -0.177532 18.7299 vertex 4.43928 -0.247977 18.7299 facet normal 0.552085 0.110591 -0.826421 vertex -2.90049 0.00317369 18.9333 vertex 2.05117 2.05117 18.9335 facet normal 1.474511e-001 -2.506561e-001 9.567809e-001 facet normal -9.996590e-01 -2.611259e-02 -1.272335e-07 vertex -9.020141e+01 9.852583e+01 1.755000e+01 facet normal 5.021498e-001 -8.602263e-001 8.863533e-002 vertex -2.718918e+000 3.026667e+000 2.470218e+001 facet normal 0.607321 -0.740031 0.288991 vertex -8.28921 3.4335 4.79464 facet normal -0.392055 0.2628 0.881606 facet normal 0.0171882 -0.125447 0.991951 vertex -2.47681 7.61222 19.9476 facet normal 0.0821747 0.0822608 0.993217 facet normal -0.0973878 0.989349 0.108188 facet normal -0.900355 -0.423665 0.0993365 facet normal -0.880761 0.468306 -0.0703599 vertex -6.26718 -7.62083 1.31386 facet normal 0.081619 -0.828696 0.553716 facet normal -0.284757 0.938724 0.194192 facet normal 6.908958e-001 -7.229543e-001 0.000000e+000 vertex 2.602059e+000 5.001575e+000 1.747200e+001 facet normal -9.062902e-001 -5.070952e-003 4.226256e-001 vertex -5.029147e+000 1.989062e+000 2.475471e+001 facet normal -0.0218118 -0.172865 0.984704 facet normal -2.088466e-001 -3.673605e-001 9.063274e-001 vertex 8.317617e-001 5.515684e+000 2.494118e+001 facet normal 0.331809 -0.353578 0.874577 facet normal -5.026220e-001 8.616840e-001 6.979911e-002 facet normal 1.600429e-001 -2.743735e-001 9.482117e-001 vertex -6.716304e-001 4.406593e+000 2.494118e+001 facet normal -9.777785e-001 -4.353410e-003 2.095954e-001 facet normal -8.191610e-001 -3.647190e-003 5.735521e-001 facet normal -0.0980186 -0.995113 -0.0119404 facet normal -0.308981 -0.0243251 0.950757 facet normal -0.286341 0.118613 0.950757 facet normal 5.763901e-001 -8.171747e-001 0.000000e+000 vertex 1.384484e+000 -6.987365e+000 9.983999e+000 vertex -3.012618e+000 4.746768e+000 2.496000e+001 vertex -4.026420e+000 -3.996321e+000 1.747200e+001 facet normal.
- Cumulative fixes from v1.1 SMT updates.
- 3.266107e+000 2.470218e+001 facet normal -0.989357 -0.0973162.