I used the newest version of Free Download Manager and Net Transport to download these files, but got corrupted ones.
Then I directly downloaded these files using Firefox, and got the correct files.
I guess the 7z format can't be identified correctly by Free Download Manager and Net Transport.