DOMjudge team at the ICPC World Finals