2025年11月、米国は最後のペニー（1セント硬貨）を鋳造した。カナダでは2012年以降、ペニーは鋳造されていない。

何十億ものペニーが流通しているが、ペニーは時間の経過とともに流通から消えていくと予想される。クレジットカード決済はセント単位で処理されるため、店舗は引き続きセント単位で価格を設定すると予想される。しかし、現金取引の場合、店舗は最も近いニッケル（5セント）単位に端数を処理（丸め）することが期待されている。具体的には、合計金額の末尾が3、4、8、または9セントの場合、合計金額は切り上げられる。末尾が1、2、6、または7セントの場合、合計金額は切り捨てられる。末尾が0または5セントの取引は丸められない。

あなたはこの状況が好機であることに気づいた。現金で支払い、購入品を適切に並べ替えたりグループ化したりすれば、購入するすべてのものに対して支払う金額をわずかに減らせる可能性がある！購入したい個々の商品の価格（セント単位）が与えられたとき、すべてをクレジットカードで購入した場合の丸められない合計金額と比較して、現金のみで支払い、購入品を最適に並べ替えおよびグループ化することで節約できる最大金額を求めよ。

入力

入力の最初の行には、購入予定の商品の数 $N$ ($1 \le N \le 3 \cdot 10^5$) が含まれる。

次の行には、$N$ 個の整数 $p_i$ ($1 \le p_i \le 3000$) が含まれており、各商品の価格（セント単位）を表す。

出力

クレジットカードで支払った場合の丸められない合計金額と、現金で支払い、購入品を最適にグループ化して得られる最低合計コストとの差を、単一の整数で出力せよ。

注記

最初のサンプルについて、商品の最適なグループ化の一例は以下の通りである。 $\{78, 999, 350\}, \{59, 173, 2995, 350\}, \{882, 298\}, \{1096\}, \{497\}$。

各グループの価格はそれぞれ 1427、3577、1180、1096、497 であり、したがって合計の差は以下のようになる。 $(1427 + 3577 + 1180 + 1096 + 497) - (1425 + 3575 + 1180 + 1095 + 495) = 7$。

商品をいくつかの現金取引に最適にグループ化することで、すべてをクレジットカードで支払う場合と比較して7セント節約できる。

入出力例

入力 1

11
78 59 90 999 173 882 1096 2995 298 497 350

出力 1

7

入力 2

2
199 299

出力 2

-2