SHA256 (z3-solver-4.8.7.0.tar.gz) = qb97n6tmymUmdb+NS2fRqTAaAX0e6+EY0Fv3IAVBtiw=
SIZE (z3-solver-4.8.7.0.tar.gz) = 4209669
