M = 20, K = 12, Q = 4096

M=20_K=12_Q=4096_minh=4_ineq=659.txt is available here.

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