M = 22, K = 12, Q = 131072

M=22_K=12_Q=131072_minh=2_ineq=25217.txt is available here.

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