MD5 (r5rs.txi) = ddecda2d043488827bcf3398f640919b
RMD160 (r5rs.txi) = c605303950cab451ab6632659ab331144bdc6565
SHA1 (r5rs.txi) = e16200df72ca7b1a4f5d339a51982dddb04f7f72