Submissions for team Hot Source on problem F Mad Mad Genius