Submission #202418

---

Source Code Expand

{-# LANGUAGE BangPatterns #-}

import Control.Applicative
import Control.Monad
import Control.Arrow
import Data.List
import Data.Maybe
import Data.Char
import Text.Printf

readInt = ( readLn :: IO Int )
getInts = map ( read :: String -> Int ) . words <$> getLine

which a b f = if f then a else b
mp [ a, b ] = ( a, b )

main = do
	n <- readInt

	let
		h = n `div` 3600
		m = ( n - h * 3600 ) `div` 60
		s = n - h * 3600 - m * 60

	printf "%02d:%02d:%02d\n" h m s

Submission Info

Judge Result