새로운 지평선

나는 집 한 채의 왕이다! 그뿐만 아니라,
나는 블루베리 덤불과 고양이의 왕이기도 하다!
나는 거북이 여틀이다! 오, 대단한 나 자신이여!
내 눈에 보이는 모든 것의 지배자가 바로 나이니!

여틀은 자신이 볼 수 있는(그래서 다스릴 수 있는) 물체의 수가 옥좌의 높이에 달려 있다는 것을 알아냈습니다. 여러분은 '전산 및 현기증부'의 장관으로서, 여틀이 옥좌를 특정 높이로 지었을 때 어떤 물체들을 볼 수 있는지 알아내야 합니다.

표준 입력은 다음으로 구성됩니다.

• 한 줄에 실수 하나: 여틀이 사는 행성의 지름("플리퍼 길이" 단위).
• 실수 세 개가 있는 한 줄: 여틀 옥좌의 높이(플리퍼 길이 단위), 옥좌의 위도(-90도에서 +90도 사이), 옥좌의 경도(0도에서 360도 사이).
• 그 뒤로 여러 줄: 각 줄에는 실수 세 개와 알파벳 및 공백 문자로 이루어진 문자열이 있으며, 각각 행성 표면에 있는 물체의 높이, 위도, 경도, 이름을 나타냅니다. 입력은 파일의 끝에서 종료됩니다.

모든 거리는 플리퍼 길이 단위이고, 모든 위도와 경도는 도(degree) 단위입니다. 실수는 소수점과 부호를 선택적으로 포함하는 십진 숫자 문자열로 표기됩니다. 각 줄의 필드는 정확히 하나의 공백 문자로 구분됩니다. 어떤 물체도 다른 물체를 가리지 않는다고 가정해도 되며, 오직 지평선만이 여틀의 시야를 제한합니다.

여틀에게 그 꼭대기가 보이는 물체들의 이름을 알파벳 순서로, 한 줄에 하나씩 출력합니다.