When I tried to download the “DEN70EDUD1004LAB01.zip” file, I was able to download it successfully and create the data source from it. I would suggest you to try downloading the file once again.
Besides that, we recommend you to use the **Denodo Quickstart Virtual Machine** for performing the labs as the data sources needed for these labs are already available in the Virtual Machine.
For more information, you could follow the instructions provided under the "DEN70EDUD1004LAB01" section of **DEN70EDUD01 Data Virtualization Developer (Introduction) - On-demand** course.
Hope this helps!!