【问题描述】
参加数次九死一生的鼠运输作战，多次取得成功。在完成运输任务后，突发
奇想趁夜摸进铁底湾，击沉迎击美军驱逐舰，炮击亨德森机场。当在为配合陆军
瓜岛攻势而发动的海战中，由良大破并发生大火。由于畏惧殉爆，其他驱逐都不
敢靠近，只有夕立接舷并救助了由良的多数乘员。
如此出色的决断力和天不怕地不怕的进攻精神，夕立屡屡受到上层褒奖，被
形容为“非常识”的“无法模仿”的船。
终于，迎来了第三次所罗门海战。
夕立孤身突入美军中心，面对排成一列的敌舰，夕立准备等概率随机选择一
段区间 [l, r] 内的敌舰进行攻击。
第 i 只美军舰船的攻击力是 ai 。由于夕立掌握了一种叫做 “亵渎” 的
攻击方法，所以她可以取得的战果是mex{a[i]} (l ≤ i ≤ r)
mex 表示集合中第一个没有出现的自然数。 （mex{0, 1, 2, 3, 5} = 4）
现在，即将葬身铁底湾的夕立想要知道，她期望能取得多少战果。由于时间
紧迫，只要知道所有情况下她能取得的战果之和就可以了。
【输入格式】
第一行包含一个整数 n ，表示序列的长度。
第二行包含 n 个非负整数 a1, a2, a3 … an，描述序列。

【输出格式】
只含一个整数，表示夕立所有情况下所能取得的战果之和。

【输入输出样例】

yuudachi.in
3
0 1 3
yuudachi.out
5
【数据范围】

编号 n ai
1 - 2 ≤200 ≤10^9
3 - 5 ≤3000 ≤10^9
6 - 10 ≤200000 ≤10^9

击沉一艘防空巡洋舰、让一艘巡洋舰和驱逐舰陷入火灾。对三艘巡洋舰和一艘驱
逐舰发射了１５０发以上主炮、２００发以上机枪。对两艘巡洋舰发射了八发鱼
雷。虽然在这场战斗中，夕立据说被不分敌我打得很惨，但在她被炮弹打到机关
停止后，吉川舰长甚至下令“张帆”，试图利用床铺拼凑成的风帆继续向美军舰队
突击，让整船的官兵士气都疯狂起来。
美军发现白帆时原以为是举白旗投降，但又吃了闷亏之后气得发电文怒吼「Sink
the SOB!!」把这狗娘养的给我轰沉！只可惜在这种情况下的夕立当然无法继续
战斗，面对逼近的美军舰队，包含舰长吉川中校在内的残存士官兵只好移至前来
救援的五月雨驱逐舰上脱离，而被放弃的夕立被随后的美军巡洋舰给击沉。
以一敌多创下如此辉煌战绩的夕立，被日本人赞誉为「阿修罗」、「水雷战队的
精华」，并且其战功被详细单独特记在第四水雷战队的战功详报功绩栏中。其最
初的舍身突击更是大大改变了这次遭遇战局势，改变了本应遭袭的日本海军舰队
的命运。
曾在侵华战争中，参与进攻长江等中国沿岸地区。