Update The_minimum_key_lengths.tex