Putting this small output file also into repo.