2023 AIME II Problem 7

Each vertex of a regular dodecagon (12-gon) is to be colored either red or blue, and thus there are 2^{12} possible colorings. Find the number of these colorings with the property that no four vertices colored the same color are the four vertices of a rectangle.