使用python编写以下程序：输出两个均不大于m的最大孪生素数

以下是用Python编写的程序，可以输出两个均不大于给定上限m的最大孪生素数：

def is_prime(n):
    if n <= 1:
        return False
    for i in range(2, int(n**0.5) + 1):
        if n % i == 0:
            return False
    return True

def find_twin_primes(m):
    twin_primes = []
    for num in range(m, 1, -1):
        if is_prime(num) and is_prime(num - 2):
            twin_primes.append(num - 2)
            twin_primes.append(num)
            break
    return twin_primes

m = int(input("请输入上限m的值："))
twin_primes = find_twin_primes(m)

if len(twin_primes) == 0:
    print(f"在不大于{m}的范围内找不到孪生素数。")
else:
    print(f"两个均不大于{m}的最大孪生素数是：{twin_primes[0]} 和 {twin_primes[1]}。")

你可以输入上限m的值，程序将输出两个均不大于m的最大孪生素数。请注意，这个程序使用了一个辅助函数is_prime来判断一个数是否为素数。