問題文

高橋くんは不思議な財布を持っています。 この財布には $50$ 円玉、 $10$ 円玉、 $5$ 円玉、 $1$ 円玉のいずれかの硬貨のみ入れることができます。

高橋くんがこの財布を叩くと、以下のイベントのうち起こりうるものが $1$ つ、ランダムで発生します。（どれも起こり得ない場合は、何も起こりません）

• $50$ 円玉 $1$ 枚が、 $10$ 円玉 $5$ 枚に変化する
• $10$ 円玉 $1$ 枚が、 $5$ 円玉 $2$ 枚に変化する
• $5$ 円玉 $1$ 枚が、 $1$ 円玉 $5$ 枚に変化する

今、高橋くんの財布には $50$ 円玉が $N_{50}$ 枚、 $10$ 円玉が $N_{10}$ 枚、 $5$ 円玉が $N_{5}$ 枚、 $1$ 円玉が $N_{1}$ 枚入っています。

財布の中の硬貨がすべて $1$ 円玉に変化するには、高橋くんは何回財布を叩く必要がありますか？

なお、イベントがどのような順序で発生しても同じ答えになることが保証されます。

制約

• $0 \le N_{50}, N_{10}, N_{5}, N_{1} \le 10^{9}$
• 入力はすべて整数である

入力

出力

答えを $1$ 行に出力せよ。

入出力例

0 1 0 0

3

はじめ、高橋くんの財布には $10$ 円玉が $1$ 枚入っていました。叩く毎に、財布の中身は以下のように変化しました。

1. $5$ 円玉が $2$ 枚
2. $5$ 円玉が $1$ 枚、 $1$ 円玉が $5$ 枚
3. $1$ 円玉が $10$ 枚

1 0 0 0

16

はじめ財布には $50$ 円玉が $1$ 枚入っており、 $16$ 回叩くと $1$ 円玉が $50$ 枚になりました。

998244353 998244853 998444353 99824353

19965088560

答えは $32$ ビット整数で表される範囲を越えることがあります。