main(n){ scanf("%d",&n); n/=3; if(n==1)puts("spring"); if(n==2)puts("summer"); if(n==3)puts("fall"); if(!(n%4))puts("winter"); }