M = 30, K = 26, Q = 2048

M=30_K=26_Q=2048_minh=2_ineq=3.txt is available here.

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