문제
Bessie is hoping to fool Farmer John by building a herd of
It turns out that building a robotic cow is somewhat complicated. There are
For the herd of robotic cows to look convincing to Farmer John, no two robots should behave identically. Therefore, no two robots should have exactly the same set of microcontrollers. For any pair of robots, there should be at least one location at which the two robots use a different microcontroller model. It is guaranteed that there will always be enough different microcontroller models to satisfy this constraint.
Bessie wants to make her robotic herd as cheaply as possible. Help her determine the minimum possible cost to do this!
SAMPLE INPUT:
3 10
4 1 5 3 10
3 2 3 3
5 1 3 4 6 6SAMPLE OUTPUT:
61Problem credits: Richard Peng and Nathan Pinsker
입력
The first line of input contains
The following
출력
Output a single line, giving the minimum cost to construct