package main


import (
	"fmt"
	"strconv"
)

var Clocks []int = []int{60, 120, 240, 480, 1, 2, 4, 8, 16, 32}
func readBinaryWatch(turnedOn int) (res []string) {
	var dfs func(idx int)
	trace := 0
	traceTimes := 0
	miniLimits := 0
	dfs = func(idx int) {
		if traceTimes > turnedOn {
			return
		}
		if traceTimes == turnedOn && trace < 720 && miniLimits < 60 {
			h := strconv.Itoa(trace / 60)
			m := strconv.Itoa(trace % 60)
			if len(m) == 1 {
				m = "0" + m
			}
			res = append(res, h + ":" + m)
			return
		}
		for i := idx ; i < len(Clocks) ; i ++ {
			trace += Clocks[i]
			traceTimes ++
			if i >= 4 {
				miniLimits += Clocks[i]
			}
			dfs(i + 1)
			trace -= Clocks[i]
			traceTimes --
			if i >= 4 {
				miniLimits -= Clocks[i]
			}
		}
	}
	dfs(0)
	return res
}

func main() {
	fmt.Println(readBinaryWatch(8))
}