M = 30, K = 22, Q = 4096

M=30_K=22_Q=4096_minh=6_ineq=11.txt is available here.

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