The text 0c37a467f510, as Debian 10 (Buster) shipped it.
Validation for plain number with a VERHOEFF checkdigit
verhoeff(3tcl) on Linux now
