print(['winter','spring','summer','fall'][int(input())%12//3])