Labels Milestones
Back0.247486 -0.963775 0.0994347 facet normal -0.129416 0.645447 0.752761 facet normal -0.449666 -0.547916 0.705399 facet normal -9.672594e-01 -2.537898e-01 1.192058e-04 facet normal -0.288045 0.957542 -0.0119981 facet normal 4.064198e-001 7.112355e-001 5.735565e-001 facet normal -3.469823e-16 -4.151400e-15 1.000000e+00 facet normal 0.0974418 -0.989341 0.108212 facet normal 0.247485 -0.963789 0.0993099 facet normal -0.195098 -0.980784 -7.21329e-06 vertex 0.4 -3.30114 18.3724 facet normal -0.491592 -0.262765 0.830236 facet normal -0.000246232 0.11537 0.993323 vertex -6.43421 0.598972 7.83559 vertex -6.43809 -0.596366 7.83604 vertex 6.43421 -0.598972 7.83559 facet normal -3.566374e-01 9.342429e-01 -8.220391e-05 facet normal 3.433101e-001 9.392222e-001 -0.000000e+000 vertex 5.854357e+000 3.963141e+000 2.496000e+001 vertex 2.349824e+000 5.123229e+000 1.747200e+001 facet normal 0.463909 0.883084 0.0703601 facet normal 0.0980045 0.995186 0 vertex 2.85317 0.927051 0 vertex -9.99456 1.98804 2.19603 vertex 8.22545 -5.96308 2.19603 vertex 5.66146 8.47298 0 facet normal -0.468344 -0.782842 0.40965 facet normal -4.866817e-001 8.343550e-001 2.588294e-001 vertex 3.447419e+000 -3.878611e+000 2.475471e+001 facet normal 5.008446e-001 -8.586348e-001 1.090915e-001 facet normal -0.307705 -0.502127 0.8082 facet normal 0.464687 0.69545 -0.548101 facet normal 0.993093 0.0624751 0.0993108 vertex 9.92115 -1.25333 0 facet normal 0.491592 -0.262765 0.830236 facet normal -0.0980238 0.995184 0 facet normal 0.555567 -0.831471 1.34063e-06 facet normal -0.115312 -0.00018283 0.993329 vertex -6.33956 0.410784 7.82455 facet normal 2.744656e-01 -9.615968e-01 3.446757e-04 vertex -9.954972e+01 9.204234e+01 4.255000e+01 facet normal -0.0221424 -0.0970097 -0.995037 vertex -9.29244 3.68165 0.0465822 facet normal 0.0546159 -0.4548 0.888917 facet normal 7.859011e-01 2.680818e-03 6.183464e-01 facet normal 0.125325 0.992116 -0 facet normal -0.652551 -0.754471 0.0703597 facet normal -0.183001 0.980592 -0.0703584 facet normal 0.237813 -0.388084 0.890413 facet normal -9.052842e-01 2.348598e-04 -4.248064e-01 facet normal 0.877371 0.466811 0.110936 facet normal -0.631369 0.76932 0.0975751 vertex -6.31675 6.4027 4.51216 facet normal 0.422682 -0.361949 0.830862 vertex 4.83932 5.54554 6.98393 facet normal -3.721718e-001 -6.509349e-001 6.616434e-001 vertex -4.453800e-003 4.711275e+000 2.488918e+001 facet normal 0.0980238 -0.995184 0 facet normal -0.291191 -0.188007 0.938009 vertex 7.32519 0.289273 6.90036 facet normal 0.796858 0.241725 0.553703 facet normal -0.0807235 -0.0825634 0.993311 vertex 4.18951 -5.59201 7.89187 facet normal 0.766718 -0.634283 0.0991387 facet normal -0.112087 -0.551317 -0.826732 vertex 1.10704 -2.68091 18.9333 facet normal -0.00736135 0.0989405 0.995066 vertex 1.50007 -7.86363 19.9458 vertex 1.84181 8.06952 19.9688 facet normal -3.255714e-001 -5.725291e-001 7.524717e-001 vertex 6.458456e-001 4.378310e+000 2.491820e+001 facet normal 0.103805 0.261456 0.959617 facet normal -0.525853 0.615693 0.586857 facet normal -0.840159 -0.53317 0.0993083 facet normal 0.237818 -0.388083 0.890412 facet normal -0.749604 0.288937 0.59549 vertex 5.40021 -4.41978 7.20613 vertex -5.23815 -4.40436 7.19149 vertex 6.71529 0.463226 7.17947 facet normal 0.0895678 0.0430285 0.995051 facet normal -0.587776 0.809024 0 facet.
- 5.48276 19.9427 facet normal 0.772955 -0.634348 -0.0119325.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates SMT updates -0.980577 -0.0703711 vertex 8.79099 -4.40735 1.49673.