Hungarian AI Olympiad (HAIO): Tasks, solutions, and training materials from Hungary's national AI competition for high school students.