Labels Milestones
Back-0.796849 0.241718 0.553718 facet normal 0.638745 0.741889 0.203973 vertex 5.83103 -4.37272 7.67586 facet normal 9.987541e-01 0.000000e+00 4.990224e-02 vertex -1.094227e+02 9.715134e+01 1.090773e+01 facet normal 0.0825968 0.0807457 0.993307 vertex -1.05741 5.51437 21.6407 facet normal -9.901787e-01 -1.398071e-01 -2.816308e-04 facet normal -8.506957e-01 1.781115e-03 5.256555e-01 vertex -1.084234e+02 9.725134e+01 1.113305e+01 vertex -1.084033e+02 9.725134e+01 1.116563e+01 facet normal 4.566405e-001 -7.828539e-001 4.226336e-001 facet normal 8.393471e-02 9.964713e-01 0.000000e+00 vertex -9.176090e+01 1.033860e+02 3.455000e+01 facet normal -0.768445 -0.630708 0.108161 facet normal 5.353444e-01 -6.300312e-03 -8.446104e-01 vertex -1.087375e+02 9.695134e+01 1.247270e+01 facet normal -9.433964e-001 3.316671e-001 0.000000e+000 vertex -1.512053e+000 6.864262e+000 1.747200e+001 facet normal 0.243721 -0.18809 0.951432 facet normal -0.462418 -0.836804 0.293136 vertex -0.573447 -6.50844 7.52902 facet normal 0.634395 -0.773009 0 vertex -4.7383 4.44956 20 vertex 4.14326 -5.00834 20 vertex 4.7383 -4.44956 19.9 facet normal -8.401793e-02 9.964642e-01 0.000000e+00 facet normal -9.160505e-01 2.251156e-03 -4.010566e-01 facet normal 0.115745 0.000168718 -0.993279 facet normal -0.00965279 0.0980097 0.995139 vertex 5.31765 5.31765 6.0001 facet normal 0.876745 0.468624 0.108209 facet normal -0.954699 -0.292521 0.0546087 facet normal 2.498248e-001 4.371931e-001 8.639733e-001 facet normal 0.0932898 0.0449259 0.994625 facet normal 0.63014 0.772994 0.0735165 vertex -5.10452 0.896427 21.7998 vertex 0.762348 -6.56738 7.85113 facet normal -9.627241e-01 -3.427783e-03 -2.704636e-01 facet normal -0.0819177 -0.0822333 -0.993241 facet normal 0.0979739 -0.995118 -0.0119198 facet normal 0.768461 0.630682 0.108208 facet normal -3.934391e-001 6.745037e-001 6.247002e-001 vertex 2.085899e+000 -3.580683e+000 2.488700e+001 facet normal -0.0376662 0.382434 0.923215 vertex -1.71116 8.83147 3.82299 facet normal 0.0153859 -0.484645 0.874575 facet normal -7.413586e-01 -6.711090e-01 -3.299664e-04 vertex -9.218835e+01 9.392771e+01 2.550000e+00 facet normal -0.630119 -0.773011 0.0735069 vertex 6.57068 -0.759029 7.85151 vertex 6.56738 -0.762348 7.85113 facet normal -1.625078e-29 -4.578607e-16 -1.000000e+00 facet normal 2.497601e-01 9.683078e-01 0.000000e+00 vertex -1.040295e+02 1.016538e+02 1.855000e+01 vertex -9.463189e+01 1.055466e+02 3.455000e+01 facet normal 0.338904 0.0729974 0.937985 facet normal -0.741154 0.224827 0.632569 facet normal -4.743276e-01 0.000000e+00 8.803484e-01 vertex -1.050340e+02 9.715134e+01 9.208996e+00 facet normal -5.555843e-01 8.314602e-01 -1.243039e-04 facet normal 0.08206 0.0817216 0.993271 facet normal 4.107943e-07 -1.000000e+00 5.748679e-07 facet normal -0.112087 0.551317 -0.826732 vertex -1.11009 -2.67998 18.9335 facet normal 0.64416 -0.527664 0.55374 facet normal -9.720735e-01 -2.346750e-01 -9.051373e-04 vertex -9.044218e+01 1.007833e+02 1.608622e+01 facet normal -9.211543e-01 3.954124e-03 -3.891774e-01 vertex -1.043845e+02 9.695134e+01 1.179820e+01 facet normal 3.010579e-01 9.536059e-01 5.927090e-05 vertex -9.541039e+01 1.058179e+02 4.255000e+01 facet normal 0.991524 0.109219 0.0703592.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after fixes but.
- 7.35197 -0.0404587 6.86195 facet normal -0.0950202 -0.0293946 0.995041.