Submissions for team TechCod on problem files_main