wget/curl command not getting the contents of a file from a link

I have a .bin file that I would like to download, it's around 10GB in size. The file can be found here (any of the 4 download links): http://mazajak.inf.ed.ac.uk:8000/#embedding-page . When I download the file using wget or curl on a private server that I have, I get a 10GB file that is not a .bin file (does not have any extension), but if I click download on my local computer from the website, it clearly shows that it's downloading a .bin file. Any idea where I'm going wrong here? What I'm doing is right-clicking on the "download" hyperlink and pasting it infront of the wget/curl command. these are example commands I'm running:

http://mazajak.inf.ed.ac.uk:8000/get_sg_250 

curl -o http://mazajak.inf.ed.ac.uk:8000/get_sg_250