M = 20, K = 14, Q = 8192

M=20_K=14_Q=8192_minh=2_ineq=16.txt is available here.

# minimum Hamming distance = 2
# activation inequality = 16
# active indices, activation tensor and its vector representation are omitted.