MD5 (texinfo.tex) = ac8e43900fcea942b922c1b6781f11c6
MD5 (lcircle10.tfm) = 5afbf60b3e63bc094d7931b8af2443ae