Submissions for team Ctrl-Alt-Defeat on problem tournament_final_main