1. Centre for Discrete Mathematics and its Applications (DIMAP), Department of Computer Science, University of Warwick, Coventry, United Kingdom
2. National Research University Higher School of Economics, Moscow, Russia, Dorodnicyn Computing Centre, FRC CSC RAS, Moscow, Russia, Moscow Institute of Physics and Technology, Dolgoprudny, Moscow Region, Russia