실험용 흰쥐가 한 종 있다. 이 쥐는 태어난 뒤 n개월만 산다 (9<n<13, n은 자연수). 나이는 태어난 달을 1개월째로 세며, 1월에 태어난 쥐는 4월에 4개월째다.
쥐는 7개월째부터 새끼를 낳는다. 7개월째와 8개월째에는 어미 한 쌍이 매달 새끼 한 쌍을 낳는다. 9개월째부터 m개월 동안 (0<m<3, m은 자연수) 어미 한 쌍이 매달 새끼 두 쌍을 낳는다. 그 뒤로는 새끼를 낳지 않고 수명이 다할 때까지 산다. 쥐는 n+1개월째가 시작될 때 죽고, 죽은 쥐는 곧바로 실험실 밖으로 꺼낸다. n+1개월째는 생존 기간에 넣지 않는다.
한 달은 다음 순서로 지나간다.
처음에는 갓 태어난 쥐 한 쌍만 있고, 이 쌍의 1개월째가 전체의 1개월째다. k개월째에 이 실험실에 있는 쥐가 몇 쌍인지 구하라 (0<k<37, k는 자연수).
한 줄에 자료 한 묶음이 주어진다. 한 묶음은 쉼표로 구분한 자연수 세 개 n, m, k다. 모든 묶음 뒤에는 입력이 끝났다는 뜻으로 -1이 한 줄 주어진다.
묶음마다 한 줄씩 출력한다. 줄의 앞부분은 입력받은 자료를 그대로 옮겨 적고, 그 뒤에 콜론과 공백을 붙인 다음 계산한 흰쥐의 쌍 수를 적는다.