../../Task/Verhoeff-algorithm/F-Sharp