These are all of the official test vectors for RadioGatun[32].  The vectors 
have had their formatting changed to make running the test more convenient.

