Duplicate pin number #not allowed

5733. Duplicate pin number #not allowed in gate #. Pin numbers musl start with 1 and must be contiguous.

(Повторение номера вывода # не разрешено в секции #. Номера выводов должны начинаться с 1 и не иметь пропусков.)

Причина: см перевод.