copyright by authors. For details regarding the license, see the file LICENSE

