#2731. [Neerc2013 North]flight

[Neerc2013 North]flight

Description

Peter是Byteland机场的经理。他的工作就是优化登机过程。Byteland的飞机有s排,编号1

到s。每排6个座位,标号A到F。

image

有n个乘客,他们排成队伍,一个个登机。如果第i个人坐在ri排,那么他登机的难度相当于

在他之前登机并且坐在第1...ri-1排的人的人数。登机总难度相当于所有乘客的难度的总和。

例如,如果有10个乘客,并且他们的座位是6A,4B,2E,5F,2A,3F,1C,10E,8B,5A,按排队顺序,

那么他们登机的难度为0,0,0,2,0,2,0,7,7,5,总难度为23。

为了优化登机过程,Peter想把飞机分成k个区域,每个区域必须是连续的几排座位。然后登机

过程就分为k个阶段。在每个阶段,挑出一个区域,在这个区域的乘客按照原来排队的顺序登机。

在上面的例子中,如果我们把飞机分成两块区域,5—10排和1—4排。那么在第一阶段,乘客

会依次坐6A,5F,10E,8B,5A;在第二阶段,乘客会依次坐4B,2E,2A,3F,1C。通过这样划分,登机总难

度变成了6。

已知乘客的排队顺序,帮助Peter把飞机分成k个区域,使登机总难度最小。

Format

Input

第一行包括3个正整数n,s,k。

下一行包括n个正整数ri,每排座位最多容纳6个乘客。

N<=1000,M<=1000,K<=50

Output

包含一个正整数,表示最小登机总难度。

Samples

10 12 2
6 4 2 5 2 3 1 11 8 5
6