输入一个整数n，要求输出[1，n]范围内的所有完数。完数是一个正整数，该数恰好等于其所有不同真因子之和。例如，6、28是完数，因为6=1+2+3，28=1+2+4+7+14；而24不是完数，因为24≠1+2+3+4+6+8+12＝36。 输入格式: 测试数据有多组，处理到文件尾。每组测试数据输入一个整数n（1≤n≤10000）。 输出格式: 对于每组测试，首先输出n和一个冒号“:”；然后输出所有不大于n的完数（每个数据之前留一个空格）；若[1，n]范围内不存在完数，则输出“NULL”。引号不必输出。具体输出格式参考输出样例。

以下是一个可能的Python实现：

import sys

def get_factors(n):
    factors = [1]
    for i in range(2, int(n ** 0.5) + 1):
        if n % i == 0:
            factors.extend([i, n // i])
    if int(n ** 0.5) ** 2 == n:
        factors.remove(int(n ** 0.5))
    return factors

for line in sys.stdin:
    n = int(line.strip())
    factors_sum = {}
    for i in range(2, n + 1):
        factors = get_factors(i)
        factors_sum[i] = sum(factors)
    perfect_numbers = [str(i) for i in range(2, n + 1) if factors_sum[i] == i]
    if perfect_numbers:
        print("{}: {}".format(n, " ".join(perfect_numbers)))
    else:
        print("{}: NULL".format(n))

解释一下这个实现的思路：

首先定义了一个 `get_factors` 函数，用于获取一个正整数的所有真因子（除了自身以外的因子）。具体实现是从2到 $\sqrt{n}$ 枚举所有可能的因子，然后将因子及其对应的另一个因子添加到一个列表中（如果有），最后去重并返回。

接着使用一个字典 `factors_sum` 来保存每个数的所有真因子之和。具体实现是对于每个 $i$，调用 `get_factors` 获取其所有真因子，然后将它们的和保存在 `factors_sum[i]` 中。

最后，遍历 [2, n] 中的所有数，找到其中真因子之和等于自身的数，将它们的字符串表示添加到一个列表 `perfect_numbers` 中。如果 `perfect_numbers` 不为空，则输出格式为 `n: num1 num2 ...`，否则输出格式为 `n: NULL`，其中 `num1 num2 ...` 表示所有不大于 n 的完数。

注意：本实现使用了 Python 3 的一些特性，可能不兼容 Python 2。