@@ -0,0 +1,213 @@
+def pretty_time(t):%0A    %22%22%22 Given a time in seconds, returns a string formatted as %22HH:MM:SS%22 %22%22%22%0A    t = int(t)%0A    H, r = divmod(t, 3600)%0A    M, S = divmod(r, 60)%0A    return %22%7B:02n%7D:%7B:02n%7D:%7B:02n%7D%22.format(H,M,S)%0A

Add pretty_time()