import sys

sys.setrecursionlimit(10 ** 6)

def II(): return int(sys.stdin.readline())
def MI(): return map(int, sys.stdin.readline().split())
def LI(): return list(map(int, sys.stdin.readline().split()))
def SI(): return sys.stdin.readline()[:-1]
def LLI(rows_number): return [LI() for _ in range(rows_number)]
def LLI1(rows_number): return [LI1() for _ in range(rows_number)]
int1 = lambda x: int(x) - 1
def MI1(): return map(int1, sys.stdin.readline().split())
def LI1(): return list(map(int1, sys.stdin.readline().split()))
p2D = lambda x: print(*x, sep="\n")
dij = [(1, 0), (0, 1), (-1, 0), (0, -1)]

def main():
    inf = float("inf")
    n = II()
    bb = [II() for _ in range(n)]
    aa = [0]
    # 仮にaの初項を0としてシミュレーションする
    for i, b in enumerate(bb):
        if i % 2: aa.append(-b + aa[-1])
        else: aa.append(b - aa[-1])
    # print(aa)
    # 0-indexedで考える
    # ここから答えの数列を作るには、初項をa0とすると
    # i%4==0,3のaa[i]にはa0を足す
    # i%4==1,2のaa[i]には-a0を足すとできる
    # このとき、各項が1<=aa[i]<=10**18となるようにa0を決める
    # インデックスのmod4が0,3の項の最大値と1,2の項の最小値を求める
    max03 = max12 = -inf
    min03 = min12 = inf
    for i, a in enumerate(aa):
        if i % 4 == 0 or i % 4 == 3:
            if a > max03: max03 = a
            if a < min03: min03 = a
        else:
            if a < min12: min12 = a
            if a < min12: min12 = a
    # a0の範囲を求める
    l = max(1 - min03, max12 - 10 ** 18, 1)
    r = min(10 ** 18 - max03, min12 - 1, 10 ** 18)
    # [l,r]の範囲が存在しないときは解なし
    if l > r:
        print(-1)
        exit()
    # [l,r]ならいくつでもよいが、今回はa0=lとして前述の方法で復元する
    print(n + 1)
    for i, a in enumerate(aa):
        if i % 4 == 0 or i % 4 == 3:
            print(a + l)
        else:
            print(a - l)

main()