[Issac19pc] ISSAC 2019