Submissions for team Ctrl-Alt-Defeat on problem unlockmanifolds_final_main