M = 20, K = 11, Q = 32768

M=20_K=11_Q=32768_minh=2_ineq=19.txt is available here.

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