In my opinion, as a non expert:
- it is not a HLS stream but rather an IIS smooth streaming
- you should post the manifest to get the confirmation of other people
You can still download the videos using
Captvty, you will get a list of videos in a dedicated section or you can input the url of the video you want to download.
Normally, IIS stream should be downloadable with ISMDownloader but it seems that the tool needs an update to be able to download the stream with this kind of manifest.