tri = lambda x: x * (x - 1) // 2
K = int(input())


def solve(K):
    i = 1
    while True:
        if tri(i + 1) <= K:
            i += 1
        else:
            break

    ans = [1] * i

    rest = K - tri(i)
    DIV = 5
    if rest // DIV:
        ans.extend([3] * DIV)
        ans.extend([8] * (rest // DIV))
        rest %= DIV
    if rest:
        ans.append(7)
        ans.extend([12] * rest)

    print(len(ans))
    print(ans)


solve(K)