atcoder nomura プログラミングコンテスト 2020 c問題 Folia が解けない

Question

前提・実現したいこと

atcoder NOMURAプログラミングコンテスト2020 のC問題で１つだけWAとなってしまいます。
問題文についてはこちらを参照してもらえればと思います。
https://atcoder.jp/contests/nomura2020/tasks/nomura2020_c

発生している問題・エラーメッセージ

aが葉の数
bが追加できる頂点の上限
cが実際に追加した頂点数

多くの解答では，深さNの頂点数をfとしてf(n)={f(n-1)-a(n-1)}*2だからsum(f)としていますが，私は，f(n)=a(n)+c(n)だからsum(a)+sum(c)を求めるという方針でした。
この方針でACしたいのですが，自力で解決できそうにないので，お力を貸していだだければ幸いです。

該当のソースコード

n,*a=map(int,open(0).read().split())
b=sum(a)
c=1
ans=1
if a[0]>0:
    print(-1)
    exit()
for i in a[1:]:
    b-=i
    c=min(c*2-i,b)
    ans+=c
    if c<0:
        print(-1)
        exit()
print(ans+sum(a))

試したこと

print(-1)を提出して確認しましたが，WAとなっているケースの正解は-1ではないようです

補足情報（FW/ツールのバージョンなど）

ここにより詳細な情報を記載してください。

Answer 1

深さ0に一つだけ葉があるケースじゃないですか?

Comments

[piu_luce]

ありがとうございました。
if a[0]==1 and n==0:
print(1)
exit()
を追加してACできました。