Danh sách bài nộp của HigherOrderLogic cho A cộng B