Extremal Graph Theory and Ramsey Theory · Superchallenge problem

How many red/blue colorings of $\{1,2,\dots,8\}$ contain no monochromatic $3$-term arithmetic progression?