70b3d510e79a6a516523176259522bea  usr/include/z3++.h
4989b735983241c8608f8a2d06b6c382  usr/include/z3.h
2882a94e6466b01993c5c665e47195d1  usr/include/z3_algebraic.h
6412b371bc263ad27c7e74d5f860e697  usr/include/z3_api.h
6acc97b069965281de022bcad05c089b  usr/include/z3_ast_containers.h
153947c68aa154723923d434c1beafa2  usr/include/z3_fixedpoint.h
95a6b089ad06c3e8c83b025735e3472f  usr/include/z3_fpa.h
d7f161bbbd9e2433abacde8da0650928  usr/include/z3_macros.h
328453a004ccb1a292a671abf16be025  usr/include/z3_optimization.h
f6cbc35f4c40c9a3fc0470b14911c613  usr/include/z3_polynomial.h
6934524bb5efb3e5628cf13a7b9d80e4  usr/include/z3_rcf.h
d318a14f26a36cd3a2d9e0ec53d5d5c1  usr/include/z3_spacer.h
360f604e9d1489b610ad7b43bebac588  usr/include/z3_v1.h
6561ae65b54852f3d83bf4fce6c76848  usr/include/z3_version.h
30a8a6a60aca884cab6c069de2f59a09  usr/lib/x86_64-linux-gnu/pkgconfig/z3.pc
44cee40392002dba235542691f5a0dbf  usr/share/doc/libz3-dev/changelog.Debian.gz
d700bfcb37c998cc9671c6e3e32f9a1f  usr/share/doc/libz3-dev/changelog.gz
f967e789d58be4415f0ec8b561624170  usr/share/doc/libz3-dev/copyright