### Wooden Raft

Suppose you are stuck on a desert island. The only way to save yourself is to craft a wooden raft and go to the sea. Fortunately, you have a hand-made saw and a forest nearby. Moreover, you've already cut several trees and prepared it to the point that now you have $$n$$ logs and the $$i^{th}$$ log has length $$a_i$$.

The wooden raft you'd like to build has the following structure: 2 logs of length $$x$$ and $$x$$ logs of length $$y$$. Such a raft would have an area equal to $$x \cdot y$$. Both $$x$$ and $$y$$ must be integers since it's the only way you can measure the lengths while being on a desert island. And both $$x$$ and $$y$$ must be at least $$2$$ since a raft that is one log wide is unstable.

You can cut logs into pieces but you can't merge two logs into one. What is the maximum area of the raft you can craft?

### Input format

The first line contains a single integer $$n$$ $$(1 \leq n \leq 5 \cdot 10^5)$$ — the number of logs you have.

The second line contains $$n$$ integers $$a_1, a_2, \ldots, a_n$$ $$(2 \leq a_i \leq 5 \cdot 10^5)$$ — the corresponding lengths of the logs.

It's guaranteed that you can always craft at least a $$2 \times 2$$ raft.

### Output format

Print a single integer — the maximum area of the raft you can craft.

### Limits

1 12 $$n \leq 10$$
2 12 $$n \leq 100$$
3 12 All $$a_i \leq 3000$$

### Samples

 Sample Input 1 Sample Output 1 19 4

In the first example, you can cut the log of length $$9$$ into $$5$$ parts: $$2 + 2 + 2 + 2 + 1$$. Now you can build $$2 \times 2$$ raft using $$2$$ logs of length $$x = 2$$ and $$x = 2$$ logs of length $$y = 2$$.

 Sample Input 2 Sample Output 2 99 10 9 18 9 9 9 28 9 90

In the second example, you can cut $$a_4 = 18$$ into two pieces $$9 + 9$$ and $$a_8 = 28$$ in three pieces $$10 + 9 + 9$$. Now you can make $$10 \times 9$$ raft using $$2$$ logs of length $$10$$ and $$10$$ logs of length $$9$$.

### Compile Errors

Time Limit: 2 Seconds
Memory Limit: 1024MB
No. of ACs: 5