#include<stdio.h>
int main()
{
    int year = 0, month = 0;

    scanf("%4d%02d",&year,&month);  //年份月份
    switch (month) 
    {
        //春
        case 3: 
        case 4:
        case 5:
            printf("spring");
            break;
        //夏
        case 6:
        case 7:
        case 8:
            printf("summer");
            break;
        //秋
        case 9:
        case 10:
        case 11:
            printf("autumn");
            break;
        //冬
        case 12:
        case 1:
        case 2:
            printf("winter");
            break;
        default:
            break;
    } 
    return 0;

}