Click DTMC_lab_dir.zip link to view the file.