샌드위치

Sandvich, Valve Inc의 지적 재산.

Atli는 열렬한 샌드위치 애호가이다. 지난 몇 년 동안 그는 샌드위치에 대해 매우 까다로운 취향을 갖게 되었다. Atli가 평소 장을 보러 가는 식료품점은 COVID 때문에 앞으로 $k$일 동안 문을 닫는다. 이 때문에 매일 샌드위치를 먹어야 하는 Atli는 다소 걱정하고 있다. 현재 그의 냉장고에는 샌드위치가 $n$개 있다. 각 샌드위치는 두 수 $a_i, b_i$로 나타낼 수 있으며, 여기서 $a_i$는 $i$번째 샌드위치의 품질이고 $b_i$는 유통기한이 만료될 때까지 남은 일수이다. Atli의 특이한 취향에 따르면 그는 점심으로 정확히 샌드위치 하나를 먹고 저녁으로 또 하나를 먹는다. 이 두 샌드위치의 품질 합은 적어도 $9$이어야 한다. 그는 유통기한이 지난 샌드위치도, 품질이 $4$ 미만인 샌드위치도 먹지 않는다. 샌드위치의 유통기한이 $x$일 후에 만료된다면 $x$번째 날 또는 그 이전에 먹을 수 있으므로, $b_i = 1$인 샌드위치는 첫날에 먹거나 버려야 한다. 이제 Atli는 이 샌드위치들이 앞으로 $k$일 동안 충분할지 궁금해한다.

점수

그룹 | 점수 | 제한

1 | 20 | $n \leq 8$

2 | 20 | $n \leq 10^2$

3 | 20 | $n \leq 10^3$

4 | 40 | 추가 제한 없음

입력의 첫째 줄에는 샌드위치의 수와 가게가 문을 닫는 일수를 나타내는 두 정수 $1 \leq n \leq 10^5$와 $1 \leq k \leq 10^5$이 주어진다. 다음 줄에는 샌드위치들의 품질을 나타내는 $n$개의 정수 $0 \leq a_i \leq 10$가 주어진다. 마지막 줄에는 각 샌드위치가 며칠 동안 유효한지를 나타내는 $n$개의 정수 $0 \leq b_i \leq 10^9$가 주어진다.

샌드위치들이 Atli에게 이 $k$일 동안 충분하다면 Jebb을 출력한다. 그렇지 않으면 Neibb을 출력한다.