Vladimir Blinovsky's research was carried out at the IITP RAS and supported by RSF (project No.14-50-00150).