769e00c44af720a887a2ac8ef6c371786bb7e028  tetex-3.0-x86_64-10.txt