Контрольная алгебра мерзляк