Submissions for team DeepLogic Force on problem files_main