몰이 사냥 2

NYPC 2020 · 본선

메이플스토리 무릉도장에서 수련을 하던 소공은 NN 마리의 몬스터가 있는 일자 지형 맵에 가만히 서서 몰이 사냥을 하고자 한다. 맵이 일자 지형으로 생겼으므로 맵 내 임의의 위치를 수 하나로 표현할 수 있다. 편의상 몬스터는 항상 정수 위치에만 있으며, 어떠한 순간에도 서로 다른 몬스터는 같은 위치에 있을 수 없다.

맵 상 NN 마리의 몬스터에게 11부터 NN까지 서로 다른 정수 번호가 매겨져 있다. ii 번 (1iN1 \le i \le N) 몬스터의 위치는 did_i다.

소공은 체인 라이트닝 스킬을 사용하여 몬스터를 사냥하려고 한다. 체인 라이트닝 스킬은 처음 지정한 몬스터에서 시작하여 양 옆으로 정확히 11 차이나는 위치에 있는 몬스터에 전격이 옮겨지며, 이 과정이 더 이상 전격이 옮겨질 몬스터가 없어질 때까지 반복된다. 예를 들어, 각 몬스터의 위치가 [1,3,4,5,6,9,10][1, 3, 4, 5, 6, 9, 10]라고 하자. 소공이 위치 44에 있는 몬스터에게 체인 라이트닝을 사용하면, 최종적으로 위치 33부터 위치 66에 있는 몬스터까지 총 44 마리의 몬스터를 공격하게 된다. 또한, 위치 99에 있는 몬스터에게 체인 라이트닝을 사용하면, 최종적으로 위치 99부터 위치 1010에 있는 몬스터까지 총 22 마리의 몬스터를 공격하게 된다.

소공은 최대한 많은 수의 몬스터를 공격하고 싶기 때문에, 비용을 들여 몬스터의 위치를 옮기려고 한다. 11 메소를 사용하여 몬스터의 위치를 11 감소시키거나, 11 증가시킬 수 있다. 몬스터가 이동한 후에도 위치는 항상 정수이어야 하며, 서로 다른 몬스터는 같은 위치에 있을 수 없다.

소공은 현재 BB 메소를 가지고 있다. 최대 BB 메소를 사용하여, 한 번의 스킬 사용으로 최대한 많은 몬스터를 공격할 수 있도록 몬스터의 위치를 재배열해보자.

입력 형식

첫 줄에 몬스터의 수를 나타내는 정수 NN과 소공의 재산을 나타내는 정수 BB가 공백으로 구분되어 주어진다. (1N10000001 \le N \le 1\,000\,000; 0B10180 \le B \le 10^{18})

두 번째 줄에 각 몬스터의 위치를 나타내는 NN 개의 정수가 공백으로 구분되어 주어진다. ii 번째로 주어지는 수는 ii 번 몬스터의 위치를 나타내는 수 did_i이다. (1di10000000001 \le d_i \le 1\,000\,000\,000; di<di+1d_i < d_{i+1})

출력 형식

최대 BB 메소를 사용하여, 최대한 많은 몬스터를 공격하도록 몬스터를 재배열했을 때 한 번의 스킬 사용으로 공격할 수 있는 몬스터의 수를 출력한다.

예제 1

입력

7 4 1 5 6 8 11 14 15

출력

4

예제 2

입력

7 3 1 5 6 8 11 14 15

출력

3

채점 방식

입력 케이스들은 다음과 같은 종류로 구별되며, 한 종류의 케이스를 다 맞추어야 그 종류에 배정된 점수를 받을 수 있다.

종류 1: 13

N100N \le 100; di1000d_i \le 1\,000

종류 2: 14

N400N \le 400

종류 3: 32

N2000N \le 2\,000

종류 4: 41

추가적인 제한 조건이 없음.

해설