Comment by Laaas

Source for 64-bit key part? Seems unreasonably low.