#include <stdio.h>
//考查scanf函数的格式输入问题,还有分支问题,使用哪一种分支呢?
//如果使用switch的话,不要忘记了break哦,还有default.
int main()
{
    int year,reason=0;
    scanf("%4d%d",&year,&reason);//4位分配完了,剩下的就给我啦。
    switch(reason)
    {
        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;
}