I looked at the folder on my hard drive where I'd unzipped the file, and it turned out I had not copied a whole sequence of files that must have to go with the numbered files for it to work. Now I copied them, too, and now it works.Sorry.