def solution(n: str = N) -> int:

    return max(
        # mypy cannot properly interpret reduce
        int(reduce(lambda x, y: str(int(x) * int(y)), n[i : i + 13]))
        for i in range(len(n) - 12)
    )