from itertools import *
from bisect import *
from collections import *
from heapq import *
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=-inf
    min12=inf
    for i,a in enumerate(aa):
        if i%4==0 or i%4==3:
            if a>max03:max03=a
        else:
            if a<min12:min12=a
    # a0を求める
    a0=min(10**18-max03,min12-1)
    # a0が1以上でないと失敗
    if a0<1:
        print(-1)
        exit()
    # 前述の方法で復元する
    print(n+1)
    for i,a in enumerate(aa):
        if i%4==0 or i%4==3:
            print(a+a0)
        else:
            print(a-a0)

main()