Peter is an executive boarding manager in Byteland airport. His job is to optimize the boarding process. The planes in Byteland have rows, numbered from to . Every row has six seats, labeled to .

There are passengers, they form a queue and board the plane one by one. If the -th passenger sits in a row r_i then the difficulty of boarding for him is equal to the number of passengers boarded before him and sit in rows ...r_i - 1. The total difficulty of the boarding is the sum of difficulties for all passengers. For example, if there are ten passengers, and their seats are , , , , , , , , , , in the queue order, then the difficulties of their boarding are , , , , , , , , , , and the total difficulty is .
To optimize the boarding, Peter wants to divide the plane into zones. Every zone must be a continuous range of rows. Than the boarding process is performed in phases. On every phase, one zone is selected and passengers whose seats are in this zone are boarding in the order they were in the initial queue. In the example above, if we divide the plane into two zones: rows – and rows – , then during the first phase the passengers will take seats , , , , , and during the second phase the passengers will take seats , , , , , in this order. The total difficulty of the boarding will be .
Help Peter to find the division of the plane into zones which minimizes the total difficulty of the boarding, given a specific queue of passengers.
The first line contains three integers (1 \le n \le 1000), (1 \le s \le 1000) and (1 \le k \le 50, k \le s).
The next line contains integers r_i (1 \le r_i \le s).
Each row is occupied by at most passengers.
Output one number, the minimal possible difficulty of the boarding.
Пример 1