Требует проверки

Здесь показаны случаи, где доказательств недостаточно для автоматического решения. Изменить их с этой страницы нельзя.

Очередь пуста.