#include #include #include #include #include #include #include #include #include #include #include #include #include #include // std::stringstream #include #include using namespace atcoder; //using mint = modint998244353; using mint = modint1000000007; using namespace std; using ll = long long; static const double pi = 3.141592653589793; const int INF = (1 << 29); const ll mod = 998244353; // ifstream ifs(""); ファイルはワークスペースのトップにおく int main() { int x;cin >> x; vector seasons{"spring","summer","fall","winter"}; if(x==1 || x== 2) cout << "winter" << endl; else cout << seasons[x / 3 - 1] << endl; }