Labels Milestones
Back-0.250151 -0.625095 0.739379 facet normal -0.964171 -0.25578 0.07036 facet normal -0.769304 0.631387 0.0975749 vertex -5.00013 -7.48323 3.82299 vertex -8.26214 -3.54289 3.82299 vertex 1.79875 -8.81405 3.82299 facet normal -0.0980344 -0.988479 0.115322 facet normal -4.926590e-001 8.446020e-001 2.096057e-001 facet normal 0.0463777 0.470887 0.880973 vertex 7.69994 -3.18942 5.74921 facet normal 2.879637e-001 -4.960619e-001 8.191456e-001 vertex -4.361578e+000 3.396764e+000 2.491820e+001 facet normal 7.911608e-01 0.000000e+00 6.116082e-01 vertex -1.053382e+02 9.715134e+01 1.123243e+01 vertex -1.052763e+02 9.725134e+01 1.115112e+01 facet normal 0.0817378 -0.828666 0.553744 facet normal -0.472795 0.88053 0.0336363 facet normal -2.498280e-001 -4.371984e-001 8.639696e-001 facet normal 0.736593 -0.223445 -0.63836 vertex -1.17054 5.88471 6.59 facet normal -0.773019 -0.630109 0.0735129 facet normal 0.844291 -0.451284 0.288991 vertex 6.34429 -6.34429 4.79464 facet normal 8.113385e-01 -5.845766e-01 -3.245118e-04 vertex -9.143382e+01 1.029420e+02 2.550000e+00 facet normal -0.29707 0.243766 0.923216 facet normal -0.749614 -0.288986 0.595454 vertex 4.34382 -5.5867 7.39225 vertex 0.77032 -7.08696 7.22283 facet normal -0.183001 0.980592 -0.0703583 vertex -8.28883 5.76169 0.0491304 facet normal -0.0819182 -0.0817958 -0.993277 vertex -3.69322 -4.02975 21.8414 vertex 3.13874 -3.43619 21.7467 vertex -3.27291 -3.27291 21.7443 facet normal -2.836066e-07 -1.000000e+00 -6.232570e-07 facet normal 0.594612 -0.488851 -0.638327 facet normal 0.877714 -0.469146 0.0975761 vertex -3.49795 -8.28616 4.51215 facet normal -0.995114 -0.0980054 -0.0119632 facet normal 0.201286 -0.235684 0.950756 facet normal -0.957368 0.115024 0.264982 facet normal -2.497929e-01 9.682992e-01 3.519880e-04 vertex -9.976002e+01 1.056904e+02 1.055000e+01 vertex -9.129413e+01 1.027282e+02 3.455000e+01 vertex -9.202104e+01 9.410860e+01 2.655000e+01 facet normal -0.111484 -0.258274 0.959618 facet normal 0.956942 0.288323 0.0336373 facet normal 0.681166 0.725363 0.0993075 facet normal -3.874157e-001 -6.779791e-001 6.247028e-001 facet normal 2.096563e-001 3.668985e-001 9.063276e-001 vertex -3.439496e+000 -4.028082e+000 2.491820e+001 facet normal 0.0546401 -0.554737 0.83023 facet normal 4.273030e-001 1.192914e-003 9.041077e-001 facet normal 0.0819182 0.0817958 -0.993277 vertex 4.03376 -2.95564 21.7809 facet normal -0.885456 0.0559778 0.46134 vertex -5.03912 4.29172 7.34278 facet normal -5.026217e-001 8.616822e-001 6.982353e-002 vertex 2.042886e+000 -3.506942e+000 2.470218e+001 facet normal -0.629653 -0.76827 0.115322 facet normal -9.983348e-001 -5.768644e-002 0.000000e+000 vertex -5.907914e+000 -3.904928e+000 1.747200e+001 facet normal -0.737294 -0.221424 -0.638255 facet normal 0.622313 -0.758301 0.19418 facet normal -0.174189 0.420502 0.890414 facet normal 0.314934 -0.485556 -0.815507 vertex -1.61185 2.41231 18.8953 facet normal 8.23967e-05 -0.113203 0.993572 facet normal -9.060174e-001 4.232404e-001 0.000000e+000 vertex -6.917118e+000 3.993600e+000 0.000000e+000 facet normal 0.124708 -0.987208 0.099344 vertex 1.49905 -7.8583.
- -5.665795e+000 9.983999e+000 vertex -4.455791e+000 3.434344e+000 2.496000e+001.
- -8.17421 1.62595 5.74921 facet.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint.
- Components. ~$6 in parts, two tl074 op.
- -1.7383 20 vertex -3.48287 -5.48813 19.9 facet.