1996 - [Hnoi2010]chorus 合唱队

Input

Output

Examples

Input

4
1701 1702 1703 1704

Output

8
Time Limit 1 second
Memory Limit 128 MB
Stats
上一题 下一题