#include <stdio.h> int main() { int a; scanf("%d", &a); if (a == 3 || a == 4 || a == 5) printf("spring"); if (a == 6 || a == 7 || a == 8) printf("summer"); if (a == 9 || a == 10 || a == 11) printf("autumn"); if (a == 1 || a == 2 || a == 12) printf("winter"); return 0;