Взвешивания и количество информации

Назовем козленка легким, если он не съел ни одного пирожка, и тяжелым — в противном случае. Тогда, если найдется три тяжелых козленка, то Маша не виновата. Если найдется два тяжелых козленка, то Маша виновата тогда и только тогда когда они одного веса. И если тяжелых козлят не более одного, то Маша точно виновата. Пронумеруем козлят числами от до Будем взвешивать козлят по двое, выбирая каждый раз более легкого (если они не равны) и любого (если они равны), и взвешивать его с любым еще не взвешенным козленком. Тогда за взвешиваний мы взвесим каждого хотя бы по разу, и последний выбранный козленок будет легким. Отметим также всех козлят, которые будут ему равны. Также мы определим количество тяжелых козлят и их номера. Если тяжелых козлят не два, то мы сразу получаем ответ. Иначе взвесим двух тяжелых козлят.