Submissions for team CATS on problem cross_main