Name
Size
Comment
40 bits
Must have Hamming weight 20
Vector of 40 56-bit numbers
64 bits
56 bits
16 bits