If you have difficulties downloading a file from pan.baidu.com, I can help.
I can download a file for you and put it to Google Drive for easy download.
Just send your request to baidu@disik.ru with a link to the file.
I will have up to one day to do the job.
This will cost RUR100 (approx. USD1.3) per file.