File talk:Erdős-no-3-in-line-12x12.svg