#include #include #include #include #include #include #include #include #include #include #include using namespace std; using namespace atcoder; typedef long long ll; #define rep(i,n) for (int i = 0; i < int(n);i++) int main(){ int x; cin >> x; x%= 12; if (0 <= x && x <= 2){ cout << "winter\n"; } else if (3 <= x && x <= 5){ cout << "spring\n"; } else if (6 <= x && x <= 8){ cout << "summer\n"; } else cout << "fall\n"; return 0; }