Labels Milestones
Back-0.851405 0.301701 0.429052 facet normal 2.036585e-01 -3.207752e-03 -9.790367e-01 vertex -1.077492e+02 9.725134e+01 1.284061e+01 facet normal 0.192821 -0.747983 0.635092 facet normal 0.840162 -0.533179 0.0992363 facet normal 0.422682 -0.361949 0.830862 vertex 5.54554 4.83932 6.98393 vertex -5.62591 -4.72589 7.07423 vertex -4.83492 5.54018 6.98312 facet normal 2.096581e-001 3.669018e-001 9.063259e-001 facet normal 0.0620385 -0.077794 -0.995037 vertex 9.91705 1.25281 0.0413265 facet normal 0.740028 -0.607324 0.288991 facet normal -0.0621138 0.113987 0.991539 facet normal 0.499991 0.866031 2.04283e-06 facet normal 0.989341 -0.0974418 0.108212 facet normal -0.462425 -0.836797 0.293145 vertex -6.35181 -0.410784 7.71954 facet normal 0.137446 0.257144 0.956549 vertex 4.48624 6.71414 5.88782 facet normal -0.18469 -0.608839 0.771495 vertex -1.6703 -8.39715 5.56266 facet normal 9.901835e-01 -1.397736e-01 0.000000e+00 vertex -1.038646e+02 9.578044e+01 2.655000e+01 facet normal 0.989318 0.097633 0.108249 facet normal 0.630556 -0.768559 0.108246 facet.
- 112.085 (end 168.25 108.25 (end 173 103.541823.
- 1.32743 18.1498 facet normal 0.00906568 -0.644985.
- -1.000000e+00 4.007279e-14 vertex -1.073224e+02 9.665134e+01.
- SMT updates SMT updates SMT updates Checkpoint.