Miku Miku Beam!!!!

미쿠는 노래를 매우 잘 부른다. (정확히는 '생성'한다고 한다.) 어느 날 미쿠는 자신이 생성한 노래 중 어떤 곡이 사람들에게 가장 인기가 많은지 문득 궁금해졌다. 미쿠를 도와 가장 인기 있는 노래들을 알려주는 코드를 작성하자. (단, 미쿠는 제목이나 조회수에 숫자 `4` 또는 글자 `사`가 들어간 노래를 불길하게 여긴다. 이런 노래는 순위에서 제외하고, 남은 노래 중 상위 `M`곡을 출력하자.)

첫째 줄에 노래의 수 `N`과 출력할 노래 수 `M`이 공백으로 구분되어 주어진다. (1 ≤ M ≤ N ≤ 100,000) 이후 `N`개의 줄에 걸쳐 각 노래의 제목과 조회수가 공백으로 구분되어 주어진다. 제목은 공백을 포함하지 않는 문자열이며, 길이는 1 이상 30 이하이다. 조회수 `V`는 정수이며, 1 ≤ V ≤ 100,000,000 이다.

제목 또는 조회수(10진수 표기 문자열)에 `4` 또는 `사`가 포함된 노래는 순위에서 제외한다. 남은 노래를 조회수 내림차순으로 정렬하여 상위 `M`곡의 제목을 한 줄에 하나씩 출력한다. 조회수가 같으면 입력에서 먼저 주어진 노래를 앞에 출력한다. 조건을 만족하는 노래가 `M`곡 미만이면 있는 만큼만 출력하고, 하나도 없으면 아무것도 출력하지 않는다.