M = 24, K = 17, Q = 16384

M=24_K=17_Q=16384_minh=2_ineq=23.txt is available here.

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