Submissions for team GoblinTeam on problem cross_main