Labels Milestones
Back-0.392071 0.262789 0.881602 vertex 6.79329 0.261859 7.03804 vertex 6.63876 0.319077 7.17054 facet normal 0.442038 -0.84476 0.301633 facet normal 0.0914036 -0.463056 0.881604 vertex -4.7897 -5.06488 6.94018 vertex -5.16004 -4.76054 6.94563 facet normal 0.421912 -0.362633 0.830956 facet normal -0.0813916 0.0816537 0.993332 vertex -4.29176 4.58792 7.81747 facet normal -9.807886e-01 1.950737e-01 0.000000e+00 vertex -9.029324e+01 1.001063e+02 1.855000e+01 vertex -9.426361e+01 1.053818e+02 2.655000e+01 facet normal -0.815358 0.435818 0.381123 facet normal 0.362608 -0.422016 0.830914 facet normal 0.288986 0.749614 0.595454 facet normal -0.779905 -0.400414 0.481058 vertex 4.86109 -4.34627 7.33259 facet normal 0.388083 0.237824 0.890411 facet normal 4.547755e-001 -7.811843e-001 4.277037e-001 facet normal 5.032445e-001 -8.627504e-001 4.905997e-002 vertex -5.014100e+000 2.835548e+000 2.464800e+001 facet normal 8.613040e-01 5.080899e-01 -0.000000e+00 facet normal -0.161807 -0.533417 0.830232 vertex -9.21464 2.08528 3.54602 vertex -5.07946 -7.60195 3.76384 vertex -6.95204 5.64738 3.82299 vertex -8.31492 3.44415 3 facet normal -0.547907 0.449653 0.705415 vertex -7.91125 5.64888 3.26879 facet normal 4.739737e-07 -1.000000e+00 5.647550e-07 facet normal 0.365756 0.300167 0.880978 vertex 5.89328 5.89328 5.74921 facet normal -0.684547 -0.728968 -0 facet normal -0.478901 0.594398 0.646022 facet normal -0.0972815 -0.989353 0.108241 facet normal 0.766706 -0.634281 0.0992441 facet normal 4.328583e-001 7.575029e-001 4.886952e-001 facet normal -4.589668e-01 -8.884534e-01 3.478097e-04 facet normal -0.595015 -0.488318 -0.638359 facet normal 0.137479 -0.572634 0.808202 vertex 3.41722 -1.35267 19.1916 facet normal 0.678283 -0.205751 0.705407 facet normal 0 -0.993572 -0.113203 facet normal 8.113385e-01 -5.845766e-01 -3.245118e-04 vertex -9.143382e+01 1.029420e+02 2.550000e+00 facet normal 0.0496984 0.0860673 0.995049 facet normal -0.489735 0.507857 0.708689 vertex 5.64771 4.69512 7.09873 vertex -5.70811 -4.60319 7.20554 vertex 0.817766 -7.24232 7.24096 vertex 5.55594 4.46654 7.22283 facet normal 0.0983826 -0.0149672 0.995036 vertex 2.47665 -7.61209 19.9494 facet normal 0.538413 0.714663 0.446506 facet normal 0.954686 0.292559 0.0546222 facet normal -0.63056 -0.768557 0.108238 facet normal -9.258192e-14 -1.000000e+00 7.056682e-14 facet normal 0.828702 -0.0816302 0.553705 facet normal -0.618138 0.683022 0.389083 facet normal 0.995171 0.0981585 0 vertex -6.36396 -6.36396 3.82299 facet normal -0.920082 -0.0906197 0.381101 vertex -2.27473 9.67202 2.94279 vertex 5.64888 7.91125 3.26879 facet normal 0.920073 0.0458435 0.389056 facet normal 0.0546198 -0.55473 0.830236 vertex -0.183929 9.12468 3.76384 facet normal 1.376774e-01 -2.053091e-04 -9.904771e-01 vertex -1.061828e+02 9.695134e+01 1.022922e+01 facet normal 2.537074e-001 -4.349499e-001 8.639740e-001 facet normal -0.284762 0.938727 0.194168 vertex -3.89968 9.41467 2.19603 facet normal 0.878606 -0.0865329 0.469642 facet normal 8.566012e-01 5.159790e-01 1.874556e-04 vertex -9.112224e+01 1.024399e+02 4.255000e+01 facet normal 0.869711 0.0906015 0.485175 vertex 4.6363 4.35153 7.51116 facet normal -8.724404e-001 -5.237517e-003 4.886925e-001 vertex 4.065923e+000 2.328691e+000 2.482134e+001 facet normal -0.083183 0.0810354 0.993234 vertex -4.3315 -5.83003 7.92322 vertex 5.77664 4.28775 7.9152 facet normal -0.0816302 0.828702 0.553705 facet normal -0.679089 0.550857 0.485175 facet normal -0.0765948 0.956711 0.280779 facet normal 9.174561e-01 0.000000e+00 -3.978371e-01 facet normal 0.974929 -0.222515 0 vertex 3.44415 -8.31492 3.82299 facet normal -0.221424 0.737294 -0.638255 facet.
- -4.798684e-15 1.000000e+00 facet normal -4.929491e-001 -8.620419e-001 1.178344e-001.
- SMT updates Checkpoint after fixes but before.