#include<iostream>
int main() {
    char* seasons[] = {
        "winter", "spring", "summer", "autumn"
    };
    int n;
    std::cin >> n;
    std::cout << seasons[n % 12 / 3];
    return 0;
}