{European Junior Olympiad in Informatics 2023}