edccff54e36e7beebf01819da935dd3c4ab3f4cf680e1c20b738bcf704a0e661  btxdoc.tex