자명종 시계

앨리스는 디지털 자명종 시계를 좋아해서 매일 저녁 알람을 맞춘다. 어젯밤 앨리스는 이 시계가 나오는 꿈을 꾸었다. 꿈에서 기억나는 것은 켜져 있던 세그먼트의 개수뿐이다. 앨리스는 꿈속 시계가 몇 시를 가리키고 있었는지 알고 싶다.

시계는 숫자 네 자리를 표시한다. 앞의 두 자리는 시, 뒤의 두 자리는 분이고, 한 자리 값 앞에는 0을 붙인다. 예를 들어 9시 30분은 09:30으로 나온다.

각 자리는 7세그먼트로 숫자를 나타낸다. 숫자마다 켜지는 세그먼트 개수는 다음과 같다.

시와 분 사이의 콜론은 세그먼트 개수에 넣지 않는다.

첫째 줄에 앨리스가 꿈에서 본 켜진 세그먼트의 개수 $n$이 주어진다. ($0 \le n \le 30$)

켜진 세그먼트가 정확히 $n$개인 시각을 "hh:mm" 형식의 다섯 글자로 출력한다. 시각은 $0 \le hh < 24$와 $0 \le mm < 60$을 만족해야 한다.

조건을 만족하는 시각이 여러 개면 그중 가장 이른 시각을 출력한다. 즉 "hh:mm" 문자열을 사전순으로 비교했을 때 가장 앞서는 것을 고른다. 조건을 만족하는 시각이 하나도 없으면 Impossible을 출력한다.