https://arxiv.org/abs/1805.07563 - Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Mirek Olšák - Submitted on 19 May 2018