Jaewon City has a building with height . There are pillars located in outer wall of the building, each numbered with . One day, a fire broke out in the building. In order to extinguish it, VFD (Volunteer Fire Department) responded.
VFD consists of members. Each member will climb pillars from height . In order to extinguish fire completely, every member should climb up to height . Note that every member climbs distinct pillar.
Climbing the building without safety device is dangerous. So after one member climbs the building by , his new location and other member's current location should be tied with rope for safety.
More formally, let -th member be the member that climbs the -th pillar. When he tries to climb from to , for each , -th member's current height , and -th member's new height should be tied with rope. The cost of tying the rope is . In conclusion, ropes are required for one step of climb, and the cost of climb is the sum of the cost of tying the ropes.
Calculate the minimum cost of climb for every member to reach height .
Input
The input is given in the following format:
Output
Print one integer: The minimal cost of every member to reach height . It is guaranteed that the answer is no greater than .
Constraints
- .
- .
- .
- (, ).