Submissions for team WHS K3 on problem files_main