M = 26, K = 17, Q = 8192

M=26_K=17_Q=8192_minh=4_ineq=11.txt is available here.

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