type
Months = (Jan, Feb, Mar, Apr, May, Jun, Jul, Aug, Sep, Oct, Nov, Dec);
Seasons = (Winter, Spring, Summer, Autumn);
begin
var monthNumber := ReadInteger();
var M := Arr(Jan, Feb, Mar, Apr, May, Jun, Jul, Aug, Sep, Oct, Nov, Dec);
var Month := M[monthNumber - 1];
var Season: Seasons;
case Month of
Dec, Jan, Feb: Season := Winter;
Mar, Apr, May: Season := Spring;
Jun, Jul, Aug: Season := Summer;
Sep, Oct, Nov: Season := Autumn;
else
end;
Print(Month, Season)
end.