1. National Research University Higher School of Economics; Faculty of Computer Science; Kochnovskiy Proezd 3 Moscow 125319 Russia
2. Lomonosov Moscow State University; Faculty of Mechanics and Mathematics, Department of Higher Algebra; Leninskie Gory 1 Moscow 119991 Russia