AFAC2024挑战组-赛题四:金融规则长文本中的矛盾识别与漏洞发现_