DRAT证明

通过DRAT证明检查，验证了某些参数下码不存在，提供了115个已验证码记录和10个带检查DRAT证明的不存在性结果。

DRAT（Deletion Resolution Asymmetric Tautology）证明是SAT求解器输出的一种可机器检查的证明格式，用于验证布尔公式不可满足性。