ГССу рижских соревнований могу лишь порекомендовать внимательно перечесть формулировку задания, дабы не допускать косяков впредь.
Что же касается формализации, то у нас и так минимум половина участников правила не читает, т.к. многабукаф, а если мы нафигачим в правила подобных формализации, число не читающих правила приблизится к 100%.