#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 4000000000000000001



int main(){
	
	vector<string> s = {"spring","summer","fall","winter"};
	int t;
	cin>>t;
	if(t==3||t==4||t==5)cout<<s[0]<<endl;
	else if(t==6||t==7||t==8)cout<<s[1]<<endl;
	else if(t==9||t==10||t==11)cout<<s[2]<<endl;
	else cout<<s[3]<<endl;
	
	return 0;
}