Submissions for team Dubious Duckies on problem files_main