a8091bad796b476b369e43129a6a5ceb  usr/lib/x86_64-linux-gnu/libz3.so.4
cd0359aa5747ac90412e5fc02a67558d  usr/share/doc/libz3-4/changelog.Debian.gz
05838adfc4d1df5ed31c2645e0d8b59e  usr/share/doc/libz3-4/changelog.gz
e803a46feb27e4b26c5f7f4886e92982  usr/share/doc/libz3-4/copyright