7-Zip Hash Length

[ZipTime]

That answers my questions! I indeed used the 7z2hashcat to get the hash. It starts with $7z$128$19$0$$16$, so yeah it's correct. I just wanted to be sure it extracted in the right way.

Thanks for your reply!