_,_,b=ARGF.read.split.map &:to_i;p b*-~b/2%17