GenerateFromFiles reads input files and creates four bytes database.

Verify checks if the files written match the data.