Labels Milestones
Back-3.25446 8.23926 11.2377 facet normal 0.0980109 -0.00964667 0.995139 facet normal -2.223986e-15 7.910530e-01 6.117476e-01 facet normal -5.013443e-001 8.643537e-001 3.932692e-002 facet normal -0.768426 -0.630721 0.108223 facet normal 4.926590e-001 -8.446043e-001 2.095964e-001 facet normal 2.498284e-001 4.371998e-001 8.639688e-001 facet normal -9.356529e-01 3.803968e-03 3.529012e-01 vertex -1.043497e+02 9.665134e+01 1.009475e+01 facet normal 0.81598 -0.545076 -0.192532 vertex -3.13695 1.34924 18.1565 facet normal -0.532832 -0.843291 -0.0703581 vertex -3.81128 -9.2209 0.0387391 facet normal 9.564191e-01 -3.086652e-03 2.919812e-01 vertex -1.093059e+02 9.725134e+01 1.005824e+01 facet normal 0.695453 0.464714 -0.548075 vertex 2.92724 1.22816 18.7471 vertex 3.08346 -1.31835 18.4724 vertex 0.4 3.26571 14.9643 vertex 0.800782 3.26571 8.11431 vertex -1.45059 3.07081 15.6068 vertex -0.4 3.26571 11.5393 facet normal -4.866817e-001 8.343550e-001 2.588294e-001 vertex 2.560700e+000 -4.395837e+000 2.475471e+001 facet normal -4.269742e-001 9.042638e-001 0.000000e+000 vertex -5.777357e+000 4.011096e+000 1.747200e+001 facet normal -0.630652 -0.768482 0.108225 facet normal -0.362633.
- Vertex 8.317617e-001 5.515684e+000 2.494118e+001.
- Wiring 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after tweaking.
- Paths=[ [0,1,2,3,4,5] ]); } else { // main.
- -5.035290e-001 -2.242178e-003 8.639754e-001 facet normal -8.989146e-001 -4.381238e-001.