MD5 (texinfo.tex) = 9d5293669836f2718bc6ff26e4c7ca84
MD5 (lcircle10.tfm) = 5afbf60b3e63bc094d7931b8af2443ae