MD5 (texinfo.tex) = 9d5293669836f2718bc6ff26e4c7ca84
MD5 (lcircle10.tfm) = a63fee8e77431d78f30566c3b8e04810