M = 26, K = 12, Q = 32768

M=26_K=12_Q=32768_minh=4_ineq=12.txt is available here.

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