Let $A_1A_2A_3\ldots A_{12}$ be a regular dodecagon. Find the number of right triangles whose vertices are in the set $\{A_1, A_2, A_3, \ldots, A_{12}\}$.

Let's think step by step and output the final answer within \boxed{}.
user