#eofstyle="linux" eolnstyle="linux"#
w (87890 <= w <= 147774000) s (2 <= s <= 100, ((w - 29260*((s*(s+1))/2))%110 == 0));