Labels Milestones
Back-2.102350e-03 -9.999927e-01 facet normal -0.532832 0.843291 -0.0703581 facet normal -0.00125685 0.115521 0.993304 vertex -1.05741 -5.51437 21.6407 vertex 1.02637 5.38893 21.833 vertex 4.44467 3.03604 21.8214 vertex -4.64695 3.15155 21.6407 facet normal -9.777786e-001 -4.352842e-003 2.095953e-001 facet normal 0.442582 -0.106257 0.890411 vertex 5.60951 0.191567 18.9636 vertex 4.51686 0.737827 18.8084 vertex 4.63878 -0.0775843 18.7299 vertex 3.7344 -0.339142 18.8084 facet normal 0.0559778 -0.885456 0.46134 facet normal -0.112087 0.551317 -0.826732 vertex -1.11009 -2.67999 18.9335 vertex 1.11009 -2.67999 18.9335 facet normal -0 0.0928906 0.995676 vertex 1.84182 -8.06952 19.9688 facet normal 0.688661 -0.165334 0.705983 vertex 2.42348 -0.642209 19.4867 facet normal 0.980787 0.19508 0 vertex 10.1521 -0.388301 0 vertex -7.20568 -7.20568 0 facet normal 0.678283 0.205751 0.705407 vertex 9.21464 -2.08528 3.54602 facet normal -0.453761 -0.0357197 0.890407 facet normal 1.824736e-01 -4.058065e-03 -9.832024e-01 vertex -1.078482e+02 9.695134e+01 1.282100e+01 facet normal -0.090682 0.920074 0.381103 facet normal 0.367723 -0.111601 0.923214 facet normal -0.989343 0.0974261 0.108205 facet normal -7.600529e-16 7.910530e-01 6.117476e-01 facet normal -0.840784 0.532182 0.0993189 facet normal 0.367742 -0.111554 0.923213 facet normal -0.472777 -0.88054 0.0336276 facet normal 0.124364 0.485049 0.865599 vertex -4.56563 5.2499 7.05523 facet normal -0.137635 -0.106825 0.984705 facet normal -0.156321 -0.0122986 0.98763 facet normal -0 0.0928906 0.995676 vertex 0.703367 -9.38579 20.0916 vertex -7.94123 -1.00633 19.9506 vertex -7.94181 -1.00328 19.9506 facet normal 0.594398 -0.478901 0.646022 facet normal -1.234240e-01 6.561230e-03 9.923323e-01 vertex -1.060534e+02 9.665134e+01 8.881824e+00 facet.
- -1.053382e+02 9.715134e+01 1.123243e+01 vertex.
- Updates SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint.