fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val a1 = readInt () val a2 = readInt () val a3 = readInt () val ans = Int.min (a1, Int.min (a2, a3)) in print (Int.toString ans ^ "\n") end