fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val x = readInt () val ans = if 3 <= x andalso x <= 5 then "spring" else if 6 <= x andalso x <= 8 then "summer" else if 9 <= x andalso x <= 11 then "fall" else "winter" in print (ans ^ "\n") end