M = 30, K = 25, Q = 2048

M=30_K=25_Q=2048_minh=4_ineq=13.txt is available here.

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