/* haval.cert */

        HAVAL (V.1) CERTIFICATION DATA 
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

PASS=3, FPTLEN=128:
HAVAL("") = 1BDC556B29AD02EC09AF8C66477F2A87

PASS=3, FPTLEN=160:
HAVAL("a") = 5E1610FCED1D3ADB0BB18E92AC2B11F0BD99D8ED

PASS=4, FPTLEN=192:
HAVAL("HAVAL") = 74AA31182FF09BCCE453A7F71B5A7C5E80872FA90CD93AE4

PASS=4, FPTLEN=224:
HAVAL("0123456789") = 144CB2DE11F05DF7C356282A3B485796DA653F6B702868C7DCF4AE76

PASS=5, FPTLEN=256:
HAVAL("abcdefghijklmnopqrstuvwxyz")
      = 1A1DC8099BDAA7F35B4DA4E805F1A28FEE909D8DEE920198185CBCAED8A10A8D
HAVAL("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789")
      = C5647FC6C1877FFF96742F27E9266B6874894F41A08F5913033D9D532AEDDB39