<s>[INST] Some numbers have the property that the sum of [their proper divisors] is equal to the number. For example, 28 is such a number because 1+2+4+7+14 =28. The sum of the proper divisors of a number is denoted by σ(n) - n. Write a program that finds all numbers that have this property and that are less than 10000.[/INST]