M = 30, K = 7, Q = 131072

M=30_K=7_Q=131072_minh=2_ineq=520906.txt is available here.

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