Description

Farmer John has completely forgotten how many cows he owns! He is too embarrassed to go to his fields to count the cows, since he doesn't want the cows to realize his mental lapse. Instead, he decides to count his cows secretly by planting microphones in the fields in which his cows tend to gather, figuring that he can determine the number of cows from the total volume of all the mooing he hears. FJ's N fields (1 <= N <= 100) are all arranged in a line along a long straight road. Each field might contain several types of cows; FJ owns cows that come from B different breeds (1 <= B <= 20), and a cow of breed i moos at a volume of V(i) (1 <= V(i) <= 100). Moreover, there is a strong wind blowing down the road, which carries the sound of mooing in one direction from left to right: if the volume of mooing in some field is X, then in the next field this will contribute X-1 to the total mooing volume (and X-2 in the field after that, etc.). Otherwise stated, the mooing volume in a field is the sum of the contribution due to cows in that field, plus X-1, where X is the total mooing volume in the preceding field. Given the volume of mooing that FJ records in each field, please compute the minimum possible number of cows FJ might own. The volume FJ records in any field is at most 100,000.

J有n块田，在一条直线上，田里有b种牛，每种牛的都有自己的叫声大小vi，由于有风，每块田可以听到的叫声大小为田里所有牛的叫声和加左边的叫声大小减一(最左边那块田的话，则只能听到自己田地里的声音），给定每种牛的叫声大小已及每块田所听到的声音，求最小可能存在多少头牛，没有解输出-1

Format

Input

• Line 1: The integers N and B.
• Lines 2..1+B: Line i+1 contains the integer V(i).
• Lines 2+B..1+B+N: Line 1+B+i contains the total volume of all mooing in field i.

Output

• Line 1: The minimum number of cows owned by FJ, or -1 if there is no configuration of cows consistent with the input.

Samples

5 2
5
7
0
17
16
20
19

4

Limitation

INPUT DETAILS: FJ owns 5 fields, with mooing volumes 0,17,16,20,19. There are two breeds of cows; the first moos at a volume of 5, and the other at a volume of 7. 至少存在四头牛，其中有三头在第二块田地（二头第一种类的，一头第二种类的）,一头在第四块田地（其为第一种类）