HOL Extended with MFZ Latest Files