M = 24, K = 10, Q = 2048

M=24_K=10_Q=2048_minh=6_ineq=10.txt is available here.

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