#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_DEEP_MAX		100005									// 最大深さ
#define D_ICNT_MAX		20000000000000							// 最大内部ノード数

// 内部変数
static FILE *szpFpI;											// 入力
static int si1LCnt[D_DEEP_MAX];									// 葉数
static long long sl1ICnt[D_DEEP_MAX];							// 内部ノード(葉以外のノード)の最大数
static int siDeep;												// 深さ

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// １行出力
int
fOutLine(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// 最小値 - 取得
long long
fGetMinL(
	long long plVal1			// <I> 値１
	, long long plVal2			// <I> 値２
)
{
	if (plVal1 < plVal2) {
		return plVal1;
	}
	else {
		return plVal2;
	}
}

// 実行メイン
long long
fMain(
)
{
	int i;
	char lc1Buf[1024];

	// データ - 初期化

	// 深さ - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siDeep);

	// 葉数 - 取得
	for (i = 0; i <= siDeep; i++) {
		fscanf(szpFpI, "%d", &si1LCnt[i]);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	if (siDeep == 0) {
		if (si1LCnt[0] == 1) {
			return 1;
		}
		else {
			return -1;
		}
	}

	// 内部ノードの最大数 - セット
	long long llVCnt = 1;
	for (i = 0; i < siDeep; i++) {
		sl1ICnt[i] = llVCnt - (long long)si1LCnt[i];
		if (sl1ICnt[i] < 1) {
			return -1;
		}
		llVCnt = sl1ICnt[i] * 2;
		llVCnt = fGetMinL(sl1ICnt[i] * 2, D_ICNT_MAX);
	}

	// 最大頂点数 - 取得
	llVCnt = si1LCnt[siDeep];
	long long llVSum = llVCnt;
	for (i = siDeep - 1; i >= 0; i--) {

		// 内部ノード数
		if (llVCnt > sl1ICnt[i]) {
			if (llVCnt > sl1ICnt[i] * 2) {
				return -1;
			}
			llVCnt = sl1ICnt[i];
		}

		// 頂点数 - 加算
		llVCnt += (long long)si1LCnt[i];

		// 最大頂点数 - 加算
		llVSum += llVCnt;
	}

	return llVSum;
}

// １回実行
int
fOne(
)
{
	long long llRet;
	char lc1Buf[1024];

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	llRet = fMain();

	// 出力
	sprintf(lc1Buf, "%lld\n", llRet);
	fOutLine(lc1Buf);

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}

