Submissions for team α^4 on problem 4 unlockmanifolds_final_main