def is_abundant(n): divisors = lib.proper_divisors(n) return sum(set(divisors)) > n
def sum_divisors(n): return sum(lib.proper_divisors(n))