Список проголосовавших за комментарий "Обычно алгостроители показывают эквити и отчет по системе. Здесь же какой-то странный формат представления доказательств."