Copyright (c) 2020, Andrei Voronkov, the University of Manchester,
its authors and contributors (see AUTHORS in the repository) and their
institutional affiliations. All rights reserved.