M = 24, K = 4, Q = 4096

M=24_K=4_Q=4096_minh=2_ineq=10.txt is available here.

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