用 Rand7() 实现 Rand10()

import random
def solve():
    def rand7():
        return random.randint(____, ____)
    def rand10():
        while True:
            row = rand7() - ____
            col = rand7()
            idx = row * ____ + col
            if idx <= ____:
                return ____ + (____) % ____
    random.seed(____)
    results = [rand10() for _ in range(____)]
    print(____)