OP-01031 Partially resolved Four-term progressions in Fourier-uniform sets CO · arithmetic progressions · counting lemmas · Fourier uniformity · higher-order Fourier analysis