Submissions for team HHL on problem cross_main