Damm, Luhn and Verhoeff algorithms