Labels Milestones
BackNormal 0.365096 -0.683048 0.632574 vertex 7.27387 -4.86024 5.33536 facet normal -4.942507e-001 -8.649392e-001 8.715805e-002 vertex 3.406130e+000 3.813632e+000 2.470218e+001 facet normal 4.566427e-001 -7.828580e-001 4.226238e-001 facet normal -5.735852e-001 -2.554333e-003 8.191419e-001 facet normal -0.463945 -0.883065 -0.0703623 vertex 9.69846 -1.62046 1.50249 facet normal 2.635472e-01 -4.897575e-03 -9.646341e-01 facet normal 0.678811 -0.362975 -0.638329 facet normal -0.260332 0.938729 0.225866 vertex 1.0528 7.12884 7.81019 facet normal -0.241727 -0.796853 0.553709 facet normal -0.115483 -6.60207e-05 0.993309 vertex 6.91658 -0.991719 7.89187 facet normal -0.828672 0.0815232 0.553766 facet normal -0.292516 0.954699 0.0546275 facet normal -2.129189e-001 3.650234e-001 9.063241e-001 vertex 1.743102e+000 -5.031560e+000 2.491820e+001 facet normal -9.211543e-01 3.954124e-03 -3.891774e-01 vertex -1.043845e+02 9.695134e+01 1.179820e+01 facet normal 0.0728387 0.0677121 0.995043 vertex -6.89956 6.40186 20.0916 facet normal -9.369149e-001 -4.173101e-003 3.495326e-001 facet normal 0 -0.956942 -0.29028 vertex -0.4 -2.96144 10.597 vertex 0.4 3.34544 6.59 facet normal 0.00965279 -0.0980097 0.995139 vertex -1.56356 7.34655 6.0001 facet normal -0.586527 0.714665 0.381104 facet normal 0.00017977 -0.116009 -0.993248 vertex -5.38893 1.02637 21.833 vertex 5.28966 -0.996058 21.8214 vertex 4.24331 -2.97557 21.7998 vertex 4.94225 -0.762348 21.7809 facet normal -9.534226e-01 -3.016377e-01 7.837633e-06 facet normal -0.0189296 -0.080194 0.9966 facet normal -0.47938 0.871977 0.0992491 vertex -3.40623 7.23862 20 facet normal -0.0635194 -0.807211 0.586836 facet normal -0.115006 0.000268624 0.993365 vertex -6.33525 -0.41258 7.82405 facet normal 0 -0.990927 0.134403 facet normal 0.638745 -0.741889 0.203973 vertex 4.38745 -5.82788 7.61242 facet normal -0.766035 -0.075425 -0.638358 facet normal -0.665267 0.39254 0.635084 facet normal 0.796859 -0.175921 0.577986 vertex 0.932982 -7.19919 7.41293 vertex -5.77934 4.34766 7.60514 vertex 7.19919 -0.932982 7.41293 facet normal -0.433637 0.161777 0.886446 vertex 6.75462 0.133493 7.03353 vertex -6.9395 0.0991955 6.93683 facet normal 2.488520e-001 9.685416e-001 0.000000e+000 facet normal -3.731894e-001 6.401190e-001 6.715485e-001 facet normal 2.548140e-001 4.466467e-001 8.576576e-001 vertex -5.179446e+000 2.930032e+000 2.492316e+001 facet normal -0.0817958 0.0819182 -0.993277 facet normal -3.817308e-001 9.242736e-001 0.000000e+000 vertex -4.567763e+000 -3.354764e+000 1.747200e+001 facet normal 0.773011 -0.630119 0.0735069 facet normal -0.0814637 0.0815458 0.993335 vertex 4.28788 4.58534 7.81694 facet normal -0.56635 -0.39288 0.724495 facet normal -6.60207e-05 -0.115483 0.993309 vertex 6.91658 0.991719 7.89187 facet normal -8.660254e-01 5.000000e-01 0.000000e+00 vertex -1.008637e+02 1.051965e+02 1.855000e+01 vertex -1.045657e+02 9.930452e+01 2.655000e+01 facet normal 7.614451e-01 -5.127838e-01 3.965528e-01 vertex -1.095272e+02 9.665134e+01 1.561034e+01 vertex -1.095272e+02.
- Normal 3.734656e-03 -2.990880e-03 -9.999886e-01 facet.
- But require more on the.
- SMT updates Checkpoint after converting most things to.