Labels Milestones
BackNormal 9.969208e-01 -2.027510e-03 7.838883e-02 facet normal 0.222395 0.884723 0.409641 facet normal 0.586527 0.714665 0.381104 facet normal 6.013035e-01 7.990206e-01 3.429106e-04 vertex -9.322219e+01 1.047675e+02 1.855000e+01 vertex -1.038646e+02 9.578044e+01 3.455000e+01 facet normal 0.491814 0.40362 0.771499 facet normal -8.092075e-01 0.000000e+00 -5.875229e-01 vertex -1.076659e+02 9.665134e+01 5.903821e+00 facet normal 0.502121 0.307708 0.808202 facet normal 0.0974598 0.995174 0.0114215 vertex 7.19679 1.05954 7.81812 facet normal 0.881857 -0.471366 -0.0119411 facet normal 0.615699 0.52587 0.586835 facet normal -0.0426235 -0.554793 0.830896 vertex 7.3363 -0.49869 6.98312 facet normal 0.0892041 0.0433596 0.995069 facet normal 0.665275 -0.392534 0.63508 facet normal -0.652557 -0.754466 0.0703566 facet normal -2.096572e-001 -3.669004e-001 9.063267e-001 facet normal 0.220665 -0.32036 0.921236 facet normal 3.176387e-001 2.055115e-003 9.482096e-001 vertex -4.199893e+000 -1.694509e+000 2.495526e+001 facet normal 0.55557 0.83147 0 vertex 2.07867 -1.38893 6.7 facet normal -0.0376556 0.382438 0.923213 vertex 2.64292 -8.55797 3.82299 vertex 8.31492 -3.44415 4.51215 facet normal -4.978804e-001 -8.663539e-001 3.931974e-002 facet normal 0.172853 -0.0221096 0.984699 vertex -0.0908976 -7.39621 6.86711 vertex 5.28814 -5.16382 6.86646 vertex 4.97515 5.38424 6.90036 facet normal 0.225392 0.184975 0.956547 facet normal 2.747832e-01 9.615062e-01 -3.462968e-04 vertex -9.560112e+01 1.058695e+02 2.550000e+00 facet normal 0.988479 -0.0980344 0.115322 facet normal -0.865136 -0.462421 0.194181 vertex -5.31736 -8.65691 2.19603 facet normal 0.116114 -0.00043693 0.993236 facet normal -0.584872 0.80502 0.0993387 vertex -5.09939 -6.16411 20 facet normal -0.956939 -0.290289 8.19447e-06 facet normal 9.127902e-01 -4.084288e-01 0.000000e+00 vertex -1.027474e+02 9.410842e+01 1.855000e+01 vertex -9.390495e+01 9.260618e+01 2.655000e+01 facet normal 9.961852e-001 4.435825e-003 8.715164e-002 vertex -5.005929e+000 -6.394265e-002 2.470218e+001 facet normal 0.0074373 -0.0992161 -0.995038 vertex -8.08542 -5.87701 0.0420632 facet normal 3.946984e-001 -6.737715e-001 6.246960e-001 vertex -3.471306e+000 2.686626e+000 2.488700e+001 facet normal -0.987688 0.156434 0 facet normal -0.631327 0.769359 0.0975343 vertex -6.36396 6.36396 3.82299 facet normal 5.796929e-004 2.581178e-006 -9.999998e-001 facet normal 4.840700e-001 8.495575e-001 2.095909e-001 vertex 3.738381e-002 -4.684811e+000 2.473857e+001 facet normal 0.845981 0.52855 -0.0703566 vertex -0.921109 9.93929 0.0391276 facet normal -5.809790e-01 1.636474e-03 8.139169e-01 vertex -1.082503e+02 9.695134e+01 1.130413e+01 facet normal -4.720726e-001 8.093091e-001 3.495229e-001 vertex 1.348450e+000 -3.946332e+000 2.480400e+001 facet normal 4.589969e-01 -8.884378e-01 3.476991e-04 facet normal 0.124598 0.886057 0.446518 facet normal 9.777832e-001 3.143723e-003 2.095952e-001 vertex 4.045401e+000 -1.657796e+000 2.470218e+001 facet normal -0.463945 0.883065 -0.0703623 facet normal 6.938886e-01 0.000000e+00 -7.200824e-01 facet normal -5.555843e-01 8.314602e-01 3.445710e-04 vertex -1.018690e+02 1.045247e+02 1.055000e+01 vertex -9.916748e+01 1.058695e+02 2.550000e+00 facet normal -0.0208841 0.0914064 -0.995595 vertex -1.87526 9.8175 0.0484862 facet normal -0.0419323 0.554724 0.830977 facet normal 0.0624757 0.0761278 0.995139 vertex 1.46714 -7.3758 6.0001 facet normal -9.433964e-001 3.316671e-001 0.000000e+000 vertex 8.315394e-001 -5.637004e+000 9.983999e+000 vertex -4.026420e+000 -3.996321e+000 9.983999e+000 vertex 5.854357e+000 3.963141e+000 1.747200e+001 facet normal -0.0620604 0.0778255 0.995034 facet normal -7.775532e-01 6.288171e-01 -3.272236e-04 vertex -1.030079e+02 1.033858e+02 1.055000e+01 vertex -1.040802e+02 9.627468e+01 2.550000e+00 facet normal -0.773356 -0.633859 -0.0119696 facet normal -2.088466e-001 -3.673605e-001 9.063274e-001 vertex 8.317617e-001 5.515684e+000 2.494118e+001 facet normal 0.0896953 0.0482711 0.994799 vertex -5.83533 5.47974.
- -3.112878e-01 8.158233e-06 vertex -8.524144e+01 1.011513e+02 1.561034e+01 facet normal.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.
- -8.21035 5.07603 facet normal 0.309854 0.74806.