Solutions and notes for the British Informatics Olympiad