Labels Milestones
Back-0.111552 -0.367735 0.923216 vertex 6.33827 -6.38504 3.82299 facet normal -1.943379e-06 -1.000000e+00 -4.845342e-07 vertex -1.043047e+02 9.665134e+01 1.154046e+01 facet normal 0.388724 0.815359 0.429049 facet normal -0.0546376 0.554748 0.830223 facet normal 0.258276 0.111525 0.959612 facet normal 0.991524 0.109224 0.0703598 facet normal -4.268678e-001 -7.465673e-001 5.103148e-001 facet normal 0.286109 0.952735 0.102165 facet normal -0.0796632 0 0.996822 vertex 7.45736 -3.59128 19.9688 facet normal -0.331801 -0.353615 0.874566 facet normal -0.0221424 0.0970097 -0.995037 facet normal -8.075317e-01 0.000000e+00 -5.898241e-01 facet normal 0.884724 -0.268375 0.381101 facet normal -0.11511 -7.7227e-05 0.993353 vertex -6.27431 0.210331 7.81694 facet normal 0.0568312 0.0727061 0.995733 facet normal -0.241727 0.796853 0.553709 facet normal -0.828714 -0.0168607 0.559418 facet normal 0.977441 -0.186457 0.0992125 facet normal -4.926590e-001 8.446025e-001 2.096037e-001 vertex 2.757935e+000 -3.102889e+000 2.475471e+001 facet normal -7.241379e-01 -6.896552e-01 0.000000e+00 facet normal -0.768363 0.630808 0.108162 facet normal 1.662431e-01 9.860847e-01 -3.475954e-04 vertex -9.838217e+01 1.060245e+02 2.550000e+00 facet normal 0.880764 0.468299 0.0703603 vertex 9.96788 -1.59472 0.0491304 facet normal 0.288896 0.952376 0.0975692 vertex -8.80936 1.81418 4.51215 facet normal 7.940477e-01 6.078554e-01 1.701719e-04 vertex -9.179670e+01 1.034305e+02 4.255000e+01 facet normal -0.768263 -0.629654 0.115357 facet normal 0.368125 0.929776 0 vertex -8.82707 1.75581 3.82299 vertex 1.78367 8.96712 3.76384 vertex 0.833245 8.91793 3.82299 vertex -1.75581 -8.82707 3.82299 facet normal -0.940722 -0.3318 0.0703606 facet normal -0.451284 0.84429 0.288993 vertex -4.98467 -7.46009 4.79464 facet normal -9.633204e-01 -2.683537e-01 0.000000e+00 vertex -9.578366e+01 9.188900e+01 1.855000e+01 vertex -9.539322e+01 1.058130e+02 2.655000e+01 facet normal 0.309854 0.74806 0.586853 vertex 2.39719 1.45513 19.9 vertex 2.60962 -1.70385 19.9 facet normal -8.715381e-002 -3.881200e-004 9.961948e-001 vertex 5.305260e+000 -1.044584e+000 2.495526e+001 facet normal -4.648459e-001 -8.134797e-001 3.495269e-001 vertex 2.730491e+000 3.060683e+000 2.475471e+001 facet normal 0.0623602 0.633162 0.771503 vertex -8.39715 -1.6703 5.56266 facet normal -0.538408 -0.714673 0.446497 vertex -6.63594 -0.72986 7.5439.
- 1.005513e+02 1.180821e+01 vertex -9.049876e+01 1.005513e+02 1.168708e+01 facet normal.
- 0.286344 0.950757 vertex 5.49111 0.55595 18.9636.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 13c8bcac477b612d33e1b1cfe89a6f9adc0a8935
- -5.25893 4.75047 6.95295 vertex -7.2243 -0.221399 6.88859.