Labels Milestones
Back-0.956715 0.0766184 0.280761 facet normal 0.184975 -0.225392 0.956547 vertex 4.48624 6.71414 5.88782 facet normal -3.318493e-001 5.689145e-001 7.524708e-001 facet normal -0.0112271 0.0915932 0.995733 vertex 7.13918 -0.0610838 6.87866 facet normal 0.881919 -0.471401 1.54281e-06 facet normal -0.993086 0.0624763 0.0993833 facet normal -8.465037e-01 -5.104532e-03 5.323584e-01 vertex -1.045610e+02 9.665134e+01 9.661099e+00 facet normal 0.681193 -0.725337 0.0993103 facet normal -0.164775 -0.491639 0.855067 vertex -0.469754 -7.24156 6.97207 facet normal -0.181189 -0.229615 0.956268 facet normal -9.838276e-002 -1.035816e-003 9.951481e-001 facet normal -0.0728683 0.0676734 -0.995043 vertex -6.37314 -7.70061 0.0405804 facet normal 0.0222629 0.0969963 0.995036 facet normal -0.0980427 0.995182 -7.23691e-06 facet normal 0.114168 0.990967 -0.0703566 facet normal 0.277896 0.916106 0.289006 facet normal 0.773009 -0.634395 0 facet normal -0.875985 0.471387 0.102199 facet normal -0.869711 -0.0906015 0.485175 facet normal -0.243634 0.188037 0.951465 facet normal 0.687856 -0.439084 0.577979 facet normal -4.944456e-001 8.467008e-001 1.965232e-001 facet normal -0.472746 -0.880555 0.0336791 vertex -4.5363 -3.08479 21.833 facet normal -0.991507 -0.0942884 0.0895734 facet normal -0.000107246 -0.115912 0.993259 vertex 7.34599 0.0206242 6.86125 facet normal 0.115024 -0.957368 0.264982 facet normal 0.539147 0.334131 0.773096 vertex -0.38016 -6.8561 7.04537 vertex -0.463226 -6.71529 7.17947 facet normal -9.576461e-01 -2.879478e-01 1.286303e-05 facet normal -5.080608e-01 -8.613212e-01 0.000000e+00 vertex -9.355766e+01 1.049916e+02 1.855000e+01 vertex -1.021770e+02 9.353808e+01 1.855000e+01 vertex -1.042959e+02 1.008924e+02 2.655000e+01 facet normal 0.00743445 -0.0992344 -0.995036 vertex 8.08754 5.87293 0.0486796 facet normal -0.545444 -0.815973 -0.191517 facet normal -0.694966 0.464389 -0.548968 vertex 3.10499 1.28613 18.4724 facet normal -0.488315 -0.595017 -0.63836 facet normal -2.867783e-004 4.916461e-004 -9.999998e-001 facet normal -0.471425 -0.881906 3.5557e-06 facet normal 0.0974598 -0.995174 0.0114215 vertex -7.19679 -1.05954 7.81812 facet normal -0.0583821 0.0801952 0.995068 vertex 5.10003 6.16972 19.9507 facet normal -3.769851e-15 -3.822753e-15 1.000000e+00 facet normal 0.187658 -0.0572764 0.980563 facet normal -0.682467 -0.560085 0.46962 vertex -6.28393 -6.28393 5.07603 facet normal -0.491338 0.598691 0.632579 vertex 6.18591 -6.18591 5.33536 facet normal -0.0602554 0.0859333 0.994477 vertex 5.83593 5.4803 19.9427 facet normal -9.901788e-01 -1.398071e-01 -0.000000e+00 vertex -1.040294e+02 9.614870e+01 2.655000e+01 facet normal.
- 0 8.33435 5.74921 facet normal 0.225392 0.184975.
- -8.589973e-001 1.467314e-001 facet normal 0.734385.
- 2.92564 4.50529 22.0001 vertex -2.98805.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.