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