Submissions for team Byte-Brigade on problem files_main