Efficient verification of some properties of finite quasigroupsдоклад на конференции