main(n){scanf("%d",&n);char*a[4]={"winter","spring","summer","fall"};puts(a[n/3%4]);}