Изменения

# На очередном шаге достаем ухо, отделяем его.

# Добавляем в очередь получившиеся новые уши.

Предикат

:: <tex>k = -\frac{\begin{vmatrix} A & 1 \\ B & 1 \\ C & 1 \\ P & 0 \end{vmatrix}}{\begin{vmatrix} A \\ B \\ C \end{vmatrix}}</tex>