../../Task/Blum-integer/Scala