C++ :

#include <stdio.h>
int main()
{
	int k;
	scanf("%d", &k);
	int ans = 0;
	for(int i = 0; i <= 22; i++)
		for(int j = 1; j < 60; j++)
			for(int ii = 0; ii <= 22 - i; ii++)
				for(int jj = 1; jj < 60; jj++)
					for(int iii = 0; iii <= 22 - i - ii; iii++)
						for(int jjj = 1; jjj < 60; jjj++)
						{
							int a = i + ii + iii + (j + jj + jjj) / 60;
							int b = (j + jj + jjj) % 60;
							if(i * jj * jjj * b + j * ii * jjj * b + j * jj * iii * b == a * j * jj * jjj)
								if(++ans == k)
								{
									printf("%02d:%02d %02d:%02d %02d:%02d\n", i, j, ii, jj, iii, jjj);
									return 0;
								}
						}
	printf("-1\n");
	return 0;
}