M = 30, K = 8, Q = 131072

M=30_K=8_Q=131072_minh=4_ineq=16.txt is available here.

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