After an exhausting day of preparing COCI, after sleeping for only three hours and in intervals of 20 minutes, and finally after naughty Patrick and Josip got on his nerves, Vito fell asleep.
Vito was always a pacifist and as a sign of his resignation in front of the disobedience of his (un)reliable friends, Vito dreamed of white flags. Each white flag had the shape of a right triangle swirling in the air with one of its sides parallel to the ground. In the morning, Vito could only remember a few key details... the length of the hypotenuse of the -th flag was and the total sum of heights of the flags was at most .
Now awake, he decided he shall fight on the beaches and never surrender! He rushed to the nearest paint shop so that the next time he dreams of the white flags he can paint them over! But he quickly realized, he isn't sure how much paint he has to buy. So he asked you to calculate the maximum possible total area of the white flags satisfying the constraints!
The first line contains the integers and , the number of flags and the maximum possible sum of heights of the flags.
In the next line there are integers .
In the only line, output the maximum possible sum of areas of the flags. Your solution will be considered correct if the absolute or relative error is smaller than .
|No additional constraints.
Sample Input 1
Sample Output 1
Sample Input 2
Sample Output 2
Explanation for Sample 2
The largest possible area is achieved by a flag with sides , , and , and the total area is .
Sample Input 3
5 5 6 6
Sample Output 3