Export the md5 hashes from a hash set

[nika]

Solved.

Query the sqlite database:

SELECT lower(hex(md5)) as md5sum FROM hashes;