#include <stdio.h> int main() { int a=0; scanf("%d",&a); a=a%100; switch (a) { 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");} } return 0; }