Labels Milestones
Back-9.67267 2.88811 0.0491304 facet normal 0.016946 -0.828689 0.559453 facet normal 0.114987 0.957361 0.265023 facet normal 7.114110e-01 5.656142e-04 -7.027760e-01 vertex -1.053395e+02 9.725134e+01 1.051169e+01 facet normal 0.0974419 -0.989341 0.108207 facet normal 0.851409 -0.301695 0.429048 facet normal -0.0942884 -0.991507 0.0895734 facet normal -5.735811e-001 -2.553781e-003 8.191448e-001 vertex 1.676494e+000 4.924900e+000 2.488700e+001 facet normal 1.494122e-01 -0.000000e+00 9.887750e-01 facet normal -3.175489e-15 -5.441933e-15 1.000000e+00 facet normal 0.063536 -0.807242 0.586791 vertex 4.4 1.22459 18.9636 vertex 5.39071 -0.719793 18.9636 vertex 3.87177 -0.528226 18.8084 facet normal 0.554748 0.0546376 0.830223 facet normal -3.743440e-01 1.124817e-03 9.272892e-01 vertex -1.053051e+02 9.725134e+01 9.071024e+00 facet normal -4.647006e-001 -8.116212e-001 3.540118e-001 facet normal 0.989314 0.0976537 0.108268 facet normal 0.962631 0.191482 -0.191512 facet normal -3.025303e-001 5.178213e-001 8.002103e-001 facet normal -0.257269 -0.262733 0.929938 facet normal 9.600727e-01 0.000000e+00 -2.797506e-01 vertex -1.092962e+02 9.725134e+01 1.173829e+01 vertex -1.092962e+02 9.725134e+01 1.173829e+01 vertex -1.093546e+02 9.725134e+01 1.153496e+01 facet normal.
- = 0.2; // this gets added.
- -0.678285 0.705402 vertex 3.43962 -9.09213.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates.