File download statistics

[Undel]

Hello.

We have Security gateway R80.40 with HTTPS inspecton.

Is there a way to get statistics about executable file downloads?

Which executable files are being downloaded by which user and from which  web resource?

I want to have a report that would look like:

*** TOP N downloaded executable files during X days ***

User1, User2, User3 (total 3) - downloaded 7z.exe from 7zip.org

User1, User4,User5, User6 (total 4) downloaded msoffice_setup.exe from Google Drive

User2, User6 (total 2) downloaded win10installer.msi from microsoft.com

...

etc

Going through thousands of log enteries manually is not an option.