Submissions for team Ctrl Alt Defeat on problem cross_main