Submissions for team Tachyon on problem files_main