Labels Milestones
Back1.78758 3.82299 facet normal 0.900356 -0.423669 0.0993152 facet normal -0.629688 -0.768246 0.115285 facet normal -0.471397 0.881921 0 facet normal -0.245613 0.96426 0.0993777 vertex 2.85317 -0.927051 0 facet normal -0.630746 0.768414 0.108161 facet normal 0.237818 0.388083 0.890412 facet normal -4.391152e-002 7.528094e-002 9.961950e-001 vertex -5.254437e+000 -1.091603e+000 2.495526e+001 facet normal 0.470877 -0.0463745 0.880979 facet normal -0.00343464 0.09617 0.995359 facet normal -2.450274e-15 -2.558217e-15 -1.000000e+00 facet normal 0.0816302 0.828702 0.553705 facet normal -4.819415e-16 -4.316524e-15 1.000000e+00 facet normal -0.249271 -0.963336 0.0992379 vertex -1.87381 -9.82287 0 facet normal -0.772965 -0.634336 -0.0119421 facet normal 4.647000e-001 8.116192e-001 3.540171e-001 vertex -4.009574e+000 -2.381767e+000 2.476740e+001 facet normal 9.935223e-01 -1.114064e-03 1.136315e-01 vertex -9.053916e+01 1.011102e+02 1.068735e+01 facet normal -0.400391 0.779907 0.481074 facet normal 6.444580e-01 -8.335477e-04 -7.646392e-01 facet normal -0.0645475 0.533422 0.843383 facet normal 0.0906197 0.920082 0.381101 facet normal 4.341105e-01 -1.679270e-03 -9.008581e-01 facet normal -0.18809 0.243721 0.951432 facet normal -0.88053 -0.472795 0.0336363 vertex 3.15155 4.64695 21.6407 facet normal 0.877371 0.466811 0.110936 facet normal -0.0979087 -0.995195 -0 facet normal -0.76932 -0.631369 0.0975751 vertex -6.31675 6.4027 4.51216 facet normal 1.29414e-06 -0.995055 0.0993296 facet normal -2.429559e-02 -1.331102e-03 9.997039e-01 vertex -1.068524e+02 9.665134e+01 8.826184e+00 vertex -1.068524e+02 9.725134e+01 8.826184e+00 vertex -1.065849e+02 9.725134e+01 8.832685e+00 facet normal 0.976244 0.096218 0.194139 facet normal -9.891674e-001 -4.709916e-003 1.467164e-001 vertex 5.057285e+000 -2.919529e+000 2.467858e+001 facet normal 0.0898528 0.0432872 0.995014 vertex -7.01317 3.85912 19.9497 facet normal -4.323977e-002 -7.566965e-002 9.961950e-001 vertex -5.254437e+000 -1.091603e+000 2.495526e+001 facet normal.
- 0.420513 -0.174177 0.890411 facet normal -0.884719 -0.268373 0.381114.
- In fixes from v1.1 SMT updates.
- -2.813669e-003 9.063252e-001 vertex 5.239015e+000 2.034783e+000.