../ sha1.v,v 19-May-2004 22:00 11898 sha256.v,v 19-May-2004 22:00 34028 sha512.v,v 19-May-2004 22:00 48119