Обсуждение:Двенадцатое простое число Мерсенна